muduo学习笔记4——原子性操作和Atomic.h、Exception类的实现

原子性操作

所谓原子操作是指不会被线程调度机制打断的操作，这种操作一旦开始，就一直运行到结束，中间不会有任何 context switch （切换到另一个线程）。在多进程（线程）访问资源时，能够确保所有其他的进程（线程）都不在同一时间内访问相同的资源。

C/C++ 中数值操作，如自加 (n++) 自减 (n- -) 及赋值 (n=2) 操作都不是原子操作。如果多线程程序需要使用全局计数器，程序就需要使用锁或者互斥量保证操作的安全性，对于较高并发的程序，这种做法会造成一定的性能瓶颈。

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
//cpu-type就是cpu体系结构：(如native,i386,pentium等等)

讲一个原子性的整数操作

传进一个整数成员，用volatile修饰，接口有

……

举例看：

文件名:Atomic.h

  T get()
  {
    return __sync_val_compare_and_swap(&value_, 0, 0);//返回修改之前的value值，是线程安全的原子性操作
  }

  // value++
  T getAndAdd(T x)
  {
    return __sync_fetch_and_add(&value_, x);
  }

  T addAndGet(T x)
  {
    return getAndAdd(x) + x;
  }

volatile关键字

volatile作为指令关键字，是为了确保本条指令不会因编译器的优化而省略，且要求每次直接读值。**当要求使用volatile声明的变量的值的时候，系统总是重新从它所在的内存读取数据，而不是使用保存在寄存器中的备份。**即使它前面的指令刚刚从该处读取过数据。而且读取的数据立刻被保存。

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;
}

---

Exception类实现

• backtrace, 栈回溯，保存各个栈帧的地址
• backtrace_symbols，根据地址，转成相应的函数符号
• abi::__cxa_demangle
  
  两个数据成员message_异常信息的一个字符串，stack_用来保存异常发生时候调用函数的栈回溯信息，成员函数有构造函数，析构函数，what()返回message的函数，stackTrace()返回stack的函数，；另外在构造函数中会调用一个fillStackTrace()，用来记录异常发生的时候栈回溯的信息，是一个私有的函数

//fillStackTrace
void Exception::fillStackTrace
{
	const int len = 200;
	void* buffer[100];//定义一个指针数组，用来保存地址
	int nptrs = ::backtrace(buffer, len);//返回实际保存的个数
	/*backtrace() returns a backtrace for the calling program
	返回调用程序的一个backtrace，
	 将调用函数整个栈里面的每一个函数栈帧的地址保存在指针所指向的数组中
	*/
	char** strings = :backtrace_symbols(buffer, nptrs);//将地址转换成名称（函数名称）
	if(strings)
	//借助backtrace和demangle 实现异常类
	{
		for(int i = 0; i<nptrs; ++i)
		{//遍历信息并添加到stack中
			//TODO demangle function name with abi::__cxa_demangle
			//要自己写一个这个demangle函数
			stack_.append(string[i]);
			stack_.push_back('\n');
		}
		free(strings);//要手动释放
	}
}

mangel和demangle介绍名字改编， 名字还原， 名字还原之后backtrace得到的函数名字就是代码的函数名了

---

//还是没有学出什么东西的感觉