alt.hn

6/10/2026 at 10:48:58 PM

Unix GC Remastered

 https://mohandacherir.github.io/Qdiv7/posts/unix_new_gc/

by mananaysiempre

6/11/2026 at 1:22:47 AM

This is a discussion of garbage collection of Unix domain sockets in the Linux kernel. (i.e. `AF_UNIX`, and btw, AF is short for "address family").

by js2

6/11/2026 at 1:47:57 AM

It is talking about replacing a classic mark/sweep collector for unix domain sockets by something based on Tarjan's Strongly Connected Components.

by ebiederm

6/11/2026 at 11:31:34 AM

Thank you for the clarification. I guess authors these days assume they don't need to state the Unix flavour they're talking about.

by nesarkvechnep

6/11/2026 at 7:51:17 PM

I think this is a good example of complex lifetimes involving reference cycles that can not be safely modeled by eg. Rust.

Is the next step formal methods (theorem proving) or is there a less complex lifetime system still out there that could model this?

by jaen