Luận Văn Thạc Sĩ Kỹ Thuật Phân Tích Chương Trình Tĩnh Cho Bài Toán Phân Tích Hình Dạng Bộ Nhớ Heap

Kỹ Thuật Phân Tích Chương Trình Tĩnh Cho Bài Toán Phân Tích Hình Dạng Bộ Nhớ Heap​

Ngày nay với sự phát triển vượt bậc của công nghệ thông tin, thì phần mềm có vai trò cốt lõi và ngày càng chiếm vị trí quan trọng không những trong công nghệ thông tin mà còn trong đời sống kinh tế xã hội. Vấn đề chất lượng phần mềm (software quality) chắc chắn là mối quan tâm và thách thức đối với xã hội hiện đại ngày càng phụ thuộc vào các dịch vụ do máy tính đem lại này. Liên quan tới đảm bảo chất lượng phần mềm, khía cạnh quản lý bộ nhớ cũng rất được quan tâm. Quản lý bộ nhớ được chia làm hai giai đoạn chính là phân bổ bộ nhớ theo yêu cầu, và giải phóng khi chương trình không còn sử dụng. Hiện nay, nhiều hệ thống ngôn ngữ lập trình sử dụng cơ chế quản lý bộ nhớ tự động, tiêu biểu như Java và C#. Trong Java, người lập trình không cần phải chú trọng đến phân bổ và giải phóng bộ nhớ. Khi khối bộ nhớ được phân bổ không còn được sử dụng máy ảo Java (Java Virtual Machine) sẽ tự giải phóng bộ nhớ thông qua cơ chế thu dọn rác tự động (Automatic Garbage Collection) [1]. Thu gom rác tự động là quá trình kiểm tra bộ nhớ heap, xác định những đối tượng đang được sử dụng và không được sử dụng, và xóa những đối tượng không được sử dụng.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: TS. Nguyễn Trường Thắng
• Tác giả: Nguyễn Quang Đại
• Số trang: 61
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2015

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1060709
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1