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