没用过这个，我原先每天跑步锻炼身体的时候倒是确实睡的很香
工作之后是吃褪黑素来睡眠，头一年效果不错。一年以后身体适应了，就又没效果了。
现在一段时间不吃，再吃褪黑素效果又来了。只能说身体的适应性和鲁棒性都很强吧

DPDK 的 mc/mp rte_ring ？
语言是 C /C++
不过我们用的都是系统级别，不是给消息队列用的。。。。
不知道合不合适

@Zhuzhuchenyan

这种属于代码风格了吧，如果你们没有代码规范那么这个东西实际上也不是那么严重。
这种时候，你们已经存在的代码是什么标准可以成为争论的参考

@James369
呵呵，还什么“你懂说明你聪明”，你浪费自己的时间发个帖子，有这个功夫去查早就搞明白咋回事了。
知识和思考是进步的两个方面。看你的回复没有任何的思考在里面，只有不断的狡辩。
计算机的本质实际上是一种计算，是一种数学上的抽象，工程师做的是一种取舍，是目标和代价之间的平衡。
你取一个点来看，忽视了背后的基础，才会觉得好神奇，才会觉得不可理解。

如果你觉得低效的学习是你所希望的，那你大可继续如此。

@James369
@Origami404

背后的理论基础是数学归纳法，SICP 有讲过这个东西我记得。
递归和迭代的区别是什么？想明白这个问题就知道为什么有限递归可以转换
这东西同样属于可以轻松查到的，还是那句话，直接就能验证搜索到的东西，为什么还要发个帖子出来？

知乎。。。现成的答案。。。
话说。。。。为啥很多时候你自己就能验证的事情，非要发个帖子出来呢？

1 你的读后感和思考并不能撑起你这篇文章的信息量，看起来像是单纯为了推广而推广
2 推理过程不够完备，什么是恩典？怎么就神奇了？爱又能干什么？凭什么要自我完善？
3 你收货大具体是指哪方面？它补足你的什么了？

综上，@Livid，推广

@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 层高速缓存 /内存是不确定的
抽象和底层没有什么关系

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