C++ 标签中有 5 篇文章
Sequential lock，简称seq lock，是一种有点特殊的“读写锁”，Linux内核从2.6版本开始引入，是一种非常简单轻量保护共享数据读写的方法。
Sequential lock的原理非常简单，其核心就是通过维护一个序号(sequence)来避免读者(Reader)读到错误的数据，而写者(Writer)在加锁和解锁的过程中递增序号，多个写者之间需要借助于额外的互斥锁来保证互斥关系。
具体来讲，序号初始化为0，读者和写者的流程如下：
SeqLock时序示意
看个例子就明白了，如上图所示，是不是非常简洁明了。
最近花了一些时间研究如何在用户态实现自旋锁，这里简单的总结一下。本文的所有代码以及配套的测试用代码都可以在我的github上找到。
首先明确问题，我们需要一种用户态实现的线程同步机制，正确性当然是最重要的。本文的目的是实现正确的自旋锁（自旋锁比较简单轻量，但了解了原理后实现互斥锁并不困难，自行维护等待关系并通过 futex 对线程执行挂起、唤醒操作就可以了）。
概念上这个问题很简单啊，是不是我们只要用一个线程共享的变量做互斥，然后在线程获得和释放锁时修改这个变量就行了？比如像下面这样：
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 |
#ifndef _FAKELOCK_H_ #define _FAKELOCK_H_ class FakeLock { public: FakeLock() {}; virtual ~FakeLock() {}; FakeLock(const FakeLock&) = delete; FakeLock &operator=(const FakeLock&) = delete; virtual int lock() { while (1L == lock_) { asm volatile("pause\n" ::: "memory"); } lock_ = 1L; return 0; } virtual int unlock() { lock_ = 0L; return 0; } private: int64_t lock_; }; #endif /* _FAKELOCK_H_ */ |
然而事情没这么简单，因为对这个变量的操作不是原子的，所以会导致这个锁无法正确的运行（即使在单核环境也如此），因此我们需要利用硬件提供的原子操作来实现锁（FYI. 一种不需要原子操作的锁实现方法见前文中提到过的Dekker算法，非常漂亮，但通用性不足）。
除此之外，另一个问题是多核争用的性能问题，这一点我会在后文中提到。
另外由于在用户态实现锁对硬件体系结构提供的一致性保证非常相关，所以必须注明，本文中所有实现针对于x86体系结构（也就是acquire-release语义TSO内存模型），不具备可移植性。
本文是我在追查一个诡异core问题的过程中收获的一点心得，把公司项目相关的背景和特定条件去掉后，仅取其中通用的C++虚函数实现部分知识记录于此。
在开始之前，原谅我先借用一张图黑一下C++：
“无敌”的C++
如果你也在写C++，请一定小心…至少，你要先有所了解：当你在写虚函数的时候，g++在写什么？
最近看了一些算是比较高大上的C++代码，被内力震伤了，赶紧记录下来！最最基础的就是这个：单体类。单体是面向对象中一种非常流行的设计模式，C++的实现百度一下可以找到一坨，但这个稍稍有点特殊——多线程安全。
普通版本的单体类实现如下：
|
1 2 3 4 5 6 7 8 9 10 11 |
# Singleton.h class Singleton { public: static Singleton * Instance(); static bool IsCreated(); private: //Singleton模式，隐藏构造函数 Singleton(); static Singleton * m_Instance; }; |
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
# Singleton.cpp #include "Singleton.h" Singleton * Singleton::m_Instance = NULL; Singleton::Singleton() { } //返回Singleton的唯一实例 Singleton * Singleton::Instance() { if (NULL == m_Instance) { m_Instance = new Singleton(); } return m_Instance; } bool Singleton::IsCreated() { return (NULL != m_Instance); } |
乍一看似乎完全没有问题，不过如果这个单体类运行在多线程环境中，将会有可能创建多个实例。临界区出现在Instance()函数中创建单体对象的部分,即静态变量m_Instance！当访问该变量判断单体是否已被创建时，如果不进行临界区保护，很有可能会造成多个线程同时进入临界区，创建了多个Singleton对象，Boom…
