ParaSail

Proiectat de: S. Tucker Taft

Specificația paralelă și limbajul de implementare (PARASAIL) este un limbaj de programare paralel orientat pe obiecte.

Proiectarea sa și implementarea continuă este descrisă într-un blog și pe site-ul său oficial.

Parasail folosește un model de programare fără pointer, unde obiectele pot crește și micșora, iar semantica valorizată sunt utilizate pentru alocare.

Nu are gunoi global colectat.

În schimb, gestionarea memoriei bazată pe regiune este utilizată pe tot parcursul.

Tipurile pot fi recursive, atât timp cât componentele recursive sunt declarate opționale.

Nu există variabile globale, nici aliasing de parametri și toate subexpresiunile unei expresii pot fi evaluate în paralel.

Afirmațiile, precondițiile, postconditiile, invariantele clasei etc., fac parte din sintaxa standard, folosind o notare asemănătoare cu hor.

Orice condiții de cursă posibile sunt detectate la timp de compilare.

Proiectarea inițială a Parasail a început în septembrie 2009, de S.

Tucker Taft.

Sunt disponibile atât un interpret care folosește mașina virtuală Parasail, cât și un compilator de parasail bazat pe LLVM.

Furarea lucrărilor este utilizată pentru programarea firelor ușoare ale lui Parasail.

Cea mai recentă versiune poate fi descărcată de pe site -ul Parasail.