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
openlayers
asp.net-core
kde
reserved
stock
octobercms
webstorm
electronics
basic
iggrid
kibana-4
facebook-php-sdk
node-pdfkit
midi
task
visual-studio-2005
hex-editors
fallback
circuit
telephony
oracle-coherence
contextmenu
alpine
dbext
autoconf
arabic
mmap
hammerspoon
poltergeist
facebook-access-token
social-media
strncpy
maquette
newline
exuberant-ctags
xmlreader
mozilla
sequential
x11-forwarding
multilingual
hockeyapp
withings
ssjs
streamreader
netcdf4
qwt
user-accounts
scrollable
qsslsocket
dds
mplayer
magma
pillow
gcsfuse
dynamics-sl
webdriverjs
messenger
android-textview
trash
thrust
django-debug-toolbar
contact-list
essence
bluegiga
ipconfig
hsv
kendonumerictextbox
lib.web.mvc
eclipse-clp
thredds
marching-cubes
mutation-observers
wireshark-dissector
dukescript
muse
oberon
proj4js
truevault
npapi
fscommand
modalpopup
nstableviewcell
network-interface
titanium-modules
flask-cors
xceed-datagrid
message-driven-bean
gnu-smalltalk
c18
ccss
xsockets.net
access-rights
opcache
dataservice
ril
jplaton
buster.js
chronoforms
orchardcms-1.7
angularjs-controller
libstdc++
ticoredatasync
buildr
cufon
fireworks
xmlspy
visitor-statistic
suppress
jquery-ui-droppable
multiple-languages
3gp

Resources

Database Users
RDBMS discuss
Database Dev&Adm
javascript
java
csharp
php
android
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App