FileOScode.cpp《操作系统教程》(第3版)教材对应的C++伪代码.doc

/* File: OScode.cpp《操作系统教程》(第3版)教材对应的C++伪代码 Contents: OS description code for 《操作系统教程》(第三版) Written by: 李贤 Jan. 2004 Modified by: 沈志鹏 Jan. 2004 Copyright: Dept. Computer Science, Nanjing University */ /* 本代码写作的出发点为：方便用C++作为编程语言的同学学习操作系统，使得阅读代码更加容易，理解内容更加方便；同时，本代码并不完全遵循一切C++风格，编写的主旨主要为提高代码的可读性，根据最容易阅读和理解来写出伪代码；最后，代码中的变量名和操作函数名等与原书代码中所取的相同，因此本代码能与书本的相关上下文流畅地衔接。 */ /* Chapter 3 并发进程 */ // // Page 212 例1: (结果不唯一)购买飞机票问题 // process Ti {i = 1,2} { {按旅客订票要求找到Aj}; int Xi = Aj; if (Xi = 1) { Xi--; Aj = Xi; {输出一张票}; } else {输出信息票已售完}; } //例1运行情况 T1: X1 = Aj; X1 = m (m 0) T2: X2 = Aj; X2 = m T2: X2--; Aj = X2; 输出一张票; Aj = m - 1 T1: X1--; Aj = X1; 输出一张票; Aj = m - 1 // // Page 213 例2: (永远等待)内存管理问题 // procedure borrow(int B) { if (B x) {申请进程进入等待队列等主存资源}; x = x - B; {修改主存分配表，申请进程获得主存资源}; } procedure return(int B) { x = x + B; {修改主存分配表}; {释放等主存资源的进程}; } cobegin { int x = Memory; // Memory为初始内存容量 repeat borrow(B); repeat return(B); }coend // // Page 215 3.2.1 互斥和临界区 // // 进程T1的临界区为: X1 = Aj; if (X1 = 1) { X1--; Aj = X1; } // 进程T2的临界区为: X2 = Aj; if (X2 = 1) { X2--; Aj = X2; } // // Page 216 重写的售票管理进程 // shared Aj process Ti {i = 1, 2} { int Xi; {按旅客订票要求找到Aj}; region Aj do { Xi = Aj; if (Xi = 1) { Xi--; Aj = Xi; {输出一张票}; } else {输出票已售完}; } } // // Page 217 3.2.2 临界区管理的尝试 // // 尝试1 bool inside1 = false; // P1不在其临界区内 bool inside2 = false; // P2不在其临界区内 cobegin { process P1 { while (inside2); // 等待 inside1 = true; 临界区; inside1 = false; } process P2 { while (inside1); // 等待 inside2 = true; 临界区; inside2 = false; } }coend // 尝试2 bool inside1 = false; // P1不在其临界区内 bool inside2 = false; // P2不在其临界区内 cobegin { process P1 { inside1 = true; while (inside2); // 等待 临界区; inside1 = false; } process P2 { inside2 = true; while (inside1); // 等待 临界区; inside2 = false; } }coend // // P