一種支持I/O的核外中斷執(zhí)行算法
加入技術(shù)交流群
1 ARTs-OS的I/O特點(diǎn)
ARTs-OS的I/O體系結(jié)構(gòu)的主要特點(diǎn)有：(1)基于微內(nèi)核構(gòu)架。(2)支持動(dòng)態(tài)加載。(3)核內(nèi)/核外驅(qū)動(dòng)。(4)進(jìn)程/線程模型。(5)中斷硬連接。
中斷管理對(duì)I/O的支持由I/O的設(shè)計(jì)方式?jīng)Q定，集中體現(xiàn)在核內(nèi)中斷管理和核外中斷管理。本文集中討論核外中斷管理。
2 ARTs-OS的核外中斷
所有的操作系統(tǒng)都實(shí)現(xiàn)了核內(nèi)驅(qū)動(dòng)，并且核內(nèi)驅(qū)動(dòng)對(duì)中斷管理的要求相對(duì)簡(jiǎn)單。ARTs-OS的中斷管理在這一部分只簡(jiǎn)單地提供一些函數(shù)調(diào)用。下面重點(diǎn)介紹核外驅(qū)動(dòng)。
ARTs-OS中斷管理只需提供核外硬中斷機(jī)制便可實(shí)現(xiàn)對(duì)核外驅(qū)動(dòng)的支持，即提供如下的功能：當(dāng)硬件產(chǎn)生中斷時(shí)，系統(tǒng)核心保存現(xiàn)場(chǎng)，然后跳轉(zhuǎn)到核外驅(qū)動(dòng)程序ISR并執(zhí)行；執(zhí)行完后，恢復(fù)現(xiàn)場(chǎng)重新回到核內(nèi)。整個(gè)過(guò)程如同核外驅(qū)動(dòng)程序的ISR在核內(nèi)運(yùn)行。
要實(shí)現(xiàn)這個(gè)過(guò)程需要明確以下幾點(diǎn)：
(1)系統(tǒng)如何從核心跳轉(zhuǎn)到核外的驅(qū)動(dòng)程序ISR。若該ISR的代碼段在核內(nèi)，由于處于同一個(gè)保護(hù)層次中，則可以直接調(diào)用。但若驅(qū)動(dòng)在核外，一般系統(tǒng)的保護(hù)機(jī)制是不允許這樣調(diào)用的。
(2)驅(qū)動(dòng)程序ISR執(zhí)行完畢后，跳轉(zhuǎn)到何處。比較好的方法是：返回到系統(tǒng)內(nèi)核ISR調(diào)用驅(qū)動(dòng)程序ISR的地方，但實(shí)現(xiàn)起來(lái)比較困難。因?yàn)橐话愕倪^(guò)程調(diào)用是通過(guò)CALL和RETURN指令以及返回地址的堆棧保存這種“過(guò)程調(diào)用/返回”協(xié)議自動(dòng)地返回到調(diào)用點(diǎn)(的下一條指令)。然而，當(dāng)驅(qū)動(dòng)程序在核外時(shí)，它們使用的根本就不是同一個(gè)堆棧，核內(nèi)ISR使用0層堆棧，核外驅(qū)動(dòng)ISR使用被中斷應(yīng)用程序的地址空間中的3層堆棧。如何實(shí)現(xiàn)這種切換返回需要仔細(xì)考慮。
(3)如何處理驅(qū)動(dòng)程序ISR對(duì)驅(qū)動(dòng)程序中全局變量(例如：驅(qū)動(dòng)程序緩沖區(qū))的訪問(wèn)。一般函數(shù)中不存在這樣的問(wèn)題，但在驅(qū)動(dòng)程序ISR中，這將成為一個(gè)很重要的問(wèn)題。一般的函數(shù)是由該函數(shù)所在地址空間的其他函數(shù)所調(diào)用，當(dāng)執(zhí)行到該指令時(shí)，CPU的進(jìn)程/線程調(diào)度機(jī)制已經(jīng)將該進(jìn)程的地址空間恢復(fù)，普通函數(shù)根本就不知道進(jìn)程的地址空間在CPU上被不斷切換這一事實(shí)。但對(duì)于中斷響應(yīng)函數(shù)ISR就不是這樣。驅(qū)動(dòng)ISR是由操作系統(tǒng)內(nèi)核(具體為：內(nèi)核的中斷ISR)調(diào)用，而內(nèi)核中斷ISR被調(diào)用的時(shí)機(jī)與操作系統(tǒng)自身的運(yùn)行是異步的，也就是說(shuō)，在任何時(shí)候都有可能發(fā)生硬件中斷。因此，有可能在另外一個(gè)應(yīng)用程序運(yùn)行時(shí)發(fā)生硬件中斷，從而調(diào)用驅(qū)動(dòng)程序ISR。如果不進(jìn)行特別的處理，驅(qū)動(dòng)程序ISR訪問(wèn)的全局變量將是另外一個(gè)應(yīng)用程序空間中的地址。
為了解決以上問(wèn)題，ARTs-OS使用了一種與UNIX系統(tǒng)實(shí)現(xiàn)信號(hào)[1]類(lèi)似的方法。采用這種方法的一個(gè)前提條件是核外驅(qū)動(dòng)程序必須常駐內(nèi)存。道理很簡(jiǎn)單：中斷隨時(shí)可能發(fā)生，如果核外驅(qū)動(dòng)程序不在內(nèi)存而是在硬盤(pán)中，要執(zhí)行驅(qū)動(dòng)程序的中斷服務(wù)例程就必須將驅(qū)動(dòng)程序加載到內(nèi)存中，這非常耗時(shí)；同時(shí)因?yàn)橹袛喾?wù)例程執(zhí)行時(shí)系統(tǒng)的特殊狀態(tài)，這個(gè)加載過(guò)程是難于實(shí)現(xiàn)的。所以ARTs-OS假定所有的核外驅(qū)動(dòng)程序都常駐內(nèi)存。作為一個(gè)嵌入式實(shí)時(shí)系統(tǒng)，ARTs-OS本來(lái)就要求程序能夠常駐內(nèi)存，所以這樣的假設(shè)是成立的。
ARTs-OS采用的算法和一般的程序調(diào)用方法類(lèi)似。而要實(shí)現(xiàn)在核內(nèi)核外之間的跳轉(zhuǎn)，系統(tǒng)必須保存和恢復(fù)必要的信息。這些信息包括：內(nèi)核的當(dāng)前上下文環(huán)境、核外驅(qū)動(dòng)程序的上下文環(huán)境。
執(zhí)行核外中斷程序的算法如下：
輸入：中斷號(hào)iid，線程號(hào)tid
輸出：無(wú)
步驟：
(1)根據(jù)iid和tid得到中斷程序的地址。
(2)在內(nèi)核中保存信息以便中斷程序執(zhí)行完畢后返回。
(3)在tid對(duì)應(yīng)的線程堆棧中寫(xiě)入返回到核內(nèi)的代碼。
(4)跳到線程的中斷函數(shù)執(zhí)行。
(5)使用剛才寫(xiě)入的代碼跳回內(nèi)核。
(6)使用在內(nèi)核中保存的信息，恢復(fù)內(nèi)核的上下文環(huán)境。
評(píng)論