Slabá konzistence - Weak consistency
Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale její zdroje zůstávají nejasné, protože jí chybí vložené citace.Květen 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Název slabá konzistence lze použít ve dvou smyslech. V prvním smyslu, přísnější a populárnější, slabá konzistence jeden z modely konzistence používané v doméně souběžné programování (např. v distribuovaná sdílená paměť, distribuované transakce atd.).
Říká se, že protokol podporuje slabou konzistenci, pokud:
- Všechny přístupy k synchronizačním proměnným vidí všechny procesy (nebo uzly, procesory) ve stejném pořadí (postupně) - jedná se o synchronizační operace. Přístupy do kritických sekcí se zobrazují postupně.
- Všechny ostatní přístupy mohou být viděny v odlišném pořadí na různých procesech (nebo uzlech, procesorech).
- Sada operací čtení i zápisu mezi různými synchronizačními operacemi je v každém procesu stejná.
Proto nemůže existovat žádný přístup k synchronizační proměnné, pokud existují nevyřízené operace zápisu. Pokud systém provádí jakoukoli synchronizační operaci, nemůže být spuštěna žádná nová operace čtení / zápisu.
Ve druhém obecnějším smyslu slabá konzistence lze použít na jakýkoli model konzistence slabší než sekvenční konzistence.
Přísnější podmínka je silná konzistence, kde paralelní procesy mohou pozorovat pouze jeden konzistentní stav.
Reference
- Původní práce o slabém uspořádání: M. Dubois, C. Scheurich a F. A. Briggs, Vyrovnávací paměť pro přístup k paměti v multiprocesorech, ve sborníku ze 13. ročníku Mezinárodní symposium o počítačové architektuře 14, 2 (červen 1986), 434-442.
- Sarita V. Adve, Mark D. Hill, Slabé objednávání - nová definice, ve sborníku ze 17. ročníku Mezinárodní symposium o počítačové architektuře.
Tento počítačové inženýrství související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |