2023.01.14

critical27 · critical27 · commit 71ce1f2240c4 · 2023-01-16T10:20:13.000+08:00
diff --git a/_posts/2021-07-28-prefix-seek.md b/_posts/2021-07-28-prefix-seek.md
@@ -2,7 +2,7 @@
 layout: single
 title: "rocksdb prefix seek"
 date: 2021-07-28 00:00:00 +0800
-categories: RocksDB
+categories: 实践
 tags: RocksDB
 ---
 
diff --git a/_posts/2022-01-17-asan.md b/_posts/2022-01-17-asan.md
@@ -2,7 +2,7 @@
 layout: single
 title: "Address Sanitizer"
 date: 2022-01-17 00:00:00 +0800
-categories: C++
+categories: 论文
 tags: C++
 ---
 
diff --git a/_posts/2022-01-23-flush.md b/_posts/2022-01-23-flush.md
@@ -2,7 +2,7 @@
 layout: single
 title: "rocksdb flush"
 date: 2022-01-23 00:00:00 +0800
-categories: RocksDB
+categories: 源码
 tags: RocksDB
 ---
 
diff --git a/_posts/2022-01-29-delete-range.md b/_posts/2022-01-29-delete-range.md
@@ -2,7 +2,7 @@
 layout: single
 title: "rocksdb delete range"
 date: 2022-01-29 00:00:00 +0800
-categories: RocksDB
+categories: 源码
 tags: RocksDB
 ---
 
diff --git a/_posts/2022-02-02-initializer_list.md b/_posts/2022-02-02-initializer_list.md
@@ -2,7 +2,7 @@
 layout: single
 title: "What is std::initializer_list"
 date: 2022-02-02 00:00:00 +0800
-categories: C++
+categories: 学习
 tags: C++
 ---
 
diff --git a/_posts/2022-02-02-type-traits.md b/_posts/2022-02-02-type-traits.md
@@ -2,7 +2,7 @@
 layout: single
 title: "What is type traits"
 date: 2022-02-02 00:00:00 +0800
-categories: C++
+categories: 学习
 tags: C++
 ---
 
diff --git a/_posts/2022-02-03-noexcept.md b/_posts/2022-02-03-noexcept.md
@@ -2,7 +2,7 @@
 layout: single
 title: "Why and when move constructor need to be noexcept"
 date: 2022-02-03 00:00:00 +0800
-categories: C++
+categories: 学习
 tags: C++
 ---
 
diff --git a/_posts/2022-02-08-iterator.md b/_posts/2022-02-08-iterator.md
@@ -2,7 +2,7 @@
 layout: single
 title: "How to write custom iterator"
 date: 2022-02-08 00:00:00 +0800
-categories: C++
+categories: 学习
 tags: C++
 ---
 
diff --git a/_posts/2022-02-11-move-class-member.md b/_posts/2022-02-11-move-class-member.md
@@ -2,7 +2,7 @@
 layout: single
 title: "std::move(object.member) vs std::move(object).member"
 date: 2022-02-08 00:00:00 +0800
-categories: C++
+categories: 学习
 tags: C++
 ---
 
diff --git a/_posts/2022-02-19-future-deadlock.md b/_posts/2022-02-19-future-deadlock.md
@@ -2,7 +2,7 @@
 layout: single
 title: folly::Future deadlock example
 date: 2022-02-19 00:00:00 +0800
-categories: C++ folly
+categories: 实践
 tags: C++ folly async
 ---
 
diff --git a/_posts/2022-03-05-fbthrift-startup-teardown.md b/_posts/2022-03-05-fbthrift-startup-teardown.md
@@ -2,7 +2,7 @@
 layout: single
 title: fbthrift start-up and tear-down
 date: 2022-03-05 00:00:00 +0800
-categories: C++ fbthrift
+categories: 实践
 tags: C++ fbthrift
 ---
 
diff --git a/_posts/2022-03-19-future-defer.md b/_posts/2022-03-19-future-defer.md
@@ -2,7 +2,7 @@
 layout: single
 title: folly::Future defer
 date: 2022-03-19 00:00:00 +0800
-categories: C++ folly
+categories: 源码
 tags: C++ folly async
 ---
 
diff --git a/_posts/2022-05-28-thrift-compact-protocol.md b/_posts/2022-05-28-thrift-compact-protocol.md
@@ -2,7 +2,7 @@
 layout: single
 title: thrift compact protocol
 date: 2022-05-28 00:00:00 +0800
-categories: C++ thrift
+categories: 学习
 tags: C++ thrift fbthrift
 ---
 
diff --git a/_posts/2022-06-27-SIMD-INTRINSICS.md b/_posts/2022-06-27-SIMD-INTRINSICS.md
@@ -1,8 +1,8 @@
 ---
 layout: single
-title: SIMD Intrinsics整理
+title: SIMD Intrinsics
 date: 2022-06-27 00:00:00 +0800
