add

Author: TsinghuaDatabaseGroup

lec12/p1-syncmutex.md

@@ -700,7 +700,7 @@ flag[i] = IDLE;//结束，自己变idle
 
 ---  
 
-##### 锁(lock)
+##### 锁(TAS lock)
 现代CPU提供一些特殊的原子操作指令
 - 原子操作指令 
   - 测试和置位（Test-and-Set ）指令
@@ -715,7 +715,7 @@ flag[i] = IDLE;//结束，自己变idle
 
 ---  
 
-##### 锁(lock)
+##### 锁(TAS lock)
 现代CPU都提供一些特殊的原子操作指令
 ```
 do {
@@ -730,7 +730,7 @@ do {
 
 ---  
 
-##### 锁(lock)
+##### 锁(TAS lock)
 现代CPU都提供一些特殊的原子操作指令
 ```
 do {
@@ -749,7 +749,7 @@ unlock(): lock=false;
 
 ---  
 
-##### 锁(lock)
+##### 锁(CAS lock)
 - 原子操作：交换指令CaS（Compare and Swap）
 ```
 bool compare_and_swap(int *value, int old, int new) {
@@ -767,28 +767,10 @@ lock=0;                                 // unlock 解锁
 remainder section;
 ```
 
-<!-- ---  
-
-##### 方法3：更高级的抽象方法 -- 锁(lock)
-- 原子操作：交换指令CaS（Compare and Swap）
-```
-bool compare_and_swap(int *value, int old, int new) {
-   if(*value==old) {
-      *value = new; 
-      return true;
-   }
-   return false;
-}
-```
-```
-lock(): while(!compare_and_swap(&lock,0,1)); 
-critical section; 
-unlock(): lock=0; 
-``` -->
 
 ---  
 
-##### 锁(lock)
+##### 锁(CAS lock)
 <!-- CAS是什么？ABA问题又应该如何理解？https://zhuanlan.zhihu.com/p/139635112 
 https://www.zhihu.com/question/23281499/answer/24112589
 关于ABA问题我想了一个例子：在你非常渴的情况下你发现一个盛满水的杯子，你一饮而尽。之后再给杯子里重新倒满水。然后你离开，当杯子的真正主人回来时看到杯子还是盛满水，他当然不知道是否被人喝完重新倒满。解决这个问题的方案的一个策略是每一次倒水假设有一个自动记录仪记录下，这样主人回来就可以分辨在她离开后是否发生过重新倒满的情况。这也是解决ABA问题目前采用的策略。
@@ -803,7 +785,6 @@ https://www.zhihu.com/question/23281499/answer/24112589
 - 解决思路：加上版本号（时间戳）
   - (100,1); (50,2); (100,3) 
 <!---  
-
 ##### 方法3：更高级的抽象方法 -- 锁(lock)
 现代CPU体系结构都提供一些特殊的原子操作指令
 - 原子操作指令 
@@ -815,6 +796,17 @@ https://www.zhihu.com/question/23281499/answer/24112589
 
 ---  
 
+##### TAS vs CAS
+
+|维度 |	TAS（Test-and-Set）|	CAS（Compare-and-Swap）|
+|---|---|---|
+|缓存友好度	| 较差，多核缓存竞争	| 较好，有效减少总线无效流量
+|竞争性能	| 低竞争表现尚可，高竞争性能下滑明显	| 高并发竞争场景性能更优异|
+|适用场景	|基础简易自旋锁	|自旋锁、无锁数据结构、内核同步机制等|
+|ABA 问题 |	不存在该问题	|存在 ABA 隐患，需版本号等手段规避|
+
+---  
+
 ##### 锁(lock) 
 使用TaS指令实现自旋锁(spinlock)
 - 线程在等待的时候消耗CPU时间

lec12/p6-labs.md

@@ -317,6 +317,7 @@ time cost is 919ms
 
 ####  程序设计
 spin mutex和 block mutex 的核心数据结构（**全局变量**）： `UPSafeCell`
+UPSafeCell 是锁的数据容器，利用 RefCell 的借用检查机制，在锁保证互斥的前提下，让内核可以安全、方便地修改全局可变状态，。
 ```rust
 pub struct UPSafeCell<T> { //允许在单核上安全**使用可变全局变量**
     inner: RefCell<T>,  //提供内部可变性和运行时借用检查
@@ -376,12 +377,13 @@ impl Mutex for MutexSpin {
         loop {
             let mut locked = self.locked.exclusive_access(); //独占访问locked
             if *locked {
-                drop(locked);
+                drop(locked);//主动释放对内部数据的借用,放弃对 self.locked 所保护数据的独占
                 suspend_current_and_run_next(); //把当前线程放到就绪队列末尾
                 continue;
             } else {
                 *locked = true; //得到锁了，可以继续进入临界区执行
                 return;
+            }
         ...
  ```