90- M. Herlihy J. E. B. Moss [herlihy] : / () . , , , (. transactional memory, TM). , : , , D. B. Lomet. [lomet] Lomet (. atomic actions), Liskov Scheifler Argus [liskov]. : [hoare], .
, , , , , / . , ACID, . , , , , . , , , , .
, , - . , Herlihy Moss [herlihy], , . . : (LT, . Load-Transactional), (LTX, . Load-Transactional-eXclusive), (ST, . Store-Transactional); : (COMMIT), (ABORT), (VALIDATE). : , , . . , , . , [reinders, merrit].
|
|
Herlihy Moss N. Shavit D. Touitou [shavit], (. software transactional memory, STM). , Lomet. Shavit Touitou : (. 1.4). , , .. , . , LL/SC (. Load-Linked/Store-Conditional).