sequential


Sequential Consistency in Distributed Systems


I am learning Sequential Consistency in Distributed Systems but just could not understand the terms explained. I would appreciate if someone can shed some light in layman's term on why (a) and (c) below are sequentially consistent and (b) is not.
Thanks.
An execution e of operations is sequentially consistent if and if it can be permutated into a sequence s of these operations such that:
the sequence s respects the program order of each process. That is, for any two operations o1 and o2 of the same process, if o1 precedes o2 in e, then o1 should be placed before o2 in s;
in the sequence s, each read operation returns the value of the last preceding write operation over the same variable.
For (a), s can be:
W(x)b [P2], R(x)b [P3], R(x)b [P4], W(x)a [P1], R(x)a [P3], R(x)a [P4]
For (c), s can be:
W(x)a [P1], R(x)a [P2], R(x)a [P3], R(x)a [P4], W(x)b [P3], R(x)b [P1], R(x)b [P2], R(x)b [P4]
However, for (b):
the operations R(x)b, R(x)a from P3 require that W(x)b come before W(x)a
the operations R(x)a, R(x)b from P4 require that W(x)a come before W(x)b
It is impossible to construct such a sequence s.

Related Links

Get warnings while exporting data to file in ibm datastage
What is difference between procedural cohesion and sequential cohesion in Software Design Architecture?
how to speed up the M-H MCMC with a large number of parameters updated sequentially
Sequential Consistency in Distributed Systems
Can a D flip flop be enabled this way?
Sequential file reads incorrect file data in IBM datastage 8.1

Categories

HOME
ibm-bluemix
log4j
clips
push-notification
react-virtualized
iterator
hashmap
electron
bpmn
webstorm
spagobi
getelementsbytagname
sqlite3
callback
in-app-purchase
primary-key
gnupg
ssl-client-authentication
vault
offline
spring-tool-suite
dtrace
tostring
ab-testing
interop
beyondcompare
nhibernate-envers
shared-hosting
google-search-api
dxf
pepper
underflow
spark-jobserver
windows-error-reporting
web-api-testing
spring-mybatis
ping
elasticsearch-net
primitive
delicious-api
instant-messaging
frame
bosh
code-contracts
perlin-noise
xmlreader
rotational-matrices
environment-modules
html5-fullscreen
catalog
overlap
dosbox
adobe-premiere
event-driven
abstract-class
elasticsearch-plugin
checkboxlist
s
businessworks
thin
menuitem
xml-documentation
scrollable
multipeer-connectivity
theming
hls.js
mu
ifs
epson
flutterwave
bind9
word-vba-mac
passport-google-oauth
rotativa
netmq
embedded-code
sniffer
system32
web-controls
clicktag
castle
tld
rebol3
ccss
comaddin
mqx
eventlistener
wsdl-2.0
bubble-chart
punbb
heartbeat
genshi
celltable
lang
routedevent
nhibernate.search
asp.net-profiles
ext3
ncqrs
noscript
putchar

Resources

Mobile Apps Dev
Database Users
javascript
java
csharp
php
android
MS Developer
developer works
python
ios
c
html
jquery
RDBMS discuss
Cloud Virtualization
Database Dev&Adm
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App