Get the latest tech news

Structured (Synchronous) Concurrency

https://twitter.com/_fsantanna

I came up with this diagram to highlight two aspects that I find the most relevant to this discussion: the basic paradigm ( procedural vs functional) and the scheduling semantics ( synchronous vs asynchronous). Note that time-independent languages (quadrants A,B) cannot guarantee safe points of abortion: the process might be in the middle of an operation, or holding a lock, or just about to receive a rendezvous message. To conclude, note that SC also advocates for “clean nested lifetimes”, which is analogous to the orthogonal abortion mechanisms of ISLs.

Get the Android app