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

1.学习并掌握可执行程序的编译、组装过程。

1.1阅读、理解和学习材料“用gcc生成静态库和动态库.pdf”和“静态库.a与.so库文件的生成与使用.pdf”，请在Linux系统(Ubuntu)下如实仿做一遍。

用gcc生成静态库和动态库.pdf

第一步：编辑生成例子程序hello.h,hello.c,main.c
创建一个test的文件夹，保存文件

mkdir test
cd test

然后用vim编辑生成需要的三个文件hello.h,hello.c,main.c

第二步：将hello.c编译成.o文件

gcc -c hello.c

第三步：由.o文件创建静态库.a

ar -crv libmyhello.a hello.o

第四步：在程序中使用静态库

gcc main.c libmyhello.a -o hello

第五步：由.o文件创建动态库文件

gcc -shared -fPIC -o libmyhello.so hello.o

第六步：在程序中使用动态库

gcc main.c libmyhello.so -o hello

静态库.a与.so库文件的生成与使用.pdf

第一步：创建一个作业目录test2

mkdir test2
cd test2

第二步:用vim生成所需要的四个文件

vim A1.c
vim A2.c 
vim A.h
vim test.c

第三步：静态库和动态库的生成和使用
1.静态库.a文件的使用和生成

1.1生成目标文件.o

gcc -c A1.c A2.c

1.2生成静态库.a文件

ar -crv libafile.a A1.o A2.o

1.3使用.a库文件，创建可执行程序

gcc -o test test.c libafile.a
./test

2共享库.so文件的生成和使用

2.1生成目标文件.o

gcc -c -fpic A1.c A2.c 

2.2生成共享库.so文件

gcc -shared *.o -o libsofile.so
gcc -o test test.c libsofile.so
./test

静态库：

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

动态库：

gcc -shared -fPIC libsub.so sub1.o sub2.o
gcc -o main main.c libsub.so

1.2在第一次作业的程序代码基础进行改编，除了x2x函数之外，再扩展写一个x2y函数（功能自定），main函数代码将调用x2x和x2y ；将这3个函数分别写成单独的3个 .c文件，并用gcc分别编译为3个.o 目标文件；将x2x、x2y目标文件用 ar工具生成1个 .a 静态库文件, 然后用 gcc将 main函数的目标文件与此静态库文件进行链接，生成最终的可执行程序，记录文件的大小。

$ vim sub1.c//编辑sub1.c文件
$ vim sub2.c//编辑sub2.c文件
$ vim main1.c//编辑main1.c文件
$ gcc sub1.c//编译sub1.c文件文件
$ gcc sub2.c//编译sub2.c文件文件
$ gcc main1.c//编译main1.c,sub1.c和sub2.c文件文件
$ ar -crv libmain1.a sub1.o sub2.o   //生成静态文件库
$ gcc main1.c libmain1.a -o result    //mian1.c与静态文件库连接
$ ./result//执行当前目录下的result的文件，‘./’是当前目录的意思

//sub1.c
#include<stdio.h>
float x2x(float a,float b)
{
return a+b;//返回a+b的值
}
//sub2.c
#include<stdio.h>
float x2y(float a,float b)
{
return a*b;//返回a+b的值
}
//main1.c
#include"sub1.c"//引用sub1.c文件
#include"sub2.c"//引用sub2.c文件
#include<stdio.h>
float main()
{
float a=2,b=3;//定义
printf("%f",x2x(a,b));//输出x2x(a,b)的值
printf("%f",x2y(a,b));//输出x2y(a,b)的值
return 0;
}

1.3将x2x、x2y目标文件用 ar工具生成1个 .so 动态库文件, 然后用 gcc将 main函数的目标文件与此动态库文件进行链接，生成最终的可执行程序，记录文件的大小，并与之前做对比。

$ gcc -shared -fPIC -o libmain1.so sub1.o sub2.o    //生成动态文件库
$ gcc main1.c libmain1.so -o result       //与动态文件库连接

对比可得，动态库文件比静态库文件更大。

2.Gcc不是一个人在战斗。请说明gcc编译工具集中各软件的用途，了解EFF文件格式。

2.1GCC编译器背后的故事.pdf

2.2Linux GCC常用命令.pdf

3.编写一个C程序，重温全局常量、全局变量、局部变量、静态变量、堆、栈等概念，在Ubuntu（x86）系统和STM32(Keil)中分别进行编程、验证（STM32 通过串口printf 信息到上位机串口助手) 。

3.1归纳出Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的分配地址，进行对比分析。

代码：

#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] = "lmy";
    //定义常量字符串
    char *var1 = "1234567890";
    char *var2 = "qwertyuiop";
    //动态分配
    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;
} 

Ubuntu中代码演示

使用gedit text.c命令创建text.c程序

编译过程如下：

输出结果如下：

可以发现，Ubuntu在栈区和堆区的地址值都是从上到下增长的。

STM32中代码演示

编译之后，在串口软件上观察效果：

可以发现，STM32 在栈区和堆区的地址值是从上往下的在减小与Ubuntu下刚好相反。