Possibly pertinent: Stonebraker et al DBOS, Database Oriented Operating System:

https://dbos-project.github.io/