Tehnici de implementare a concurentei în analiza si proiectarea ...

P' difera de Q respectiv P doar prin starea initiala. Starea unei instante este
determinata de valorile proprietatilor sale. Deci, Q' se obtine din Q prin modificarea
valorilor initiale ale anumitor proprietatile. În functie de limbaj acest lucru poate
invalida tranzitia incrementala dintre P si Q'. Prin urmare, vom impune ca fiind
întotdeauna posibila modificarea valorilor initiale ale proprietatilor din P (obtinând
P') astfel încât P' ? ? ? I Q'
. Aceasta afirmatie este adevarata pentru toate limbajele
de programare orientate obiect concurente imperative studiate în cadrul capitolului
doi.
Pornind de la expresia (1), vom considera v = u^ ? bec(R) si vom
construi clasa R' astfel încât bec(R') = state(bec(R))v. Din presupunerea anterioara
'
avem P' ? ? ? I R'
?
si bec(P') = state(bec(P))w, cu w ? bec(P). Dar bec(R') = { < >,
} în timp ce bec(P') = { m1, m2 } * (P are o singura stare).
Deci bec(P') T bec(R') si impT(R') ?? impT(P'). Prin urmare mecanismul de
mostenire nu conserva comportamentul.?
Teorema 1 demonstreaza faptul ca chiar pentru o submultime a anomaliilor
(indusa de TypesR), nu poate fi proiectat un limbaj de programare orientat-obiect
concurent fara anomalii si care conserva comportamentul. Majoritatea limbajelor de
programare orientate-obiect concurente conserva comportamentul relativ la TypesT.
Teorema 1 are loc doar pentru limbajele de programare care sunt cel putin la fel de
expresive ca si masinile cu stari finite.
3.4. Modelarea principiilor de proiectare ale limbajelor orientate-obiect
concurente
În cadrul capitolului precedent am determinat o multime de patru principii de
proiectarea ale limbajelor de programare orientate-obiect concurente. Aceste patru
principii sunt:
- principiul expresibilitatii concurentei, care se refera la:
- concurenta intra-obiect,
- executie dependenta de stare,
- executie dependenta de istoric,
- principiul codului de interactiune orientat pe obiectul apelat,
82