long类型需要加锁吗？

Aquester

long类型需要加锁吗？多读一写的int变量。


long counter = 0;
void thread1()
{
    counter = time(NULL);
}

void thread2()
{
    printf("%ld\n", counter);
}

prolj

需要加锁和long或是int没关系吧？和你的程序逻辑有关。

cjaizss

那就不加吧

fineamy

你的例子中两个线程访问一个共享变量。一写一读。原则上都需要保护。
但是对基本数据类型通常都是原子操作，所以就省了。
但是
比如long =64bit,int=32bit,
若你的平台是32位，那么操作long型并非原子操作，就需要保护。

一般来讲，对M位机，只要操作位数大于M位的共享变量都需要保护。
相信把long型换成一个大的数组，你就知道要保护了。

[ 本帖最后由 fineamy 于 2008-12-18 00:09 编辑 ]

cjaizss

关于原子操作,我写个例子,LZ可以感受一下。

1. 
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. #include <pthread.h>
   
5. #define MAX 100000000
   
6. volatile int x=0;
   
7. void* thread(void* arg)
   
8. {
   
9.         int i;
   
10.         for(i=0;i<MAX;i++)
    
11.                 x++;
    
12. }
    
13. int main()
    
14. {
    
15.         pthread_t id1,id2;
    
16.         pthread_create(&id1,NULL,thread,NULL);
    
17.         pthread_create(&id2,NULL,thread,NULL);
    
18.         pthread_join(id1,NULL);
    
19.         pthread_join(id2,NULL);
    
20.         printf("%d\n",x);
    
21.         return 0;
    
22. }
    

复制代码

prolj

如果是两个核，一个核执行读，一个核执行写，同时执行，怎么办？还是加锁放心。

freearth

如果读写的是一个计算机的字（对齐的），这样也没有关系。同一个Memory中的字不可能同时进行读写，总线的arbitrater会公平地调度不同的处理器，两个操作仍然是串行的。

原帖由 prolj 于 2008-12-18 23:01 发表
如果是两个核，一个核执行读，一个核执行写，同时执行，怎么办？还是加锁放心。

cjaizss

加锁是为了同步.什么是同步呢?其实同步说白了,就是防止某些时序的出现.比如
A过程(这里的过程或许是一个软件线程,或许是个硬件CPU,或者只是一个硬件,无所谓)不停干以下的事情:1,写数据
B过程不停干:1.读数据2.根据读到的数据干不同的事(1是原子,2是原子,但(1,2)不是原子)
如果严格禁止以下时序出现
B1,A1,B2
那么非得加"锁"不可

prolj

原帖由 freearth 于 2008-12-19 12:51 发表
如果读写的是一个计算机的字（对齐的），这样也没有关系。同一个Memory中的字不可能同时进行读写，总线的arbitrater会公平地调度不同的处理器，两个操作仍然是串行的。

谢谢告知。
btw这又是一块好砖啊。

fineamy

如果读写的是一个计算机的字（对齐的），这样也没有关系。同一个Memory中的字不可能同时进行读写，总线的arbitrater会公平地调度不同的处理器，两个操作仍然是串行的

加锁与操作串行化是两马事吧。
无论加锁同步还是串行化都是由于数据共享导致的，用于解决不同的问题。

对一个操作总是可以拆分成一组原子操作序列。
加锁是将这个操作原子化，
CPU内部共享内存的访问一般总是是原子的。单个访问不会被打断。可以理解为加锁，或互斥。
一个注意的地方就是，如x86 CISC 指令通常要拆分为多条RISC指令或微指令来执行,这些CISC指令对用户是“原子的”，但是对CPU却不是，原子化就要LOCK修饰，典型的如ADD [MEM] ,reg
软件上的锁技术更多。

串行化是按照逻辑将一操作序列顺序施加于一个对象上。
多核CPU的共享内存通常存在同时读写，写写的问题，必须按顺序把这些操作施加于共享内存，即仲裁。
软件中共享数据的访问串行化也存在，类似的。

[ 本帖最后由 fineamy 于 2008-12-19 19:32 编辑 ]