資源共享是Unix多用戶系統(tǒng)的一個(gè)重要特征,信號(hào)量(SEMAPHORE)則是防止兩個(gè)或多個(gè)進(jìn)程同時(shí)訪問共享資源的一種機(jī)制。在信號(hào)量機(jī)制實(shí)現(xiàn)之前,通常采用加鎖文件的方法,其算法描述如下: ⑴加鎖算法 int lock(lockfile) /*返回值0代表成功,其它為失敗*/ char *lockfile; /*加鎖文件名*/ { intfd,ret=0; extern int errno; if((fd=open(lockfile,O_WRONLY|O_CREAT|O_EXCL,0666))==-1 &&errno==EEXIST) ret=1; return(ret); } ⑵解鎖算法 unlock(lockfile) char *lockfile; /*鎖文件名*/ { unlink(lockfile); } 這種方法對(duì)訪問共享資源次數(shù)較少的進(jìn)程是可行的,但對(duì)重載的使用則開銷太大了,況且一旦加鎖失敗則進(jìn)程不知何時(shí)可以再試;當(dāng)系統(tǒng)崩潰或重啟動(dòng)時(shí),加鎖文件可能會(huì)被忘掉了。 Dijkstra發(fā)表的Dekker算法給出了信號(hào)量的一種實(shí)現(xiàn),為整值對(duì)象定義了兩個(gè)了原語操作:P和V。其C描述如下: void P(sem) int *sem; { while (*sem<=0); (*sem)--; } void V(sem) int *sem; { (*sem)++; } 但上述算法不能在用戶空間編程,因?yàn)棰賡em指向的信號(hào)量變量不能在進(jìn)程間共享,它們有自己的數(shù)據(jù)段;②函數(shù)非原子執(zhí)行,內(nèi)核可在任何時(shí)候中斷一個(gè)進(jìn)程;③若sem為0,進(jìn)程并不釋放CPU。 所以信號(hào)量必須由內(nèi)核提供,它可在進(jìn)程間共享數(shù)據(jù),可執(zhí)行原子操作(即一組操作要么全部執(zhí)行,要么都不執(zhí)行),可在一個(gè)進(jìn)程阻塞時(shí)將CPU給另外一個(gè)進(jìn)程。 UNIXSYSTEMV以一個(gè)長(zhǎng)整數(shù)的鍵值作為信號(hào)量集合的唯一標(biāo)識(shí),信號(hào)量通常由下列元素組成: ①信號(hào)量的值, ②操作該信號(hào)量的最后一個(gè)進(jìn)程的進(jìn)程標(biāo)識(shí), ③等待增加該信號(hào)量的值的進(jìn)程數(shù), ④等待該信號(hào)量的值為0的進(jìn)程數(shù)。 與之有關(guān)的系統(tǒng)調(diào)用如下: #include <sys/types.h> #include <sys/ipc.h> #include <sys/sem.h> int semget(key,count,flags) /*獲取信號(hào)量集合的標(biāo)識(shí)符*/ key_tkey; /*信號(hào)量集合的鍵*/ intcount; /*信號(hào)量集合中元素個(gè)數(shù)*/ intflags; /*任選參數(shù)*/ /*返回信號(hào)量集合標(biāo)識(shí)符,若出錯(cuò)則返回-1*/ int semop(sid,ops,nops) /*信號(hào)量操作*/ int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ struct sembuf *ops; /*信號(hào)量操作結(jié)構(gòu)的指針*/ intnops; /*信號(hào)量操作結(jié)構(gòu)的個(gè)數(shù)*/ /*返回運(yùn)算完成前該組信號(hào)量中最后一個(gè)被運(yùn)算的信號(hào)量的 值,若出錯(cuò)則返回-1*/ int semctl(sid,semnum,cmd,arg) /*控制信號(hào)量操作*/ intsid; /*信號(hào)量集合標(biāo)識(shí)符*/ intsemnum; /*信號(hào)量元素編號(hào)*/ intcmd; /*控制命令*/ union semun{ intval; struct semid_ds *buf; ushort*array;} arg; /*命令參數(shù)*/ 系統(tǒng)調(diào)用semget用來把信號(hào)量集合的鍵值譯成代表信號(hào)量集合的標(biāo)識(shí)符,該集合中有count個(gè)元素,其存取權(quán)限定義與文件相同,由flags定義。若flags的IPC_CREAT位被置位,則當(dāng)該集合不存在時(shí)系統(tǒng)就創(chuàng)建之。因此各進(jìn)程可都用置IPC_CREAT位的flags參數(shù)來獲取信號(hào)量集合的標(biāo)識(shí)符,不需要由某一進(jìn)程事先創(chuàng)建。若flags為IPC_PRIDVATE則不管同鍵值的信號(hào)量集合是否存在系統(tǒng)都建立之,并返回下一個(gè)可用的標(biāo)識(shí)符。 系統(tǒng)調(diào)用semctl在一組信號(hào)量上做各種控制操作,諸如信號(hào)量集合的初始化、刪除和狀態(tài)查詢等。常用的操作及相關(guān)的命令格式如下: ①取消信號(hào)量集合 int semctl(sid,count,IPC_RMID,0) int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ int count; /*信號(hào)量集合中元素個(gè)數(shù)*/ ②設(shè)置信號(hào)量集合的初值(初始化) 信號(hào)量集合剛建立時(shí),各信號(hào)量的初值不確定,需要設(shè)定初值。初值的設(shè)定可用SETALL或SETVAL命令。若用SETALL命令,其格式為: int semctl(sid,count,SETALL,arg) int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ int count; /*信號(hào)量集合中元素個(gè)數(shù)*/ ushort *arg; /*命令參數(shù)*/ 該命令把數(shù)組arg中的前count個(gè)值依次賦給集合中各信號(hào)量,一次可設(shè)定多個(gè)信號(hào)量的初值。 若用SETVAL命令,其格式為: int semctl(sid,semnum,SETVAL,arg) int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ int semnum; /*信號(hào)量元素編號(hào)*/ int arg; /*命令參數(shù)*/ 該命令將arg的值賦給集合中第semnum個(gè)信號(hào)量,一次僅能設(shè)定一個(gè)信號(hào)量的初值。 ③查詢信號(hào)量集合的當(dāng)前值 查詢信號(hào)量集合的當(dāng)前值可用GETALL或GETVAL命令。若用GETALL命令,其格式為: int semctl(sid,count,GETALL,arg) int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ int count; /*信號(hào)量集合中元素個(gè)數(shù)*/ ushort *arg; /*命令參數(shù)*/ 該命令把信號(hào)量集合中各信號(hào)量的當(dāng)前值返回到數(shù)組arg中。 若用GETVAL命令,其格式為: int semctl(sid,semnum,GETVAL,0) int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ int semnum; /*信號(hào)量元素編號(hào)*/ 該命令把集合中第semnum個(gè)信號(hào)量的當(dāng)前值作為調(diào)用的返回值。 ④查詢某個(gè)信號(hào)量的等待進(jìn)程數(shù) 當(dāng)一個(gè)進(jìn)程要執(zhí)行信號(hào)量操作時(shí)若條件不具備則被阻塞,有關(guān)信號(hào)量的等待進(jìn)程數(shù)也相應(yīng)變化。 通過GETNCNT命令可查詢等待信號(hào)量增值的進(jìn)程數(shù),其格式如下: int semctl(sid,semnum,GETNCNT,0) int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ int semnum; /*信號(hào)量元素編號(hào)*/ 該命令把等待第semnum個(gè)信號(hào)量增值的進(jìn)程數(shù)作為調(diào)用的返回值。 通過GETZCNT命令可查詢等待信號(hào)量值為0的進(jìn)程數(shù),其格式如下: int semctl(sid,semnum,GETZCNT,0) int sid; /*信號(hào)量集合標(biāo)識(shí)符*/ int semnum; /*信號(hào)量元素編號(hào)*/ 該命令把等待第semnum個(gè)信號(hào)量值為0的進(jìn)程數(shù)作為調(diào)用的返回值。 至于其它的控制命令,因不常用而不再累述。 系統(tǒng)調(diào)用semop用來對(duì)信號(hào)量集合中的一個(gè)或多個(gè)信號(hào)量進(jìn)行操作,操作命令由用戶提供的操作結(jié)構(gòu)數(shù)組來定義,該結(jié)構(gòu)如下: struct sembuf{ short sem_num; /*信號(hào)量在集合中的下標(biāo)*/ short sem_op; /*操作值*/ short sem_flg; /*操作標(biāo)志*/ }; 系統(tǒng)從用戶地址空間讀信號(hào)量操作結(jié)構(gòu)數(shù)組,并核實(shí)信號(hào)量下標(biāo)的合法性及進(jìn)程是否具備讀或修改信號(hào)量所必需的權(quán)限。若權(quán)限不夠則調(diào)用失敗;若進(jìn)程必須睡眠,則它將已操作過的信號(hào)量恢復(fù)為該系統(tǒng)調(diào)用開始時(shí)的值,然后它就睡眠,直到它等待的事件發(fā)生時(shí)再重新執(zhí)行該系統(tǒng)調(diào)用。由于系統(tǒng)將操作數(shù)組保存在一個(gè)全局?jǐn)?shù)組中,因此若它必須重新執(zhí)行該調(diào)用的話,它必須重新從用戶空間讀該數(shù)組。這樣,操作按原語方式執(zhí)行--或一次做完或根本不做。 系統(tǒng)根據(jù)操作值來改變信號(hào)量的值:①若操作值為正,系統(tǒng)就增加信號(hào)量的值并喚醒所有等待信號(hào)量增值的進(jìn)程;②若操作值是0,系統(tǒng)就檢查信號(hào)量的值:如果為0,就繼續(xù)數(shù)組中的其它操作;否則把等待信號(hào)量的值為0的睡眠進(jìn)程數(shù)加1,然后睡眠;③若操作值為負(fù)且其絕對(duì)值不超過信號(hào)量的值,系統(tǒng)就把操作值(一個(gè)負(fù)數(shù))加到信號(hào)量值上,如果結(jié)果為0則系統(tǒng)就喚醒所有等待信號(hào)量的值為0的睡眠進(jìn)程;④若信號(hào)量的值小于操作值的絕對(duì)值,系統(tǒng)就讓進(jìn)程睡眠在'等待信號(hào)量增值'這一事件上。 當(dāng)進(jìn)程在信號(hào)量操作過程中睡眠時(shí),它睡眠在可中斷級(jí)上,因此當(dāng)它接收到軟中斷信號(hào)時(shí)就被喚醒了。用戶可在操作標(biāo)志中設(shè)置IPC_NOWAIT標(biāo)志以防止進(jìn)程睡眠。 如果進(jìn)程執(zhí)行了一個(gè)信號(hào)量操作,鎖住了某些資源,卻沒有恢復(fù)信號(hào)量的值就退出了(如收到kill信號(hào)),那么就可能出現(xiàn)危險(xiǎn)情況。為了避免這類問題,用戶可在操作標(biāo)志中設(shè)置SEM_UNDO標(biāo)志。當(dāng)進(jìn)程退出時(shí),系統(tǒng)便撤除該進(jìn)程做過的每個(gè)信號(hào)量操作的影響。 值得指出的是,當(dāng)你使用兩個(gè)或多個(gè)信號(hào)量時(shí),死鎖總是可能的,系統(tǒng)并不能檢查多個(gè)信號(hào)量間的死鎖。 本文所用算法及調(diào)用格式均已在SCOUNIX3.2、SCOOpenSever3.X及5.X上運(yùn)行通過。