Apa gunanya _start () di C?

Saya belajar dari rekan saya bahwa seseorang dapat menulis dan menjalankan program C tanpa menulis main()fungsi. Itu bisa dilakukan seperti ini:

my_main.c

/* Compile this with gcc -nostartfiles */

#include <stdlib.h>

void _start() {
  int ret = my_main();
  exit(ret); 
}

int my_main() {
  puts("This is a program without a main() function!");
  return 0; 
}

Kompilasikan dengan perintah ini:

gcc -o my_main my_main.c –nostartfiles

Jalankan dengan perintah ini:

./my_main

Kapan seseorang perlu melakukan hal semacam ini? Apakah ada skenario dunia nyata di mana ini akan berguna?

Simbol _startadalah titik masuk program Anda. Artinya, alamat simbol itu adalah alamat yang dilompati saat program dimulai. Biasanya, fungsi dengan nama _starttersebut disediakan oleh file bernama crt0.oyang berisi kode startup untuk lingkungan runtime C. Ini mengatur beberapa hal, mengisi array argumen argv, menghitung berapa banyak argumen yang ada, dan kemudian memanggil main. Setelah mainkembali, exitdipanggil.

Jika program tidak ingin menggunakan lingkungan runtime C, program perlu menyediakan kodenya sendiri untuk _start. Misalnya, implementasi referensi dari bahasa pemrograman Go melakukannya karena mereka memerlukan model penguliran non-standar yang memerlukan sihir dengan tumpukan. Ini juga berguna untuk menyediakan sendiri _startketika Anda ingin menulis program atau program yang sangat kecil yang melakukan hal-hal yang tidak biasa.

Sementara mainadalah titik masuk untuk program Anda dari perspektif pemrogram, _startadalah titik masuk biasa dari perspektif OS (instruksi pertama yang dijalankan setelah program Anda dimulai dari OS)

Dalam program C dan khususnya C ++, banyak pekerjaan telah dilakukan sebelum eksekusi memasuki main. Terutama hal-hal seperti inisialisasi variabel global. Di sini Anda dapat menemukan penjelasan yang baik tentang segala sesuatu yang terjadi antara _start()dan main()dan juga setelah main telah keluar lagi (lihat komentar di bawah).
Kode yang diperlukan untuk itu biasanya disediakan oleh penulis kompilator dalam file startup, tetapi dengan flag–nostartfiles pada dasarnya Anda memberi tahu kompiler: "Jangan repot-repot memberi saya file startup standar, beri saya kendali penuh atas apa yang terjadi langsung dari Mulailah".

Ini terkadang diperlukan dan sering digunakan pada sistem tertanam. Misalnya jika Anda tidak memiliki OS dan Anda harus secara manual mengaktifkan bagian tertentu dari sistem memori Anda (misalnya cache) sebelum inisialisasi objek global Anda.

Berikut adalah gambaran umum yang bagus tentang apa yang terjadi selama startup program sebelumnya main . Secara khusus, ini menunjukkan bahwa itu __startadalah titik masuk sebenarnya ke program Anda dari sudut pandang OS.

Ini adalah alamat pertama dari mana penunjuk instruksi akan mulai menghitung dalam program Anda.

Kode di sana memanggil beberapa rutinitas pustaka runtime C hanya untuk melakukan beberapa housekeeping, kemudian memanggil Anda main, dan kemudian menurunkan semuanya dan memanggil exitdengan kode keluar apa pun yang maindikembalikan.

Sebuah gambar memiliki makna ribuan kata:

_{PS: jawaban ini ditransplantasikan dari pertanyaan lain yang telah ditutup SO membantu sebagai duplikat dari pertanyaan ini.}

Kapan seseorang perlu melakukan hal semacam ini?

Ketika Anda menginginkan kode startup Anda sendiri untuk program Anda.

mainbukan entri pertama untuk program C, _startadalah entri pertama di balik tirai.

Contoh di Linux:

_start: # _start is the entry point known to the linker
    xor %ebp, %ebp            # effectively RBP := 0, mark the end of stack frames
    mov (%rsp), %edi          # get argc from the stack (implicitly zero-extended to 64-bit)
    lea 8(%rsp), %rsi         # take the address of argv from the stack
    lea 16(%rsp,%rdi,8), %rdx # take the address of envp from the stack
    xor %eax, %eax            # per ABI and compatibility with icc
    call main                 # %edi, %rsi, %rdx are the three args (of which first two are C standard) to main

    mov %eax, %edi    # transfer the return of main to the first argument of _exit
    xor %eax, %eax    # per ABI and compatibility with icc
    call _exit        # terminate the program

Apakah ada skenario dunia nyata di mana ini akan berguna?

Jika Anda maksud, terapkan sendiri _start:

Ya, di sebagian besar perangkat lunak tertanam komersial yang pernah saya gunakan, kami perlu menerapkannya sendiri _startterkait dengan memori khusus dan persyaratan kinerja kami.

Jika yang Anda maksud, hapus mainfungsi dan ubah ke yang lain:

Tidak, saya tidak melihat keuntungan melakukan itu.