Linearizability

Linearizability in computer science is the same as sequential consistency but in addition every operation is timestamped. So if a timestamp of an operation is smaller than another timestamp, the first operation should precede the other one in the sequence. This is used for for reasoning about the correctness of concurrent programs, but hardly ever in real implementations.

 

<< PreviousWord BrowserNext >>
united states international trade commission
belvedere estate
firebird (russian folklore)
canaan (disambiguation)
antonio masip hidalgo
rkoscsaba
ahmad tajuddin
uss sea robin (ss 407)
trina schart hyman
hippodrome de longchamp
thundersnow
jonathan rowson
bruce mau
cascade lakes scenic byway
pietro longhi
christopher mitchum
alessandro longhi
making the video
augustus baldwin longstreet
joseph kahn
alfred malherbe
dynamite headdy
gluing axiom
longwy
alfred g. holtum
department of veterans affairs (canada)
autopen
michael widenius
paul motwani
seanbaby
teha
strict consistency
coaching inn
laud humphreys
juan lembeye
otto blehr
bertrand snell
commission on ocean policy
rayner heppenstall
british rail dhp1
francis hagerup
british rail hs4000
rishonim
watkins commission
Copyright 2005-2009 OnPedia.com. All Rights Reserved