TÍNH CẬN TRÊN BỘ NHỚ LOG CỦA CHƢƠNG TRÌNH SỬ DỤNG GIAO DỊCH

Abstract

Cùng với sự phát triển nhƣ v b o của khoa học công nghệ, các vi x lý hiện đ i ngày càng thể hiện sức m nh qua nhiều nhân (core) với tốc độ x lý ngày càng cao. Có đƣợc nhƣ vậy là do bên trong các vi x lý này đƣợc thiết kế các luồng (thread) có khả năng ch y và x lý song song. Trƣớc đ y để lập trình đa luồng, ngƣời ta s dụng cơ chế đồng bộ (synchronization) dựa trên kh a (lock) để p đặt giới h n về quyền truy cập tài nguyên trong một môi trƣờng khi có nhiều luồng thực thi.Tuy nhiên, khi áp dụng phƣơng ph p này thƣờng nảy sinh các vấn đề nhƣ khóa chết (deadlock) hoặc các lỗi tiềm tàng… Software Transactional Memory (STM- bộ nhớ giao dịch phần mềm) [8] là một giải ph p đơn giản hơn nhƣng vô c ng m nh mẽ mà có thể giải quyết đƣợc hầu hết các vấn đề trên. N đ thay thế hoàn toàn giải ph p c trong việc truy cập bộ nhớ dùng chung. STM giao tiếp với bộ nhớ thông qua các giao dịch. Các giao dịch này cho phép tự do đọc ghi để chia sẻ các biến và một vùng nhớ gọi là log sẽ đƣợc s dụng để ghi l i các ho t động này cho tới khi kết thúc giao dịch. Một trong những mô hình giao dịch phức t p s dụng STM là mô hình giao dịch lồng và đa luồng (nested and multi-threaded transaction) [5]. Trong quá trình thực thi của c c chƣơng tr nh giao dịch lồng và đa luồng, khi các luồng mới đƣợc sinh ra hoặc một giao dịch đƣợc bắt đầu, các vùng bộ nhớ gọi là log sẽ đƣợc cấp phát. Các log này d ng để lƣu l i bản sao của các biến dùng chung, nhờ vậy mà các luồng trên có thể s dụng các biến này một c ch độc lập. Vấn đề đặt ra ở đ y là t i thời điểm chƣơng tr nh ch y liệu lƣợng bộ nhớ cần cấp ph t cho c c log c vƣợt quá tài nguyên bộ nhớ của máy, hay chƣơng tr nh c thể ch y một c ch trơn tru mà không gặp phải bất kỳ lỗi nào nhƣ hết bộ nhớ. Chính vì vậy, việc x c định cận trên của bộ nhớ ở thời điểm ch y chƣơng tr nhcủa chƣơng tr nh giao dịch là một vấn đề then chốt c ý nghĩa hết sức quan trọng. Chính v l do đ trong luận văn thực hiện ở đ y một nghiên cứu s dụng phƣơng ph p ph n t ch tĩnh để giải quyết bài toán tính cận trên bộ nhớ log của chƣơng trình có giao dịch sẽ đƣợc trình bày, dựa trên bài báo đ đƣợc các tác giả công bố trong [1].