Из пустого в порожнее

[vak]

Взялся я поисследовать Си-шный рантайм. Глянуть, что делается в программе до main() и после. Беру пустую программу:

$ cat empty.c 
int main()
{
    // empty
}

Компилирую, причём линкую статически, чтобы избежать сложностей динамического загрузчика:

$ cc -static -Os empty.c -o empty

Глянем размер бинарника. На процессоре x86_64 под Ubuntu получается 667 килобайт:

$ size empty
   text	   data	    bss	    dec	    hex	filename
 667574	  23384	  22440	 713398	  ae2b6	empty

На процессоре arm64 выходит чуть получше, 497 килобайт:

$ size empty
   text	   data	    bss	    dec	    hex	filename
 497904	  22180	  21616	 541700	  84404	empty

Такие объёмы настораживают. Хорошо, запустим и посчитаем количество выполненных машинных команд. На процессоре x86_64:

$ bintrace -o x86.trace ./empty
$ grep '^0x' x86.trace | wc
 170979 1371361 10303769

На процессоре arm64:

$ bintrace -o arm64.trace ./empty
$ grep '^0x' arm64.trace | wc
  108719  565684 5186654

Ну офигеть просто. Больше ста тысяч команд чтобы просто стартонуть Си-шный код. Неладно что-то в Датском королевстве.

У меня иногда мелькает вопрос, чем занимаются компьютеры, когда мы на них не глядим. Какие-то бесполезные биты на байты множат. 😀

Comments

[archaicos]

А если _Exit() из stdlib.h?

[vak]

/usr/bin/ld: /usr/lib/gcc/aarch64-linux-gnu/13/../../../aarch64-linux-gnu/libc.a(exit.o): in function `exit':
(.text+0x230): multiple definition of `exit'; /tmp/ccWkVj04.o:empty.c:(.text+0x0): first defined here
collect2: error: ld returned 1 exit status

И в первом случае тоже так ругается, с _exit.

[spamsink]

Это проблемы статической линковки. Если libc.a упомянута явно, то это multiple definition, а если -lc, то вроде не должно.

[vak]

Я понимаю что ты имеешь в виду. Так работал классический юниксный линкер. А тут libc.a упомянута как -lc, но не линкуется.

$ cat empty.c
int main() {}

#include <unistd.h>
void exit(int status) { _exit(status); }

$ cc -static empty.c -v
...
 /usr/libexec/gcc/aarch64-linux-gnu/13/collect2 -plugin /usr/libexec/gcc/aarch64-linux-gnu/13/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/aarch64-linux-gnu/13/lto-wrapper -plugin-opt=-fresolution=/tmp/ccDzVNsd.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_eh -plugin-opt=-pass-through=-lc --build-id --hash-style=gnu --as-needed -Bstatic -X -EL -maarch64linux --fix-cortex-a53-843419 -z relro /usr/lib/gcc/aarch64-linux-gnu/13/../../../aarch64-linux-gnu/crt1.o /usr/lib/gcc/aarch64-linux-gnu/13/../../../aarch64-linux-gnu/crti.o /usr/lib/gcc/aarch64-linux-gnu/13/crtbeginT.o -L/usr/lib/gcc/aarch64-linux-gnu/13 -L/usr/lib/gcc/aarch64-linux-gnu/13/../../../aarch64-linux-gnu -L/usr/lib/gcc/aarch64-linux-gnu/13/../../../../lib -L/lib/aarch64-linux-gnu -L/lib/../lib -L/usr/lib/aarch64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/aarch64-linux-gnu/13/../../.. /tmp/cc1QUvYS.o --start-group -lgcc -lgcc_eh -lc --end-group /usr/lib/gcc/aarch64-linux-gnu/13/crtend.o /usr/lib/gcc/aarch64-linux-gnu/13/../../../aarch64-linux-gnu/crtn.o
/usr/bin/ld: /usr/lib/gcc/aarch64-linux-gnu/13/../../../aarch64-linux-gnu/libc.a(exit.o): in function `exit':
(.text+0x230): multiple definition of `exit'; /tmp/cc1QUvYS.o:empty.c:(.text+0x8): first defined here
collect2: error: ld returned 1 exit status

[spamsink]

Выходит, писать на "голом Си" (алгоритмический язык), вызывая лишь те внешние функции/системные вызовы, которые хочется, и отказаться от всего остального библиотечного скарба, больше нельзя? Досадно.

[vak]

Похоже что так. Я собственно и копаю в эту сторону, чтобы выяснить, насколько жёсткая и монолитная каждая из операционок. Может кое-где ещё осталась какая свобода.

[dmarck]

-nostdinc -nostdlib ещё существуют, но это сущий адЪ

[spamsink]

Они, собственно, и не для этого. Хочется-то stdlib оставить, а только от stdio избавиться.

[h1uke]

вот так получается:

int main()
{
    // empty
}

// Tell the compiler incoming stack alignment is not RSP%16==8 or ESP%16==12
__attribute__((force_align_arg_pointer))
void _start() {

    /* main body of program: call main(), etc */

    /* exit system call */
    asm("movl $1,%eax;"
        "xorl %ebx,%ebx;"
        "int  $0x80"
    );

    main();

    __builtin_unreachable();  // tell the compiler to make sure side effects are done before the asm statement
}

_start(), правда, срисован с 32-битной версии, но это можно потом поправить.

gcc -static -nostdlib -Os empty.c -o empty

$ size empty
   text    data     bss     dec     hex filename
   152     0        0       152     98  empty

полученый бинарник "работает"

[vak]

Так-то получается, да только это же не Си-шная программа уже. Это ассемблерная программа, где весь Си-шный рантайм отрезан.

весь Си-шный рантайм отрезан

[h1uke]

ну, не "весь", а "стандартный". Очень часто именно это и нужно.

P.S. отвечаю не чтобы поспорить, а потому, что в примере вызов main() не там стоит. Позорник ... :)