程序员的自我修养——第六章-CSDN博客

进程与程序：

程序是一个静态的概念，它就是这些预编译好的指令和数据集合的一个文件；进程则是一个动态的概念，它是程序运行时的一个过程，很多时候把动态库叫做运行时也有一定的含义。

一般来来说，C语言指针大小的位数与虚拟空间的位数相同，如果32位平台下指针为32位，即4字节；64位平台下的指针为64位，即8字节。

Intel自从1995年的Pentium Pro CPU开始采用了36位的物理地址，也就是可以访问高达64GB的物理内存。Intel把这个地址扩展方式叫做PAE（Physical Address Extension）。

应用程序如何使用这些大于常规内存的空间？

一个很常见的方法就是操作系统提供一个窗口映射的方法，把这些额外的内存呢映射到进程地址空间中来。在Windows下，这个访问内存的操作方式叫做AWE(Address Windowing Extensions)；在Linux中采用mmap()系统调用来实现。

覆盖装入和页映射是两种很典型的动态装载方法，它们都利用了程序的局部性原理。

程序的局部性原理：是指程序在执行时呈现出局部性规律，即在一段时间内，整个程序的执行仅限于程序中的某一部分。相应地，执行所访问的存储空间也局限于某个内存区域。局部性原理又表现为：时间局部性和空间局部性。时间局部性是指如果程序中的某条指令一旦执行，则不久之后该指令可能再次被执行；如果某数据被访问，则不久之后该数据可能再次被访问。空间局部性是指一旦程序访问了某个存储单元，则不久之后。其附近的存储单元也将被访问。

源文档 <http://baike.baidu.com/view/3253308.htm>

从操作系统的角度，一个进程最关键的特征是它拥有独立的虚拟地址空间，这使得它有别于其他进程。

一个程序被执行同时都伴随着一个新进程的创建：创建一个进程，然后装载相应的可执行文件并且执行。该工程需要做三件事：

·创建一个独立的虚拟地址空间

　　将虚拟空间的各个页映射至相应的物理空间，实际上只是分配了一个页目录（Page Directory）就可以了

·读取可执行文件头，并且建立虚拟空间与可执行文件的映射关系

　　建立虚拟地址空间与可执行文件的映射关系。当发生缺页故障时，操作系统应该知道当前所需要的页在可执行文件中的哪个位置，这就是虚拟空间与可执行文件之间的映射关系。

　　这种映射关系只是保存在操作系统内部的一个数据构。Linux中将进程虚拟空间中的一个段叫做虚拟内存区域（VMA，Virtual Memory Area）；在Windows中将这个叫做虚拟段（Virtual Section）。

·将CPU的指令寄存器设置成可执行文件的入口地址，启动并运行

页错误的处理：当发生Page Fault的时候，操作系统查询VMA，计算出页面在可执行文件中的偏移，然后在物理内存中分配一个物理页面，将进程中该页与分配的物理页间建立映射关系，然后把控制权再还给进程，进程从刚才页错误的位置开始重新开始运行。

ELF文件中, 段的权限只有为数不多的几种组合:

·以代码段为代表的权限为可读可执行的段

·以数据段和BSS段为代表的权限为可读可写的段

·以只读数据段为代表的权限为只读的段。

对于相同权限的段，把它们合并到一起当做一个段进行映射。

root@ubuntu:~/Desktop/ezCode# readelf -S SectionMapping.elf

There are 29 section headers, starting at offset 0x868dc:

Section Headers:

[Nr] Name Type Addr Off Size ES Flg Lk Inf Al

[ 0] NULL 00000000 000000 000000 00 0 0 0

[ 1] .note.ABI-tag NOTE 080480f4 0000f4 000020 00 A 0 0 4

[ 2] .note.gnu.build-i NOTE 08048114 000114 000024 00 A 0 0 4

[ 3] .rel.plt REL 08048138 000138 000028 08 A 0 5 4

[ 4] .init PROGBITS 08048160 000160 000030 00 AX 0 0 4

[ 5] .plt PROGBITS 08048190 000190 000050 00 AX 0 0 4

[ 6] .text PROGBITS 080481e0 0001e0 065d5c 00 AX 0 0 16

[ 7] __libc_freeres_fn PROGBITS 080adf40 065f40 000b57 00 AX 0 0 16

[ 8] .fini PROGBITS 080aea98 066a98 00001c 00 AX 0 0 4

[ 9] .rodata PROGBITS 080aeac0 066ac0 0191b0 00 A 0 0 32

[10] __libc_subfreeres PROGBITS 080c7c70 07fc70 000030 00 A 0 0 4

[11] __libc_atexit PROGBITS 080c7ca0 07fca0 000004 00 A 0 0 4

[12] .eh_frame PROGBITS 080c7ca4 07fca4 0054d8 00 A 0 0 4

[13] .gcc_except_table PROGBITS 080cd17c 08517c 00011a 00 A 0 0 1

[14] .tdata PROGBITS 080cef8c 085f8c 000010 00 WAT 0 0 4

[15] .tbss NOBITS 080cef9c 085f9c 000018 00 WAT 0 0 4

[16] .ctors PROGBITS 080cef9c 085f9c 00000c 00 WA 0 0 4

