X86_64平台对64位整型变量(off_t、long、time_t)赋值存在竞争状态吗？

safedead

如题

手头有一本书讲线程的
提到如果对一个32位整型变量赋值，如果CPU寄存器是16位的
那么存在一个竞争状态，赋值过程中高16位和低16位的变化不是同时的

我现在有个程序，一共有两个线程

有两个全局变量
volatile off_t file_end；
volatile off_t file_start；

线程A会有file_end++;
线程B会有file_start++;

在线程A中，如果file_start >= file_end，线程A会休眠1秒
在线程B中，计算file_end - file_start的数值，如果这个数值大于262144，则线程B休眠1秒

CPU是4核X86_64，操作系统是RHEL5 64位，
CPU的寄存器应该是64位的吧，我不希望出现高32位和低32位不同步的问题，不然我就得用锁＋条件变量来防范这个竞争了

lenovo

〉〉提到如果对一个32位整型变量赋值，如果CPU寄存器是16位的
你要看清楚“如果”后面的那句话。

mik

现在的x86 processor 内部对x86指令都是采取解码为类似RICS执行简单任务的微码来执行。
关键是对一条指令有的解码为1条微码，有的是多条微码。
对于解码为单条微码的指令来说，不存在什么高32低32不同步问题，象mov,add这些简单指令用简单操作数都是单条的

tomorrow819

原帖由 mik 于 2008-11-6 12:09 发表
现在的x86 processor 内部对x86指令都是采取解码为类似RICS执行简单任务的微码来执行。
关键是对一条指令有的解码为1条微码，有的是多条微码。
对于解码为单条微码的指令来说，不存在什么高32低32不同步问题， ...