Activation records and call stack in Compiler Design - Time & Space Complexity
When functions call other functions, the computer uses activation records to keep track of each call.
We want to understand how the number of these records grows as more function calls happen.
Analyze the time complexity of the following recursive function using activation records.
function factorial(n) {
if (n == 0) return 1;
else return n * factorial(n - 1);
}
This function calls itself repeatedly, creating an activation record for each call until it reaches the base case.
Look at the recursive calls that repeat.
- Primary operation: Each call to
factorialcreates a new activation record. - How many times: Exactly
n + 1times for inputn(fromndown to 0).
Each increase in n adds one more function call and activation record.
| Input Size (n) | Approx. Operations (Activation Records) |
|---|---|
| 10 | 11 |
| 100 | 101 |
| 1000 | 1001 |
Pattern observation: The number of activation records grows directly with n.
Time Complexity: O(n)
This means the number of function calls and activation records grows linearly as the input number increases.
[X] Wrong: "The recursive calls happen all at once, so the time is constant regardless of input size."
[OK] Correct: Each call waits for the next one to finish, so calls stack up one after another, increasing with input size.
Understanding how activation records grow helps you explain recursion depth and stack usage clearly, a key skill in many programming discussions.
What if the function called itself twice in each call (like in Fibonacci)? How would the time complexity and activation records grow?
Practice
Solution
Step 1: Understand what an activation record stores
An activation record holds details about a specific function call, including parameters, local variables, and return address.Step 2: Identify the main purpose
This helps the program keep track of function calls and return correctly after execution.Final Answer:
To store information about a function call such as parameters and local variables -> Option AQuick Check:
Activation record = function call info [OK]
- Confusing activation record with overall memory management
- Thinking activation record compiles code
- Assuming activation record handles output display
Solution
Step 1: Recall how the call stack works
The call stack adds (pushes) a new activation record on top each time a function is called.Step 2: Confirm the correct description
This stacking ensures the program knows which function is currently running and where to return after completion.Final Answer:
It adds a new activation record on top when a function is called -> Option DQuick Check:
Call stack pushes activation records [OK]
- Thinking activation records are removed before function starts
- Confusing stack with queue behavior
- Assuming functions run in parallel without stacking
main() calls funcA(), which calls funcB(). What is the order of activation records on the call stack just before funcB() finishes?Solution
Step 1: Understand call stack order
The call stack adds activation records in order of calls: main first, then funcA, then funcB on top.Step 2: Determine stack order before funcB finishes
Since funcB is currently running, its record is on top, with funcA below it, and main at the bottom.Final Answer:
main at bottom, funcA in middle, funcB on top -> Option CQuick Check:
Call stack order = main, funcA, funcB [OK]
- Reversing the order of activation records
- Confusing bottom and top of the stack
- Assuming parallel execution changes stack order
Solution
Step 1: Understand normal call stack behavior on return
When a function finishes, its activation record should be removed (popped) from the call stack.Step 2: Identify cause of leftover activation record
If the record remains, it means the stack pop operation did not happen correctly.Final Answer:
The activation record was not properly removed (popped) from the stack -> Option BQuick Check:
Activation record must be popped after return [OK]
- Assuming function was never called
- Confusing stack with queue behavior
- Ignoring that program has functions
Solution
Step 1: Understand recursion and activation records
Each recursive call adds a new activation record to the call stack.Step 2: Count total activation records
If the function calls itself 4 times, there are 4 new calls plus the original call, totaling 5 activation records on the stack.Final Answer:
5 -> Option AQuick Check:
Recursive calls + original = 5 activation records [OK]
- Counting only recursive calls, ignoring original
- Assuming recursion does not add activation records
- Confusing number of calls with return points
Ready to prove it?
Pass the test and this pattern moves unknown
