Already exists, Mach kernels are based on these principles, also it's not that shared memory doesn't exist in these systems it's that the caches are incoherent.

Already exists, Mach kernels are based on these principles, also it's not that shared memory doesn't exist in these systems it's that the caches are incoherent. You'd want to use an actor or Mailbox in F# parlance to create "shared" variables. Also look at systems like DragonFly bsd where each "core" has its own tcp stack. It might be time to revive the LISP based OS by Symbolics for these processors.