Consistență secvențială

Consistența secvențială este un model de consistență în care rezultatul oricărei execuții este același ca și cum operațiile tuturor procesoarelor ar fi efectuate într-o anumită ordine secvențială, iar operațiile fiecărui procesor individual au apărut în această secvență în ordinea determinată de programul său.

Identificat pentru prima dată de Lampport în 1979. Formularea clasică implică o comparație a sistemelor multiprocesor cu un singur procesor, adică sisteme multiprocesor coordonate secvențial, astfel de sisteme sunt numite în care, la ordonarea tuturor operațiunilor de la toate procesoarele într-o singură secvență (cu condiția ca operațiunile fiecărui procesor individual să fie localizate în această secvență comună în aceeași ordine în care sunt executate pe un procesor serial separat), rezultatul executării unei astfel de secvențe va fi același ca și cum această secvență ar fi executată pe un singur procesor serial.

Literatură