实验一体验nachos下的并发程序设计-Read.docVIP

实验二　线程与同步 1内容简述 本次实验的目的在于将nachos中的锁机制和条件变量的实现补充完整，并利用这些同步机制实现几个基础工具类。实验内容分三部分：实现锁机制和条件变量，并利用这些同步机制将实验一中所实现双向有序链表类修改成线程安全的；实现一个线程安全的表结构；实现一个大小受限的缓冲区（详细内容请看nachos-labs.pdf）。 2实验内容的几点说明 2.1实现锁机制和条件变量（60分） 2.1.1总体说明 这部分是本实验的重点，实际包含三个部分：第一部分要求使用Thread::Sleep实现锁机制和条件变量；第二部分要求使用Semaphore实现锁机制和条件变量；第三部分要求使用锁机制和条件变量将实验一里实现的双向有序链表修改成线程安全的，对第一、第二部分的实现应分别测试。 对锁机制和条件变量的实现，需要修改的文件是 nachos-3.4/code/threads/synch.h：class Lock和class Condition分别提供锁和条件变量的接口声明，其中的注释涉及它们的具体语义，应仔细阅读，并根据需要添加适当的数据成员。课本pp166有关于条件变量的说明，注意，实验要求采用Mesa语义，而非Hoare语义。 nachos-3.4/code/threads/synch.cc：你的实现应出现在其中，特别注意不要遗漏对方法isHeldByCurrentThre