Saya memahami konsistensi yang ketat dan berurutan secara mandiri dengan cukup baik.
Strict C pada dasarnya menegakkan urutan aktual di mana instruksi dijalankan pada jam global.
Sequential Consistency pada dasarnya memberlakukan pesanan hanya pada satu prosesor.
Saya mengalami kesulitan mengumpulkan beberapa literatur. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html menjelaskan konsistensi sekuensial yang memungkinkan memori 'lag'. Mungkin perlu waktu untuk menulis untuk menyebar di semua prosesor. Tetapi ketika itu terjadi, itu mencapai mereka semua sekaligus yang baik-baik saja. Dengan demikian, berikut ini valid di bawah Konsistensi Berurutan
P1: W(x)1
-----------------------
P2: R(x)0 R(x)1
Yang menjadi perhatian saya sekarang adalah proses-proses berikut, yang merupakan sesuatu seperti algoritma Dekker.
P1: W(x)1 R(y)0
-----------------
P2: W(y)1 R(x)0
Tentunya ini TIDAK mungkin dilakukan di bawah konsistensi Sequential ( http://portal.acm.org/citation.cfm?id=1787234.1787255 hal 2). Tidak ada pesanan total yang dapat memberikan hasil ini.
Tetapi masuk akal dari gagasan bahwa konsistensi berurutan memungkinkan penulisan untuk menyebar secara lambat dan satu utas mungkin tidak memiliki gagasan mengenai apa yang sedang dilakukan prosesor lain.
Apa yang kulewatkan di sini?