Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 20 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Tính Cận Trên Bộ Nhớ Log Của Chương Trình Sử Dụng Giao Dịch

Tác giả: Nguyễn Phan Tình

Lĩnh vực: Công Nghệ Thông Tin, Kỹ thuật Phần Mềm

Nội dung tài liệu:

Luận văn tập trung nghiên cứu giải pháp phân tích tĩnh để xác định cận trên bộ nhớ log cho chương trình có sử dụng giao dịch. Nghiên cứu này dựa trên phương pháp đề xuất trong bài báo [1]. Để đạt được mục tiêu này, luận văn đi sâu vào các lý thuyết về hệ thống kiểu, các khái niệm cơ bản và tính chất của giao dịch, cũng như cú pháp và ngữ nghĩa của ngôn ngữ TM (Transactional Memory). Dựa trên giải pháp xây dựng hệ thống kiểu đã trình bày, một công cụ sẽ được phát triển sử dụng ngôn ngữ C# để kiểm nghiệm.

Mục lục chi tiết:

  • Mở đầu
  • 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
  • Kết luận
  • Tài liệu tham khảo