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#.
Nội dung trích xuất từ tài liệu:
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ĐẠI HỌC QUỐC GIA HÀ NỘITRƢỜNG ĐẠI HỌC CÔNG NGHỆNGUYỄN PHAN TÌNHTÍNH CẬN TRÊN BỘ NHỚ LOG CỦA CHƢƠNGTRÌNH SỬ DỤNG GIAO DỊCHNgành:Công Nghệ Thông TinChuyên ngành: Kỹ thuật Phần MềmMã số:60480103TÓM TẮT LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TINHà Nội - 2016MỤC LỤCMỞ ĐẦU ................................................................................................................3Tính cấp thiết của đề tài ......................................................................................3Mục tiêu nghiên cứu ........................................................................................... 3Phương pháp nghiên cứu ....................................................................................4Cấu trúc của luận văn .........................................................................................4CHƢƠNG 1. GIỚI THIỆU BÀI TOÁN.................................................................51.1. Giới thiệu .....................................................................................................51.2. Hướng tiếp cận ............................................................................................. 61.3. Ví dụ minh họa ............................................................................................ 6CHƢƠNG 2. MỘT SỐ KIẾN THỨC CƠ SỞ....................................................72.1. Hệ thống kiểu ............................................................................................... 72.1.1. Giới thiệu về hệ thống kiểu...................................................................72.1.2. Các thuộc tính của hệ thống kiểu ..........................................................72.1.3. Các ứng dụng của hệ thống kiểu........................................................... 72.2. Giao dịch và bộ nhớ giao dịch phần mềm ( Software TransactionalMemory- STM) ...........................................................................................................82.2.1. Giao dịch (Transaction) ........................................................................82.2.2. Bộ nhớ giao dịch phần mềm (Software Transactional Memory- STM).................................................................................................................................8CHƢƠNG 3. NGÔN NGỮ GIAO DỊCH ............................................................... 93.1. Cú pháp của TM [1] .....................................................................................93.2. Các ngữ nghĩa động .....................................................................................93.2.1. Ngữ nghĩa cục bộ ..................................................................................93.2.2. Ngữ nghĩa toàn cục ...............................................................................9CHƢƠNG 4. HỆ THỐNG KIỂU CHO CHƢƠNG TRÌNH GIAO DỊCH ..........114.1. Các kiểu .....................................................................................................114.2. Các quy tắc kiểu......................................................................................... 12CHƢƠNG 5. XÂY DỰNG CÔNG CỤ VÀ THỰC NGHIỆM ............................ 1515.1. Giới thiệu ngôn ngữ lập trình/ nền tảng .....................................................155.2. Xây dựng công cụ và thực nghiệm ............................................................ 155.2.1. Thuật toán rút gọn (chính tắc hóa) một chuỗi ....................................165.2.2. Thuật toán Cộng (Joint) ......................................................................165.2.3. Thuật toán gộp (Merge) ......................................................................175.2.4. Thuật toán JoinCommit ......................................................................175.2.5. Thuật toán tính cận trên tài nguyên của chương trình giao dịch ........17KẾT LUẬN...........................................................................................................18TÀI LIỆU THAM KHẢO ....................................................................................192MỞ ĐẦUTính cấp thiết của đề tàiCùng với sự phát triển như vũ bão của khoa học công nghệ, các vi xử lý hiện đạingày càng thể hiện sức mạnh qua nhiều nhân (core) với tốc độ xử lý ngày càng cao. Cóđược như vậy là do bên trong các vi xử lý này được thiết kế các luồng (thread) có khảnăng chạy và xử lý song song. Trước đây để lập trình đa luồng, người ta sử dụng cơchế đồng bộ (synchronization) dựa trên khóa (lock) để áp đặt giới hạn về quyền truycập tài nguyên trong một môi trường khi có nhiều luồng thực thi.Tuy nhiên, khi ápdụng phương pháp này thường nảy sinh các vấn đề như khóa chết (deadlock) hoặc cáclỗi tiềm tàng…Software Transactional Memory (STM- bộ nhớ giao dịch phần mềm) [8] là mộtgiải pháp đơn giản hơn, nhưng vô cùn ...