线程同步与互斥量在Linux系统编程中应用.pdfVIP

同步概念

所谓同步，即同时起步，协调一致。不同的对象，对“同步”的理解方式略有不同。如，设备同步，是指在两个设

备之间规定一个共同的时间参考；数据库同步，是指让两个或多个数据库内容保持一致，或者按需要部分保持一致；文

件同步，是指让两个或多个文件夹里的文件保持一致。等等

在编程和通信领域中，同步的概念与日常生活中人们通常理解的同步略有不同。“同”字在这里应理解为协同、协

助和相互配合。其在于协调步调，按照预定的先后顺序运行。

线程同步

同步即协同步调，按预定的先后次序运行。

线程同步，指一个线程发出某能调用时，在没有得到结果之前，该调用不返回。同时其它线程为保证数据一致

性，不能调用该功能。

举例1:存款5000。柜台，折：取3000；提款机，卡：取3000。剩余：2000

举例2:内存中100字节，线程T1欲填入全1，线程T2欲填入全0。但如果T1执行了50个字节失去CPU，T2

执行，会将T1写过的内容覆盖。当T1再次获得CPU继续从失去CPU的位置向后写入1，当执行结束，内存中

的100字节，既不是全1，也不是全0。

这种现象称为“与时间有关的错误”(timerelated)。为了避免这种数据，线程需要同步。

“同步”的目的，是为了避免数据，解决与时间有关的错误。实际上，不仅线程间需要同步，进程间、信号间

等等都需要同步机制。

因此,所有“多个控制流共同操作一个共享资源”的情况都需要同步。

数据：

1.资源共享（独享资源则不会）

2.调度随机（意味着数据会出现竞争）

3.线程间缺乏必要的同步机制。

以上3点中，前两点不能改变，欲提高效率，传递数据，资源必须共享。只要共享资源，就一定会出现竞争。

只要存在竞争关系，数据就很容易出现。

因此只能从第入手解决。当多个线程共享资源时，实现互斥。

互斥量互斥锁

Linux中一把互斥锁mutex（也称之为互斥量）。

每个线程在操作资源前都会尝试先加锁，只有成功加锁后才能进行操作，操作完成后。

资源还是共享的，线程间也还是竞争的，

但是通过“锁”将资源的变为互斥操作后，与时间有关的错误也就不会产生了。

同步概念

所谓同步，即同时起步，协调一致。不同的对象，对“同步”的理解方式略有不同。如，设备同步，是指在两

个设备之间规定一个共同的时间参考；数据库同步，是指让两个或多个数据库内容保持一致，或者按需要部分保持

一致；文件同步，是指让两个或多个文件夹里的文件保持一致。等等

而，编程中、通信中所说的同步与生活中大家印象中的同步概念略有差异。“同”字应是指协同、协助、互相配

合。主旨在协同步调，按预定的先后次序运行。

线程同步

同步即协同步调，按预定的先后次序运行。

线程同步，指一个线程发出某能调用时，在没有得到结果之前，该调用不返回。同时其它线程为保证数据

一致性，不能调用该功能。

举例1：存款5000。柜台，折：取3000；提款机，卡：取3000。剩余：2000

举例2：内存中100字节，线程T1欲填入全1，线程T2欲填入全0。但如果T1执行了50个字节失去cpu，T2

执行，会将T1写过的内容覆盖。当T1再次获得cpu继续从失去cpu的位置向后写入1，当执行结束，内存中的

100字节，既不是全1，也不是全0。

产生的现象叫做“与时间有关的错误”(timerelated)。为了避免这种数据，线程需要同步。

“同步”的目的，是为了避免数据，解决与时间有关的错误。实际上，不仅线程间需要同步，进程间、信

号间等等都需要同步机制。

因此，所有“多个控制流，共同操作一个共享资源”的情况，都需要同步。

数据：

1.资源共享（独享资源则不会）

2.调度随机（意味着数据会出现竞争）

3.线程间缺乏必要的同步机制。

以上3点中，前两点不能改变，欲提高效率，传递数据，资源必须共享。只要共享资源，就一定会出现竞争。

只要存在竞争关系，数据就很容易出现。

所以只能从第着手解决。使多个线程在共享资源的时候，出现互斥。

互斥量mutex

Linux中一把互斥锁mutex（也称之为互斥量