1. 竞态条件
一旦数据被多个线程共享,那么就很可能会产生争用和冲突的情况。这种情况也被称为竞态条件(race condition
),这往往会破坏共享数据的一致性。
举个例子,同时有多个线程连续向同一个缓冲区写入数据块,如果没有一个机制去协调这些线程的写入操作的话,那么被写入的数据块就很可能会出现错乱。
比如,在线程 A 还没有写完一个数据块的时候,线程 B 就开始写入另外一个数据块了。
显然,这两个数据块中的数据会被混在一起,并且已经很难分清了。因此,在这种情况下,我们就需要采取一些措施来协调它们对缓冲区的修改。这通常就会涉及同步。
2. 同步作用
概括来讲,同步的用途有两个,
- 一个是避免多个线程在同一时刻操作同一个数据块,
- 另一个是协调多个线程,以避免它们在同一时刻执行同一个代码块。
我们所说的同步其实就是在控制多个线程对共享资源的访问。
3. 临界区
一个线程在想要访问某一个共享资源的时候,需要先申请对该资源的访问权限,并且只有在申请成功之后,访问才能真正开始。而当线程对共享资源的访问结束时,它还必须归还对该资源的访问权限,