考川大,操作系统重点打印(一卷再手,OS不愁).docVIP

进程： 线程： 进程同步，临界区问题 死锁问题： 内存管理： 虚拟存储： 文件系统： I/O 系统： 算法1：进程共享变量int turn = 0 对于第i个进程（i = [0 或 1]）： do { while (turn != i); Critical Section turn = 1- i; Reminder Section } while (1); 分析：满足了互斥，但不满足有空让进条件。做为反例，假设P0由于某些原因，还没有运行到与临界区相关的处理语句就停下来了。这个时候，turn初始地为零。那么就算P1已经准备好进入自己的临界区，它也无法进入。 算法：boolean flag[2]和initially flag [0] = flag [1] = false，这里，flag [i] = true意味着Pi已经准备好进入它的临界区了。对于第i个进程（i = [0 或 1]）： do { flag[i] := true; while (flag[1-i]); critical section flag [i] = false; Remainder Section } while (1);分析：满足了互斥，但不满足有空让进条件flag[i] = true，这个时候P1开始执行，当P1执行倒同样一句话后，可以看到，flag[0]和flag[1]都等于true这样，两个进程会一直相互等下去。 Dekker算法（7.4题）：同时使用算法1和算法2的共享变量，对于第i个进程（i = [0 或 1]）：do { flag[i]=true; while (flag[1-i]) { if (turn==1-i) { flag[i]=false; while (turn==1-i); flag[i]=true; } } } Critical Section i turn=1-i; flag[i]=false; Remainder Section }while(1); 算法3：对于第i个进程（i = [0 或 1]）： do { flag [i]:= true; turn = 1-i; while (flag [1-i] and turn == 1-i); Critical Section flag [i] = false; Remainder Section } while (1); 分析：满足了互斥有空让进 基于TestAndSet的算法： boolean TestAndSet(boolean target) { boolean rv = target; target = true; return rv; } 进程共享变量boolean lock = false 对于第i个进程do { while (TestAndSet(lock)) ; Critical Section lock = false; Remainder Section }while(1); 分析：满足了互斥，但不满足条件 lock = false; Remainder Section }while(1); do { while (TestAndSet(lock)) ; Critical Section 基于Swap的算法：进程共享变量boolean lock = false和boolean waiting[n]　对于第i个进程do { key = true; while (key == true) Swap(lock,key); Critical Section lock = false; Remainder Section } while(1); 分析：满足了互斥，但不满足条件 lock = false; Remainder Section } do { key = true; while (key == true) Swap(lock,key); Critical Section 共享变量 mutex = 1 do { wait(mutex); Rritical Section signal(mutex) Remainder Section; } while (1); P(S)操作和V(S)操作： wait (S){ while(S( 0); S--;} signal (S){ S++;} 信号量的结构： typedef struct { int value; struct process *L; } sema