-categories: C++ SIMD
+categories: 学习
 tags: C++ SIMD
 ---
 
diff --git a/_posts/2022-07-18-upgrade-read-lock.md b/_posts/2022-07-18-upgrade-read-lock.md
@@ -2,7 +2,7 @@
 layout: single
 title: How to upgrade read lock to write lock
 date: 2022-07-18 00:00:00 +0800
-categories: C++ folly
+categories: 学习
 tags: C++ folly
 ---
 
diff --git a/_posts/2022-09-12-dining-philosophers-in-TLA+.md b/_posts/2022-09-12-dining-philosophers-in-TLA+.md
@@ -2,14 +2,12 @@
 layout: single
 title: Dining philosophers in TLA+
 date: 2022-07-18 00:00:00 +0800
-categories: TLA+ PlusCal
+categories: 学习
 tags: TLA+ PlusCal
 ---
 
 TLA+哲学家问题~
 
-# Dining Philosophers in TLA+
-
 > 希望这是最后一次开坑TLA+，期望至少学点东西，也能够分享点东西出来
 
 ### 哲学家问题
diff --git a/_posts/2022-09-18-drinking-philosophers-in-TLA+.md b/_posts/2022-09-18-drinking-philosophers-in-TLA+.md
@@ -2,14 +2,12 @@
 layout: single
 title: Drinking philosophers in TLA+
 date: 2022-07-18 00:00:00 +0800
-categories: TLA+ PlusCal
+categories: 学习
 tags: TLA+ PlusCal
 ---
 
 TLA+进阶哲学家问题~
 
-# Drinking Philosopher in TLA+
-
 我们在[上一篇](https://critical27.github.io/tla+/2022/07/17/dining-philosophers-in-TLA+.html)大概介绍了如何通过TLA+来验证哲学家问题。一个哲学家问题的解法要能满足如下两个性质：
 
 1. safety: 一个正在吃饭的哲学家两侧的哲学家不能在同时吃饭（因为叉子不能共享）
diff --git a/_posts/2022-10-01-2PC in TLA+ step 1.md b/_posts/2022-10-01-2PC in TLA+ step 1.md
@@ -2,7 +2,7 @@
 layout: single
 title: 2PC in TLA+, step 1
 date: 2022-10-01 00:00:00 +0800
-categories: TLA+ PlusCal Transaction
+categories: 学习
 tags: TLA+ PlusCal Transaction
 ---
 
diff --git a/_posts/2022-10-02-2PC in TLA+ step2.md b/_posts/2022-10-02-2PC in TLA+ step2.md
@@ -2,7 +2,7 @@
 layout: single
 title: 2PC in TLA+, step 2
 date: 2022-10-02 00:00:00 +0800
-categories: TLA+ PlusCal Transaction
+categories: 学习
 tags: TLA+ PlusCal Transaction
 ---
 
diff --git a/_posts/2022-10-03-2PC in TLA+ step 3.md b/_posts/2022-10-03-2PC in TLA+ step 3.md
@@ -2,10 +2,12 @@
 layout: single
 title: 2PC in TLA+, step 3
 date: 2022-10-03 00:00:00 +0800
-categories: TLA+ PlusCal Transaction
+categories: 学习
 tags: TLA+ PlusCal Transaction
 ---
 
+面对真实的世界...
+
 ## 2PC with RM and TM crash
 
 在[第二篇](https://critical27.github.io/tla+/2022/10/01/2PC-in-TLA+-step2.html)中，我们完善了我们的2PC模型，允许任何RM挂掉，并且能够通过日志进行恢复。这一篇中我们将进一步完善，允许TM挂掉，如果没有看过前两篇的，请先阅读最好尝试在TLA+ toolbox运行之前的模型，才能有更深刻的理解。
diff --git a/_posts/2022-10-16-serializability.md b/_posts/2022-10-16-serializability.md
@@ -2,7 +2,7 @@
 layout: single
 title: Conflict Serializability and View Serializability
 date: 2022-10-16 00:00:00 +0800
-categories: TLA+ PlusCal Transaction
+categories: 学习
 tags: TLA+ PlusCal Transaction
 ---
 
diff --git a/_posts/2022-10-23-snapshot isolation.md b/_posts/2022-10-23-snapshot isolation.md
@@ -2,7 +2,7 @@
 layout: single
 title: Snapshot Isolation in TLA+
 date: 2022-10-23 00:00:00 +0800
-categories: TLA+ PlusCal Transaction
+categories: 学习
 tags: TLA+ PlusCal Transaction
 ---
 
diff --git a/_posts/2023-01-12-hazard-pointer-part-1.md b/_posts/2023-01-12-hazard-pointer-part-1.md
diff --git a/_posts/2023-01-14-hazard-pointer-part-2.md b/_posts/2023-01-14-hazard-pointer-part-2.md
diff --git a/archive/hazard-pointers-part-2.png b/archive/hazard-pointers-part-2.png
diff --git a/build.sh b/build.sh
