澄清本書的解釋和源代碼：#define BITCHUNK_BITS（sizeof（bitchunk_t）* CHAR_BIT）

Question

在Tanenbaum的操作系統設計和實現上，第154頁說，位圖對每個NR_SYS_PROCS（32）都有一個位。

而在MINIX /內核/ table.c年底，有檢查，以確保的啓動映像中的進程數不超過IPC面具更大：

/*驗證ipc掩碼的第一個塊有足夠的位來容納映像中的進程
*。 */

extern int dummy[(BITCHUNK_BITS > NR_BOOT_PROCS - 1) ? 1 : -1]; 

我一直在尋找到BITCHUNK_BITS的大小，以爲它會等於32，但它等於16，在/minix/kernal/const.h

#define BITCHUNK_BITS (sizeof(bitchunk_t) * CHAR_BIT)

定義

其中bitchunk_t爲無符號短符號且CHART_BIT爲8.

爲什麼要確保引導映像中的進程數小於16而不是32，以便可以添加更多用戶專業版cesses到啓動圖像？

Answer 1

當某些常量的值不正確時，生成編譯時錯誤只是一個骯髒的技巧。

如果他們有好的值，布爾表達式BITCHUNK_BITS > NR_BOOT_PROCS - 1將評估爲1，程序將嘗試聲明一個大小爲1的虛擬數組。一切正常，數組將永遠不會被使用。

如果它們的值不合適，則布爾表達式BITCHUNK_BITS > NR_BOOT_PROCS - 1將計算爲0，程序將嘗試聲明大小爲-1的虛擬數組。這在C中是非法的，所以程序將永遠不會編譯。

在現代C，你不要用這種下三濫的手段，而是

_Static_assert(BITCHUNK_BITS > (NR_BOOT_PROCS - 1), "BITCHUNK_BITS too small");