.. Kenneth Lee 版权所有 2019-2020
:Authors: Kenneth Lee :Version: 1.0
非易失内存随想
本文是看这个文档的一些随想：https://lwn.net/Articles/777212/。这是收费内容，如 果你没有订阅看不见，但本文不依赖你看得到该文档。
在大学里学计算机体系结构的时候，我最大的一个梦想是非易失内存。因为当时教科书里 说，随机内存都是需要进行周期刷新的，不断刷电才能保证里面的内容不会丢失。
这种说法很自然让我有这么个联想：如果正好我们能找到一种新材料，不用刷这个电，就 可以保证里面的信息不丢失，那么我们的软件是否就容易写很多？也许我们就不再需要一 个关机的过程了，任何时候，直接关机好了，重新开机所有状态还在，接着运行就可以了 。
当然，那是小孩子不切实际的幻想，这个世界单一要素的变更，可以带来巨大的变化，但 这种变化只会带来撕裂，不会带来彻底的改观，就好像房子断了一根梁，房子会倒塌，但 墙和地板的大体还在，不会因此变成另一个东西。（这其实是道德经中“德”存在的理论基 础）
所以，非易失这个问题是一样的。内存可以保留原来的内容，但时间并没有停止，CPU的状 态，IO的状态，都在变化，内存必须和他们进行同步。大量认为内存会丢失的软件也不会 改变他们当初的假设。而且，易失内存也有一个非易失内存不具备的优势：断电以后它的 内容会自动清0，但非易失内存你要主动清。
这些所有的问题，都给非易失内存的应用带来这障碍。所以，到现在未知，非易失内存都 被当做“存储设备”来用，比如SSD。
Intel还有另外的解决方案：Intel® Optane™ DC Persistent Memory Operating Modes Explained - IT Peer Network
它是把易失内存当做非易失内存的Cache。但在我看来，这个意义不大，这和磁盘Cache没 有任何区别（Intel这个方案中，唯一的区别是易失内存和非易失内存的是一一对应的，不 是一对多的关系），但这并不改变，这其实就是一个设备。
我简单考量这个问题，每个问题都要回到问题本身上去。非易失内存和现在的计算机名称 空间对应，它就是存储设备，这一点是不可改变的，这个根本就没有必要变化。如果它的 速度达到易失内存一样的速度，当做易失内存用，那么，它就应该被放到非易失的运行环 境中。这个环境和IO，和CPU状态都无关，这个东西，很明显是和IO无关的进程空间。
所以，如果我个人发展这个方向，会创建一种persistent_fork，这样会创建一个进程，这 个进程的内存全部放在persistent内存中，这样它关机后，它的内容就是不需要恢复的。 好比你启动一个操作系统，操作系统还是要启动的，但你的Office不要。
要做到这一点，这个进程的关联数据结构也必须可以进行保存和校验，比如它在内核中的 task_struct等数据结构，它打开的文件等。这也需要增加新的Signal，告诉它系统在恢复 。这样一个新的子系统加进来后，就可以慢慢扩展到其他子系统，慢慢走到以非易失内存 为主的道路上了。
我能想到一个很有趣的东西会是，这种系统以后只会打开很多的文件，但不保存，只有你 要“另存到”，或者“备份到”一个“外部存储”的时候，才有真正的IO，否则都是在本地内存 里就可以了。甚至备份可以不用到外部存储。自动在两个内存块接口上提供双写接口就可 以了。
这个和虚拟机的Snapshot接口其实一模一样，所以，同样的技术将可以直接扩展为虚拟机 支持，这样，未来我们的应用都会变成Snapshot的形态，迁移的不再是数据文件了，而是 应用程序Snapshot本身。