同步与互斥

有数据交互的进程之间的关系主要有两种,同步与互斥.所谓互斥,是指在不同进程之间的若干程序片断,当某个进程运行其中一个程序片段时,其它进程就不能运行它们之中的任一程序片段,只能等到该进程运行完这个程序片段后才可以运行.所谓同步,是指在不同进程之间的若干程序片断,它们的运行必须严格按照规定的某种先后次序来运行,这种先后次序依赖于要完成的特定的任务.

 

很显然,同步是一种更为复杂的互斥,而互斥是一种特殊的同步. 也就是说互斥是两个线程之间不可以同时运行某个代码片段,他们会相互排斥,必须等待一个线程运行完毕,另一个才能运行;而同步也是不能同时运行的,同时它还要必须要安照某种次序来运行相应的线程(也是一种互斥). 

 

互斥:是指某一资源同时只允许一个访问者对其进行访问,具有唯一性和排它性.但互斥无法限制访问者对资源的访问顺序,即访问是无序的.任务A需要使用打印机,任务B也需要使用打印机,那么只有在任务A使用结束的情况下B才能使用打印机,所有A和B之间是间接关系,那么实现这种间接关系的机制就是互斥.但是互斥无法限制访问者对资源的访问顺序,即访问的无序的.

 

同步:是指在互斥的基础上(大多数情况),通过其它机制实现访问者对资源的有序访问.在大多数情况下,同步已经实现了互斥,特别是所有写入资源的情况必定是互斥的.少数情况是指可以允许多个访问者同时访问资源.任务A对某个缓冲区进行写操作,任务B从这个缓冲区进行读操作,那么A和B就是直接的关系,那么实现这种直接关系的机制就是同步.大多数在建立在互斥的基础上,通过机制实现访问者对资源的有序访问.

 

在linux中实现线程间的同步和互斥的主要机制是:信号量和互斥锁