颠覆三观，内存真能当SSD用了！！！

时间:2021-08-07 12:20来源:未知作者:中博IT教育

Intel推出的傲腾持久内存Intel Optane Persistent Memory ，这种硬件可以当做内存来用，和普通内存一样，但同时也具有非易失特性，像磁盘或者SSD一样断电后内存中的数据不会丢失，就是这么

Intel推出的傲腾持久内存Intel Optane Persistent Memory ，这种硬件可以当做内存来用，和普通内存一样，但同时也具有非易失特性，像磁盘或者SSD一样断电后内存中的数据不会丢失，就是这么的神奇。

对于这类持久化内存来讲就真的没有重启一说了，因为数据会一直保存在内存里，加电后直接用即可，你的程序就再也没有启动或者初始化一说了，这是一种全新的设备，对程序员来说有一定的挑战。

那么针对这类硬件该如何编程呢？

面向存储编程

实际上数据结构或者说数据存放在两个地方：内存以及存储设备，这里的存储设备就是程序员熟悉的磁盘或者SSD。

对于需要将数据存放在存储设备的程序员来说，通常必须小心的维护数据的一致性，为什么呢？

对于高可靠程序来说你必须能随时应对断电或者程序崩溃，如果数据没有及时的从内存刷入磁盘，那么此时你的数据将会丢失；而如果在写入磁盘的过程中发生了断电或者程序崩溃crash，那么此时写入磁盘就是不完整的数据。

面向内存编程

而对于面向内存编程，也就是通常不需要关心数据持久存储问题的程序员来说也没那么容易，虽然你不需要关心数据持久存储所面临的一致性问题，但你需要在程序运行过程中解决多线程访问的一致性问题。

当多个线程访问同一段内存时，程序员通常需要加锁，这样当一个程序修改这段内存时可以确保其它线程不会看到中间状态——也就是修改到一半时的内存数据。

当断电或者程序崩溃后内存中的内容就消失了，因此你不需要去关心持久存储所面临的一致性问题。

内存数据断电后消失、程序崩溃后内存内容消失以及磁盘数据可以持久存储这些特性对于当前的程序员来说已经像空气一样习以为常了。

面向持久内存编程

现在告诉你，有一种新硬件，这种硬件能让你直接当内存来用，也就是可以直接字节寻址但与此同时断电后内容又不消失，你觉得会怎样？

我想会有很多同学大呼神奇，该技术可以让你获得大量廉价内存，同时内存中的数据在断电以及程序崩溃时内容不丢失。

但神奇的不止是这种硬件，针对该硬件进行编程同样需要编程思维上的转变。

从特性上看，该硬件即是内存又是磁盘，因此上面关于持久数据一致性以及多线程一致性的考虑都适用于该硬件，也就是说针对该硬件进行编程时你即需要考虑多线程访问一致性，也需要考虑持久数据一致性。

于此同时，最让C/C++的程序员头疼的问题之一，即内存泄漏在持久内存的场景下就更有挑战了，在普通内存下内存泄漏后大不了重启，而在持久内存场景下，如果出现了内存泄漏，那就是持久的内存泄漏，重启不再起作用。

基于持久化内存编程的复杂性

程序员在基于持久内存进行编程时需要时刻意识到这是一块内存，因此需要维护多线程访问的一致性，但与此同时这又是一块存储设备，需要维护在运行时以及持久化的数据一致性。

基于此现状，当前的支持持久内存的库都支持这样一种特性，也即原子特性，atomic。

原子在不用的应用场景下有不同的语义，在多线程编程场景下，原子也即意味着除了当前线程之外没有任何一个线程更看到数据的中间状态，换句话说就是不会有多个线程同时去修改一块内存。

但原子在持久内存下的语言就不太一样了，原子在这种场景下的语义是说不管在任何时刻断电也好、程序崩溃也好，当程序重启后不会看到数据的中间状态，该数据要么已经正确的持久化要么还没有开始持久化。

这里的数据和上面一样，小到一个字节，大到一个非常复杂的结构体。

多线程中的锁只能保证内存更新的原子性，但不能保证数据持久化的原子性。

解决方案

为实现数据持久化原子性，持久内存编程SDK通常从数据中借鉴一个叫做事务的概念，transaction。

事务的意思是这样的：假设某个数据可能需要经过A、B、C、D几个步骤才能修改完毕，我们把这四个步骤打包放到事务中，那么事务就可以确保这四个步骤要么全部执行完毕，要么全部都不去执行。这样即使在任意一个步骤断电或者程序崩溃都不会影响到数据的一致性问题。

值得注意的是，程序员常用的磁盘flush操作只是确保当该函数执行完成后数据已经被写到了磁盘，但flush并不等同于事务，因为如果在flush过程中如果断电或者系统崩溃那么数据就处于薛定谔状态，可能数据已经被完全写到磁盘了，也可能只写了一部分，当然，也可能什么都没写。

总结

本文介绍一种全新的内存设备，这类设备可以被操作系统识别为内存，但又像磁盘一样断电后内容不丢失，这类设备尤其适用于对内存容量要求高以及程序启动时间长的场景。但，这类设备在编程上对程序员来说是一大挑战，这种持久内存在未来是否会成为主流也尚待观察。

(责任编辑：中博IT教育)

相关阅读

栏目列表

中心简介

ACCP软件工程师课程

时　间:周日上午10：00

主　题:专业技术讲座

主讲人:北大青鸟资深讲师

电　话:051685628888

说　明:限30人电话订座

推荐内容

热点内容