GCC背后的故事&C程序常量变量的地址分配

一. 学习并掌握可执行程序的编译、组装过程。学习任务如下： 1）阅读、理解和学习材料“用gcc生成静态库和动态库.pdf”和“静态库.a与.so库文件的生成与使用.pdf”，请在Linux系统(Ubuntu)下如实仿做一遍。 2）在第一次作业的程序代码基础进行改编，除了x2x函数之外，再扩展写一个x2y函数（功能自定），main函数代码将调用x2x和x2y ；将这3个函数分别写成单独的3个 .c文件，并用gcc分别编译为3个.o 目标文件；将x2x、x2y目标文件用 ar工具生成1个 .a 静态库文件, 然后用 gcc将 main函数的目标文件与此静态库文件进行链接，生成最终的可执行程序，记录文件的大小。 3）将x2x、x2y目标文件用 ar工具生成1个 .so 动态库文件, 然后用 gcc将 main函数的目标文件与此动态库文件进行链接，生成最终的可执行程序，记录文件的大小，并与之前做对比。

1.编写例子程序
hello.h

#ifndef HELLO_H
#define HELLO_H
void hello(const char*name);
#endif//HELLO_H

hello.c

#include<stdio.h>
void hello(const char*name){
printf("Hello %s!\n",name);
}

main.c

#include"hello.h"
int main(){
hello("everyone")；
return 0;
}

2.创建并使用静态库

ar -crv libmyhello.a hello.o

gcc -o hello main.c -L. -lmyhello

3.创建并使用动态库

gcc -shared -fPIC -o libmyhello.so hello.o
gcc -o hello main.c -L. -lmyhello
cp libmyhello.so /usr/lib

4.改编代码
sub1.c

float x2x(int a,int b)
{
	float c=0;
	c=a+b;
	return c;
}

sub2.c

float x2y(int a,int b)
{
	float c=0;
	c=a/b;
	return c;
}

sub.h

#ifndef SUB_H
#define SUB_H
float x2x(int a,int b);
float x2y(int a,int b);
#endif

main.c

#include<stdio.h>
#include"sub.h"
void main()
{
	int a,b;
	printf("Please input the value of a:");
	scanf("%d",&a);
	printf("Please input the value of b:");
	scanf("%d",&b);
	printf("a+b=%.2f\n",x2x(a,b));
	printf("a/b=%.2f\n",x2y(a,b));
}

5.对改编代码创建并使用静态库

ar crv libsub.a sub1.o sub2.o
gcc -o main main.c libsub.a

二. Gcc不是一个人在战斗。请说明gcc编译工具集中各软件的用途，了解EFF文件格式。学习任务如下： 阅读、理解和学习材料“Linux GCC常用命令.pdf”和“GCC编译器背后的故事.pdf”，如实仿做一遍。

1.GCC编译器（gnac、gnac++、gcc、g++）：
用于编译C和C++程序的编译器。
针对不同的目标平台和架构，可以生成对应的二进制可执行文件。
GCC预处理器（cpp）：
用于处理源代码中的预处理指令，如宏展开、条件编译等。
在编译过程之前，将源文件转换为预处理后的中间文件。
GCC汇编器（as）：
将汇编语言代码（通常是以汇编文本文件的形式）转化为目标机器语言的二进制指令。
生成与特定平台相关的目标文件。
GCC链接器（ld）：
将多个目标文件和库文件链接在一起，生成最终的可执行文件。
处理符号解析、库引用、地址重定位等。
GCC调试器（gdb）：
用于调试编译后的程序，以定位和解决程序中的错误。
提供了许多调试功能，如断点设置、变量查看、函数调用跟踪等。
除了以上列举的主要组件之外，GCC 还包括其他辅助工具，如性能分析器（gprof）、代码覆盖率工具（gcov）等，用于帮助开发者分析和优化程序性能。
EFF（Executable and Linkable Format）是一种可执行文件和可链接文件的二进制文件格式。EFF文件格式最初由UNIX开发人员使用，现在在UNIX、Linux和其他类UNIX系统中广泛使用。

