see shy jo is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Wow, somebody had the audacity to do a formal & executable (!) memory model for the Linux kernel and they aptly named the paper „Frightening small children and disconcerting grown-ups: Concurrency in the Linux kernel“.

From the abstract: „We offer a model written in the cat language, making it not only formal, but also executable by the herd simulator.“

diy.inria.fr/linux/
paulmck.livejournal.com/

Herd is a toolsuite written in OCaml to test/simulate memory models.
github.com/herd/herdtools7

see shy jo @joeyh

@Kensan isn't the cat language the one where any program starting with "#!/bin/cat" is both syntactically valid and a quine?

· Web · 0 · 1