所谓原子操作是指不会被线程调度机制打断的操作,这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch (切换到另一个线程)。在多进程(线程)访问资源时,能够确保所有其他的进程(线程)都不在同一时间内访问相同的资源。
C/C++ 中数值操作,如自加 (n++) 自减 (n- -) 及赋值 (n=2) 操作都不是原子操作。如果多线程程序需要使用全局计数器,程序就需要使用锁或者互斥量保证操作的安全性,对于较高并发的程序,这种做法会造成一定的性能瓶颈。
muduo网络库对原子性操作的封装有如下要点:
(1)gcc提供的原子操作
// 原子自增操作,返回的是更新前的值
type __sync_fetch_and_add (type *ptr, type value)
// 原子比较和交换(设置)操作
// 如果*ptr == oldval,就将newval写入*ptr,第一个函数返回操作之前的值,第二个函数在相等并写入的情况下返回true
type __sync_val_compare_and_swap (type *ptr, type oldval, type newval)
bool __sync_bool_compare_and_swap (type *ptr, type oldval, type newval)
// 原子赋值操作,将*ptr设为value并返回*ptr操作之前的值
type __sync_lock_test_and_set (type *ptr, type value)
使用这些原子性操作,编译的时候需要加-march=cpu-type(如native,i386,pentium等等)
muduo原子性操作的代码中,就是利用gcc提供的原子操作来实现赋值、自加等原子性操作。
文件名:Atomic.h
T get()
{
return __sync_val_compare_and_swap(&value_, 0, 0);
}
// value++
T getAndAdd(T x)
{
return __sync_fetch_and_add(&value_, x);
}
T addAndGet(T x)
{
return getAndAdd(x) + x;
}
(2)volatile关键字
volatile的作用: 作为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值。简单地说就是防止编译器对代码进行优化。当要求使用volatile 声明的变量的值的时候,系统总是重新从它所在的内存读取数据,而不是使用保存在寄存器中的备份。即使它前面的指令刚刚从该处读取过数据。而且读取的数据立刻被保存。
(3)explicit关键字与隐式转换
C++中的explicit关键字只能用于修饰只有一个参数的类构造函数,它的作用是表明该构造函数是显示的, 而非隐式的,跟它相对应的另一个关键字是implicit, 意思是隐藏的,类构造函数默认情况下即声明为implicit(隐式)。隐式转换总是在我们没有察觉的情况下悄悄发生,除非有心所为,隐式转换常常是我们所不希望发生的。通过将构造函数声明为explicit(显式)的方式可以抑制隐式转换。也就是说,explicit构造函数必须显式调用。
通过一个例子来理解。
class Test1
{
public:
Test1(int n) { num = n; } // 普通构造函数
private:
int num;
};
class Test2
{
public:
explicit Test2(int n) { num = n; } // explicit(显式)构造函数
private:
int num;
};
int main()
{
Test1 t1 = 12; // 成功,隐式调用其构造函数Test1(int n),再调用默认的拷贝构造函数
Test2 t2 = 12; // 编译错误,不能隐式调用其构造函数
Test2 t3(12); // 成功,显式调用其构造函数explicit Test2(int n);
return 0;
}