Genap 2011/2012
Six
10
Memelihara kekonsistenan
transaksi yang terjadi
11
12
13
14
16
data
(Data-Centric
17
18
19
sequentialy
consistent
apabila
Hasil dari tiap eksekusi adalah sama jika operasi read dan
write untuk seluruh proses di data store diekseskusi pada
beberapa perintah yang terurut (sequential) dan operasi
untuk setiap proses terlihat pada urutan yang diperintah
secara spesifik oleh program.
21
22
Causal Consistency
Causal consistency lebih lemah dibandingkan sequential consistency.
Causal consistency (Hutto and Ahamad, 1990), proses penulisan (write)
harus terlihat pada perintah yang berbeda dan pada mesin yang berbeda.
Jadi sistem menggunakan causal consistency jika Write berpotensi yang
disebabkan saling terkait di lihat oleh node didalam sistem dengan perintah
yang sama. Kebersamaan write akan terlihat di dalam perintah yang
berbeda pada node yang berbeda. Disinilah letak kelemahannya
dibandingkan dengan sequential consistency, yang membutuhkan nodenode untuk melihat proses write pada pesanan yang sama.
23
Causal Consistency
Ketika suatu node melaksanakan suatu operasi read yang diikuti oleh
proses write, kedua operasi disebut causal consistency karena nilai yang
disimpan oleh write tergantung atas hasil dari read. Dengan cara yang
sama, suatu operasi read adalah oleh dihubungkan dengan satu proses
sebelumnya yaitu write yang disimpan dari data yang yang diambil dari
operasi read. Operasi yang tidak menyebabakan keterkaitan seperti ini
disebut concurrent.
24
Causal Consistency
25
26
27
28
29
30
31
32
33
34
35
Cache-coherence Protocols
Dalam komputasi, cache koherensi (juga koherensi cache) mengacu pada
konsistensi data yang disimpan dalam cache lokal dari sumber daya bersama.
Dalam sistem multiprosesor memori bersama dengan memori cache terpisah untuk
setiap prosesor, adalah mungkin untuk memiliki banyak salinan dari salah satu
operan instruksi: satu salinan dalam memori utama dan satu di setiap memori cache.
Ketika satu salinan operand berubah, salinan lain dari operan harus diubah juga.
Koherensi Cache adalah disiplin yang memastikan bahwa perubahan dalam nilai-nilai
dari operan bersama yang disebarkan di seluruh sistem secara tepat waktu.
Ada tiga tingkat yang berbeda dari koherensi cache:
Setiap operasi menulis tampaknya terjadi secara instan
Semua proses melihat persis urutan yang sama dari perubahan nilai untuk setiap
operan yang terpisah
Proses yang berbeda dapat melihat operasi dan menganggap urutan yang
berbeda dari nilai (ini dianggap perilaku noncoherent)
Dalam kedua perilaku 3 tingkat 2 dan tingkat perilaku, sebuah program dapat
mengamati data basi. Baru-baru ini, desainer komputer telah menyadari bahwa
disiplin pemrograman yang diperlukan untuk menangani tingkat 2 perilaku cukup
untuk menangani juga dengan tingkat 3 perilaku. Oleh karena itu, di beberapa titik
hanya tingkat 1 dan tingkat 3 perilaku akan terlihat dalam mesin .
http://en.wikipedia.org/wiki/Cache_coherence
36
Cache-coherence Protocols
37
Sumber
38