嵌入式Linux中的讀寫方式研究

from : 上海尚觀嵌入式培 http://www.uplooking.sh.cn/embedded_training/tecnews/ARM/2013/0226/2210.html

　　在對即時採集更新的資料進行處理時，往往會遇到資料更新速度與資料處理的速度不匹配的問題。這種情況下，會出現資料丟失而導致資料處理結果不準確，甚至會帶來不可預測的後果，因此需要一種機制來協調資料更新與資料處理，從而保證資料的完整性和處理結果的準確性。作為一個多任務、多使用者作業系統，嵌入式Linux支援多個進程在系統中並發運行，由於進程本身的動態特性，用來描述即時資料處理非常合適，因此，解決好Linux進程間的同步與通訊問題就能解決即時資料處理的問題。
在Linux環境下，進程通常存在運行(running)、阻塞(blocked)、就緒(ready)、終止(terminated)四種狀態。當多個進程並發執行時，往往會出現進程間的競態。我們希望進程能協調彼此間的行為，使得一個進程只有在其他的進程執行到一個特定的點時才會執行一個動作，即控制同步；同時，當並發進程訪問共用資料時不應當出現競爭條件。這一點通過在訪問共用資料時執行互斥來確保，即資料訪問同步。 Linux作為一個開源、穩健的作業系統，支援多種平台，擁有豐富的開發工具和應用軟體，尤其是其核心可裁減的特性，非常適合嵌入式系統。在資料即時性、準確度要求很高的情況下，系統在對資料的採集和處理過程中，由於其進程協調性問題，往往會造成資料的丟失。利用經典進程同步模型，可解決嵌入式Linux系統中資料同步讀寫衝突的問題。
處理讀寫同步的兩種常見的策略被稱為“強讀者同步(strongreadersynchronization)”和“強寫者同步(strongwritersynchronization)”。在強讀者同步中，總是給讀者以優先權，只要寫者當前沒有進行寫操作，讀者就可以獲得訪問權；在強寫者同步中，寫者總是獲得優先權，只要強讀者當前沒有進行讀操作，寫者就可以獲得訪問權。而生產者消費者同步與單純的讀寫同步又有不同，消費者可以通過訪問資源對資源進行刪除或銷毀。
當僅存在單個生產者和消費者時，生產進程和消費進程所對應的是同樣的資料結構，它們共用同一個資料空間。生產進程和消費進程如何進行相互協調，使得消費進程每次使用的資料都是生產進程新生產寫人的，又使生產進程新寫入的資料不會覆蓋還未被消費進程讀出使用的資料，是該問題模型實現的關鍵問題。
在生產者一消費者問題模型中，生產者進程不斷生產產品並把它們放入緩衝區，消費者進程不斷從緩衝區中取走產品進行消費。當緩衝區中產品已經放滿時，表示生產速度高於消費速度，出現了供過於求，此時生產者必須等待產品被消費；當緩衝區為空白時，表示消費速度高於生產速度，出現了供不應求，此時消費者進程必須等待產品的生產。生產和消費的進程必須達到同步運行，才能實現供需平衡。
一個有限長度緩衝區的生產者消費者問題模型，是由若干生產者和消費者進程以及一個有限的緩衝池構成的。每個緩衝區能夠儲存一個資訊記錄，一個生產者一次生產一個資訊記錄。產生一個記錄之後，等待單獨進入一個空的緩衝區後將記錄寫入緩衝區。一個消費者進程一次消費一個資訊記錄。當它需要消費時，它等待單獨進入一個滿的緩衝區後將記錄讀出