Open supergem3000 opened 6 months ago
23. 应用视角的操作系统 (回顾) (jyywiki.cn) 状态机：建模理解我们的世界 能否把世界想象成状态机？Play John Conway’s Game of Life (playgameoflife.com) 可以证明这个状态机的计算能力和所有计算机是等价的。那么可以在里面模拟出图灵机。 状态机：建模理解程序的世界 Trace和调试器 程序执行=状态机执行。“hack”进这个状态机，观察状态机的执行（strace/gdb），甚至记录和改变状态机的执行。 如何回退到之前的状态？gdb reverse execution。gdb记录每步执行的diff，可以实现回退。
23. 应用视角的操作系统 (回顾) (jyywiki.cn)
能否把世界想象成状态机？Play John Conway’s Game of Life (playgameoflife.com) 可以证明这个状态机的计算能力和所有计算机是等价的。那么可以在里面模拟出图灵机。
Trace和调试器 程序执行=状态机执行。“hack”进这个状态机，观察状态机的执行（strace/gdb），甚至记录和改变状态机的执行。 如何回退到之前的状态？gdb reverse execution。gdb记录每步执行的diff，可以实现回退。
性能优化和Profiler 隔一段时间“暂停”程序，观察状态机的执行。中断就可以做到。 实际中的性能优化：80%时间消耗在非常集中的几处代码。
Model Checker和Verifier 一些真正的model checkers：TLA+，Java PathFinder（JFP）
性能优化和Profiler 隔一段时间“暂停”程序，观察状态机的执行。中断就可以做到。 实际中的性能优化：80%时间消耗在非常集中的几处代码。
Model Checker和Verifier 一些真正的model checkers：TLA+，Java PathFinder（JFP）