有屏障还能重排吗

按重排模型，两条无依赖指令中间有屏障，can_reorder("x", "y", True) 交回什么？

重排序模型：independent(a写, b读)=写的不是读的（无依赖）才可能被重排；can_reorder(a写, b读, 屏障)=无依赖且中间没屏障才可能被重排；orders_kept(相邻对, 屏障)=还可能被重排的对数。

def independent(a_writes, b_reads):
    """两条指令无数据依赖（一条写的不是另一条读的）才可能被重排。"""
    return a_writes != b_reads


def can_reorder(a_writes, b_reads, barrier):
    """无依赖、且中间没有内存屏障，才可能被重排。"""
    return independent(a_writes, b_reads) and not barrier


def orders_kept(pairs, barrier):
    """一组相邻指令对里，还可能被重排的有几对（pairs: [(a写, b读)]）。"""
    return sum(1 for (a, b) in pairs if can_reorder(a, b, barrier))

print(can_reorder("x", "y", True))