重排序在单线程里不出问题，是因为【0】。
重排序模型：independent(a写, b读)=写的不是读的（无依赖）才可能被重排；can_reorder(a写, b读, 屏障)=无依赖且中间没屏障才可能被重排；orders_kept(相邻对, 屏障)=还可能被重排的对数。
independent(a写, b读)
can_reorder(a写, b读, 屏障)
orders_kept(相邻对, 屏障)
全部评论