补全:数还能重排几对
补全 orders_kept:数还可能被重排的相邻对。
重排序模型:independent(a写, b读)=写的不是读的(无依赖)才可能被重排;can_reorder(a写, b读, 屏障)=无依赖且中间没屏障才可能被重排;orders_kept(相邻对, 屏障)=还可能被重排的对数。
补全 orders_kept:数还可能被重排的相邻对。
重排序模型:independent(a写, b读)=写的不是读的(无依赖)才可能被重排;can_reorder(a写, b读, 屏障)=无依赖且中间没屏障才可能被重排;orders_kept(相邻对, 屏障)=还可能被重排的对数。
全部评论