Definiowanie i wywoływanie procedur
Naucz się definiować własne procedury (funkcje) za pomocą instrukcji CALL i RET oraz poznaj konfigurację ramki stosu.
Definiowanie i wywoływanie procedur to bezpłatna lekcja Assembly Language & x86 Low-Level Systems Programming na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Assembly Language & x86 Low-Level Systems Programming, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Assembly Language & x86 Low-Level Systems Programming zawiera 4 lekcji w sumie.
Części tej lekcji nie zostały jeszcze przetłumaczone i są wyświetlane po angielsku.
What are Procedures?
In assembly, a procedure (often called a function or subroutine) is a block of code designed to perform a specific task. They help organize your program and avoid repeating code.
Think of them like functions in high-level languages like C++ or Python. They allow you to break down complex problems into smaller, manageable parts, making your code modular and easier to read.
Calling a Procedure with CALL
To execute a procedure, we use the CALL instruction. When CALL is executed, two important things happen:
- The address of the instruction immediately after
CALLis pushed onto the stack. This is known as the return address. - The CPU then jumps to the starting address of the procedure you specified.
This mechanism ensures that the program knows exactly where to resume execution once the procedure has completed its work.
Returning from a Procedure with RET
Once a procedure has finished its assigned task, it needs to return control to the code that called it. This is achieved using the RET instruction.
When RET is executed:
- The CPU pops the return address from the top of the stack.
- The CPU then jumps to this popped address, effectively resuming execution at the instruction immediately following the original
CALL.
Together, CALL and RET form the fundamental pair for managing program flow between different procedures.
Your First Procedure Call
Let's look at a simple assembly program that demonstrates a basic procedure call and return. We'll define a procedure named print_hello and call it from our program's entry point, _start.
This example uses Linux system calls for output and program exit.
section .data
msg db "Hello from proc!", 0xA
len equ $ - msg
section .text
global _start
_start:
call print_hello
; Exit program (sys_exit)
mov eax, 1 ; System call number for sys_exit
xor ebx, ebx ; Exit code 0
int 0x80
print_hello:
; Print "Hello from proc!" (sys_write)
mov eax, 4 ; System call number for sys_write
mov ebx, 1 ; File descriptor for stdout
mov ecx, msg ; Address of string to write
mov edx, len ; Length of string
int 0x80
ret
Understanding the Output
When you run the previous code, it will print "Hello from proc!" to your console. Here's a step-by-step breakdown of what happened:
- The
_startroutine executedcall print_hello. - The address of the instruction
mov eax, 1(which is right aftercall print_hello) was pushed onto the stack. - The CPU jumped to the
print_helloprocedure. print_helloexecuted its instructions to print the message.retpopped the saved return address from the stack and jumped back to the_startroutine._startthen executed the system call to exit the program.
What are Stack Frames?
When a procedure is called, it often needs its own private workspace on the stack to manage its data. This dedicated region on the stack is called a stack frame.
A stack frame typically holds several key pieces of information for a procedure:
- The return address (pushed by the
CALLinstruction). - Saved register values (e.g., the caller's base pointer).
- Local variables specific to that procedure.
- Arguments passed to the procedure (we'll cover this in the next lesson!).
Setting Up the Base Pointer (EBP)
The base pointer register (`EBP` in 32-bit, `RBP` in 64-bit) is a crucial tool for managing stack frames. It provides a stable reference point within the current stack frame, making it easy to access local variables and arguments.
A common setup sequence at the very beginning of a procedure is:
push ebp: This saves the caller's current `EBP` value onto the stack, so it can be restored later.mov ebp, esp: This sets `EBP` to the current value of the stack pointer (`ESP`), establishing the base of the new stack frame.
Allocating Local Variables
After setting up `EBP`, a procedure can allocate space for its own local variables on the stack. This is typically done by simply decrementing the stack pointer (`ESP`).
sub esp, NHere, `N` represents the total number of bytes required for all local variables. For example, sub esp, 4 allocates enough space for one 32-bit integer.
These local variables can then be accessed efficiently relative to `EBP` (e.g., [ebp-4], [ebp-8], etc.).
Tearing Down the Stack Frame
Before a procedure returns, its stack frame must be properly dismantled to restore the stack to its original state. This involves deallocating local variables and restoring the caller's base pointer.
The LEAVE instruction is a convenient way to perform these two actions in one step:
mov esp, ebp: This deallocates any local variables by moving `ESP` back to where `EBP` points (the base of the frame).pop ebp: This restores the caller's `EBP` value, which was saved at the beginning of the procedure.
After LEAVE, the stack is correctly positioned for the RET instruction to pop the return address.
Procedure with a Stack Frame
This example demonstrates a complete procedure that sets up a proper stack frame, allocates space for a hypothetical local variable, and then correctly tears down the frame before returning.
Notice how `push ebp`, `mov ebp, esp`, `sub esp, 4`, `leave`, and `ret` work together.
section .data
msg db "Procedure with frame!", 0xA
len equ $ - msg
section .text
global _start
_start:
call my_framed_proc
; Exit program
mov eax, 1
xor ebx, ebx
int 0x80
my_framed_proc:
push ebp ; 1. Save caller's EBP
mov ebp, esp ; 2. Set EBP for new frame
sub esp, 4 ; 3. Allocate 4 bytes for a local variable
; mov dword [ebp-4], 123 ; Example: store a local value
; Print message (for demonstration)
mov eax, 4
mov ebx, 1
mov ecx, msg
mov edx, len
int 0x80
leave ; 4. Deallocate locals, restore EBP
ret ; 5. Return to caller
Procedure Call Flow Check
Consider the following x86 assembly snippet:
call my_function
mov eax, 1
my_function:
ret
What specific address is pushed onto the stack by the call my_function instruction?
Defining & Calling Procedures Recap
We've covered the essential concepts of defining and calling procedures in x86 assembly. Here are the key takeaways from this lesson:
- The
CALLinstruction pushes the return address onto the stack and transfers control to a procedure. - The
RETinstruction pops the return address from the stack and transfers control back to the caller. - Stack frames, managed primarily with the
EBP/RBPregister, provide a dedicated and organized workspace on the stack for a procedure's local variables and saved registers. - A typical stack frame setup involves
push ebp,mov ebp, esp, and allocating local variables withsub esp, N. - Tearing down the stack frame is done using the
LEAVEinstruction (or manually withmov esp, ebpandpop ebp) beforeRET.
Next, we'll build on this by learning how to pass arguments to procedures and retrieve return values.
Ucz się Assembly dzięki korepetycjom AI — za darmo
Pisz i uruchamiaj kod w przeglądarce, otrzymuj natychmiastową pomoc od korepetytora AI dostępnego 24/7 i kontynuuj naukę w sieci lub w aplikacji.
- Kursy
- 12
- Lekcje
- 48
Często zadawane pytania
Czy lekcja „Definiowanie i wywoływanie procedur” jest bezpłatna?
Tak — pełny tekst „Definiowanie i wywoływanie procedur” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Assembly Language & x86 Low-Level Systems Programming, przejdź na CoddyKit PRO. Kurs Assembly Language & x86 Low-Level Systems Programming zawiera 4 lekcji w sumie.
Co nauczysz się w „Definiowanie i wywoływanie procedur”?
Naucz się definiować własne procedury (funkcje) za pomocą instrukcji CALL i RET oraz poznaj konfigurację ramki stosu. Ćwiczysz Assembly Language & x86 Low-Level Systems Programming z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.
Czy potrzebuję doświadczenia, aby zacząć Assembly Language & x86 Low-Level Systems Programming?
Nie wymagamy żadnego doświadczenia. Assembly Language & x86 Low-Level Systems Programming w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.
Ile czasu zajmuje lekcja „Definiowanie i wywoływanie procedur”?
Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.
Czy mogę pisać i uruchamiać kod w tej lekcji Assembly Language & x86 Low-Level Systems Programming?
Tak. Każda lekcja Assembly Language & x86 Low-Level Systems Programming zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.
Wszystkie lekcje w tym kursie
- Podstawy stosu wywołań
- Definiowanie i wywoływanie procedur
- Przekazywanie argumentów i wartości zwracanych
- Ramki stosu i zmienne lokalne