|
��设S是一个调度，由S构造一个有向图，称为优先图。该图由两部分G=(V,E)组成，其中V是顶点集，E是边集。顶点集由所有参与调度的事务组成。边集由满足下列三个条件之一的边Ti→Tj组成：
��-�Ti的write(Q)在Tj的read(Q)之前执行；
��-�Ti的read(Q)在Tj的write(Q)之前执行；
��-�Ti的write(Q)在Tj的write(Q)之前执行；如果有向图中存在边Ti→Tj，则在任何与S等价的串行调度S'中，Ti都必须出现在Tj之前，即如下所示：<…,
Ti,…, Tj,…>。
��
|