可串行性

可串行性  是指在計算機裏一種多個事務先後之間穿插的用於執行正確調度方式的主要準則 ， 亦是事務之間最高級別的隔離 ， 在併發控制中起着至關重要的作用 ， 其中多個事務併發時的執行順序要對數據的一致性沒有影響 。 而可串行化  是指併發控制的數據庫 、 事務處理以及各種事務性應用程序 （ 例如, 事務內存和軟件事務內存 ） 的和分佈式事務排程 。 調度的可串行性意味對於存在共同操作對象的多個併發執行的相同事務串行執行結果 （ 如 ： 生成數據庫狀態 、 數據值 ） “ 等價 ” 於某個 “ 串行化調度 ” （ 即連續的受時間上沒有事務重疊影響 ） 。 如果事務之間沒有共同的操作對象 ， 則事務之間的執行順序與前後置換都是沒有關係的 ， 但是如果事物間存在共同的操作對象 ， 則事務間先後執行順序需要區分 。 事務通常是併發執行的 （ 重疊的 ） ， 因這是最有效的方法 。 自20世紀70年代早期以來 ， 在大多數數據庫系統 中都使用了一種流行的可串行機制 — — 強兩階段加鎖 ( SS2PL ) 。 可串行性理論  爲推理和分析可串行化及其技術提供了形式框架 。 儘管本質上是數學 ， 但下面非正式地介紹了它的基本原理 （ 沒有數學符號 ） 。