@northisland
这种做梦的速度基本不能保证横向阅读和纵向阅读的质量。
只能说过一遍。

很多时候看一本书会从一本书拓展到别的书去，读书会自成网络，lz 这种目标明确的读法，反而是很少见的，很可能看一半就走别的地方去了

invariants 值得应该是不变式，多线程环境下，
锁保护的不变式应该是两个：
1 no share thread connect
2 sequency consistent

感觉这里的意思说的应该是第二个。不过这个都是跟内存模型有关的，我只能想到这个。
你去 stackoverflow 搜一下 lock invariants 应该有相关的。

@monkeyNik 没懂，堆内存和顺序一致性有啥关系？

这不就是状态机吗？

不同内存模型下的顺序一致性怎么做的？

找本操作系统里面的调度，或者看看深入理解 linux 架构里的 lru 就明白了。

@warush
基础的理论，比方说你去看 linux 内核的 lru 可能看不明白，不如去看看《现代操作系统》里面的 second chance 和 lru 理论之类的东西，先搞明白原理。如果看代码很容易被不想管的东西干扰，看伙伴系统实现会看到不可回收 /不可移动 /可回收啥的，但是对伙伴系统的原理没影响。

@mghio
谢谢你的肯定，但是这种东西属于工作，查问题时候的总结。对于找工作没什么用，国内面试都是内卷（看到了很个糊弄的例子）。比方说我做 TLS 握手里面的多线程优化和状态机优化，主要是对新建有影响，面试官上来一个对并发如何如何，我就没话说了。所以还是多刷题，多背面试题比较好，按照自己的理解自己的语言来描述远差于背诵好的答案。


@DoctorCat
王垠属于理论学派，看不起实现派。实现派也看不起理论派。工业化代码追求简单有效，很多时候不追求美观的。嗯可以类比理论医学和临床医学。不过我看的多线程相关的代码对工作还是很有用的。

虽然不是很懂 java，因为 java 的 volatile 和 C/C++不一样。。。
不过你这个想法很明显有问题：堆上的数据和可见性是没有直接关系的。

malloc 的东西，虽然是在堆上，但是数据在 Lx 层高速缓存 /内存是不确定的
抽象和底层没有什么关系

羡慕，
我个人推荐十二怒汉各种版本。

实际上这个回答的重点，并不是你看过什么源码，而是看你怎么看源码的。
因为工作原因，我看过 OPENSSL 自动机的源码，分析过里面的功能，但是只看功能是第一步的，我原先总结的看代码目标是：

+ 自动机中功能性的划分，能迅速找到功能划分的位置。
+ 针对某些异常情况的处理，能迅速找到在不同步骤出异常或问题时的处理流程。
+ 系统竞争和瓶颈所在地，能迅速找到可能导致并发 /新建问题出现的地方。
+ 多线程或多进程同步的地方，能迅速分析清楚具体是哪种同步模型。
+ 能够将模块中可拆分 /变化的部分迅速找到，并零件化

具体可以看看这篇文章，这个是我总结这几年工作加看代码的经验和教训：
https://hxndg.github.io/2020/12/15/%E5%BC%82%E6%AD%A5%E7%A8%8B%E5%BA%8F%E7%BC%96%E5%86%99%E6%97%B6%E7%9A%84%E4%B8%80%E4%BA%9B%E5%B0%8F%E6%95%99%E8%AE%AD/

嗯，我做负载均衡想转互联网也基本都失败了，这么一想是不是感觉内心好多了？

坦白讲，我也不知道欢迎套接字是啥。。。。

我主要好奇的是 《计算机网络自底向上》是个啥书？
我只知道《计算机网络自顶向下》特别好。

@Wirbelwind 嗯，我也怀疑是这个，但是没把代码下下来看并不确定

@matrixji
不，你这个说法没有解释清楚为什么 local_name + "**"为什么会 core，
每个线程都是在自己的栈上操作，local_name+"**"的结构应该是在本地栈上分配的，即使 assign 的是直接这个地址也不应该 core 才对。