Tính cận trên bộ nhớ LOG của chương trình sử dụng giao dịch

• Main Author: Nguyễn, Phan Tình
• Other Authors: Trương, Hoàng Anh
• Format: Theses and Dissertations
• Language: Vietnamese
• Published: 2017
• Subjects: Bộ nhớ giao dịch phần mềm; Bộ nhớ Log
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/17429
• Institution: Vietnam National University, Hanoi

Giới thiệu bài toán trình bàynội dung cụ thểcủa bài toán tính cận trên bộnhớ log của chương trình có sử dụng giao dịch, các vấn đề cần giải quyết trong bài toán này và hướng tiếp cận để giải quyết bài toán. Trong phần này, các điểm cải tin của phương pháp giải quyết bài toán ở đây so với các phương pháp trước kia cũng được nêu ra. Trình bày một số kiến thức cơ sở, trình bày các lý thuyết cơ bản được sử dụng làm cơ sở để giải quyết bài toán, bao gồm: Lý thuyết vềhệthống kiểu như khái niệm, các thuộc tính hay ứng dụng của hệ thống kiểu trong thực tế; Lý thuyết về giao dịch,bộ nhớ giao dịch phần mềm gồm các khái niệm, tính chất, ứng dụng... Ngôn ngữ giao dịch Giới thiệu ngôn ngữgiao dịch TM(Transactional memory). Một ngôn ngữ được dùng đểviết các chương tr nh giao dịch. Hệ thống kiểu cho chương trình giao dịch. Nghiên cứu hệ thống kiểu đểgiải quyết bài toán tính cận trên bộnhớ log cho chương trình. Lý thuyết hệ thống kiểu được phát triển ở đây bao gồm các kiểu và các quy tắc kiểu. Xây dựng công cụ và thực nghiệm Cài đặt các thuật toán kiểu dựa trên hệthống kiểu.