Tóm tắt Luận án Tiến sĩ: 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

Luận án được bố cục bao gồm 6 chương: Chương 1 giới thiệu tổng quan về bài toán đặt ra, những đóng góp chính của luận án; Chương 2 trình bày những kiến thức cơ bản, nền tảng, và những nghiên cứu liên quan; Chương 3 xây dựng ngôn ngữ giao dịch tối giản và hệ thống kiểu để ước lượng biên tài nguyên tiêu thụ của chương trình; Chương 4 mở rộng ngôn ngữ của chương 3 với việc bổ sung các lệnh cơ bản đối với ngôn ngữ lập trình hướng cấu trúc;...
Nội dung trích xuất từ tài liệu:
Tóm tắt Luận án Tiến sĩ: 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 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ −−−−−−−−−−−−− NGUYỄN NGỌC KHẢI 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ÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội - 2021 Công trình được hoàn thành tại: Trường Đại học Công Nghệ, Đại học Quốc gia Hà Nội Người hướng dẫn khoa học: PGS. TS. Trương Anh Hoàng Phản biện: TS. Nguyễn Hữu Đức Phản biện: TS. Đỗ Thị Bích Ngọc Luận án sẽ được bảo vệ trước Hội đồng cấp Đại học Quốc gia chấm luận án tiến sĩ tại phòng 212, nhà E3, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội vào hồi ... giờ ... ngày ... tháng ... năm 2021 Có thể tìm hiểu luận án tại: - Thư viện Quốc gia Việt Nam - Trung tâm Thông tin - Thư viện, Đại học Quốc gia Hà Nội ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ −−−−−−−−−−−−− NGUYỄN NGỌC KHẢI 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 Chuyên ngành: Kỹ thuật phần mềm Mã số: 9480103.01 TÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS. TS. TRƯƠNG ANH HOÀNG Hà Nội - 2021 Mục lục 1 Giới thiệu 1 1.1 Đặt vấn đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Những đóng góp chính, ý nghĩa khoa học và thực tiễn . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Bố cục của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Kiến thức nền tảng và nghiên cứu liên quan 4 2.1 Cơ chế bộ nhớ giao dịch phần mềm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Đặc điểm của chương trình STM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Hệ thống kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.1 Khái niệm hệ thống kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.2 Ứng dụng của hệ thống kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3 Nghiên cứu liên quan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.4 Tổng kết chương . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3 Ước lượng biên tài nguyên chương trình của ngôn ngữ tối giản 8 3.1 Xác định số giao dịch tối đa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.1.1 Ngôn ngữ giao dịch tối giản . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.1.1.1 Cú pháp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.1.1.2 Ngữ nghĩa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.1.2 Hệ thống kiểu tính số giao dịch tối đa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.1.2.1 Kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.1.2.2 Quy tắc kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.1.2.3 Tính đúng của hệ thống kiểu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 3.2 Xác định biên tài nguyên tiêu thụ của chương trình . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.3 Tổng kết chương . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 4 Tính bộ nhớ tối đa cho chương trình của ngôn ngữ mệnh lệnh ...