实验目的
掌握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,将其与C标准输入输出库进行连接,最终生成程序 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中代码演示