分页式存储管理中，页的大小是可以不相等的。

在信号量机制中，信号量S>0时的值表示();若S<0，则表示等待该资源的进程数，此时进程应阻塞。

操作系的动态分区管理内存分配算法有首次()、循环首次适应算法、和最佳适应算法。

UNIX的文件系统空闲空间的管理是采用()。

产生死锁的四个必要条件是互斥条件和请求和保持，()和环路条件。