Struktureret konkurrence (SC) understøtter indlejrede korutiner med bundne levetider.
Esterel og andre imperative synkrone sprog (ISL) har længe fokuseret på leksikalsk scoped opgaver med sikker annullering.
Sammenstilling af paradigmer: procedurel vs funktionel og synkron vs asynkron skemalægning.
SC-biblioteker placeres i det synkrone paradigme, svarende til Esterel i kvadrant C.
Præemption i concurrent systemer kræver en tidsafhængig model, ifølge Berry.
Ortogonale annulleringsprimitiver er centrale i synkrone sprog for at sikre sikre annulleringspunkter.
Den synkrone hypotese (SH) antager ekstern tid og nul-latens intern beregning, hvilket muliggør atomare operationer.
SC’s ”rene indlejrede levetider” svarer til ortogonale annulleringsmekanismer og gør det nødvendigt at være synkront.
Get notified when new stories are published for "Hacker News 🇩🇰 Dansk"