Atomické operace

Info

Pravidlo nejvýše jednou pro výraz

Proces splňuje pravidlo nejvýše jednou pokud odkazuje na nejvýše jednu proměnnou x, která může být změněna v jiném procesu a odkazuje na ni nejvýše jednou.

Info

Pravidlo nejvýše jednou pro přiřazení x <- e

Buď výraz e splňuje pravidlo nejvýše jednou a x není čtena v jiném procesu, nebo e neodkazuje na žádnou proměnnou, která může být změněna v jiném procesu.

• výraz (přiřazení), který splňuje pravidlo nejvýše jednou považujeme za atomický
  • atomický výraz jsme označovali v hranatých závorkách [výraz]

Atomická operace

• Jedná se o operace, která se provede celá a nemůže být její provádění přerušeno jiným procesem (případně se neprovede vůbec)
• Jsou důležité při paralelním programování a synchronizaci
• Na úrovni assembleru se jedná o jednu instrukci
• Používají se taktéž v databázích (často nazývané jako transakce)

1. test and set - nastaví hodnotu proměnné a a vrátí její původní hodnotu (použití v semaforech nebo zámcích)
2. swap - atomicky prohodí hodnoty 2 proměnných
3. compare and swap - atomicky porovná 2 proměné a pouze při úspěchu jejich hodnoty prohodí
4. fetch and add - přičte $1$ k a a vrátí původní hodnotu a
5. load link - načte hodnotu a sleduje zda se ji někdo snaží změnit
6. store conditional - pokusí se zapsat novou hodnotu, úspěšné pouze pokud se nikdo jiný nepokusil zapsat, vrátí t nebo nil