本文是对《A Primer on Memory Consistency and Cache Coherence》这本书前一半内容的记录和理解，主要涉及memory consistency model。
对于多处理器共享内存系统来说，consistency和coherence都关注的是共享内存(shared memory)及cache的正确性问题，而人们把这个问题拆成两个方面是为了更好地将这个复杂问题分治解决。
一般需要被详细讨论的是多核(或线程)共享内存(shared memory)的consistency模型，因为单核单线程问题相对简单直观。内存consistency模型规定的是：多线程同时进行load/store操作时，怎样的执行顺序是对的，怎样是错的。比较简单直接的consistency模型包括sequential consistency、TSO(total store consitency，x86使用)等。
《人有人的用途》(The Human Use of Human Beings — Cybernetics and Society)这本书是控制论鼻祖维纳(Norbert Wiener)的一本“科普书”，虽然只有100多页，我却是一本有深度的好书。第二部分笔记是书的第4~6章。
我曾经看过两本和经济学相关的畅销书，这种经济科普书中，常见类似“让你像经济学家一样思考”的宣传。书呢看了的确挺爽，思考世界的方式也很新鲜，但是看完之后并不能在头脑中留下系统的经济学知识体系，因此，这让我一直认为这类“经济科普”都是速食垃圾，读不得。
但这次再看完《人有人的用途》的几章，却动摇了我对那些科普书的看法。这是因为虽然我的专业与维纳相关，但我却从没有像他那样用信息、控制、反馈、计算、博弈的观点重新审视过这个世界。我虽不完全同意维纳所说，但就像经济学家可以用经济学的视角看世界，维纳也在用他的控制论视角看世界。如此看来，那些经济畅销书，还是有用的，不过我还是感觉先学经济知识，再看它们也许更好。
《人有人的用途》(The Human Use of Human Beings — Cybernetics and Society)这本书是控制论鼻祖维纳(Norbert Wiener)的一本“科普书”，虽然只有100多页，还是32开纸，但是我觉得却是一本有深度的好书。首先，这本书并没有任何公式和严谨的控制理论，还有很多恰当的小例子，因此特别易读；但是虽易读，并非无营养，相反，每一段、每个观点都可以细读，引发思考。
与“科普书”的定位相比，更应当注意的是这本书的副标题：“控制论和社会”，作者不仅让人信服的解释了熵的概念、（机器）学习的概念、语言信息传递的原理；也对法律、社会政策等方面的思考和讨论；最后时甚至对未来发展进行预测……行文间，作者的例子不仅涉及自己的控制论，还包括信息论、生物学、热力学、社会学等多方面的思考。更令人叹服的是，虽1954年成书时人工智能之一概念才刚刚起步，作者在这本当时的“科普”书中，就已经能够看出各种现在很火的统计机器学习、仿生神经网络等让机器从历史经验进行未来预测的思想！
我读这本书并不快，但第一次也只是匆匆略过，现在想抽时间再读一遍，准备记下好的观点和自己对应的思考。总之，这是一本连相关专业学生都无法当科普书来读的科普书。
大部分截图来自原书，贴出书的官方主页： 《Operating Systems: Three Easy Pieces》
(作者Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau)。感谢原作者这么好的书。
本篇笔记是书的第三部分(Persistence)，讲述了操作系统和外存系统相关的内容。
一般情况下， IO设备的性能较差(慢)，所以用Peripheral IO Bus，为什么不用像显卡一样用的PCI呢？因为1)越快的总线越短，这样空间不够插；2)越快的总线制作成本越高，如果存储设备照总线的性能差的远，没必要用高性能总线。
大部分截图来自原书，贴出书的官方主页： 《Operating Systems: Three Easy Pieces》
(作者Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau)。感谢原作者这么好的书。
本篇笔记是书的第一部分(Virtualization)的下半部分，讲述了操作系统是怎么通过地址空间的抽象，将内存资源进行虚拟化的。
多进程OS的资源共享策略
截图来自原书，贴出书的官方主页： 《Operating Systems: Three Easy Pieces》
(作者Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau)。感谢原作者这么好的书。
本篇笔记是书的第一部分(Virtualization)的上半部分，讲述了操作系统是怎么通过进程的抽象，将CPU计算资源进行虚拟化的。
Policy在mechanism（策略和机制）在操作系统中通常是分开设计的。比如如何切换上下文是一个low-level的mechanism，指底层的方法或者协议。当前时刻应该让哪个进程运行更好是一个high-level的policy的问题，指一些“智能”的调度。