lec12-p1

Author: xyongcn

lec12/p1-syncmutex.md

@@ -107,7 +107,7 @@ backgroundColor: white
 
 ---  
 
-##### 方案一
+##### 方案一：先检查，后留便签
 - 使用便签来避免购买太多面包
   - 购买之前留下一张便签
   - 买完后移除该便签
@@ -139,7 +139,7 @@ backgroundColor: white
 
 ---  
 
-##### 方案二
+##### 方案二：先留便签，后检查
 - 先留便签，后查面包和便签
 ```
 leave Note;
@@ -158,7 +158,7 @@ remove note;
 
 ---  
 
-##### 方案三
+##### 方案三：先留不同便签，后检查
 - 为便签增加标记，以区别不同人的便签
    - 现在可在检查之前留便签
 ```
@@ -172,11 +172,11 @@ if (no note_1) {
 remove note_2;	
 ```
 
-![bg right:50% 100%](figs/method-3.png)
+![bg right:49% 100%](figs/method-3.png)
 
 ---  
 
-##### 方案三
+##### 方案三：先留不同便签，后检查
 - 为便签增加标记，以区别不同人的便签
   - 现在可在检查之前留便签
 ```
@@ -189,7 +189,7 @@ if (no note_2) {
 } 
 remove note_1;
 ```
-![bg right:50% 100%](figs/method-3.png)
+![bg right:49% 100%](figs/method-3.png)
 
 ---  
 
@@ -204,7 +204,7 @@ remove note_1;
 
 ---  
 
-##### 方案四
+##### 方案四：采用不同流程
 两个人采用不同的处理流程
 
 ![w:1000](figs/method-4.png)
@@ -224,7 +224,7 @@ remove note_1;
 
 ---  
 
-##### 方案五
+##### 方案五：采用原子操作
 - 利用两个原子操作实现一个锁(lock)
   -  Lock.Acquire()
      - 在锁被释放前一直等待，然后获得锁
@@ -419,8 +419,8 @@ exit section
 
 ---  
 
-##### 尝试一 根据turn值进入临界区
-![bg right:50% 100%](figs/soft-1.png)
+##### 尝试一：根据turn值进入临界区
+![bg right:49% 100%](figs/soft-1.png)
 - 满足“忙则等待”，但是有时不满足“空闲则入”
 ```c
 // 线程 Tj
@@ -436,7 +436,7 @@ do {
 
 ---  
 
-##### 尝试一 根据turn值进入临界区
+##### 尝试一：根据turn值进入临界区
 ![bg right:50% 100%](figs/soft-1.png)
 - 满足“忙则等待”，但是有时不满足“空闲则入”
    - Ti不在临界区，Tj想要继续运行，但是必须等待Ti进入过临界区后
@@ -447,7 +447,7 @@ do {
 
 ---  
 
-##### 尝试二 根据flag进入临界区
+##### 尝试二：根据flag进入临界区
 ![bg right:50% 100%](figs/soft-2.png)
 - 互相依赖（线程忙等）
 - 不满足“忙则等待”
@@ -466,7 +466,7 @@ do {
 
 ---  
 
-##### 尝试三 根据flag进入临界区
+##### 尝试三：根据flag进入临界区
 ![bg right:50% 100%](figs/soft-3.png)
 - 满足“忙则等待”，但是不满足“空闲则入”
   - flag[i]=flag[j]=1