[17] .dtors PROGBITS 080cefa8 085fa8 00000c 00 WA 0 0 4

[18] .jcr PROGBITS 080cefb4 085fb4 000004 00 WA 0 0 4

[19] .data.rel.ro PROGBITS 080cefb8 085fb8 000030 00 WA 0 0 4

[20] .got PROGBITS 080cefe8 085fe8 00000c 04 WA 0 0 4

[21] .got.plt PROGBITS 080ceff4 085ff4 000020 04 WA 0 0 4

[22] .data PROGBITS 080cf020 086020 000740 00 WA 0 0 32

[23] .bss NOBITS 080cf760 086760 001b9c 00 WA 0 0 32

[24] __libc_freeres_pt NOBITS 080d12fc 086760 000018 00 WA 0 0 4

[25] .comment PROGBITS 00000000 086760 00006c 01 MS 0 0 1

[26] .shstrtab STRTAB 00000000 0867cc 000110 00 0 0 1

[27] .symtab SYMTAB 00000000 086d64 0083e0 10 28 974 4

[28] .strtab STRTAB 00000000 08f144 00758a 00 0 0 1

Key to Flags:

W (write), A (alloc), X (execute), M (merge), S (strings)

I (info), L (link order), G (group), T (TLS), E (exclude), x (unknown)

O (extra OS processing required) o (OS specific), p (processor specific)

ELF可执行文件中有一个专门的数据结构叫做程序头表（Program Header Table）用来保存“Segment”的信息。

root@ubuntu:~/Desktop/ezCode# readelf -l SectionMapping.elf

Elf file type is EXEC (Executable file)

Entry point 0x80481e0

There are 6 program headers, starting at offset 52

Program Headers:

Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align

LOAD 0x000000 0x08048000 0x08048000 0x85296 0x85296 R E 0x1000

LOAD 0x085f8c 0x080cef8c 0x080cef8c 0x007d4 0x02388 RW 0x1000

NOTE 0x0000f4 0x080480f4 0x080480f4 0x00044 0x00044 R 0x4

TLS 0x085f8c 0x080cef8c 0x080cef8c 0x00010 0x00028 R 0x4

GNU_STACK 0x000000 0x00000000 0x00000000 0x00000 0x00000 RW 0x4

GNU_RELRO 0x085f8c 0x080cef8c 0x080cef8c 0x00074 0x00074 R 0x1

Section to Segment mapping:

Segment Sections...

00 .note.ABI-tag .note.gnu.build-id .rel.plt .init .plt .text __libc_freeres_fn .fini .rodata __libc_subfreeres __libc_atexit .eh_frame .gcc_except_table

01 .tdata .ctors .dtors .jcr .data.rel.ro .got .got.plt .data .bss __libc_freeres_ptrs

02 .note.ABI-tag .note.gnu.build-id

03 .tdata .tbss

05 .tdata .ctors .dtors .jcr .data.rel.ro .got

Elf32_Phdr结构的几个成员与使用readelf -l 命令打印文件头表显示的结果一一对应。

/usr/src/linux/include/linux/elf.h

typedef struct elf32_phdr{

Elf32_Word p_type;

Elf32_Off p_offset;

Elf32_Addr p_vaddr;

Elf32_Addr p_paddr;

Elf32_Word p_filesz;

Elf32_Word p_memsz;

Elf32_Word p_flags;

Elf32_Word p_align;

} Elf32_Phdr;

Elf32_Phdr->p_type

段的类型，它能告诉我们这个段里存放着什么用途的数据。此字段的值是在elf.h中定义了一些常量。例如1(PT_LOAD)表示是可加载的段，这样的段将被读入程序的进程空间成为内存映像的一部分。段的种类再不断增加，例如7(PT_TLS)在以前就没有定义，它表示用于线程局部存储。

Elf32_Phdr->p_flags

段的属性。它用每一个二进制位表示一种属，相应位为1表示含有相应的属性，为0表示不含那种属性。其中最低位是可执行位，次低位是可写位，第三低位是可读位。如果这个字段的最低三位同时为1那就表示这个段中的数据加载以后既可读也可写而且可执行的。同样在elf.h文件中也定义了一此常量(PF_X、 PF_W、PF_R)来测试这个字段的属性，做为一个好习惯应该尽量使用这此常量。

Elf32_Phdr->p_offset

该段在文件中的偏移。这个偏移是相对于整个文件的。

Elf32_Phdr->p_vaddr

该段加载后在进程空间中占用的内存起始地址。

Elf32_Phdr->p_paddr

该段的物理地地址。这个字段被忽略，因为在多数现代操作系统下物理地址是进程无法触及的。

Elf32_Phdr->p_filesz

该段在文件中占用的字节大小。有些段可能在文件中不存在但却占用一定的内存空间，此时这个字段为0。

Elf32_Phdr->p_memsz

该段在内存中占用的字节大小。有些段可能仅存在于文件中而不被加载到内存，此时这个字段为0。

Elf32_Phdr->p_align

对齐。现代操作系统都使用虚拟内存为进程序提供更大的空间，分页技术功不可没，页就成了最小的内存分配单位，不足一页的按一页算。所以加载程序数据一般也从一页的起始地址开始，这就属于对齐。