Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 177 trang
Dung lượng: 1 MB

Giới thiệu nội dung

Hệ Thống Kiểu Để Ước Lượng Tĩnh Tài Nguyên Sử Dụng Của Chương Trình Giao Dịch

Tác giả: Nguyễn Ngọc Khải

Lĩnh vực: Công nghệ thông tin

Nội dung tài liệu:

Luận án này tập trung nghiên cứu về các chương trình tương tranh hỗ trợ cấu trúc giao dịch lồng nhau, sử dụng cơ chế Software Transactional Memory (STM) để điều khiển đồng bộ giữa các luồng và giao dịch. Cơ chế STM giúp đơn giản hóa việc lập trình so với các cơ chế dựa trên khóa truyền thống, đồng thời khắc phục các lỗi tiềm ẩn như deadlock, livelock. Tuy nhiên, việc sử dụng STM có thể dẫn đến tiêu thụ tài nguyên bộ nhớ cao hơn do cơ chế tạo bản sao dữ liệu. Do đó, luận án đề xuất một phương pháp tin cậy để ước lượng tĩnh cận trên tài nguyên bộ nhớ cần sử dụng cho các thành phần dùng chung trong các chương trình giao dịch. Phương pháp này mang tính tổng quát, có thể áp dụng cho nhiều ngôn ngữ và có khả năng tích hợp. Luận án cũng xây dựng các công cụ suy diễn kiểu để xác định biên tài nguyên bộ nhớ, giúp người lập trình kiểm soát và tối ưu hóa việc sử dụng tài nguyên, đặc biệt quan trọng đối với các ứng dụng nhúng và thiết bị IoT có bộ nhớ hạn chế.

Mục lục chi tiết:

  • Chương 1. Giới Thiệu
  • Chương 2. Kiến Thức Nền Tảng Và Nghiên Cứu Liên Quan
  • Chương 3. Ước Lượng Biên Tài Nguyên Chương Trình Của Ngôn Ngữ Tối Giản
  • Chương 4. Tính Bộ Nhớ Tối Đa Cho Chương Trình Của Ngôn Ngữ Mệnh Lệnh
  • Chương 5. Xác Định Bộ Nhớ Giao Dịch Tối Đa Cho Chương Trình Của Ngôn Ngữ Hướng Đối Tượng
  • Chương 6. Kết Luận