現代作業系統基本都是多工作業系統,即同時有大量可排程實體在執行。在多工作業系統中,同時執行的多個任務可能:
這兩種情形是多工程式設計中遇到的最基本的問題,也是多工程式設計中的核心問題,同步和互斥就是用於解決這兩個問題的。
互斥:是指散步在不同任務之間的若干程式片斷,當某個任務執行其中乙個程式片段時,其它任務就不能執行它們之中的任一程式片段,只能等到該任務執行完這個程式片段後才可以執行。最基本的場景就是:乙個公共資源同一時刻只能被乙個程序或執行緒使用,多個程序或執行緒不能同時使用公共資源。
同步:是指散步在不同任務之間的若干程式片斷,它們的執行必須嚴格按照規定的某種先後次序來執行,這種先後次序依賴於要完成的特定的任務。最基本的場景就是:兩個或兩個以上的程序或執行緒在執行過程中協同步調,按預定的先後次序執行。比如 a 任務的執行依賴於 b 任務產生的資料。
顯然,同步是一種更為複雜的互斥,而互斥是一種特殊的同步。也就是說互斥是兩個任務之間不可以同時執行,他們會相互排斥,必須等待乙個執行緒執行完畢,另乙個才能執行,而同步也是不能同時執行,但他是必須要安照某種次序來執行相應的執行緒(也是一種互斥)!因此互斥具有唯一性和排它性,但互斥並不限制任務的執行順序,即任務是無序的,而同步的任務之間則有順序關係。
同步與互斥
雖然多個程序可以共享系統中的各種資源,但其中許多資源一次只能為乙個程序所使用,我們把一次僅允許乙個程序使用的資源稱為臨界資源。許多物理裝置都屬於臨界資源,如印表機等。此外,還有許多變數 資料等都可以被若干程序共享,也屬於臨界資源。對臨界資源的訪問,必須互斥地進行,在每個程序中,訪問臨界資源的那段 稱...
同步與互斥
在多道程式系統中,由於程序併發,資源共享與程序協作,使得程序間可能產生兩種形式的制約 1 間接相互制約 源於資源共享,如果程序ab共享一種資源,如果a請求資源時發現程序b正在訪問這種資源,那麼程序a就進入阻塞佇列,當程序b釋放資源,程序a被喚醒到就緒狀態 2 直接相互制約 源於程序協作,如果程序a通...
同步與互斥
同步與互斥的概念 當執行緒併發執行時,由於資源共享和執行緒協作,使用執行緒之間會存在以下兩種制約關係。1.間接相互制約。乙個系統中的多個執行緒必然要共享某種系統資源,如共享cpu,共享i o裝置,所謂間接相互制約即源於這種資源共享,印表機就是最好的例子,執行緒a在使用印表機時,其它執行緒都要等待。間...