I get that this is a nice benchmark in that the result can be judged visually, but it seems extraordinarily far from what people actually use these models for.
It was the work itself. Embedded systems are already known for bad tooling. Once safety certification gets thrown in the mix you're limited to ancient broken versions of GCC that have been rebranded and certified, and are thus more fit for purpose than newer versions of GCC that actually work. MISRA, its derivatives, and the associated static analysis tooling ecosystem are also low quality evolutionary dead ends that ignore the state of the art in both academia and industry.
Exactly. I mentioned that those queues aren't formally obstruction-free because the context of the conversation was new developments in wait-free queues, even though I have only needed the guarantee once in my career and end up using descendants of the Vyukov MPMC cycle queue in practically all other cases because they are better on the metrics that count, like speed.
This was the very best bounded MPMC queue when I last looked into these things years ago, and as far as descendants of the Vyukov MPMC cycle queue go, I don't think it's possible to do much better.
I think your citation date is off, by the way. As far as I can tell, it was first published in January 2011.
Linux has a very stable userspace syscall ABI. About as stable as Windows, and much more stable than MacOS or the BSDs. I agree with everything else though.