可串行性

✍ dations ◷ 2025-08-02 20:23:48 #可串行性

可串行性(英语:Serializability)是指在计算机里一种多个事务先后之间穿插的用于执行正确调度方式的主要准则,亦是事务之间最高级别的隔离,在并发控制中起着至关重要的作用,其中多个事务并发时的执行顺序要对数据的一致性没有影响。

而可串行化(英语:Serializable)是指并发控制的数据库、事务处理以及各种事务性应用程序(例如,事务内存和软件事务内存)的集中式(英语:Centralized computing)和分布式事务排程。调度的可串行性意味对于存在共同操作对象的多个并发执行的相同事务串行执行结果(如:生成数据库状态、数据值)“等价”于某个“串行化调度”(即连续的受时间上没有事务重叠影响)。

如果事务之间没有共同的操作对象,则事务之间的执行顺序与前后置换都是没有关系的,但是如果事物间存在共同的操作对象,则事务间先后执行顺序需要区分。事务通常是并发执行的(重叠的),因这是最有效的方法。

自20世纪70年代早期以来,在大多数数据库系统(以各种变体)中都使用了一种流行的可串行机制——强两阶段加锁(SS2PL)。

可串行性理论(英语:Serializability theory)为推理和分析可串行化及其技术提供了形式框架。尽管本质上是数学,但下面非正式地介绍了它的基本原理(没有数学符号)。

可串行性 用于保持数据项中的数据处于一致的状态。可串行性是事务排程的属性。 它与数据库事务的“隔离”属性有关。

无法可串行化的调度可能会产生错误的结果。众所周知的例子是使用货币作为借贷账户的交易:如果相关的排程是不可串行化的,那么货币的总数可能不会被保留。钱可以消失,也可以凭空产生。这和其他的可能需要不变保存的是由一个事务写入造成违规一样,并且在另一个事务写入的内容成为数据库中的永久内容之前,并清除“布进式”。如果保持可串行性,则不会发生这种情况。

相关

  • Csub4/subHsub8/subMgNsub2/subOsub4/sub&g甘氨酸镁是镁的甘氨酸盐,化学式为C4H8MgN2O4。可由金属镁和甘氨酸反应得到。硝酸镁和甘氨酸在液氨中反应也能得到产物。甘氨酸镁可以用作营养补充剂或用于饲料。医学导航:营养
  • 李本 (正统进士)李本(1417年-1485年),字立之,号立菴,四川叙州府富顺县人,明朝政治人物。正统十三年(1448年)戊辰科进士。选庶吉士,历官检讨、编修、侍读。预修《一统志》、《英宗实录》。升南京太常寺
  • 粗叶木属粗叶木属(学名:)是茜草科下的一个属,为灌木植物。该属共有约180种,分布于热带亚洲、大洋洲和非洲。
  • 邻苯二甲酸氢钾邻苯二甲酸氢钾,(Potassium hydrogen phthalate),又叫酞酸氢钾,是一种有机芳香酸(英语:Aromatic acid)邻苯二甲酸的酸式盐,分子中含有一个苯环,酸根所有的原子共平面。其水溶液呈酸
  • 鳄莱特鳄莱特时尚有限公司,简称鳄莱特时尚,以及鳄莱特(英语:Eratat Lifestyle Limited,SGX:FO8),在1983年由林土秋创立,现时由儿子林建程为主席。前身为“中国鳄莱特运动时装有限公司”。现
  • 五虎将 (1974年电影)《五虎将》(英语:)是1974年邵氏电影公司出品,张彻执导的武打电影。故事叙述一帮土匪带着打劫而来的保险箱逃到某小镇,欺压村民,并胁迫镇上铁匠韦明辉(李修贤饰)开箱,但韦却不愿替土匪
  • 于德泉于德泉(1932年10月22日-),男,山东蓬莱人,中国天然药物化学专家,中国工程院院士。1956年毕业于北京医学院。1999年当选为中国工程院院士。
  • 东北摇篮曲东北摇篮曲是中国著名的摇篮曲,是代表东北地区的一首民歌。该民歌的当代大陆流传版本词曲作者为郑建春,生前曾任大连歌舞团团长,为国家一级作曲家。共创作了400余首(部)音乐作品。这首《摇篮曲》创作于1960年,当时郑建春在新金县(现普兰店)农村采风时听到一些民间小调,这些小调触及了郑建春的创作灵感,于是他在此基础上谱曲填词而成《摇篮曲》。《摇篮曲》于1960年完成后,1962年由大连歌舞团演员徐桂珠首唱,随后被许多歌唱家演唱并流传至今。 月儿明,风儿静,树叶儿遮窗棂啊,蛐蛐儿,叫铮铮,好比那琴弦儿声啊。琴声
  • 黄红 (军事人物)黄红(1904年-1941年9月),字心素,湖南省邵阳县双泉铺观音阁人。他为抗日战争期间阵亡的中国军方高级将领之一。毕业于黄埔军校第五期,任陆军95师284团团长,在湖南新开市乌龟山守卫中英勇成仁。
  • 薳越薳越(?-前519年),芈姓,薳氏(�氏),名越,中国春秋时期楚国的司马。前521年十月(周景王二十四年、鲁昭公二十一年、楚平王八年、宋元公十一年),宋国内乱,楚国派薳越、吴国派公子苦雂、偃州员率军支持华䝙,晋国派荀吴、齐国派乌枝鸣、苑何忌、卫国派公子朝率军支持宋元公。在宋国作战。太宰犯劝阻楚平王,楚平王说他已经答应华亥。薳越对宋元公假以辞令,请楚国处理乱臣华亥、向宁等,宋元公没有同意,结果,宋军、齐军把华氏打得大败。前519年(周敬王元年、鲁昭公二十三年、楚平王十年、吴王僚八年),鸡父之战,吴国公子光、