FRESH

Hacker News

Unix GC Remastered

41 points by mananaysiempre

by js2

2 subcomments

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 jaen

0 subcomment

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?