Easton Man's Channel

Photo

或者说全部假定是SC（？

#今日看了什么
https://tylercipriani.com/blog/2022/11/19/git-notes-gits-coolest-most-unloved-feature/

Tylercipriani

Git Notes: git's coolest, most unloved­ feature - Tyler Cipriani

Easton Man's Channel

Photo

反正我是看不明白

#迷惑考研题大赏
先不说什么是堆段和栈段
关于“全局赋值变量”和“常量值”，答案认为放在text段
还举了个"string"的例子（（（（

新玩具

Rust Books Grouped by Level https://github.com/sger/RustBooks

GitHub

GitHub - sger/RustBooks: List of Rust books

List of Rust books. Contribute to sger/RustBooks development by creating an account on GitHub.

#学习
今日思考了一个问题。
对于 顺序一致性内存模型(Sequential Consistency)，简单的load值预测可能会导致违例。

考虑以下事件：
1. Core#1 load [x] -> predict A
2. Core#1 执行load [x] -> value B
3. Core#2 store A -> [x]
4. Core#1 commit load, 重发load -> value A

提出几个问题：
1. load的值预测是否应该认为是正确的？
2. 如果不正确，哪里会出现问题？
3. 如何解决？何种情况才有必要replay/recover？