目錄python
(兩本書:現代操做系統、操做系統原理,學好python之後再去研究吧~~)linux
現代的計算機系統主要是由一個或者多個處理器,主存,硬盤,鍵盤,鼠標,顯示器,打印機,網絡接口及其餘輸入輸出設備組成。程序員
通常而言,現代計算機系統是一個複雜的系統。算法
其一:若是每位應用程序員都必須掌握該系統全部的細節,那就不可能再編寫代碼了(嚴重影響了程序員的開發效率:所有掌握這些細節可能須要一萬年....)數據庫
其二:而且管理這些部件並加以優化使用,是一件極富挑戰性的工做,因而,計算安裝了一層軟件(系統軟件),稱爲操做系統。它的任務就是爲用戶程序提供一個更好、更簡單、更清晰的計算機模型,並管理剛纔提到的全部設備。編程
總結:windows
程序員沒法把全部的硬件操做細節都瞭解到,管理這些硬件而且加以優化使用是很是繁瑣的工做,這個繁瑣的工做就是操做系統來乾的,有了他,程序員就從這些繁瑣的工做中解脫了出來,只須要考慮本身的應用軟件的編寫就能夠了,應用軟件直接使用操做系統提供的功能來間接使用硬件。安全
精簡的說的話,操做系統就是一個協調、管理和控制計算機硬件資源和軟件資源的控制程序。操做系統所處的位置如圖1服務器
#操做系統位於計算機硬件與應用軟件之間,本質也是一個軟件。操做系統由操做系統的內核(運行於內核態,管理硬件資源)以及系統調用(運行於用戶態,爲應用程序員寫的應用程序提供系統調用接口)兩部分組成,因此,單純的說操做系統是運行於內核態的,是不許確的。
圖1網絡
細說的話,操做系統應該分紅兩部分功能:
#一:隱藏了醜陋的硬件調用接口(鍵盤、鼠標、音箱等等怎麼實現的,就不須要你管了),爲應用程序員提供調用硬件資源的更好,更簡單,更清晰的模型(系統調用接口)。應用程序員有了這些接口後,就不用再考慮操做硬件的細節,專心開發本身的應用程序便可。 例如:操做系統提供了文件這個抽象概念,對文件的操做就是對磁盤的操做,有了文件咱們無需再去考慮關於磁盤的讀寫控制(好比控制磁盤轉動,移動磁頭讀寫數據等細節), #二:將應用程序對硬件資源的競態請求變得有序化 例如:不少應用軟件實際上是共享一套計算機硬件,比方說有可能有三個應用程序同時須要申請打印機來輸出內容,那麼a程序競爭到了打印機資源就打印,而後多是b競爭到打印機資源,也多是c,這就致使了無序,打印機可能打印一段a的內容而後又去打印c...,操做系統的一個功能就是將這種無序變得有序。
圖 2
1.主要區別是:你不想用暴風影音了你能夠選擇用迅雷播放器或者乾脆本身寫一個,可是你沒法寫一個屬於操做系統一部分的程序(時鐘中斷處理程序),操做系統由硬件保護,不能被用戶修改。
2.操做系統與用戶程序的差別並不在於兩者所處的地位。特別地,操做系統是一個大型、複雜、長壽的軟件,
第一代計算機的產生背景:
第一代以前人類是想用機械取代人力,第一代計算機的產生是計算機由機械時代進入電子時代的標誌,從Babbage失敗以後一直到第二次世界大戰,數字計算機的建造幾乎沒有什麼進展,第二次世界大戰刺激了有關計算機研究的爆炸性進展。
lowa州立大學的john Atanasoff教授和他的學生Clifford Berry建造了據認爲是第一臺可工做的數字計算機。該機器使用300個真空管。大約在同時,Konrad Zuse在柏林用繼電器構建了Z3計算機,英格蘭布萊切利園的一個小組在1944年構建了Colossus,Howard Aiken在哈佛大學建造了Mark 1,賓夕法尼亞大學的William Mauchley和他的學生J.Presper Eckert建造了ENIAC。這些機器有的是二進制的,有的使用真空管,有的是可編程的,但都很是原始,設置須要花費數秒鐘時間才能完成最簡單的運算。
在這個時期,同一個小組裏的工程師們,設計、建造、編程、操做及維護同一臺機器,全部的程序設計是用純粹的機器語言編寫的,甚至更糟糕,須要經過成千上萬根電纜接到插件板上連成電路來控制機器的基本功能。沒有程序設計語言(彙編也沒有),操做系統則是歷來都沒據說過。使用機器的過程更加原始,詳見下‘工做過程’
特色:
沒有操做系統的概念
全部的程序設計都是直接操控硬件
工做過程:
程序員在牆上的機時表預定一段時間,而後程序員拿着他的插件版到機房裏,將本身的插件板街道計算機裏,這幾個小時內他獨享整個計算機資源,後面的一批人都得等着(兩萬多個真空管常常會有被燒壞的狀況出現)。
後來出現了穿孔卡片,能夠將程序寫在卡片上,而後讀入機而不用插件板
優勢:
程序員在申請的時間段內獨享整個資源,能夠即時地調試本身的程序(有bug能夠馬上處理)
缺點:
浪費計算機資源,一個時間段內只有一我的用。
注意:同一時刻只有一個程序在內存中,被cpu調用執行,比方說10個程序的執行,是串行的
穿孔卡帶的過程:程序員將對應於程序和數據的已穿孔的紙帶(或卡片)裝入輸入機,而後啓動輸入機把程序和數據輸入計算機內存,接着經過控制檯開關啓動程序針對數據運行;計算完畢,打印機輸出計算結果;用戶取走結果並卸下紙帶(或卡片)後,才讓下一個用戶上機。
第二代計算機的產生背景:
因爲當時的計算機很是昂貴,自認很天然的想辦法較少機時的浪費。一般採用的方法就是批處理系統。
特色:
設計人員、生產人員、操做人員、程序人員和維護人員直接有了明確的分工,計算機被鎖在專用空調房間中,由專業操做人員運行,這即是‘大型機’。
有了操做系統的概念
有了程序設計語言:FORTRAN語言或彙編語言,寫到紙上,而後穿孔打成卡片,再講卡片盒帶到輸入室,交給操做員,而後喝着咖啡等待輸出接口
工做過程:插圖
第二代如何解決第一代的問題/缺點:
1.把一堆人的輸入攢成一大波輸入,
2.而後順序計算(這是有問題的,可是第二代計算也沒有解決)
3.把一堆人的輸出攢成一大波輸出
現代操做系統的前身:(見圖)
優勢:批處理,節省了機時
缺點:1.整個流程須要人蔘與控制,將磁帶搬來搬去(中間倆小人)
2.計算的過程仍然是順序計算-》串行
3.程序員原來獨享一段時間的計算機,如今必須被統一規劃到一批做業中,等待結果和從新調試的過程都須要等同批次的其餘程序都運做完才能夠(這極大的影響了程序的開發效率,沒法及時調試程序)
第三代計算機的產生背景:
20世紀60年代初期,大多數計算機廠商都有兩條徹底不兼容的生產線。
一條是面向字的:大型的科學計算機,如IBM 7094,見上圖,主要用於科學計算和工程計算
另一條是面向字符的:商用計算機,如IBM 1401,見上圖,主要用於銀行和保險公司從事磁帶歸檔和打印服務
開發和維護徹底不一樣的產品是昂貴的,同時不一樣的用戶對計算機的用途不一樣。
IBM公司試圖經過引入system/360系列來同時知足科學計算和商業計算,360系列低檔機與1401至關,高檔機比7094功能強不少,不一樣的性能賣不一樣的價格
360是第一個採用了(小規模)芯片(集成電路)的主流機型,與採用晶體管的第二代計算機相比,性價比有了很大的提升。這些計算機的後代仍在大型的計算機中內心使用,此乃如今服務器的前身,這些服務器每秒處理不小於千次的請求。
如何解決第二代計算機的問題1:
卡片被拿到機房後可以很快的將做業從卡片讀入磁盤,因而任什麼時候刻當一個做業結束時,操做系統就能將一個做業從磁帶讀出,裝進空出來的內存區域運行,這種技術叫作
同時的外部設備聯機操做:SPOOLING,該技術同時用於輸出。當採用了這種技術後,就不在須要IBM1401機了,也沒必要將磁帶搬來搬去了(中間倆小人再也不須要)
如何解決第二代計算機的問題2:
第三代計算機的操做系統普遍應用了第二代計算機的操做系統沒有的關鍵技術:多道技術
cpu在執行一個任務的過程當中,若須要操做硬盤,則發送操做硬盤的指令,指令一旦發出,硬盤上的機械手臂滑動讀取數據到內存中,這一段時間,cpu須要等待,時間可能很短,但對於cpu來講已經很長很長,長到可讓cpu作不少其餘的任務,若是咱們讓cpu在這段時間內切換到去作其餘的任務,這樣cpu不就充分利用了嗎。這正是多道技術產生的技術背景
多道技術:
多道技術中的多道指的是多個程序,多道技術的實現是爲了解決多個程序競爭或者說共享同一個資源(好比cpu)的有序調度問題,解決方式即多路複用,多路複用分爲時間上的複用和空間上的複用。
空間上的複用:將內存分爲幾部分,每一個部分放入一個程序,這樣,同一時間內存中就有了多道程序。
時間上的複用:當一個程序在等待I/O時,另外一個程序可使用cpu,若是內存中能夠同時存放足夠多的做業,則cpu的利用率能夠接近100%,相似於咱們小學數學所學的統籌方法。(操做系統採用了多道技術後,能夠控制進程的切換,或者說進程之間去爭搶cpu的執行權限。這種切換不只會在一個進程遇到io時進行,一個進程佔用cpu時間過長也會切換,或者說被操做系統奪走cpu的執行權限)
現代計算機或者網絡都是多用戶的,多個用戶不只共享硬件,並且共享文件,數據庫等信息,共享意味着衝突和無序。 操做系統主要使用來 1.記錄哪一個程序使用什麼資源 2.對資源請求進行分配 3.爲不一樣的程序和用戶調解互相沖突的資源請求。 咱們可將上述操做系統的功能總結爲:處理來自多個程序發起的多個(多個即多路)共享(共享即複用)資源的請求,簡稱多路複用 多路複用有兩種實現方式 1.時間上的複用 當一個資源在時間上覆用時,不一樣的程序或用戶輪流使用它,第一個程序獲取該資源使用結束後,在輪到第二個。。。第三個。。。 例如:只有一個cpu,多個程序須要在該cpu上運行,操做系統先把cpu分給第一個程序,在這個程序運行的足夠長的時間(時間長短由操做系統的算法說了算)或者遇到了I/O阻塞,操做系統則把cpu分配給下一個程序,以此類推,直到第一個程序從新被分配到了cpu而後再次運行,因爲cpu的切換速度很快,給用戶的感受就是這些程序是同時運行的,或者說是併發的,或者說是僞並行的。至於資源如何實現時間複用,或者說誰應該是下一個要運行的程序,以及一個任務須要運行多長時間,這些都是操做系統的工做。 2.空間上的複用 每一個客戶都獲取了一個大的資源中的一小部分資源,從而減小了排隊等待資源的時間。 例如:多個運行的程序同時進入內存,硬件層面提供保護機制來確保各自的內存是分割開的,且由操做系統控制,這比一個程序獨佔內存一個一個排隊進入內存效率要高的多。 有關空間複用的其餘資源還有磁盤,在許多系統中,一個磁盤同時爲許多用戶保存文件。分配磁盤空間而且記錄誰正在使用哪一個磁盤塊是操做系統資源管理的典型任務。 這兩種方式合起來即是多道技術 詳解
空間上的複用最大的問題是:程序之間的內存必須分割,這種分割須要在硬件層面實現,由操做系統控制。若是內存彼此不分割,則一個程序能夠訪問另一個程序的內存,
首先喪失的是安全性,好比你的qq程序能夠訪問操做系統的內存,這意味着你的qq能夠拿到操做系統的全部權限。
其次喪失的是穩定性,某個程序崩潰時有可能把別的程序的內存也給回收了,比方說把操做系統的內存給回收了,則操做系統崩潰。
第三代計算機的操做系統仍然是批處理
許多程序員懷念第一代獨享的計算機,能夠即時調試本身的程序。爲了知足程序員們很快能夠獲得響應,出現了分時操做系統
如何解決第二代計算機的問題3:
分時操做系統:
多個聯機終端+多道技術
20個客戶端同時加載到內存,有17在思考,3個在運行,cpu就採用多道的方式處理內存中的這3個程序,因爲客戶提交的通常都是簡短的指令並且不多有耗時長的,索引計算機可以爲許多用戶提供快速的交互式服務,全部的用戶都覺得本身獨享了計算機資源
CTTS:麻省理工(MIT)在一臺改裝過的7094機上開發成功的,CTSS兼容分時系統,第三代計算機普遍採用了必須的保護硬件(程序之間的內存彼此隔離)以後,分時系統纔開始流行
MIT,貝爾實驗室和通用電氣在CTTS成功研製後決定開發可以同時支持上百終端的MULTICS(其設計者着眼於建造知足波士頓地區全部用戶計算需求的一臺機器),很明顯真是要上天啊,最後摔死了。
後來一位參加過MULTICS研製的貝爾實驗室計算機科學家Ken Thompson開發了一個簡易的,單用戶版本的MULTICS,這就是後來的UNIX系統。基於它衍生了不少其餘的Unix版本,爲了使程序能在任何版本的unix上運行,IEEE提出了一個unix標準,即posix(可移植的操做系統接口Portable Operating System Interface)
後來,在1987年,出現了一個UNIX的小型克隆,即minix,用於教學使用。芬蘭學生Linus Torvalds基於它編寫了Linux
進入20世紀80年代,大規模集成電路工藝技術的飛躍發展,微處理機的出現和發展,掀起了計算機大發展大普及的浪潮。一方面迎來了我的計算機的時代,同時又向計算機網絡、分佈式處理、巨型計算機和智能化方向發展。因而,操做系統有了進一步的發展,如:我的計算機操做系統、網絡操做系統、分佈式操做系統等。
1.我的計算機操做系統
我的計算機上的操做系統是聯機交互的單用戶操做系統,它提供的聯機交互功能與通用分時系統提供的功能很類似。
因爲是我的專用,所以一些功能會簡單得多。然而,因爲我的計算機的應用普及,對於提供更方便友好的用戶接口和豐富功能的文件系統的要求會越來越迫切。
2.網絡操做系統
計算機網絡:經過通訊設施,將地理上分散的、具備自治功能的多個計算機系統互連起來,實現信息交換、資源共享、互操做和協做處理的系統。
網絡操做系統:在原來各自計算機操做系統上,按照網絡體系結構的各個協議標準增長網絡管理模塊,其中包括:通訊、資源共享、系統安全和各類網絡應用服務。
就是添加了一些網絡方面的功能。
3.分佈式操做系統
表面上看,分佈式系統與計算機網絡系統沒有多大區別。分佈式操做系統也是經過通訊網絡,將地理上分散的具備自治功能的數據處理系統或計算機系統互連起來,實現信息交換和資源共享,協做完成任務。——硬件鏈接相同。
分佈式:將一個大的任務拆分紅幾個小的任務,分配給不一樣的任務處理機制,具體怎麼分配是由系統中的算法決定的,你們同時來運行本身的任務,而後各自將人物的返回結果再返回給你這個大的任務。
但有以下一些明顯的區別:
(1)分佈式系統要求一個統一的操做系統,實現系統操做的統一性。
(2)分佈式操做系統管理分佈式系統中的全部資源,它負責全系統的資源分配和調度、任務劃分、信息傳輸和控制協調工做,併爲用戶提供一個統一的界面。
(3)用戶經過這一界面,實現所須要的操做和使用系統資源,至於操做定在哪一臺計算機上執行,或使用哪臺計算機的資源,則是操做系統完成的,用戶沒必要知道,此謂:系統的透明性。
(4)分佈式系統更強調分佈式計算和處理,所以對於多機合做和系統重構、堅強性和容錯能力有更高的要求,但願系統有:更短的響應時間、高吞吐量和高可靠性。
分佈式系統已經很廣泛了,通常我的用不到,企業在處理比較大的任務的時候纔會使用。
資源管理解決物理資源數量不足和合理分配資源這兩個問題。
操做系統虛擬機爲用戶提供了一種簡單、清晰、易用、高效的計算機模型。虛擬機的每種資源都是物力資源經過複用、虛擬和抽象而獲得的產物。
虛擬機提供進程運行的邏輯計算環境。從概念上來講,一個進程運行在一臺虛擬機上,能夠認爲一個進程就是一臺虛擬機,一臺虛擬機就是一個進程。
b. 時分複用共享(time-multiplexed sharing): 將資源從「時間」上分割成更小的單位供不一樣進程使用。在計算機系統中,處理器和磁盤機等是時分複用共享的。
虛擬:對資源進行轉化、模擬或整合,把一個物理資源轉變成多個邏輯上的對應物,也能夠把多個物理資源變成單個邏輯上的對應物,即建立無須共享獨佔資源的假象,或建立易用且多於實際物理資源的虛擬資源假象,以達到多用戶共享一套計算機物理資源的目的。虛擬技術可用於外部設備(外部設備同時聯機操做(SPOOLing)),存儲資源(虛擬內存)和文件系統(虛擬文件系統(Virtual File System, VFS))中。
複用和虛擬相比較,複用所分割的是實際存在的物理資源,而虛擬則實現假想的同類資源。虛擬技術解決某類物理資源不足的問題,提供易用的虛擬資源和更好的運行環境。
抽象:經過建立軟件來屏蔽硬件資源的物理特性和實現細節,簡化對硬件資源的操做、控制和使用。
複用和虛擬的主要目標是解決物理資源數量不足的問題,抽象則用於處理系統複雜性,重點解決資源易用性。
系統調用: 爲給應用程序的運行提供良好環境,內核提供了一系列具備預約功能的服務例程,經過一組稱爲系統調用(System Call)的接口呈現給用戶,系統調用把應用程序的請求傳送至內核,調用相應的服務例程完成所需處理,將處理結果返回給應用程序。
注:系統調用的編號稱爲功能號
系統調用的執行過程: 當CPU執行程序中編寫的由訪管指令(supervisor, 也稱自陷指令(trap)或中斷指令(interrupt), 指引發處理器中斷的機器指令)實現的系統調用時會產生異常信號,經過陷阱機制(也稱異常處理機制,當異常或中斷髮生時,處理器捕捉到一個執行線程,而且將控制權轉移到操做系統中某一個固定地址的機制),處理器的狀態由用戶態(user mode, 又稱目態或普通態)轉變爲核心態(kerbel mode, 又稱管態或內核態),進入操做系統並執行相應服務例程,以得到操做系統服務。當系統調用執行完畢時,處理器再次切換狀態,控制返回至發出系統調用的程序。
系統調用是應用程序得到操做系統服務的惟一途徑。
系統調用的做用:
\1. 內核能夠基於權限和規則對資源訪問進行裁決,保證系統的安全性。
\2. 系統調用對資源進行抽象,提供一致性接口,避免用戶在使用資源時發生錯誤,且編程效率大大提升。系統調用與函數調用的區別:
\1. 調用形式和實現方式不一樣。功能號 VS 地址; 用戶態轉換到內核態 VS 用戶態。
\2. 被調用代碼的位置不一樣。 動態調用 + 操做系統 VS 靜態調用 + 用戶級程序。
\3. 提供方式不一樣。 操做系統 VS 編程語言。
內核是操做系統對裸機的第一次改造,內核和裸機組成了第一層虛擬機,進程在虛擬機上運行。
現代計算機爲處理器創建硬件標誌位,稱處理器狀態位,一般是程序狀態字(Program Status Word, PSW)中的一位,來將處理器的狀態設置爲內核態或用戶態。
以上三種狀況都是經過中斷機制發生,能夠說中斷和異常是用戶態到內核態轉換的僅有途徑。
b. 從實現角度看,進程是一種數據結構,用來準確地刻畫運行程序的狀態和系統動態變化情況。
進程狀態的七態模型
g. 掛起等待態(blocked suspend): 進程正在等待某個事件完成,而且在外存中。
程序和數據刻畫進程的靜態特徵,稱爲進程控制塊的一種數據結構刻畫進程的動態特徵。進程映像(process image)包括進程控制塊、進程程序塊、進程核心塊、進程數據塊等要素。
進程控制塊(Process Control Block, PCB):進程存在的惟一標識,操做系統掌握進程的惟一資料結構和管理進程的主要依據。包括標識信息、現場信息和控制信息等信息。
進程隊列(process queue):處於同一狀態的全部進程的PCB連接在一塊兒的數據結構。 有兩種隊列組織方式:連接方式和索引方式。
進程切換一定在內核態而非用戶態發生。
進程能夠分爲兩部分,資源集合和線程集合。進程要支撐線程運行,爲線程提供虛擬地址空間和各類資源。進程封裝管理信息,線程封裝執行信息。
c. 低級調度:又稱進程調度/線程調度,短程調度。根據某種原則決定就緒隊列中那個進程/線程先得到處理器,並將處理器出讓給它使用。
g. 多級反饋隊列(Multi-Level Feedback Queue, MLFQ)算法。
衡量調度算法的性能指標: a. 資源利用率: CPU利用率 = CPU有效工做時間/(CPU有效工做時間 + CPU空閒等待時間) b. 吞吐率: 單位時間內CPU處理做業的個數。 c. 公平性: 確保每一個進程都能得到合理的CPU份額和其餘資源份額,不會出現飢餓現象。 d. 響應時間: 從交互式進程提交一個請求(命令)直到得到響應之間的時間間隔。e. 週轉時間: 批處理用戶從向系統提交做業開始到做業完成爲止的時間間隔。
平均週轉時間:T = (∑ni=1ti∑i=1nti ) / n , 其中 titi 表示做業i的週轉時間。
平均帶權做業週轉時間: T = (∑ni=1wi∑i=1nwi) / n, 其中 wi=ti/tkwi=ti/tk , titi 表示做業i的週轉時間。 tktk 表示做業i的運行時間。
進程互斥(Mutual Exclusion): 若干進程因相互搶奪獨佔型資源而產生的競爭制約關係。
進程同步(Synchronization): 爲完成共同任務的併發進程基於某個條件來協調其活動,由於須要在某些位置上排定執行的前後次序而等待、傳遞信息或消息所產生的協做制約關係。
資源競爭會引起兩個控制問題: a. 死鎖: 一組進程因爭奪資源陷入永遠等待的狀態。b. 飢餓: 一個可運行進程因爲因爲其餘進程老是優先於它,而被調度程序無限期地拖延而不能被執行。
併發進程中與共享變量有關的程序段稱爲臨界區(Critical Section)。共享變量所表明的資源稱爲臨界資源(Critical Resource),即一次僅能供一個進程使用的資源。
c. 有限等待。 進入臨界區內的進程應在有限時間內退出。
臨界區管理的軟件算法:Peterson算法。
爲每一個進程設置標誌,當標誌值爲 true
時表示該進程要求進入臨界區,另外再設置一個指示器 turn
以指示能夠由哪一個進程進入臨界區,當 turn = i
時則可由 Pi
進入臨界區。
1 /* Peterson 算法 */ 2 3 bool inside[2]; 4 inside[0] = false; 5 inside[1] = false; 6 enum { 0, 1 } turn; 7 8 /* 進程0 */ 9 process P0(){ 10 inside[0] = true; //請求... 11 turn = 1; 12 while(inside[1] && turn == 1) ; //等待... 13 14 /*臨界區 */ 15 16 inside[0] = false; //歸還... 17 } 18 19 /* 進程1 */ 20 process P1(){ 21 inside[1] = true; //請求... 22 turn = 0; 23 while(inside[0] && turn == 0) ; //等待... 24 25 /*臨界區 */ 26 27 inside[1] = false; //歸還... 28 }
Peterson算法知足臨界區管理的三個原則。
c. 對換指令。 利用對換指令實現臨界區的上鎖和開鎖原語操做。
PV操做都是原語操做, 不可中斷。
信號量和PV操做
1 // 信號量 2 typedef struct semaphore { 3 int value; // 信號量值 4 struct pcb* list; // 指向「等待該信號量的進程隊列」的指針 5 }; 6 7 // P操做 8 void P(semaphore s){ 9 s.value--; // 信號量值減一 10 11 // 若是信號量值小於0, 執行P操做的進程調用sleep(s.list)阻塞本身, 12 // 被置成「等待信號量s」狀態,並移入s信號量隊列,轉向進程調度程序。 13 if(s.value < 0) sleep(s.list); 14 } 15 16 // V操做 17 void V(semaphore s){ 18 s.value++; // 信號量值加一 19 20 // 若是信號量小於等於0, 則調用wakeup(s.list)釋放一個等待信號量s的進程, 21 // 並轉換成就緒態, 進程則繼續執行。 22 if(s.value <= 0) wakeup(s.list); 23 }
s.value
爲正值, 此值等於在封鎖進程以前對信號量 s
可施行P操做的次數,即,s所表明的實際可用的資源數。 b. 若信號量值 s.value
爲負值, 其絕對值等於登記在 s
信號量隊列中的等待進程的數目。 c. 一般P操做意味着請求一個資源,V操做意味着釋放一個資源。在必定條件下,P操做也可表示掛起進程的操做,V操做表明喚醒被掛起進程的操做。
信號量實現互斥
1 semaphore mutex; 2 mutex = 1; 3 4 //進程Pi, i = 1, 2 ..., n 5 process Pi(){ 6 P(mutex); 7 8 /* 臨界區 */ 9 10 V(mutex); 11 }
管程(monitor):表明共享資源的數據結構及併發進程在其上執行的一組構成就構成管程,管程被請求和釋放資源的進程鎖調用。
wait()
和 signal()
原語操做來控制。 b. wait()
原語。 掛起調用進程並釋放管程,直至另外一個進程在條件變量上執行 signal()
。 c. signal()
原語。若是有其餘的進程因對條件變量執行 wait()
而被掛起,便釋放之。 若是沒有進程在等待,那麼至關於空操做,信號不被保存。
死鎖的主要解決方法: 死鎖防止、死鎖避免、死鎖檢測和恢復。
d. 循環等待條件。 存在循環等待鏈,其中每一個進程都在等待下一個進程所持有的資源。
死鎖的防止就是去破壞死鎖產生的必要條件。 如,使資源可同時使用(破壞互斥條件)、靜態分配資源(破壞佔有和等待條件)、剝奪調度(破壞不剝奪條件)、層次分配策略(循環等待條件)等。
死鎖避免: 銀行家算法 (額…本身百度去吧。 = =!)
c. 若是進程-資源分配圖中有環路,且所涉及的資源類有多個資源,則不必定會發生死鎖。
c. 邏輯地址。分頁存儲器的邏輯地址由頁號和頁內偏移兩部分組成。
e. 頁表。頁表是操做系統爲進程創建的,是程序頁面和內存頁框的對照表,頁表的每一欄指明程序中的某一頁面和分得的頁框之間的關係。
分頁存儲管理的地址轉換
翻譯快表:也稱轉換後援緩衝(Translation Look_aside Buffer, TLB)。用來存放進程最近訪問的部分頁表項。(注: 翻譯快表之於頁表相似於Cache之於存儲器)
二級頁表:把整個頁表分割成許多小頁表,每一個稱爲頁表頁,每一個頁表頁含有若干個頁表表項。頁表頁容許分散對應不連續的頁框。爲了找到頁表頁,應創建地址索引,稱爲頁目錄表,其表項指出頁表頁起始地址。
二級頁表實現邏輯地址到物理地址轉換的過程: 由硬件「頁目錄表基址寄存器」指出當前運行進程的頁目錄表的內存起始地址,加上「頁目錄位移」做爲索引,可找到頁表頁在內存的起始地址,再以「頁目錄位移」做爲索引,找到頁表頁在內存的起始位置,再以「頁表頁位移」做爲索引,找到頁表頁的表項,此表項中包含一個頁面對應的頁框號,由頁框號和頁內偏移即可生成物理地址。
注: 類比於書的目錄,找某一段內容的時候,先在目錄上找到對應的章節,再在對應的章節下面找具體的知識點。好比,我要在《操做系統原理》中查「多級頁表」。首先我知道它是在存儲管理一章的,因而就找到了「第四章 存儲管理」(相似於找到了頁目錄表)。 而後在第四章下面找「多級頁表」(相似於在頁目錄表下面找具體的頁表頁)。最後找到「多級頁表」對應的頁碼(相似於在頁表頁中找到其對應的頁框)。最後查閱對應的章節頁碼(相似於讀取對應頁框的數據)。
分段和分頁的比較:
a. 分段是信息的邏輯單位,由源程序的邏輯結構及含義所決定,是用戶可見的,段長由用戶根據須要來肯定,段起始地址能夠從任何內存地址開始。引入的目的是知足用戶模塊化程序設計的須要。
b. 分頁是信息的物理單位,與源程序的邏輯無關,是用戶不可見的,頁長由系統(硬件)決定,頁面只能從頁大小的整數倍地址開始。引入目的是實現離散分配並提升內存利用率。
虛擬存儲管理的基本思路:
把磁盤空間當作內存的一部分,進程的程序和數據部分放在內存中,部分放在磁盤上。程序運行時,它執行的指令或訪問的數據在哪裏由存儲管理負責判斷,並針對狀況採起響應的措施。
請求分頁虛存管理: 將進程信息副本存放在外存中,當它被調度投入運行時,程序和數據沒有所有裝進內存,僅裝入當前使用頁面,進程執行過程當中訪問到不在內存的頁面時,產生缺頁異常,再由系統自動調入。
e. 時鐘頁面替換算法(Clock Policy Replacement, Clock)。與SCR算法思路一致。只是用循環隊列來構造頁面隊列,隊列指針指向可能被淘汰的頁面。若是隊列指針指向的頁的「引用位」爲1,則將其置爲0,同時隊列指針指向下一個頁。
d. 缺頁頻率替換算法。
緩衝技術的基本思想: 當進程執行寫操做輸出數據時,先向系統申請一個輸出緩衝區,而後將數據送至緩衝區,如果順序寫請求,則不斷地把數據填入緩衝區,直至裝滿爲止,此後進程能夠繼續計算,同時,系統將緩衝區的內容寫在設備上。當進程執行讀操做輸入數據時,先向系統申請一個輸入緩衝區,系統將設備上的一條物理記錄讀至緩衝區,根據要求把當前所須要的邏輯記錄從緩衝區中選出並傳送給進程。
單緩衝: 是最簡單的緩衝技術,每當有I/O請求時,操做系統就在內存的系統區中開設一個緩衝區。不容許多個進程同時對一個緩衝器操做。
雙緩衝: CPU可把輸出到設備的數據放入其中一個緩衝器(區)、讓設備慢慢處理;而後,它又能夠從另外一個爲終端設置的緩衝器(區)中讀取所須要的輸入數據。
多緩衝: 是把多個緩衝區鏈接起來組成兩部分,一部分專門用於輸入,另外一部分專門用於輸出的緩衝結構。
外部設備同時聯機操做(Simultaneous Peripheral Operations On Line, SPPPLing):
c. 緩輸出程序。 當處理器空閒時,操做系統調用緩輸出程序執行緩輸出,它查看緩輸出表是否有輸出打印的文件,文件打印前還可能組織做業或文件標題,也可能對從輸出井中讀出的信息進行格式加工。
地址重定位: 又稱地址轉換,地址映射。 可執行程序邏輯地址轉換(綁定)爲物理地址的過程。
b. 動態地址重定位。
c. 運行時連接地址重定位
程序連接的三種方式: a. 靜態連接。在程序裝載到內存和運行前,就已將它的全部目標模塊及所須要的庫函數進行連接和裝配成一個完整的可執行程序且此後不可拆分。 b. 動態連接。在程序裝入內存前 並未事先進行程序各目標模塊的連接,而是在程序裝載時一邊裝載一邊連接,生成一個可執行文件。c. 運行時連接。 將某些目標模塊或庫函數的連接 推遲到執行時才進行。