Linearizability versus Serializability

原文
Linearizability和Serializability是在数据库和分布式系统中重要的两个概念,而且比较容易混淆,这篇文章试着对两个概念的不同进行简单、简短的解释。

Linearizability: single-operation, single-object, real-time order

Linearizability:单操作,单对象,实时顺序。
*Linearizability *是对单对象单操作的一种保证。它提供了对于同一个对象的一系列read/write操作都是按照实时时间(例如wall-clock))排序的。

Linearizability保证对于一个对象的写操作,一旦写完成,需要立即马上被后续的读操作看到:即读一定是读到这个对象的最新的值。
Linearizability是“atomic consistency”的同义词,同时也是CAP种的C,“consistency”。
并且Linearizability是可组合的,如果系统中每个对象的操作都是linearizable,则系统中所有操作是linearizable。

Serializability: multi-operation, multi-object, arbitrary total order

Serializability:多个操作,多个对象,任意的顺序

Serializability是对事务的一种保证。Serializability保证了多个事务(每个都包含了一组对于不同对象的读/写操作)的执行等同于一个顺序执行的效果。

Serializability是ACID中的I。如果每个事务都保证了correctness(ACID中的C),则顺序执行的事务也保证了correctness,因此serializability是保证事务正确的一个机制。

Serializability和linearizability的不同是:Serializability没有对事务的执行顺序强加任何real-time的约束,即不需要操作是按照真实时间严格排序的,只需要存在一个满足条件的顺序执行顺序即可,不需要每个事务都是严格的先后时间顺序。

Strict Serializability: Why don’t we have both?

严格的Serializability:我们为什么两者都要?

serializability + linearizability = strict serializability

我们假设开始并提交T1:写item x,然后稍后开始提交T2:读x。数据库如果按照strict serializability,则会将T1放到T2之前,T2会读到x的最新值,如果数据库按照serializability,则可能会将T2放到T1之前,

Coordination costs and real-world deployments

linearizability 或者 serializability在没有协调的情况下都不可能达到,因此我们在异步网络和可用性不能提供linearizability 或者 serializability的保证。

A note on terminology, and more reading

linearizability来源于分布式系统和并发编程,而serializability则来源于数据库。如今这两者都在分布式系统和数据库中使用,也导致了术语上的冲突。

一些参考
Introduction to Reliable and Secure Distributed Programming
CSC 2/458, 4-11 Feb. 2008

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 202,009评论 5 474
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 84,808评论 2 378
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 148,891评论 0 335
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,283评论 1 272
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,285评论 5 363
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,409评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,809评论 3 393
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,487评论 0 256
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,680评论 1 295
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,499评论 2 318
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,548评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,268评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,815评论 3 304
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,872评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,102评论 1 258
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,683评论 2 348
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,253评论 2 341

推荐阅读更多精彩内容