UNITY (programovací jazyk) - UNITY (programming language) - Wikipedia

JEDNOTA je programovací jazyk vytvořený pomocí K. Mani Chandy a Jayadev Misra pro jejich knihu Návrh paralelního programu: Nadace. Je to teoretický jazyk, na který se zaměřujeme co, namísto kde, když nebo jak. Jazyk neobsahuje žádnou metodu řízení toku a program prohlášení spustit v nedeterministické způsobem, dokud příkazy nepřestanou způsobovat změny během provádění. To umožňuje, aby programy běžely po neomezenou dobu, jako jsou například automatické systémy řízení letu nebo bezpečnostní systémy elektrárny, stejně jako programy, které by se normálně ukončily (které zde konvergují k pevný bod ).

Popis

Všechna prohlášení jsou úkoly, a jsou odděleny #. Příkaz se může skládat z více přiřazení formuláře a, b, c: = x, y, znebo a: = x || b: = y || c: = z. Můžete také mít seznam kvantifikovaných výpisů, <# x, y: výraz :: prohlášení>, kde x a y jsou náhodně vybrány z hodnot, které splňují výraz. A kvantifikovaný úkol je podobný. v <|| x, y: výraz :: prohlášení >, prohlášení se provádí současně pro Všechno páry X a y které uspokojují výraz.

Příklady

Třídění bublin

Třídění bublin pole porovnáním sousedních čísel a jejich výměnou, pokud jsou ve špatném pořadí. Použitím ${ displaystyle Theta (n)}$ očekávaný čas, ${ displaystyle Theta (n)}$ zpracovatelé a ${ displaystyle Theta (n ^ {2})}$ očekávaná práce. Důvod, který máte jen vy ${ displaystyle Theta (n)}$ očekávaný je čas k je vždy vybráno náhodně z ${ displaystyle {0,1 }}$ . To lze opravit převrácením k ručně.

Program bubbleortdeclare n: integer, A: array [0..n-1] of integerinitially n = 20 # <|| i: 0 <= i a i  přiřadit <# k: 0 <= k <2 :: <|| i: i% 2 = k a 0 <= i  A [ i + 1]>> konec

Pořadí

Můžete seřadit ${ displaystyle Theta ( log n)}$ čas s hodnocením. Potřebuješ ${ displaystyle Theta (n ^ {2})}$ procesory, a dělat ${ displaystyle Theta (n ^ {2})}$ práce.

Program ranksortdeclare n: integer, A, R: array [0..n-1] of integerinitially n = 15 # <|| i: 0 <= i  přiřadit <|| i: 0 <= i > # <|| i: 0 <= i  konec

Floyd – Warshallův algoritmus

Za použití Floyd – Warshallův algoritmus všechny páry nejkratší cesta algoritmus, iterativně zahrneme mezilehlé uzly a dostaneme ${ displaystyle Theta (n)}$ čas, pomocí ${ displaystyle Theta (n ^ {2})}$ zpracovatelé a ${ displaystyle Theta (n ^ {3})}$ práce.

Program shortestpathdeclare n, k: integer, D: array [0..n-1, 0..n-1] of integerinitially n = 10 # k = 0 # <|| i, j: 0 <= i  přiřadit <|| i, j: 0 <= i  || k: = k + 1, pokud k Můžeme to udělat ještě rychleji. Následující programy počítají nejkratší cestu všech párů  ${ displaystyle Theta ( log ^ {2} n)}$  čas, pomocí  ${ displaystyle Theta (n ^ {3})}$  zpracovatelé a  ${ displaystyle Theta (n ^ {3} log n)}$  práce.
Program shortestpath2declare n: integer, D: array [0..n-1, 0..n-1] of integerinitially n = 10 # <|| i, j: 0 <= i  přiřadit <|| i, j: 0 <= i )> konec
Po kole  ${ displaystyle r}$ , D [i, j] obsahuje délku nejkratší cesty od  ${ displaystyle i}$  na  ${ displaystyle j}$  délky  ${ displaystyle 0 tečky r}$ . V dalším kole délky  ${ displaystyle 0 tečky 2r}$ , a tak dále.
Reference
K. Mani Chandy a Jayadev Misra (1988) Návrh paralelního programu: Nadace.