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

Bài viết đưa ra một hệ thống kiểu để ước lượng cận trên tài nguyên sử dụng của các chương trình đa luồng và sử dụng bộ nhớ giao dịch. Tài nguyên được đơn giản hóa là số vùng bộ nhớ giao dịch được tạo ra.

14p vihasaki2711 13-11-2019 24 3   Download

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