什么是 (二进制) 程序？ 栈帧 函数调用 状态机 程序的状态机模型 输出数码管的配置信号

http://jyywiki.cn/OS/2022/slides/2.slides#/3/1  

操作系统上的程序 (什么是程序和编译器) [南京大学2022操作系统-P2]_哔哩哔哩_bilibili https://www.bilibili.com/video/BV12L4y1379V

• 程序的状态机模型 (和编译器)
• 操作系统上的 {最小/一般/图形} 程序

 http://jyywiki.cn/OS/2022/slides/2.slides#/1/3

更完整的实现：数码管显示

输出数码管的配置信号

• logisim.c
• 会编程，你就拥有全世界！
  • seven-seg.py
  • 同样的方式可以模拟任何数字系统
    • 当然，也包括计算机系统

---

你还体验了 UNIX 哲学

• Make each program do one thing well
• Expect the output of every program to become the input to another

什么是程序 (源代码视角)

什么是程序？

Hmm....

---

你需要《程序设计语言的形式语义》

• by 梁红瑾 🎩
• λ-calculus, operational semantics, Hoare logic, separation logic
• 入围 “你在南京大学上过最牛的课是什么？” 知乎高票答案
  • 当然，我也厚颜无耻地入围了

什么是程序 (二进制代码视角)

6 / 36

 

 

 

 

 

更完整的实现：数码管显示 输出数码管的配置信号 logisim.c 会编程，你就拥有全世界！ seven-seg.py 同样的方式可以模拟任何数字系统 当然，也包括计算机系统 你还体验了 UNIX 哲学 Make each program do one thing well Expect the output of every program to become the input to another