可串行化(Serializability):在并发执行中,一个(通常指数据库)事务调度如果其最终效果等价于某种按顺序串行执行这些事务的结果,则称该调度具有可串行化。它是衡量并发控制正确性的核心标准。(在不同语境下也可泛指“可被序列化/可被串行化的性质”,但最常见用法来自数据库并发控制。)
A schedule is serializable if it produces the same result as some serial order.
如果一个调度产生的结果与某种串行顺序相同,那么它就是可串行化的。
To ensure serializability under high contention, the system uses strict two-phase locking, though it may reduce throughput.
为在高竞争负载下保证可串行化,系统采用严格两阶段锁(strict 2PL),但这可能降低吞吐量。
/ˌsɪriələˌzaɪəˈbɪləti/
由 serial(“串行的、按顺序的”)+ -ize(使成为)+ -ability(能力/性质)构成,字面意思是“能够被变成串行(顺序)执行的性质”。在数据库领域,该术语用来描述并发事务的执行是否等价于某个串行执行顺序,从而保证一致性与正确性。