2.EFF文件格式通常包含以下几个关键部分：
头部（Header）：存储文件的元数据信息，例如文件类型、机器架构、入口点地址等。
段表（Section Table）：存储了文件中各个段的信息，如代码段、数据段、符号表等。每个段都有其对应的偏移量和大小等属性。
代码段（Text Segment）：存储可执行文件的机器代码指令，即程序的具体执行逻辑。
数据段（Data Segment）：存储可执行文件运行时需要使用的数据，如全局变量、静态变量等。
符号表（Symbol Table）：存储了代码中定义的变量、函数、外部引用等符号的信息，包括它们的名称、类型、地址等。
重定位表（Relocation Table）：存储了需要进行地址重定位的位置，以便在加载时将其正确映射到内存地址。
EFF文件格式提供了一种灵活和标准化的方式来组织可执行文件，使其可以在不同的操作系统和平台上进行共享和执行。这使得开发者能够以独立于硬件和操作系统的方式创建和交付软件。

三. 编写一个C程序，重温全局常量、全局变量、局部变量、静态变量、堆、栈等概念，在Ubuntu（x86）系统和STM32(Keil)中分别进行编程、验证（STM32 通过串口printf 信息到上位机串口助手) 。1）归纳出Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的分配地址，进行对比分析；2）加深对ARM Cortex-M/stm32F10x的存储器地址映射的理解。下图是一个Cortex-M4的存储器地址映射示意图（与Cortex-M3/stm32F10x基本相同，只存在微小差异）

1.全局变量
在所有函数外部定义的变量称为全局变量（Global Variable），它的作用域默认是整个程序，也就是所有的源文件。

局部变量
定义在函数内部的变量称为局部变量（Local Variable），它的作用域仅限于函数内部， 离开该函数的内部就是无效的，再使用就会报错。

栈区（stack）— 由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。

堆区（heap） — 一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收。它与数据结构中的堆是两回事，分配方式类似于链表。

全局区（静态区）（static）—，全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 程序结束后有系统释放

文字常量区—常量字符串就是放在这里的。 程序结束后由系统释放

程序代码区—存放函数体的二进制代码。

2.Ubuntu(x86)系统和STM32(Keil)中编程验证
代码

#include <stdio.h>
#include <stdlib.h>
//定义全局变量
int init_global_a = 1;
int uninit_global_a;
static int inits_global_b = 2;
static int uninits_global_b;
void output(int a)
{
	printf("hello");
	printf("%d",a);
	printf("\n");
}

int main( )
{   
	//定义局部变量
	int a=2;//栈
	static int inits_local_c=2, uninits_local_c;
    int init_local_d = 1;//栈
    output(a);
    char *p;//栈
    char str[10] = "yaoyao";//栈
    //定义常量字符串
    char *var1 = "1234567890";
    char *var2 = "abcdefghij";
    //动态分配——堆区
    int *p1=malloc(4);
    int *p2=malloc(4);
    //释放
    free(p1);
    free(p2);
    printf("栈区-变量地址\n");
    printf("                a：%p\n", &a);
    printf("                init_local_d：%p\n", &init_local_d);
    printf("                p：%p\n", &p);
    printf("              str：%p\n", str);
    printf("\n堆区-动态申请地址\n");
    printf("                   %p\n", p1);
    printf("                   %p\n", p2);
    printf("\n全局区-全局变量和静态变量\n");
    printf("\n.bss段\n");
    printf("全局外部无初值 uninit_global_a：%p\n", &uninit_global_a);
    printf("静态外部无初值 uninits_global_b：%p\n", &uninits_global_b);
    printf("静态内部无初值 uninits_local_c：%p\n", &uninits_local_c);
    printf("\n.data段\n");
    printf("全局外部有初值 init_global_a：%p\n", &init_global_a);
    printf("静态外部有初值 inits_global_b：%p\n", &inits_global_b);
    printf("静态内部有初值 inits_local_c：%p\n", &inits_local_c);
    printf("\n文字常量区\n");
    printf("文字常量地址     ：%p\n",var1);
    printf("文字常量地址     ：%p\n",var2);
    printf("\n代码区\n");
    printf("程序区地址       ：%p\n",&main);
    printf("函数地址         ：%p\n",&output);
    return 0;
}

keli