Математическая библиотека

• Повторение: создание исполняемой программы из исходного кода на Си:

  1. Трансляция: файл на Си → объектный файл (все операторы Си переведены на машинный язык)
  2. Компоновка: объектный файл → исполняемый файл (к объектному файлу добавлена исполняющая подсистема Си и другие подпрограммы, непосредственно либо в виде указания библиотеки, откуда эти подпрограммы может загрузить операционная система)

Пример: файл simple.c

•    1 #include <stdio.h>
     2 
     3 int var;
     4 
     5 void main() {
     6     scanf("%d", &var);
     7     printf("%d\n", var);
     8 }
  

  • Здесь мы определяем переменную var и функцию main, а функции printf и scanf становятся доступны только в процессе компоновки. С помощью ключа -c остановим процесс трансляции на объектном файле (файл этот будет называться simple.o):

$ cc -std=c89 simple.c -c -o simple.o
$ hexdump -C simple.o
<содержмое объектного файла в шестнадцатеричном виде>
...
$ nm simple.o        
0000000000000000 T main
                 U printf
                 U scanf
0000000000000004 C var
$ ls -l simple.*
-rw-r--r-- 1 george george   94 янв 27 21:32 simple.c
-rw-r--r-- 1 george george 3488 янв 27 21:42 simple.o

Утилита hexdump покажет нам внутренности simple.o (среди трёхкилобайтного шестнадцатеричного месива можно отыскать все четыре названия). Утилита nm — выдаст информацию о том, какие идентификаторы используются в программе, при этом те, что не определены, помечены как U (undefined). При компиляции использовался старый стандарт c89, чтобы функции назывались более наглядно.

Компоновка:

$ cc -static simple.o -o simple.static
$ nm simple.static
<множество имён, среди которых есть уже `main, printf, scanf и var>
$ ls -l simple.*                          
-rw-r--r-- 1 george george      94 янв 27 21:32 simple.c
-rw-r--r-- 1 george george    3488 янв 27 22:17 simple.o
-rwxr-xr-x 1 george george 3487080 янв 27 22:17 simple.static

Статическая компоновка добавляет в объектный файл всю исполняющую систему Си и всю отладочную информацию к ней, так что получается программа в 1000 раз больше. Отладочную информацию можно удалить:

$ strip simple.o simple.static 
$ ls -l simple.*              
-rw-r--r-- 1 george george     94 янв 27 21:32 simple.c
-rw-r--r-- 1 george george    880 янв 27 22:21 simple.o
-rwxr-xr-x 1 george george 730112 янв 27 22:21 simple.static

Размер раз в 5 меньше.

Вместо статической компоновки обычно используется динамическая, при которой нужные функции в исполняемый файл не записываются, а вместо этого там лежит информация, из какой библиотеки их брать при запуске. $ cc simple.o -o simple.dynamic $ nm simple.dynamic <printf и scanf в этом варианте нет> $ ldd

Домашнее задание

0. Прочитать что-нибудь из учебника

1. Сделать что-нибудь из задачника

2. …или из другого задачника

3. Задание повышенной хитрости

• CategoryClasses