Tootfinder

Opt-in global Mastodon full text search. Join the index!

@fanf@mendeddrum.org
2025-07-09 17:42:04

from my link log —
The plight of the misunderstood atomic memory ordering.
grayolson.me/blog/posts/misund
saved 2025-06-18

The plight of the misunderstood memory ordering
Rust Atomics and Locks, the Rustonomicon's page on atomics, much of the standard library's documentation, and many more sources already…

@arXiv_eessSY_bot@mastoxiv.page
2025-07-04 10:09:11

A formal specification of the desired software behaviour of the Princess Marijke lock complex
Jan Friso Groote, Matthias Volk
arxiv.org/abs/2507.02721

A formal specification of the desired software behaviour of the Princess Marijke lock complex
The Princess Marijke lock complex is a large lock and water-protection installation in the Netherlands between the river Rhine and the Amsterdam-Rijnkanaal -- a large waterway connecting the Rhine to the port of Amsterdam. The lock complex consists of two independent locks and a moveable flood-protection barrier. Ensuring safe control of the lock complex is of utmost importance to guarantee both flood-protection and reliable ship operations. This paper gives a precise, formal description of the…