— 线程安全和互斥量
内容提要
线程的主要优势在于能够通过全局变量来共享信息，但需要确保多个线程不会同时修改同一变量。为了确保线程安全，可以使用互斥锁来保护共享资源。互斥锁有两种状态：已锁定和未锁定。多个线程试图执行临界区代码时，必须先锁定互斥锁才能进入临界区。实现线程安全需要实现互斥行为、只允许一个线程进入临界区、不在临界区的线程不能阻止其他线程进入临界区。互斥锁的类型和属性可以通过相关函数进行设置和获取。避免死锁的方法是定义互斥锁的层级关系。
延伸解读
互斥量类型的选择与影响
文章指出互斥量有快速、递归和错误检查三种类型。快速互斥量在同一个线程重复加锁时会导致死锁；递归互斥量通过锁计数器允许同一线程多次加锁，但需对应次数的解锁；错误检查互斥量则立即返回错误，便于调试。选择时需根据场景：若可能重复加锁，递归类型更安全；若需排查误用，错误检查类型有帮助。
静态与动态初始化的适用场景
互斥量初始化有静态和动态两种方式。静态初始化使用宏（如PTHREAD_MUTEX_INITIALIZER），简单且无需销毁；动态初始化通过pthread_mutex_init函数，可指定属性（如类型、进程共享），更灵活。若需自定义属性或进程间共享，应选择动态初始化，并记得最后用pthread_mutex_destroy销毁。
死锁的预防：固定加锁顺序
死锁常发生在多个线程以不同顺序锁定多个互斥量时。文章建议定义互斥量的层级关系，所有线程都按相同顺序加锁。例如，总是先锁mutex1再锁mutex2，这样就能避免循环等待。这是最简单且有效的预防措施，在多锁场景中应作为编码规范。
Q&A
什么是线程安全？
线程安全是指一个函数可以安全地同时供多个线程调用，而不会导致数据错误。
如何实现线程安全？
实现线程安全需要遵循互斥行为、只允许一个线程进入临界区、线程不在临界区时不能阻止其他线程。
互斥量的作用是什么？
互斥量用于确保同时仅有一个线程访问共享资源，从而避免数据竞争和错误。
互斥量有哪些类型？
互斥量的类型包括快速互斥量、递归互斥量和错误检查互斥量。
如何避免死锁？
避免死锁的方法是定义互斥量的层级关系，确保多个线程以相同顺序锁定互斥量。
互斥量的初始化方式有哪些？
互斥量可以通过静态初始化和动态初始化两种方式进行初始化。
