鲁达 - 早期 C 语言 (1972-1973) -> K&R C (1976-1979) -> ANSI C (1983-1989) -> ISO
- ANSI C -> C++ (1985-) # 融合 Simula 67 和 Ada 特色
- Cfront: C with class
- source: History of C
- 许多程序语言允许 function 和 data 一样在 function 內部定义，但 C 语言不允许这样的 nested function，换言之，C 语言所有的 function 在语法都是位于最顶层 (top-level)
- nested function 是编译器的扩展
- 「不允许 nested function」这件事简化了 C 编译器的设计
- 在 Pascal, Ada, Modula-2, PL/I, Algol-60 这些允许 nested function 的程序语言中，需要一个称为 static link 的机制来记录指向目前 function 的外层 function 的信息
- uplevel reference
补充说明：内嵌函数（Nested Function），所谓内嵌函数就是定义于另一个函数内部的函数.(GNU C++不支持内嵌函数) 内嵌函数名在它被定义的块中是局部有效的。
再论Function
- 数学定义的 Function
- 在 C 语言中，“function” 其实是特定的形式，并非数学意义上的函数，而是隐含了一个状态到另一个状态的关联，以下摘自 Wikipedia C-- 词条:
- C is a poor choice for functional languages: it does not support tail recursion, accurate garbage collection or efficient exception handling.(下划线部分分别为:尾递归/垃圾回收/异常处理)
- C-- is a simpler, tightly-defined alternative to C which does support all of these things.
C-- 在 1997 年才提出，距离 C 语言出现整整过了 25 年，前者主要的功能是作为编译器的 IR (中间表示式)，主要用于Glasgow Haskell Compiler (缩写 ghc，是 Microsoft Research 一项高影响力的开源源码)。关于GHC相关的知识，感兴趣的读者可自行搜索了解。
wiki链接地址:https://en.wikipedia.org/wiki/C--
Process 和 C 程序的关联
- 背景知识:
- IRQ (interrupt request)
- ISR (Interrupt Service Routines)
- IRQ mode
- MMIO v.s PMIO
- 以网卡的收报文流程为例:
封包进來 -> interrupt -> ISR -> IRQ mode -> 下图绿色的区块里面 (IORQ) 进行内存作(读取/写入数据)
- The Internals of “Hello World” Program
简单的hello World，背后的一些事情... ...
下面是hello world程序背后涉及到的一些背景知识点(取自jserv老师的一篇关于hello world的PPT文档)，头条无法插入ppt附件(读者可以评论留下邮箱索取)，将以图片的形式插入，强烈推荐大家仔细阅读，这篇PPT文档要求读者有一定的操作系统以及计算机组成原理方面的基础，读者如果遇到不能理解的地方，欢迎留言交流探讨。
• Computer Architecture Review
• Static Linking
Compilation & Linking
Object File Format
Static Linking
• Loading & Dynamic Linking
Executable File Loading & Process
Dynamic Linking
• Memory
• System Call
后面几个章节的PPT图片暂时不贴出来，否则会造成文章过长，有需要的话评论留下邮箱，我会将ppt文档发给您。
- instructions: 自 object file (ELF) 映射 (map) 到 process 的 program code (机器码)
- static data: 静态初始化的变量
- BSS: 全名已 不可考，一般认定为 "Block Started by Symbol”，未初始化的变量或数据可用 size 指令來观察
- Heap 或 data segment: 执行期间才能动态配置的空间sbrk 系统调用 (sbrk = set break)malloc/free 实际的实现通过 sbrk 系统调用
ELF segment & section
一个 segment 包含若干个 section
$ sudo cat /proc/1/maps | less 55cff6602000-55cff678b000 rw-p [heap] 7fff7e13f000-7fff7e160000 rw-p [stack]program loader
XIP: execution in place
关于链接/加载相关，强烈推荐书籍