理解程序：状态机模型，我们把一个程序看成一个状态机，程序的状态是{寄存器，内存}，而每次取出一条指令、再执行的过程的就是状态迁移到过程。
由这个状态机模型，我们可以有非常多的 trick，例如 debug 单步执行，例如模拟器，例如如果某些指令是“可逆”的，就可以在 debug 的时候反向执行，“时间倒流”（gdb 也提供了这一模式）……
对于并发程序，多处理器模型，我们的直觉告诉我们，可以把这个程序看成是多个状态机，并发的过程就是每次取出一个状态机，执行一步，而所有的状态机有共享的内存（线程模型）…… 这样的模型已经足够复杂，状态数是指数增长的，解决需要考虑所有状态的问题是 NP 完全的。
但更重量级的是，这样的模型是错的！
并发编程的问题：
一些细节和思考：
Q: wait for reading the source code and thinking
A: after reading the source code and thinking
linking 复习
• efficiency: small change requires complete recompilation
• modularity: hard to share common functions (e.g. printf)
seperate compilation: separately compiled relocatable object files
reloc object files -> executable object file
Linking is the process of: collecting and combining various pieces of code and data into a single executable file
Executable file: Can be loaded (copied) into memory and executed