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

实验目的

掌握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函数的目标文件与此动态库文件进行链接，生成最终的可执行程序，记录文件的大小，并与之前做对比。

任务2

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

阅读、理解和学习材料“Linux GCC常用命令.pdf”和“GCC编译器背后的故事.pdf”，如实仿做一遍

任务3

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

实验内容

用gcc生成静态库和动态库

编辑生成例子程序 hello.h、hello.c 和 main.c

实验代码

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;

}

将 hello.c 编译成.o 文件

由.o文件创建静态库

在程序中使用静态库

一、可执行程序的组装

1.1 用gcc生成.a静态库和.so动态库（test1）

（1）编辑生成例子程序 hello.h、hello.c 和 main.c

创建作业目录：

mkdir test1       //创建test1文件夹

ls                //显示文件及目录

cd test1          //进入目录test1

用 vim创建hello.h、hello.c 和 main.c3 个文件。

hello.h

#ifndef HELLO_H

#define HELLO_H

void hello(const char *name);

#endif //HELLO_H

在程序中使用动态库；

gcc main.c libmyhello.so -o hello

编辑作业程序 a1.c 、a2.c、a.h和test.c

a1.c

#include <stdio.h>

void print1(int arg){

printf("A1 print arg:%d\n",arg);

}

a2.c

#include <stdio.h>

void print2(char *arg){

printf("A2 printf arg:%s\n", arg);

}

a.h

#ifndef A_H

#define A_H

void print1(int);

void print2(char *);

#endif

test2.c

#include <stdlib.h>

#include "A.h"

int main(){

print1(1);

print2("test");

exit(0);

}

编辑生成例子程序 b.h、b1.c、b2 和 main.c

b1.c（a和b相加）

#include <stdio.h>

float x2x(int a,int  b)

{

  return a+b;

}

b2.c（a和b相乘）

#include <stdio.h>

float x2y(int a,int  b)

{

  return a*b;

}
b.h

#ifndef b_H

#define b_H

float x2x(int a,int  b);

float x2y(int a,int  b);

#endif

main.c

#include <stdlib.h>

#include "b.h"

int main()

{

int a=0,b=0;

scanf("%d%d",&a,&b);

printf("%d+%d=%f/n",a,b,x2x(a,b));

printf("%d+%d=%f/n",a,b,x2y(a,b));

exit(0);

}

---

二、gcc编译工具中各软件的用途

（1）预编译

gcc -E test.c -o test.i  //生成预处理文件，test.i

gcc -E test.c            //将预处理文件显示在命令行中

（2）编译–编码为汇编语言(Compilation)

预处理之后，可直接对生成的 test.i 文件编译，生成汇编代码：

gcc -S test.i -o test.s

gcc 的-S 选项，表示在程序编译期间，在生成汇编代码后，停止，-o 输出汇编代码文件。

（3）汇编(Assembly)

对于上一题中生成的汇编代码文件 test.s，

gas 汇编器负责将其编译为目标文件，如下：

gcc -c test.s -o test.o

（4）连接(Linking)

gcc 连接器是 gas 提供的，负责将程序的目标文件与所需的所有附加的目标文件连接起来，最终生

成可执行文件。附加的目标文件包括静态连接库和动态连接库。

对于上一小节中生成的 test.o，将其与Ｃ标准输入输出库进行连接，最终生成程序 test

gcc test.o -o test

（test是1.1直接生成，main是一步一步生成，源程序没有差别）

（5）多个程序文件的编译

gcc可以同时编译多个源文件

gcc test1.c test2.c -o test

如果同时处理的文件不止一个，GCC 仍然会按照预处理、编译和链接的过程依次进行

上面这条命令大致相当于依次执行如下三条命令：

gcc -c test1.c -o test1.o

gcc -c test2.c -o test2.o

gcc test1.o test2.o -o test

（6）检错

常用的gcc检错命令有以下两种：

gcc -pedantic illcode.c -o illcode

gcc -Wall illcode.c -o illcode

在编译程序时带上-Werror 选项，那么 GCC 会在所有产生警告的地方停止编译，如下：

gcc -Werror test.c -o test

（7）链接

有目标文件链接成可执行文件：

gcc –L /usr/dev/mysql/lib –lmysqlclient test.o –o test   //这里的路径，若不写，则默认在/usr/lib

1

若想让GCC 在链接时只用到静态链接库，可以使用下面的命令：

gcc –L /usr/dev/mysql/lib –static –lmysqlclient test.o –o test  //-static 静态

1

也可以直接写出要使用的库如：

gcc -o main main.c libtest.a

1

三.GCC编译器背后的故事

（1）准备工作

#include <stdio.h>

//此程序很简单，仅仅打印一个 Hello World 的字符串。

int main(void)

{

printf("Hello World! \n");

return 0;

}

（2） 编译过程

1.1已经详细的介绍了gcc的编译过程，这里不再赘叙

直接gcc hello.c -o hello

（3）分析 ELF 文件

1.ELF 文件的段

位于 ELF Header 和 Section Header Table 之间的都是段（Section）。

一个典型的 ELF 文件包含下面几个段：

.text：已编译程序的指令代码段。

.rodata：ro 代表 read only，即只读数据（譬如常数 const）。

.data：已初始化的 C 程序全局变量和静态局部变量。

.bss：未初始化的 C 程序全局变量和静态局部变量。

.debug：调试符号表，调试器用此段的信息帮助调试。

可以使用 readelf -S 查看其各个 section 的信息如下：

readelf -S hello

2.反汇编 ELF

由于 ELF 文件无法被当做普通文本文件打开，如果希望直接查看一个 ELF 文件包含的指令和数据，需要使用反汇编的方法。

使用 objdump -D 对其进行反汇编如下：

objdump -D hello

使用 objdump -S 将其反汇编并且将其 C 语言源代码混合显示出来：

gcc -o hello -g hello.c //要加上-g 选项

objdump -S hello

2.1 nasm的使用

NASM是一个为可移植性与模块化而设计的一个80x86的汇编器。它支持相当多的目标文件格式，包括Linux和’‘NetBSD/FreeBSD’’,’‘a.out’’,’‘ELF’’,’‘COFF’’,微软16位的’‘OBJ’‘和’‘Win32’’。

（1）安装nasm

apt-get install nasm

（2）下载asm文件

（3）将asm编译为可执行文件

nasm -f elf32 hello.sam -o hello.o

ld -m elf_i386 hello.o -o hello

./hello

三.Ubantu中代码编译演示

五.STM32中代码演示