1. 6
    Linux kernel memory-model (documentation & tooling) ☶ compsci formalmethods linux git.kernel.org
    1amzave avatar via 1amzave 4 months ago | cached | 1 comment

See also Paul McKenney’s blog post: https://paulmck.livejournal.com/49667.html

  1.  

  2. 1
    1amzave avatar 1amzave 4 months ago | link

    (Ah, missed the earlier submission here; mods feel free to merge.)