一道笔试题

以下多线程对int型变量x的操作，哪几个需要进行同步：

A. x=y;         B. x++;         C. ++x;            D. x=1;

 

最初有人说选B 因为操作了2个寄存器。答案：ABC

 

后面干脆将代码汇编了。

得到

A：

        movl    $1, -4(%ebp)
        movl    -4(%ebp), %eax
        movl    %eax, -8(%ebp)

B：

        movl    $1, -4(%ebp)
        leal    -4(%ebp), %eax
        incl    (%eax)

C：

        movl    $1, -4(%ebp)
        leal    -4(%ebp), %eax
        incl    (%eax)

D：

        movl    $1, -4(%ebp)

 

我们看到ABC都对2个寄存器进行操作。

 

下表是一个多线程加锁的规律表

可以同样看到ABC都是写简单数据类型 并且操作的结果与初值相关。所以需要加锁。即要求同步

第2种情况的典型代表是“i++;”，需要对它加锁是因为它表面上虽然只有一条语句，却要执行至少两个操作，一是读出i的初始, 二是把加一后的结果写回去，两个操作就没有“原子性”了，所以需要加锁.