tailieunhanh - Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 7: Môi trường thời gian thực hiện

Trước khi xem xét vấn đề sinh mã được trình bày ở các chương sau, chương này trình bày một số vấn đề liên quan đến việc gọi thực hiện chương trình con, các chiến lược cấp phát bộ nhớ và quản lý bảng ký hiệu. Cùng một tên trong chương trình nguồn có thể biểu thị cho nhiều đối tượng dữ liệu trong chương trình đích. Sự biểu diễn của các đối tượng dữ liệu tại thời gian thực thi được xác định bởi kiểu của nó. Sự cấp phát và thu hồi các đối tượng dữ liệu được quản lý bởi một tập các chương trình con ở dạng mã đích. | CHƯƠNG VII MÔI TRƯỜNG THỜI GIAN THỰC HIỆN Nội dung chính: Trước khi xem xét vấn đề sinh mã được trình bày ở các chương sau, chương này trình bày một số vấn đề liên quan đến việc gọi thực hiện chương trình con, các chiến lược cấp phát bộ nhớ và quản lý bảng ký hiệu. Cùng một tên trong chương trình nguồn có thể biểu thị cho nhiều đối tượng dữ liệu trong chương trình đích. Sự biểu diễn của các đối tượng dữ liệu tại thời gian thực thi được xác định bởi kiểu của nó. Sự cấp phát và thu hồi các đối tượng dữ liệu được quản lý bởi một tập các chương trình con ở dạng mã đích. Việc thiết kế các chương trình con này được xác định bởi ngữ nghĩa của chương trình nguồn. Mỗi sự thực thi của một chương trình con được gọi là một mẩu tin kích hoạt. Nếu một chương trình con đệ quy, một số mẩu tin kích hoạt có thể tồn tại cùng một thời điểm. Mỗi ngôn ngữ lập trình đều có quy tắc tầm vực để xác định việc xử lý khi tham khảo đến các tên không cục bộ. Tùy vào ngôn ngữ, nó cho phép một chương trình chứa các chương trình con lồng nhau hoặc không lồng nhau; Cho phép gọi đệ quy hoặc không đệ quy; Cho phép truyền tham số bằng giá trị hay tham chiếu Vì thế, khi thiết kế một chương trình ở dạng mã đích ta cần chú ý đến các yếu tố này. Mục tiêu cần đạt: Sau khi học xong chương này, sinh viên phải nắm được: • Cách gọi và thực thi một chương trình. • Cách tổ chức bộ nhớ và các chiến lược cấp phát – thu hồi bộ nhớ. Kiến thức cơ bản: Sinh viên phải biết một số ngôn ngữ lập trình cấp cao như Pascal, C++, Java, hoặc đã được học môn ngôn ngữ lập trình (phần đề cập đến các chương trình con). Tài liệu tham khảo: [1] Compilers : Principles, Technique and Tools - Alfred , Jeffrey - Addison - Wesley Publishing Company, 1986. [2] Modern Compiler Implementation in C - Andrew W. Appel - Cambridge University Press, 1997. I. CHƯƠNG TRÌNH CON 1. Ðịnh nghĩa chương trình con Ðịnh nghĩa chương trình con là một sự khai báo nó. Dạng đơn giản nhất là sự kết hợp giữa tên chương trình con và thân của .