Concorrência estruturada garante que corrotinas aninhadas terminem antes de quem as lançou.
Abordagem de structured concurrency é semelhante a linguagens síncronas como Esterel, com preempção bem definida.
Diagrama de quadrantes diferencia paradigmas de programação (procedural vs funcional) e semântica de execução (síncrona vs assíncrona).
Quadrante C, onde se situam SC e Esterel, combina paradigma procedural com semântica síncrona.
Primitivos de preempção ortogonais permitem abortar processos a qualquer momento sem restrições.
A Hipótese Síncrona assegura que operações internas sejam instantâneas e em pontos seguros de aborto.
Conclui-se que a concorrência estruturada deve ser síncrona, posicionando-se no quadrante C.
Get notified when new stories are published for "Hacker News 🇵🇹 Português"