Samtidig ML

Concurrent ML (CML)  er et højere-ordens statisk skrevet konkurrerende programmeringssprog, der er indlejret i det generelle sprog Standard ML [3] [2] .

Implementeret som bibliotek. Inkluderet i standardfordelingen af ​​SML/NJ og MLton compilere . Med minimale ændringer er CML planlagt til at blive inkluderet i standarden for det fremtidige efterfølger ML-sprog .

Detaljer

CML implementerer modellen for synkron meddelelsesoverførsel ved at udvide SML med indtastede kanaler og førsteklasses synkrone abstraktioner kaldet hændelser . Denne mekanisme tillader komplekse kommunikations- og synkroniseringsprotokoller at blive indkapslet som førsteklasses objekter , hvilket tilskynder til at skjule de faktiske kommunikationskanaler under abstrakte datatyper og derved forbedre modulariteten . [3] [2]

CML blev udviklet på et tidspunkt, hvor processorer med hardwareparallelisme var en luksus, så dens tidlige implementeringer fokuserede på fysisk sekventiel eksekvering. Efterfølgende blev "Parallel Concurrent ML" [2] udviklet , der blev eksekveret på moderne processorer mere effektivt.

Oprettelsen og udviklingen af ​​CML skyldes hovedsageligt John Reppy [ 4 ] . 

Implementering

Concurrent ML skiller sig ud blandt de fleste indlejrede sprog ved, at det ikke har en enkelt implementering, men to fundamentalt forskellige. Dette skyldes forskelle mellem Standard ML- implementeringer i deres tilsigtede formål og de anvendte kompileringsstrategier:

• Standard ML of New Jersey (SML/NJ) compiler implementerer CML gennem fortsættelser , som giver platform-uafhængig multithreading. Da SML/NJ bruger programmeringsstrategien Continuation-passing style (CPS) under kompilering , og SML - sproget selv garanterer tail call optimization ( Tail Call Optimization, TCO ), er den dynamiske stak fuldstændig elimineret fra den resulterende kode , og paralleliserede programmer er meget effektiv. 

• MLton bruger meget mere aggressiv optimering og fokuserer i første omgang på ydeevnen af ​​programmer på C / C++- niveau . Under sådanne krav er CPS-strategien uanvendelig. Men uden det callcckræver hvert opkald tidsomkostninger proportionalt med stakstørrelsen, hvilket er så meget desto mere uacceptabelt i dette tilfælde. Derfor blev implementeringen af ​​CML under portering skiftet fra fortsættelser til "tynde" MLton- tråde , trådbaserede operativsystemer. Som et resultat bliver CML-kildekoden under MLton porteret på grund af abstraktion, men den kompilerede kode er allerede platformsspecifik. MLton-streams er lidt tungere end SML/NJ-fortsættelser, men udviklerne mener, at dette kan rettes. MLton leverer kerne-CML-funktionalitet, der for det meste efterligner adfærden af ​​SML/NJ , men implementerer ikke en trådsikker indpakning over Core Library og reaktive ækvivalenter af IOog OS.

Ansøgning

eXeneEt bibliotek [5] er skrevet i CML , der implementerer en parallel reaktiv model af den grafiske brugergrænseflade under X Window System .

Eksempelkode

Hej verden! ' for konsollen. Dette afføder en tråd , der skaber et strengrør . Denne tråd afføder først en anden tråd, der udskriver den første linje, der modtages på kanalen, til konsollen, og derefter sender strengen " hello, verden! " til den affødte kanal. ".