可串行性

✍ dations ◷ 2025-01-03 11:55:56 #可串行性

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

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

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

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

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

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

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

相关

  • 喀山喀山(俄语:Каза́нь,IPA:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","G
  • 教父 (电影)《教父》(英语:)是一部1972年的美国电影,根据马里奥·普佐(Mario Puzo)的同名畅销小说改编,弗朗西斯·科波拉执导,由马龙·白兰度和艾尔·帕西诺主演的帮派电影。《教父》是《教父三
  • 卡尔·西吉斯蒙德·孔茨卡尔·西吉斯蒙德·孔茨(Carl Sigismund Kunth,1788年6月18日-1850年3月22日)为德国植物学家。
  • 沃伊斯拉夫·舍舍利沃伊斯拉夫·舍舍利(塞尔维亚语:Војислав Шешељ;拉丁字母转写:Vojislav Šešelj;1954年10月11日-)是南斯拉夫政治人物、塞尔维亚激进党创设者、党魁。南斯拉夫内战时
  • 杰洛 (歌手)JERO(日语:ジェロ,本名:杰乐米·查尔斯·怀特Jerome Charles White, Jr.,1981年9月4日-),台译为杰洛,是美国宾州匹兹堡出身的日本演歌歌手。多数媒体称其为“日本第一位黑人演歌歌手
  • 孟简孟简(8世纪?-824年),字几道,德州平昌县(今山东省商河县西北)人,唐朝官员。由进士擢第。孟简官至谏议大夫。元和六年(811年),任常州刺史,开凿原有的孟渎,长41里,灌溉田地4000余顷。后来历任
  • 保芝琳保芝琳(?-?),贵州兴义府人,为中国清朝武官官员。1843年(道光二十三年)奉旨接任达洪阿担任台湾镇总兵。是台湾清治时期此期间,受台湾道制约的台湾地区最高军事首长。《国朝耆献类征初编》卷三百二十五(“将帅”六十五)。
  • 泽诺·科洛泽诺·科洛(意大利语:Zeno Colò,1920年6月30日-1993年5月12日),意大利男子高山滑雪运动员。他曾代表意大利参加1948年和1952年冬季奥林匹克运动会高山滑雪比赛,其中1952年冬季奥运会获得一枚金牌。
  • 刘海戏金蟾 (2013年)陈浩民、陈紫函、谭耀文、穆婷婷、归亚蕾、陈威翰、林子聪《刘海戏金蟾》(英语:The Story of Liu Hai and Jinchan)为中国大陆的神话连续剧。原名为《宝珠奇缘》,以传说神话为背景,2013年5月杀青,2013年7月取得发行许可证。刘海戏金蟾是中国民间武财神与金蟾斗法的故事。法术高强的刘海(陈浩民 饰)被人所害而逃路上遇见胡秀英(穆婷婷/陈紫函 饰)由冤家变为情侣;亦爱上胡秀英的金蟾(谭耀文 饰)本助奸人处处与刘海作对,经事情他们最终化敌为友,并一起赴夺宝之战。(推测剧情有可能改编自
  • 张翘张翘(?-402年),北魏前期的佛教僧人(沙门)。北魏道武帝天兴五年(402年)二月,沙门张翘自立尊号无上王,与丁零鲜于次保在常山郡的行唐县聚众谋反。夏四月,在攻打后燕立功的中山郡太守代人楼伏连讨斩张翘。