Bài viết tiến hành 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. | Chuyên san Công nghệ thông tin và Truyền thông - Số 11 04-2018 HỆ THỐNG KIỂU ĐỂ SUY RA BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG Nguyễn Ngọc Khải1 Trương Anh Hoàng2 Tóm tắt 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. In previous works we built a type system for calculating the maximum resource usage of a transactional program. However this resource was calculated based on the parameters. These parameters were the resources that transactions need to use and calculated manually based on analysis source code of program by the programmer. Therefore the result was still methodical and semi-automatic leading to inconvenient to be used for programmers. In this work we have improved the type system with fully automatic functions for inferring the maximum resources usage of transactional programs. Based on this result the programmers do not need to calculate manually parameters like previous work. The resources here are specified into the log memory of the transaction. In order to do this the language is also improved complementary and it is closer to the actual language. Từ khóa Đa luồng Bộ nhớ giao dịch Hệ thống
