現代作業系統基本都是多工作業系統,即同時有大量可排程實體在執行。在多工作業系統中,同時執行的多個任務可能:
這兩種情形是多工程式設計中遇到的最基本的問題,也是多工程式設計中的核心問題,同步和互斥就是用於解決這兩個問題的。
互斥:是指散步在不同任務之間的若干程式片斷,當某個任務執行其中乙個程式片段時,其它任務就不能執行它們之中的任一程式片段,只能等到該任務執行完這個程式片段後才可以執行。最基本的場景就是:乙個公共資源同一時刻只能被乙個程序或執行緒使用,多個程序或執行緒不能同時使用公共資源。
同步:是指散步在不同任務之間的若干程式片斷,它們的執行必須嚴格按照規定的某種先後次序來執行,這種先後次序依賴於要完成的特定的任務。最基本的場景就是:兩個或兩個以上的程序或執行緒在執行過程中協同步調,按預定的先後次序執行。比如 a 任務的執行依賴於 b 任務產生的資料。
總之,同步是一種更為複雜的互斥,而互斥是一種特殊的同步。也就是說互斥是兩個任務之間不可以同時執行,他們會相互排斥,必須等待乙個執行緒執行完畢,另乙個才能執行,而同步也是不能同時執行,但他是必須要按照某種次序來執行相應的執行緒(也是一種互斥)!因此互斥具有唯一性和排它性,但互斥並不限制任務的執行順序,即任務是無序的,而同步的任務之間則有順序關係。
5.1 參考: 同步和互斥
Linux系統程式設計 執行緒同步與互斥 互斥鎖
在多工作業系統中,同時執行的多個任務可能都需要使用同一種資源。這個過程有點類似於,公司部門裡,我在使用著印表機列印東西的同時 還沒有列印完 別人剛好也在此刻使用印表機列印東西,如果不做任何處理的話,列印出來的東西肯定是錯亂的。下面我們用程式模擬一下這個過程,執行緒一需要列印 hello 執行緒二需要...
Linux系統程式設計 執行緒互斥鎖
在多工作業系統中,同時執行的多個任務可能都需要使用同一種資源。這個過程有點類似於,公司部門裡,我在使用著印表機列印東西的同時 還沒有列印完 別人剛好也在此刻使用印表機列印東西,如果不做任何處理的話,列印出來的東西肯定是錯亂的。下面我們用程式模擬一下這個過程,執行緒一需要列印 hello 執行緒二需要...
Linux系統程式設計 條件變數 互斥量
基於unix環境高階程式設計,不懂條件變數執行流程的一定要看 後面的白字,重要 以下討論建立在互斥量已經理解的前提。條件變數這裡卡了我很久,總算理清邏輯,趕快總結一波 乙個重要的函式pthread cond wait pthread cond t,pthread mutex t 這裡,令這兩種pth...