多工同步與互斥概念

現代作業系統基本都是多工作業系統，即同時有大量可排程實體在執行。在多工作業系統中，同時執行的多個任務可能：

都需要訪問/使用同一種資源

多個任務之間有依賴關係，某個任務的執行依賴於另一個任務

 

這兩種情形是多工程式設計中遇到的最基本的問題，也是多工程式設計中的核心問題，同步和互斥就是用於解決這兩個問題的。

 

接下來，來看一下同步與互斥的基本概念：

互斥： 是指散步在不同任務之間的若干程式片斷，當某個任務執行其中一個程式片段時，其它任務就不能執行它們之中的任一程式片段，只能等到該任務執行完這個程式片段後才可以執行。最基本的場景就是：一個公共資源同一時刻只能被一個程式或執行緒使用，多個程式或執行緒不能同時使用公共資源。

同步： 是指散步在不同任務之間的若干程式片斷，它們的執行必須嚴格按照規定的某種先後次序來執行，這種先後次序依賴於要完成的特定的任務。最基本的場景就是：兩個或兩個以上的程式或執行緒在執行過程中協同步調，按預定的先後次序執行。比如 A 任務的執行依賴於 B 任務產生的資料。

顯然， 同步是一種更為複雜的互斥，而互斥是一種特殊的同步 。也就是說互斥是兩個任務之間不可以同時執行，他們會相互排斥，必須等待一個執行緒執行完畢，另一個才能執行，而同步也是不能同時執行，但他是必須要安照某種次序來執行相應的執行緒（也是一種互斥）！因此互斥具有唯一性和排它性，但互斥並不限制任務的執行順序，即任務是無序的，而同步的任務之間則有順序關係。