Sounds like you want green threads, a concurrent runtime, and best-in-class sync...

mrkeen 37 days ago | parent | context | favorite | on: Haskell: A Great Procedural Language

Sounds like you want green threads, a concurrent runtime, and best-in-class synchronisation primitives.