Everything is a State Machine

从计算模型到计算机系统

• 我们需要 “造出” 状态图、纸带……
• 核心：“纸、铅笔、橡皮”

在物理世界中实现状态

实现 Random Access

• 磁铁 (1960s)

• SRAM: Flip-flop
• DRAM: 电容

在物理世界中实现持久化

Persistence: “A firm or obstinate continuance in a course of action in spite of difficulty or opposition.”

• 我们希望更大、更多的数据能 “留下来” (并且被操作系统有效地管理起来)

持久存储器的抽象

typedef uint8_t block[4096]; // 4KB
block persist_memory[244140625]; // 1TB

• 一个巨大的 bit/byte array
  • 允许按 block 读写

在物理世界中实现持久化 (cont'd)

目标：稳定、可靠、可辨别地改变物理状态

• 我们的祖先早就想到了！(append-only)