ML concomitent

Concurrent ML (CML)  este un limbaj de programare competitiv de ordin superior tip static , care este încorporat în limbajul de uz general Standard ML [3] [2] .

Implementat ca o bibliotecă. Inclus în distribuția standard a compilatoarelor SML/NJ și MLton . Cu modificări minime, CML este planificat să fie inclus în standardul viitorului limbaj ML succesor .

Detalii

CML implementează modelul de transmitere a mesajelor sincrone prin extinderea SML cu canale tipizate și abstracții sincrone de primă clasă numite evenimente . Acest mecanism permite ca protocoale complexe de comunicare și sincronizare să fie încapsulate ca obiecte de primă clasă , încurajând ascunderea canalelor de comunicare reale sub tipuri de date abstracte și, prin urmare, îmbunătățind modularitatea . [3] [2]

CML a fost dezvoltat într-o perioadă în care procesoarele cu paralelism hardware erau un lux, așa că implementările sale timpurii s-au concentrat pe execuția secvențială fizică. Ulterior, a fost dezvoltat „Parallel Concurrent ML” [2] , executând mai eficient pe procesoare moderne.

Crearea și dezvoltarea CML se datorează în principal lui John Reppy [ 4 ] . 

Implementare

Concurrent ML se remarcă printre cele mai multe limbaje încorporate prin faptul că nu are o singură implementare, ci două fundamental diferite. Acest lucru se datorează diferențelor dintre implementările standard ML în scopul propus și strategiile de compilare utilizate:

• Compilatorul Standard ML of New Jersey (SML/NJ) implementează CML prin continuări , care oferă multithreading independent de platformă. Deoarece SML/NJ folosește strategia de programare a stilului de trecere de continuare (CPS) în timpul compilării , iar limbajul SML în sine garantează optimizarea apelului final ( Tail Call Optimization, TCO ), stiva dinamică este complet eliminată din codul rezultat , iar programele paralelizate sunt foarte eficient. 

• MLton folosește o optimizare mult mai agresivă, concentrându-se inițial pe performanța programelor de nivel C / C++ . Conform acestor cerințe, strategia CPS este inaplicabilă. Dar fără el, fiecare apel callccnecesită costuri de timp proporționale cu dimensiunea stivei, ceea ce este cu atât mai inacceptabil în acest caz. Prin urmare, la portare, implementarea CML a fost trecută de la continuări la fire MLton „subțiri” , sisteme de operare bazate pe fire. Ca rezultat, codul sursă CML sub MLton este portat din cauza abstracției, dar codul compilat este deja specific platformei. Fluxurile MLton sunt puțin mai grele decât continuările SML/NJ, dar dezvoltatorii cred că acest lucru poate fi remediat. MLton oferă funcționalitate de bază CML care imită în cea mai mare parte comportamentul SML/NJ , dar nu implementează un înveliș sigur pentru fire peste Biblioteca de bază și echivalente reactiveIO ale și OS.

Aplicație

eXeneO bibliotecă [5] este scrisă în CML care implementează un model reactiv paralel al interfeței grafice cu utilizatorul sub sistemul X Window .

Exemplu de cod

Bună lume! ' pentru consolă. Acest lucru generează un fir care creează o țeavă șir . Acest thread generează mai întâi un alt fir care tipărește pe consolă prima linie primită pe canal și apoi trimite șirul „ hello, world! ” către canalul generat. ".