News for hackers. Stuff that matters.

A comment on Some notes on Rust, mutable aliasing and formal verification. Parent comment

Re:Some notes on Rust, mutable aliasing and formal verification by zozbot234 on Thursday May 16, 2024 @09:04AM (#40377876)
https://github.com/chc4/samsara is also worth looking into, implementing the same concurrent GC algorithm for Rust. A C++ implementation is available at https://github.com/pebal/sgcl .
[ Parent | on HN ]
Re:Some notes on Rust, mutable aliasing and formal verification by mst on Friday May 17, 2024 @04:08AM (#40387574)
Oh, fantastic, a rust implementation that already hives it off into a separate thread.

Seems the README mentions neither 'Recycler' nor the authors so none of my searches found it; possibly I should file an issue suggesting the author adds those because this is (at the very least) way closer to what I was looking for.

Thank you!

[ Parent | on HN ]