Luận Văn Thạc Sĩ Phương Pháp Dựa Trên Hệ Thống Kiểu Để Tính Cận Trên Tài Nguyên Của Các Chương Trình

Phương Pháp Dựa Trên Hệ Thống Kiểu Để Tính Cận Trên Tài Nguyên Của Các Chương Trình Featherweight Java Có Giao Tác​

Gần đây các máy tính và điện thoại được trang bị nhiều bộ xử lý hay các bộ xử lý có nhiều nhân (core). Để khai thác hết khả năng chạy song song của các bộ xử lý này cần có các tiến trình hoặc luồng (process, thread) có khả năng tính toán song song. Các ngôn ngữ lập trình truyền thống sử dụng cơ chế khóa và đồng bộ (lock, synchronization) để các tiến trình cùng hoạt động và truy cập đến các biến dùng chung. Tuy nhiên, phương pháp này dễ gây ra các khóa chết (deadlock) hoặc các lỗi tiềm ẩn rất khó phát hiện và sửa chữa. Software Transactional Memory (STM- bộ nhớ giao tác phần mềm) [15], là một giải pháp mới để viết các chương trình song song sử dụng cơ chế giao tác (transaction) của các hệ quản trị cơ sở dữ liệu thay cho cơ chế đồng bộ dựa trên khóa đối với việc chia sẻ bộ nhớ đồng thời.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Công nghệ phần mềm
• Người hướng dẫn khoa học: TS. Trương Anh Hoàng
• Tác giả: Nguyễn Quang Minh
• Số trang: 85
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2012

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1002920
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1