37、嵌套锁下原子性违规的元分析

原创于 2025-06-19 14:26:03 发布 · 62 阅读

收录于

当前文章被以下社区和专栏收录：

94 篇文章 ¥499.90

订阅专栏¥69.90

等价调度 ：如果可以通过迭代交换调度中连续的独立动作从一个调度推导出另一个调度，那么这两个调度被认为是等价的。
串行调度 ：一个调度 $\sigma$ 是串行的，当其中所有事务按顺序发生。形式上，对于每个 $i$，如果 $\sigma[i] = T:a$（其中 $T \in T$ 且 $a \in A$），那么存在某个 $j < i$ 使得 $T [i] = T:▷$，并且每个 $j < j′ < i$ 都满足 $\sigma[j′] \in A_T$。也就是说，该调度由来自不同线程的一系列完整事务组成，仅在边界处交错。
可串行化调度 ：一个调度是可串行化（或原子的），如果它有一个等价的串行调度。即，如果存在一个串行调度 $\sigma′$ 使得 $\sigma \sim \sigma′$，则 $\sigma$ 是可串行化调度。
最小可串行化调度 ：一个调度 $\sigma$ 是最小可串行化（或最小原子的），如果对于每对线程 $(T, T ′)$ 和每个实体 $x \in X$，调度 $\sigma|\Sigma_{ {T,T ′},{x}}$ 是可串行化的。一个执行 $\rho$ 是最小可串行化的，如果与之对应的调度 $Sched(\rho)$ 是最小可串行化的。