solution

Trong giai đoạn phân tích ngữ nghĩa, trình biên dịch xây dựng bảng ký hiệu (Symbol Table) cho các biến cục bộ của một hàm và tính offset (địa chỉ tương đối trong khung ngăn xếp — stack frame) cho từng biến.

Cho một dãy khai báo biến theo đúng thứ tự xuất hiện trong mã nguồn. Mỗi biến có một kiểu dữ liệu xác định kích thước (byte) và độ căn lề (alignment) như sau:

Bộ cấp phát offset hoạt động tuần tự: bắt đầu tại vị trí trống $off = 0$. Với mỗi biến theo đúng thứ tự khai báo, gọi $a$ là alignment của kiểu biến đó — offset thực sự gán cho biến là bội số nhỏ nhất của $a$ mà không nhỏ hơn $off$ hiện tại (nếu cần, chèn phần đệm — padding). Sau khi gán, cập nhật $off \leftarrow offset\_gán + size$.

Sau khi cấp phát xong toàn bộ $n$ biến, kích thước khung (frame size) là bội số nhỏ nhất của $\max(\text{alignment})$ trong số tất cả các biến, không nhỏ hơn $off$ cuối cùng. Nếu $n=0$, frame size bằng 0.

Ví dụ: với 3 biến a char, b int, c double theo thứ tự: a được offset 0 (size 1, next=1); b cần bội của 4 không nhỏ hơn 1 → offset 4 (size 4, next=8); c cần bội của 8 không nhỏ hơn 8 → offset 8 (size 8, next=16); alignment lớn nhất là 8, và 16 đã là bội của 8 nên frame size = 16.