实验七：同步互斥# 实验环境配置 classroom配置 实验目的 练习 练习0：填写已有实验 练习1: 理解内核级信号量的实现和基于内核级信号量的哲学家就餐问题（不需要编码） 练习2: 完成内核级条件变量和基于内核级条件变量的哲学家就餐问题（需要编码） 扩展练习 Challenge ： 在ucore中实现简化的死锁和重入探测机制 扩展练习 Challenge ： 参考Linux的RCU机制，在ucore中实现简化的RCU机制 项目组成 实验内容 实验执行流程概述 定时器 屏蔽与使能中断 等待队列 调用关系举例 同步互斥的底层支撑 信号量 管程和条件变量 原理回顾 “哲学家就餐”实例 关键数据结构 条件变量的signal和wait的设计 管程中函数的入口出口设计 同步互斥的设计与实现 实验报告要求 附录：执行 ”make run-matrix”的大致的显示输出