Belajar C Language - Konsep Dasar & Arsitektur Utama

#Pendahuluan

Sebuah program C tidak langsung menjadi executable. Ada seluruh pipeline yang bekerja di balik layar, mulai dari preprocessing sampai linking. Memahami pipeline ini membuat kalian bisa mendiagnosis error compiler, membaca pesan linker, dan mengoptimalkan ukuran binary.

Episode 2 membedah arsitektur internal bahasa C: empat tahap kompilasi, model memori yang membagi ruang alamat menjadi segmen berbeda, ABI dan calling convention yang menghubungkan fungsi-fungsi, serta struktur program dan toolchain yang menyusun semuanya.

Setelah episode ini, kalian tidak akan lagi melihat kode C sebagai teks biasa, melainkan sebagai blueprint yang melalui mesin transformasi presisi.

#Proses Kompilasi Empat Tahap

#Preprocessing

Tahap pertama membaca direktif yang diawali tanda #. Preprocessor mengganti #include dengan isi header, memperluas macro #define, dan menyaring bagian #ifdef. Hasilnya adalah file dengan semua include sudah ter-ekspansi. Jalankan tahap ini sendiri dengan:

gcc -E program.c -o program.i
wc -l program.i

Perintah gcc -E program.c -o program.i menghasilkan file sementara yang jauh lebih panjang dari sumber aslinya, karena berisi seluruh isi header yang di-include.

#Kompilasi dan Assembly

Tahap kedua menerjemahkan C menjadi assembly spesifik arsitektur, lalu tahap ketiga menerjemahkan assembly menjadi object file berupa kode mesin. Object file belum bisa dijalankan karena referensi ke fungsi dari file lain masih kosong:

gcc -S program.c
gcc -c program.c -o program.o
file program.o

Bendera -S menghasilkan file .s berisi assembly, sedangkan -c menghasilkan object file .o. Untuk melihat simbol yang terdefinisi di dalam object file, gunakan nm:

nm program.o

Output nm program.o menunjukkan simbol seperti main dan fungsi library yang masih bersifat undefinisi.

#Linking

Tahap terakhir adalah linking: linker menggabungkan semua object file, menyelesaikan referensi antar fungsi, dan menempelkan runtime library seperti libc. Hasilnya adalah executable:

gcc program.o -o program
readelf -h program

readelf -h program menampilkan header ELF, termasuk arsitektur, jenis file, dan entry point. Dari empat tahap di atas, hanya dua tahap pertama yang sering terlihat oleh programmer; error yang muncul di tahap linking biasanya berbunyi undefined reference.

#Model Memori C

#Empat Segmen Utama

Ketika sebuah executable dimuat, sistem operasi membagi memori proses menjadi beberapa segmen:

• Text segment: berisi kode mesin, bersifat read-only.
• Static data: berisi variabel global dan statis, dibagi menjadi data terinisialisasi dan BSS yang nol.
• Stack: menampung variabel lokal dan frame fungsi, tumbuh ke bawah, dikelola otomatis.
• Heap: memori yang dialokasikan dinamis dengan malloc, dikelola manual oleh programmer.

Variabel global hidup sepanjang program, variabel lokal hidup hanya selama fungsi dipanggil, dan data heap hidup sampai dipanggil free.

size program

Perintah size program menampilkan ukuran text, data, dan bss segmen secara sekilas. Ini cara cepat untuk memeriksa jejak memori sebuah program.

#ABI dan Calling Convention

#Kontrak Antar Komponen

ABI atau Application Binary Interface adalah kontrak tingkat binary: ukuran tipe data, tata letak struct, dan cara fungsi dipanggil. Calling convention adalah bagian dari ABI yang menentukan bagaimana argumen dikirim ke fungsi — lewat register mana, dan bagaimana nilai dikembalikan.

Pada x86_64 Linux, konvensi System V menempatkan argumen pertama di register rdi, kedua di rsi, dan seterusnya. Program yang mengikuti ABI yang sama bisa saling terhubung meski ditulis di file berbeda. Ini yang memungkinkan fungsi printf dari libc dipanggil dari kode kalian.

#Dampak Praktis bagi Programmer

Memahami ABI membantu kalian membaca error seperti undefined reference, memahami kenapa struct perlu disejajarkan (episode 17), dan mengapa library binary harus dibangun dengan ABI yang kompatibel. Ketidakcocokan ABI adalah penyebab klasik crash saat menautkan library yang di-compile dengan compiler berbeda.

#Struktur Program dan Toolchain

#Komponen Utama Program C

Sebuah project C yang sehat terdiri dari beberapa komponen: file header yang mendeklarasikan antarmuka, file sumber yang mengimplementasikan, dan satu fungsi main sebagai titik masuk. Direktif preprocessor seperti #include dan #define memegang kendali, sedangkan linker menyatukan semuanya dengan library static atau shared.

#Alur Toolchain dan Debugging

Toolchain dasar bekerja dalam satu alur: edit di editor, kompilasi dengan gcc atau clang, link, lalu jalankan. Jika terjadi crash, debugger seperti gdb membaca core file dan stack untuk menemukan penyebab. Episode 11 akan membahas debugging mendalam, tetapi alurnya selalu dimulai dari pemahaman pipeline di atas.

#Penutup

Inti yang harus dibawa pulang:

• Kompilasi C melalui empat tahap: preprocessing, kompilasi, assembly, dan linking.
• -E, -S, -c, dan link penuh memisahkan setiap tahap pipeline.
• Model memori C memiliki text, static data, stack, dan heap yang masing-masing punya aturan hidup sendiri.
• ABI dan calling convention adalah kontrak binary yang menghubungkan komponen terpisah.
• Error undefined reference muncul di tahap linking, bukan kompilasi.
• Selalu kompilasi dengan -Wall, -Wextra, dan -g agar pipeline terlihat jelas.

Di episode 3 selanjutnya kita akan membahas sintaks dasar dan struktur program C — deklarasi variabel dan tipe data dasar, fungsi main, statement, blok kode, komentar, hingga menyusun dan menjalankan program sederhana.