Tính cận trên bộ nhớ Log

Cấu trúc của luận văn luận văn được trình bày trong các phần, với nội dung chính mỗi phần như sau: Chương 1: Giới thiệu bài toán; chương 2: Một số kiến thức cơ sở; chương 3: Ngôn ngữ giao dịch, chương 4: Hệ thống kiểu cho chương trình giao dịch; chương 5: Xây dựng công cụ và thực nghiệm.

53p hanh_tv26 03-04-2019 24 4   Download

Luận văn này tập trung nghiên cứu các lý thuyết về hệ thống kiểu; các khái niệm cơ bản cũng như tính chất của giao dịch; nghiên cứu cú pháp và ngữ nghĩa của ngôn ngữ TM (Transactional Memory) - Một ngôn ngữ để viết các chương trình giao dịch. Từ việc nắm được giải pháp xây dựng hệ thống kiểu đề cập trong bài báo, một công cụ sẽ được cài đặt dựa trên ngôn ngữ C#.

20p hanh_tv26 03-04-2019 26 2   Download