HỆ THỐNG KIỂU ĐỂ TÍNH BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG

Nguyen, Ngoc Khai and Truong, Anh Hoang (2018) HỆ THỐNG KIỂU ĐỂ TÍNH BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG. Chuyên san Công nghệ thông tin và Truyền thông (JICT), 11 . ISSN 1859-0209

PDF - Accepted Version Download (363kB)

Abstract

Trong nghiên cứu trước đây, chúng tôi đã xây dựng một hệ thống kiểu để tính tài nguyên tối đa cần sử dụng của một chương trình giao dịch đa luồng. Tuy nhiên, tài nguyên này được tính toán dựa trên các tham số là tài nguyên mà mỗi giao dịch cần sử dụng. Những tham số này do người lập trình phải tự tính toán thủ công dựa trên mã nguồn của chương trình. Vì vậy, kết quả đó vẫn mang tính phương pháp và bán tự động, chưa thuận tiện cho người lập trình. Trong nghiên cứu này, chúng tôi cải tiến hệ thống kiểu để tính được tài nguyên tối đa cần sử dụng của chương trình giao dịch đa luồng một cách hoàn toàn tự động. Người lập trình không cần thực hiện bước tính toán thủ công các tham số như trong nghiên cứu trước. Tài nguyên trong nghiên cứu này được cụ thể hóa là bộ nhớ log của các giao dịch. Để thực hiện được công việc này, ngôn ngữ cũng đã được cải tiến, bổ sung và chúng cũng gần với ngôn ngữ thực tế hơn.

Item Type:	Article
Subjects:	Information Technology (IT)
Depositing User:	A/Prof. Truong Hoang
Date Deposited:	18 Jun 2018 03:30
Last Modified:	18 Jun 2018 03:30
URI:	http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2969

Actions (login required)

View Item