tailieunhanh - Tóm tắt Luận văn Thạc sĩ Công nghệ thông tin: Tính cận trên bộ nhớ Log của chương trình sử dụng giao dịch

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#. | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN PHAN TÌNH TÍNH CẬN TRÊN BỘ NHỚ LOG CỦA CHƢƠNG TRÌNH SỬ DỤNG GIAO DỊCH Ngành: Công Nghệ Thông Tin Chuyên ngành: Kỹ thuật Phần Mềm Mã số: 60480103 TÓM TẮT LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN Hà Nội - 2016 MỤC LỤC MỞ ĐẦU 3 Tính cấp thiết của đề tài 3 Mục tiêu nghiên cứu . 3 Phƣơng pháp nghiên cứu 4 Cấu trúc của luận văn .4 CHƢƠNG 1. GIỚI THIỆU BÀI . Giới thiệu .5 . Hƣớng tiếp cận . 6 . Ví dụ minh họa 6 CHƢƠNG 2. MỘT SỐ KIẾN THỨC CƠ SỞ7 . Hệ thống kiểu . 7 . Giới thiệu về hệ thống . Các thuộc tính của hệ thống kiểu 7 . Các ứng dụng của hệ thống kiểu. 7 . Giao dịch và bộ nhớ giao dịch phần mềm ( Software Transactional Memory- STM) .8 . .

TÀI LIỆU LIÊN QUAN
TỪ KHÓA LIÊN QUAN