这不就是状态机吗？

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

找本操作系统里面的调度，或者看看深入理解 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 才对。

local_name + "**"和 key 必然是放在栈上申请的临时变量，按照道理来说不应该有问题，所以我做了个尝试：

我把你 B1.func1 核 B2.func1 里面的`a->name = local_name`去掉以后，试了下就一直没出现 core 的现象了。

估计又是编译器做的一些“好事”导致的问题，感觉还是跟利用了 a->name 有关系，和生命周期什么的有关。

我司之所以不用 C++，用 C 一部分原因也是因为避免编译器的操作。。。。

建议还是上 libc 源码看看吧，这个明显跟编译器行为有关了。

不过没明白干嘛要干这种事情呢？一般这种多线程操作都是极度小心的。

讲道理直接 vim 打开看看，然后进行切块不行吗？