Lecture 11&12 for OS2023autumn

Author: xyongcn

lec12/p1-syncmutex.md

@@ -100,7 +100,7 @@ backgroundColor: white
   - 去买面包之前锁住冰箱并且拿走钥匙
 - 加锁导致的新问题
   - 冰箱中还有其他食品时，别人无法取到
-![bg right:30% 100%](figs/icebox.png)
+![bg right:30% 95%](figs/icebox.png)
 
 
 ---  
@@ -160,6 +160,7 @@ remove note;
 - 为便签增加标记，以区别不同人的便签
    - 现在可在检查之前留便签
 ```
+// 进程A
 leave note_2;
 if (no note_1) {
    if (no bread) { 
@@ -177,6 +178,7 @@ remove note_2;
 - 为便签增加标记，以区别不同人的便签
   - 现在可在检查之前留便签
 ```
+// 进程B
 leave note_1;
 if (no note_2) {
    if (no bread) { 
@@ -192,24 +194,19 @@ remove note_1;
 ##### 方案三
 - 为便签增加标记，以区别不同人的便签
   - 现在可在检查之前留便签
-
- - 会发生什么？
+- 会发生什么？
    - 可能导致没有人去买面包
    - 每个人都认为另外一个去买面包
- 
 
 ![bg right:50% 100%](figs/method-3.png)
 
-
-
 ---  
 
 ##### 方案四
 两个人采用不同的处理流程
 
 ![w:1000](figs/method-4.png)
 
-
 ---  
 
 ##### 方案四
@@ -223,7 +220,6 @@ remove note_1;
 
 ![bg right:50% 100%](figs/method-4.png)
 
-
 ---  
 
 ##### 方案五
@@ -281,7 +277,6 @@ exit section
 - 临界区(critical section)
   - 线程中访问临界资源的一段需要互斥执行的代码
 
-
 ---  
 
 ##### 临界区(Critical Section)
@@ -306,11 +301,10 @@ entry section
 exit section
    remainder section
 ```
-- 1 空闲则入：没有线程在临界区时，任何线程可进入
-- 2 忙则等待：有线程在临界区时，其他线程均**不能**进入临界区
-- 3 有限等待：等待进入临界区的线程**不能**无限期等待
-- 4 让权等待（可选）：不能进入临界区的线程，应释放CPU（如转换到阻塞状态）
-
+1. 空闲则入：没有线程在临界区时，任何线程可进入
+2. 忙则等待：有线程在临界区时，其他线程均**不能**进入临界区
+3. 有限等待：等待进入临界区的线程**不能**无限期等待
+4. 让权等待（可选）：不能进入临界区的线程，应释放CPU（如转换到阻塞状态）
 
 ---  
 
@@ -643,8 +637,8 @@ flag[i] = IDLE;//结束，自己变idle
 <div class="col">
 
 4.1 禁用硬件中断
-#### 4.2 基于软件的解决方法
-4.3 更高级的抽象方法
+4.2 基于软件的解决方法
+#### 4.3 更高级的抽象方法
 
 </div>
 

lec12/p2-semaphore.md

@@ -61,37 +61,34 @@ backgroundColor: white
 
 ---
 
-### 信号量(semaphore)
-信号量在概念上的实现
+### 信号量在概念上的实现
 ![w:1200](figs/semaphore-impl.png)
 
 
 ---
 
-### 信号量(semaphore)
-可分为两类信号量
-- 二进制信号量：资源数目为0或1
-- 计数信号量:资源数目为任何非负值
-- 两者等价：基于一个可以实现另一个
+### 信号量的分类和使用
 
-信号量的使用
-- **互斥访问**  和 **条件同步**
-
-![bg right:40% 100%](figs/sema-train.png)
+* 信号量的分类
+  - 二进制信号量：资源数目为0或1
+  - 计数信号量:资源数目为任何非负值
+<!-- - 两者等价：基于一个可以实现另一个 -->
+* 信号量的使用
+  - **互斥访问**
+  - **条件同步**
 
+![bg right:35% 95%](figs/sema-train.png)
 
 ---
 
 ### 互斥访问举例
-- 每个临界区设置一个信号量，其初值为1
-- 需成对使用P()操作和V()操作
+- 每个临界区设置一个初值为1的信号量
+- **成对**使用P()操作和V()操作
    -  P()操作保证互斥访问资源
    -  V()操作在使用后释放资源
    -  PV操作次序不能错误、重复或遗漏
 
 ![bg right:50% 100%](figs/semaphore-use-1.png)
- 
-
 
 ---
 
@@ -128,8 +125,8 @@ backgroundColor: white
 
 ### 生产者-消费者问题
 
+![w:900px](figs/semaphore-use-4.png)
 P、V操作的顺序有影响吗？
-![w:1000](figs/semaphore-use-4.png)
 
 ---