jiangzexin的专栏

转载 管程求解哲学家就餐问题.更细的演算步骤

enum {thinking,hungry,eating} state[5];semaphore self[5];//Hoare方法数据结构和enter、wait、signal及leave操作typedef struct InterfaceModule { //InterfaceModule是结构体的名字semaphore mutex;             //进程调用管程过程前使