Linux-线程同步（条件变量、POSIX信号量）

一、线程同步概念

        线程同步（Thread Synchronization）是多线程编程中的一个重要概念，它指的是在多线程环境中，各个线程按照一定的顺序或规则来执行，以确保数据的完整性和一致性，避免数据竞争（Data Race）和条件竞争（Race Condition）等问题。

        在多线程程序中，不同的线程可能会同时访问和修改共享资源（如内存中的变量、文件、数据库等）。如果没有适当的同步机制，就可能发生数据不一致或数据损坏的情况，因为线程的执行顺序和速度是不可预测的。

线程同步的目的主要是：

1. 保护共享资源：确保在同一时刻只有一个线程可以访问或修改某个特定的共享资源。
2. 维护数据一致性：通过控制对共享资源的访问顺序，确保数据在多个线程之间保持一致性和正确性。
3. 协调线程的执行：按照预定的顺序或规则来执行线程，以避免出现不可预测的行为或结果。

实现线程同步的方法有多种，包括但不限于以下几种：

• 互斥锁（Mutex）：互斥锁是一种最基本的同步机制，用于保护共享资源，确保同一时刻只有一个线程可以访问该资源。当一个线程访问共享资源时，它会先锁定互斥锁，访问结束后释放锁，其他线程才能访问该资源。
• 信号量（Semaphore）：信号量是一种更高级的同步机制，用于控制多个线程对多个共享资源的访问。