Hệ thống kiểu để suy ra bộ nhớ log

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.

16p kequaidan10 04-03-2021 16 2   Download