It’s Time for a Modern Synthesis Kernel
Honestly, seems like a big waste of time to me.  Generating the code wouldn't be free, so you pay for that.  IO, generally, is fairly expensive, so you are now weighing the costs of IO against the savings in instructions/reduced branches. So where are the savings?  OS level mutexes?<p>Basically all of the modern CPUs are going to do a really good job at optimizing away most of the checks cooked into the code  Modern CPUs are really good at seeing "99% of the time, you take this branch" and "these 8 instructions can be ran at the same time".<p>What they can't optimize away is accessing data off CPU.  The speed of light is a killer here.  In the best case, you are talking about ~1000 cycles if you hit main memory and way more if you talk to the disk (even an SSD).  You can run down a ton of branches and run a bunch of code in the period of time you sit around waiting for data to arrive.<p>This wasn't true in 1992 when CPUs ran in the Mhz.  But we are long past that phase.<p>About the only place this would seem to be applicable is in embedded systems looking to squeeze out performance while decreasing power usage.  Otherwise, feels like a waste for anything with a Rasberry pi CPU.