Một số thuật toán điều khiển tương tranh trong giao dịch đồng thời (tt)

1 HỌC VIỆN CƠNG NGHỆ BƯU CHÍNH VIỄN THƠNG o0o NGUYỄN VIẾT THÀNH MỘT SỐ THUẬT TOÁN ĐIỀU KHIỂN TƯƠNG TRANH TRONG GIAO DỊCH ĐỒNG THỜI Chuyên ngành: Truyền liệu mạng máy tính Mã số: 60.48.15 TÓM TẮT LUẬN VĂN THẠC SỸ Người hướng dẫn khoa học: TS PHẠM VIỆT HÀ LỜI MỞ ĐẦU Cơ sở liệu lĩnh vực lớn chuyên ngành quan tâm nhiều Cơng nghệ thơng tin Từ có mơ hình sở liệu vào năm 60 đến trải qua nhiều hệ sở liệu có nhiều ứng dụng khoa học thương mại Đặc biệt kỷ 21, phát triển internet bùng nổ cách mạnh mẽ sở liệu phân tán trở thành lĩnh vực quan trọng phát triển nhanh chóng Bên cạnh đó, với phát triển internet việc lưu trữ xử lý liệu nhiều vị trí khác cơng ty, tổ chức đặc biệt công ty tổ chức thương mại cần đáp ứng đầy đủ liệu cần phải đảm bảo quán toàn vẹn Nhưng vấn đề đặt dựa vào tảng sở liệu tập trung để mở rộng cho sở liệu phân tán việc giải trở nên phức tạp Và việc thiết kế sở liệu phân tán T.Ozsu P.Valduriez chứng minh tốn khó giải (NP-Hard) Một vấn đề khác đặt vấn nhiều nhà nghiên cứu tìm hiểu giải điều khiển tương tranh giao tác (Transaction) sở liêu phân tán Trong đó, yêu cầu quan trọng điểu khiển tương tranh phải đảm bảo tính qn, tính tồn vẹn liệu Điểu sở liệu phân tán trở nên phức tạp mơi trường phân tán có nhiều lý để liệu bị xung đột tương tranh tài nguyên nhiều giao dịch xảy đồng thời Ngày nay, song song với việc internet phát triển thương mại điện tử trở thành lĩnh vực lớn Khi đó, site thương mại ngày mở rộng mơ hình giao dịch trực tuyến trở nên phổ biến Nhưng site thương mại lớn nhu cầu lưu trữ liệu trở nên thiết yếu liệu đặt nhiều vị trí khác Với lượng liệu lớn, khối lượng truy cập lớn độ tương tranh nhiều giao dịch xảy đồng thời cao làm để đảm bảo liệu không bị xung đột với liệu không bị mất? Với yêu cầu cấp thiết vậy, DBMS phải đưa giao thức thuật toán để giải vấn đề 3 Với mục tiêu tìm hiểu, đánh giá thuật tốn điều khiển tương tranh để đưa ứng dụng điều khiển, luận văn: “Một số thuật toán điều khiển tương tranh giao dịch đồng thời” thực gồm phần sau: Chương luận văn mơ tả tổng quan yếu tố dẫn đến tương tranh liệu yêu cầu phải giải xung đột liệu điều khiển tương tranh Chương luân văn nêu rõ chi tiết thuật toán điều khiển tương tranh số vấn đề cịn tồn tht tốn Chương luận văn đánh giá, phân tích ưu nhược điểm thuật toán để lựa chọn thuật toán ứng dụng điều khiển tương tranh môt số giao dịch đồng thời đưa kết ứng dụng 4 CHƯƠNG 1: TỔNG QUAN VỀ QUẢN LÝ GIAO TÁC VÀ ĐIỀU KHIỂN TƯƠNG TRANH 1.1 Giao tác xung đột liệu 1.1.1 Giao tác (Transaction): Giao tác xem dãy thao tác đọc ghi sở liệu với bước tính tốn cần thiết Với ý nghĩa đó, giao tác nghĩ chương trình nhúng câu truy vấn truy cập CSDL Định nghĩa khác giao tác thực thi đơn giản chương trình Một câu truy vấn đơn giản xem chương trình mà thực giao tác 1.1.1.1Đặc điểm giao tác Chúng ta nhận thấy giao tác đọc ghi số liệu Điều dùng làm sở nhận biết giao tác Các mục liệu giao tác đọc cấu tạo nên tập đọc RS (read set) Tương tự, mục liệu giao tác ghi gọi tập ghi WS(write set) Lưu ý tập đọc tập ghi giao tác không thiết phải tách biệt Cuối hợp tập đọc tập ghi giao tác tạo tập sở BS (base set), nghĩa BS = RS ∩ WS 1.1.1.2Các tính chất giao tác  Tính nguyên tử Tính nguyên tử giao tác xử lý đơn vị thao tác Chính mà hành động giao tác, tất hoàn tất khơng hành động hồn tất  Tính quán Tính quán (consistency) giao tác đơn giản tính đắn Nói cách khác, giao tác chương trình đắn, ánh xạ sở liệu từ trạng thái quán sang trạng thái quán khác 5  Tính lập Cơ lập tính chất giao tác, đòi hỏi giao tác phải ln nhìn thấy sở liệu qn Nói cách khác, giao tác thực thi làm lộ kết cho giao tác khác hoạt động trước ủy thác Bảo đảm tính lập cách khơng cho phép giao tác khác nhìn thấy kết chưa hoàn tất Ba tượng đặc tả cho tình xảy lập thíchhợp khơng trì là: đọc bẩn, đọc khơng lặp, đọc ảo  Tính bền vững Tính bền vững (durability) muốn nói đến tính chất giao tác, bảo đảm giao tác ủy thác, kết trì cố định khơng bị xóa khỏi sở liệu Vì hệ quản trị sở liệu bảo đảm kết giao tác tồn dù có xảy cố hệ thống Tính bền vững đưa vấn đề khôi phục sở liệu (database recovery), nghĩa cách khôi phục sở liệu trạng thái quán mà hành động ủy thác phản ánh 1.1.2 Xung đột liệu Chi tiết dị thường xung đột liệu a) Đọc bẩn (Dirty read) Đọc bẩn đọc liệu không commit kiểu xung đột liệu ghi đọc Đọc bẩn mơt kiểu bất thường tính tốn gắn liền với việc thực xen kẽ giao tác Đó giao tác thực cập nhật liệu vào đối tượng sở liệu chưa commit giao tác khác tiến hành đọc liệu đối tượng đó, sau giao tác sau ngừng việc cập nhật liệu rollback giá trị ban đầu giao tác trước giữ giá trị cập nhật chưa commit giao tác bị rollback b) Đọc không lặp (non-repeatable read) Đọc không lặp giống với đọc bẩn có thêm nhiều điều kiện giới hạn khác Đọc không lặp xuất chương trình thực giao tác đọc liệu lần Nhưng lần đọc thứ kết truy xuất bị thay đổi so với kết truy xuất ban đầu bị cập nhật bới chương trình khác lúc chạy c) Đọc ảo (Phantom read) Đọc ảo gần giống với đọc không lặp đọc ảo xuất chương trình đọc tập liệu lần Trong số phần tử truy xuất lần thứ khác với số phần tử đọc lần thứ sau chạy lần thứ trước chạy lần thứ có chương trình khác thực thêm xóa sơ ghi tập liệu truy xuất 1.2 Quản lý giao tác giải xung đột điều khiển tương tranh Như phần 1.1 1.2 tìm hiểu xung quanh khái niệm giao tác trường hợp xảy xung đột/tương tranh chúng Phần 1.3 trình bày cách trừu tượng thực vài giao tác xen kẽ, gọi lịch trình vài vấn đề phát sinh việc thực thi xen lẫn gây Từ vấn đề phát sinh việc thực thi xen kẽ, tìm hiểu tổng quan điều khiển tương tranh nhằm giải xung đột Cuối tìm hiểu tổng quan cách hệ sở liệu khôi phục cố bước phải làm suốt trình hỗ trợ khơi phục cố 1.3 Kết luận chương Trong chương luận văn, tìm hiểu cách tổng quan khái niệm nguyên nhân gây tương tranh Qua trường hợp gây dị thường xung đột liệu như: đọc bẩn, đọc lặp, đọc ảo Từ dị thương xung đột này, tìm hiểu tổng quan phương pháp mà DBMS thực điều khiển tương tranh 7 CHƯƠNG 2: MỘT SỐ THUẬT TOÁN ĐIỀU KHIỂN TƯƠNG TRANH 2.1 Lý thuyết khả Từ định nghĩa lịch lịch đầy đủ Phần đưa ví dụ để làm rõ tính khả lịch Và vấn đề liên quan đến việc lập lịch 2.2 Các thuật toán điều khiển tương tranh 2.2.1 Phân loại chế điều khiển tương tranh Chúng ta xếp thể điều khiển đồng thời thành hai nhóm lớn: phương pháp điều khiển đồng thời lạc quan phương pháp điều khiển đồng thời bi quan Các thuật tốn bi quan đồng hóa việc thực đồng thời giao tác trước thực chúng, thuật tốn lạc quan để việc đồng hóa giao tác chúng kết thúc Sự phân loại trình bày hình 2.4 Thuật tốn điều khiển tương tranh Bi quan Khoá Timestamp Tập trung Cơ Bản Đa phiên Phân tán Bảo tồn Lạc quan Lai Khố Timestamp Hình 1: Phân loại thuật toán điều khiển tương tranh 2.2.2 Các thuật toán điều khiển tương tranh dựa khoá Ý tưởng việc điều khiển tương tranh khóa bảo đảm liệu dùng chung cho thao tác tương tranh truy xuất lần giao tác Điều thực cách liên kết khóa chốt (lock) với đơn vị khóa Khóa giao tác đặt trước truy xuất điều chỉnh lại vào lúc hết sử dụng Hiển nhiên đơn vị khóa khơng thể truy xuất bị khóa giao tác khác Vì u cầu khóa giao tác trao khóa kèm không bị giao tác khác giữ Phần nêu phân tích thuật tốn liên quan đến khoá Qua thuật toán phân tích, đưa biểu đồ thuật tốn sau: Nhận khố Giải phóng khố BẮT ĐẦU ĐIỂM KHỐ KẾT THÚC Thời gian giao dịch Hình 2: Biểu đồ khoá pha (2PL) Nhận khoá Giải phóng khố BẮT ĐẦU Thời gian sử dụng mục liệu KẾT THÚC Hình 3: Biểu đồ khố pha nghiêm ngặt 2.2.2.1 Thuật toán khoá pha tập trung (Centralized 2PL) Bộ xử lý liệu site tham gia TM điều phối TM site trung tâm Yêu cầu khoá (1) Cấp khoá Thao tác (2) (3) Kết thúc thao tác (4) Giải phóng khố (5) Hình 4: Cấu trúc giao tiếp khố pha trung tâm 2.2.2.2 Thuật toán khoá pha phân tán (D2PL) TM cộng tác Bộ lập lịch tham gia Các DM tham gia Các thao tác (yêu cầu khoá) (1) Thao tác (2) Kết thúc thao tác (3) Giải phóng khố (4) Hình 5: Cấu trúc liên lạc khoá pha phân tán 10 2.2.3 Thuật tốn điều khiển tương tranh dựa timestamp Khơng giống thuật toán dựa khoá, thuật toán điều khiển tương tranh dựa timestamp không cố gắng trì khả khả việc loại trừ lẫn Thay vậy, chúng lựa chọn theo độ ưu tiên thứ tự khả thực thi giao tác thích hợp Để thiết lập thứ tự này, quản lý giao tác gán cho giao tác Ti timestamp ts(Ti) lần khởi chạy 2.2.3.1 Thuật tốn thứ tự timestamp Thuật toán TO thực minh bạch quy tắc TO Bộ quản lý giao tác cộng tác gán timestamp cho giao tác, xác định site lưu trữ mục liệu gửi vài thao tác đến site 2.2.3.2 Thuật toán thứ tự timestamp bảo lưu Thuật tốn TO khơng gây thao tác chờ mà thay vào tái khởi động chúng Chúng ta ưu điểm cho deadlock tự phát nhược điểm số lần tái khởi động giảm hiệu thực Thuật toán TO bảo lưu cố gắng làm giảm tải hệ thống việc giảm số lần tái khởi động giao tác 2.2.3.3 Thuật toán thứ tự timestamp đa phiên TO đa phiên việc cố gắng loại bỏ giá trị tải tái khởi động giao tác Hầu TO đa phiên liên quan đến CSDL tập trung, đề cập đến Tuy nhiên, nên thuật toán TO đa phiên chế điều khiển tương tranh phù hợp cho hệ quản lý CSDL mà thiết kế để hỗ trợ ứng dụng có sử dụng phiên đối tượng CSDL 2.3Các thuật toán điều khiển tương tranh lạc quan Đối với thuật toán bi quan việc thực thi thao tác giao tác theo pha sau: xác nhận (V), đọc (R), tính tốn (C), ghi (W) (hình 2.13) Nói chung, thứ tự giao tác cập nhật thao tác 11 Xác nhận Đọc Tính tốn Ghi Hình 6: Các pha thực thi giao tác bi quan Các thuật toán lạc quan làm trễ pha xác nhận đến trước pha ghi (hình 2.14) Do đó, thao tác chấp thận lập lịch lạc quan không bị trễ Đọc Tính tốn Xác nhận Ghi Hình 7: Các pha thực thi giao tác lạc quan Một ưu điểm thuật toán điều khiển tương tranh lạc quan khả cho phép cấp độ tương tranh cao Nó xung đột giao tác xảy ra, chế lạc quan thực tốt chế khoá Vấn đề với thuật tốn lạc quan yêu cầu khả lưu trữ cao Để xác nhận giao tác, chế lạc quan phải lưu tập thao tác ghi tập thao tác đọc vài giao tác kết thúc khác Đặc biệt, tập thao tác ghi thao tác đọc giao tác kết thúc thực giao tác Tij đến site j mà cần lưu để xác thực Tij Hiển nhiên, điều tăng chi phí lưu trữ 2.4Quản lý Deadlock Như trước đó, thuật tốn điều khiển tương tranh dựa khố gây deadlock có loại trừ lẫn việc truy cập tài nguyên dùng chung (dữ liệu) giao tác phải đợi tài nguyên bị khoá Hơn nữa, tìm hiểu, vài thuật toán dựa thứ tự timestamp yêu cầu giao tác đợi gây deadlock Do đó, hệ quản trị CSDL phân tán yêu cầu thủ tục để điều khiển chúng Có phương thức để điều khiển deadlock là: ngăn ngừa deadlock, phòng tránh deadlock, phát giải deadlock 12 2.4.1 Ngăn ngừa deadlock Các phương pháp ngăn ngừa deadlock đảm bảo deadlock xuất nơi Do đó, quản lý giao tác kiểm tra giao tác lúc bắt đầu khởi tạo khơng cho phép thực thi gây deadlock Để thực việc kiểm tra này, yêu cầu tất mục liệu mà giao tác truy cập khai báo trước Bộ quản lý giao tác cho phép giao tác thực thi tất mục liệu mà truy cập sẵn có 2.4.2 Phòng tránh deadlock 2.4.3 Phát giải deadlock Phát giải deadlock phương phức phổ biến tốt biết đến Phát thực việc đưa vòng đồ thị đợi tồn cục Có phương pháp phát deadlock phân tán: phát tập trung, phát phân tán phát deadlock kế thừa 2.4.3.1 Phát deadlock tập trung Phương pháp đơn giản lựa chọn tự nhiên thuật toán điều khiển tương tranh thuật toán pha tập trung Tuy nhiên vấn đề điểm yếu tải liên lạc vao cần đề cập đến 2.4.2.2 Phát deadlock kế thừa Một lựa chọn cho việc phát deadlock tập trung xây dựng gia phả phát deadlock (hình 2.18) 13 DD0x DD11 DD21 Site DD12 DD23 DD22 Site2 Site DD24 Site Hình 8: Phát deadlock kế thừa 2.4.2.3 Phát deadlock phân tán Các thuật toán phát deadlock phân tán uỷ thác trách nhiệm phát deadlock cho site thành phần Do đó, giống phát deadlock kế thừa, có phát deadlock cục site mà thông tin đồ thị đợi cục chúng đến site khác (trong thực tế, có vịng deadlock vơ tận gửi) 1.5 Kết luận chương Chương luận án trình bày chi tiết số thuật toán điều khiển tương tranh cài đặt DBMS site thương mại Từ nội dung chương này, luận án rõ nguyên nhân gây deadlock phương pháp hạn chế giả deadlock xảy Và từ chi tiết thuật tốn trình bày chương này, làm sở để thực đánh giá cài đặt chương 14 CHƯƠNG 3: ĐÁNH GIÁ THUẬT TOÁN VÀ LỰA CHỌN ỨNG DỤNG THUẬT TOÁN ĐIỀU KHIỂN TƯƠNG TRANH TRONG GIAO DỊCH THƯƠNG MẠI ĐIỆN TỬ 3.1 Đánh giá hiệu thuật toán điều khiển tương tranh Trong chương 2, tìm hiểu trình quản lý giao tác (hình 3.1) vàphân tích thuật tốn điều khiển tương tranh trình thực hiện: lớp thuật toán khoá pha lớp thuật toán dựa vào timestamp Site Giao tác Bộ quản trị giao tác Bộ lập lịch Bộ quản trị Dữ liệu liệu Giao tác Site Giao tác Bộ quản trị giao tác Bộ lập lịch Bộ quản trị liệu Dữ liệu Bộ quản trị liệu Dữ liệu Giao tác Site n Giao tác Bộ quản trị giao tác Bộ lập lịch Giao tác Hình 1: Lược đồ quản lý giao tác Chúng ta rút đặc điểm chúng: Có chế để tránh thực thi không (thực tương tranh): WAITING RESTARTING Thứ tự thực thi giao tác xác định khác Cơ chế xử lý xảy deadlock 15 Qua đặc điểm thuật tốn đánh giá thuật toán sau: - Thuật toán dựa khoá: o Với thuật toán khoá pha giao tác thực thi với lịch khả tuần tự, dễ xảy DeadLock dẫn đến huỷ bỏ hàng loạt (Cascading Rollback) o Với thuật tốn khố pha nghiêm ngặt lịch tạo tuần tự, tránh trường hợp huỷ bỏ hàng loạt xảy Deadlock lock liệu liệu bị chiếm giữ đến cuối o Thuật toán khoá pha tập trung: giao tác quản lý quản lý giao tác nên tránh tình trạng thất lạc, việc cấp khố dễ dàng mật độ giao tác tăng cao dẫn đến tắc nghẽn vị trí trung tâm, dẫn đến thất lạc liệu độ tin cậy khơng cao o Thuật tốn khố pha phân tán: giao tác quản lý quản lý giao tác khác site khác nên tránh việc ùn tắc mật độ giao tác tăng lên Ngoài giao tác yêu cầu khoá quản lý giao tác thực khoá tất đối tượng mà giao tác truy cập đến giao tác kết thúc Điều làm cho liệu bị chiếm giữ đến cuối làm cho giao tác khác phải chờ với thời gian dài Bên cạnh đó, quản lý nhiều site khác nên việc liên lạc site bị rối (nested), nguyên nhân gây deadlock - Thuật toán dựa timestamp: o Thuật toán dựa timestamp bản: lịch tạo tuần tự, tránh deadlock khởi động lại giao tác xuất tranh chấp Nhưng thực tái khởi động lại nhiều lần nên giảm hiệu xuất tăng thời gian chờ o Thuật toán dựa timestamp bảo lưu: tương tự thuật toán dựa timestamp thuật toán bảo lưu tạo độ trễ việc truy cập vào liệu, giảm tình trạng tái khởi động lại nhiều lần, tăng hiệu xử lý Nhưng có độ trễ giao tác nên gây 16 tượng deadlock giao tác khác truy cập đến mục liệu mà thời gian timeout giao tác lớn o Thuật toán dựa timestamp đa phiên bản: giống thuật toán dựa timestamp thuật toán giảm việc tái khởi động tránh việc tạo độ trễ việc truy xuất liệu, tăng hiệu xử lý độ tin cậy cao Tuy nhiên, việc tạo đa phiên dẫn đến chi phí lưu trữ liệu cao nhiều lần, thực lọc kết hợp liệu, việc xử lý liệu trở nên phức tạp Điều yêu cầu hệ quản trị sở liệu thực xử lý liệu phiên suốt quản lý liệu cách quán dữa phiên 3.2 Lựa chọn ứng dụng thuật toán điều khiển tương tranh cài đặt thuật toán giao dịch thương mại điện tử 3.2.1 Lựa chọn ứng dụng thuật toán điều khiển tương tranh giao dịch thương mại điện tử Qua trình tìm hiểu khảo sát, tơi lựa chọn thuật tốn điều khiển tương tranh dựa timestamp để cài đặt cho ứng dụng thương mại trực tuyến.Việc lựa chọn thuật tốn đảm bảo cho người sử dụng khơng bị mát thông tin đảm bảo chất lượng sử dụng 3.2.2 Cài đặt ứng dụng thuật toán điều khiển tương tranh giao dịch thương mại điện tử Trong phần cài đặt thuật toán điều khiển tương tranh môi trường giao dịch thương mại điện tử phân tán Chương trình viết Microsoft dotNet chạy ổn định hầu hết môi trường windows hỗ trợ NetFramework version trở lên 17 Kiến trúc chương trình biểu diễn sau: Môi trường Web Web Browser Web Server Web Services Database Web Services Database Ứng dụng Ứng dụng Ứng dụng Môi trường Windows Hình 2: Kiến trúc chương trình thương mại điện tử Chương trình cài đặt gồm phần: - Phần 1,Web Service 18 Hình 3: Các method cài đặt Web Service - Phần 2, Website thương mại phục vụ cho người sử dụng giao dịch trực tuyến qua Browser hỗ trợ môi trường web 19 Hình 4: Giao diện Website thương mại - Phần 3, ứng dụng chạy Windows môi trường người sử dụng Hình 5: Giao diện ứng dụng giao dịch thương mại môi trường người sử dụng 20 3.3 Kết luận chương Chương đưa nhận xét đánh giá thuật tốn điều khiển tương tranh trình bày chương Qua đánh giá nêu ra, chương lựa chọn thuật toán việc cài đặt ứng dụng điều khiển tương tranh giao dịch thương mại điện tử Chương trình bày ứng dụng thương mại điện tử mà cài đặt thuật toán điều khiển tương tranh tác giả thiết kế viết ứng dụng 21 KẾT LUẬN Luận văn tập trung vấn đề chính: Thứ nhất, luận văn tìm hiểu tổng quan quản lý giao tác điều khiển tương tranh Về phần quản lý giao tác, trình bày tính chất, đặc điểm giao tác nguyên nhân gây tương tranh nhiều thao tác giao tác thực đồng thời đối tượng Từ nguyên nhân gây tương tranh, luận văn trình bày tổng quan chế điều khiển tương tranh áp dụng Thứ hai, luận văn trình bày phân tích số thuật tốn điều khiển tương tranh cài đặt hệ quản trị sở liệu phân tán Thứ ba, dựa vào phân tích thuật tốn luận văn thực nhận xét đánh giá thuật tốn trình bày Qua lựa chọn thực cài đặt thuật toán điều khiển tương tranh vào ứng dụng giao dịch thương mại điện tử 22 KHUYẾN NGHỊ VÀ KHẢ NĂNG MỞ RỘNG Các kết nghiên cứu luận văn sở để mở hướng việc phát triển khả điều khiển tương tranh giao dịch thương mại điện tử Kết luận văn đưa kiến trúc dựa web services sử dụng SOAP để gửi nhận request từ người sử dụng Từ sử dụng thuật tốn dựa timestamp để thực điều khiển tương tranh có xung đột giao dịch đồng thời Do đó, hướng nghiên cứu xuất phát từ luận văn đề xuất sau: Nghiên cứu kiến trúc Web services dựa giao thức khác RESTFul kết hợp SOAP RESTFul Nghiên cứu việc kết hợp thuật toán dựa timestamp thuật toán dựa khoá để điều khiển tương tranh có nhiều giao dịch tương tranh đồng thời Cải tiến thuật toán dựa timestamp kết hợp với ngưỡng ưu tiên để thực điều khiển tương tranh 23 TÀI LIỆU THAM KHẢO [1] Chu Kỳ Quang (2003), ”Điều khiển tương tranh hệ thống tin học Dịch vụ tiết kiệm bưu điện”, Tạp chí Bưu Chính Viễn Thơng [2] Papadimitriou, Christos H (1986), The theory of database concurrency control, Computer Science Press [3] Jeffrey D Ullman (1988), Principles of Database and Knowledge: Base Systems, Computer Science Press [4] Eswaran, K P., Gray, J N., Lorie, R A., and Traiger, I L (1976), “The notions of consistency and predicate locks in a database system”, Communications of the ACM, 19(11) [5] Mohan, C., Lindsay, B., and Obermarck, R (1986), “Transaction management in the R* distributed database management system”, ACM Transactions on Database Systems, 11(4), pp.378-396 [6] The Tandem Database Group, (1987, revised 1988), “NonStop SQL, A Distributed, High-Performance, High-Availability Implementation of SQL”, Tandem Systems Review [7] A Borr (1988), “High-Performance SQL through low-level System Intergration”, Tandem Systems Review, 4(2), pp.63-72 [8] H.T Kung and John T Robinson (1981), “On Optimistic Methods of Concurrency Control”, ACM Transactions on Database Systems, 6(2), pp.213-226 [9] Abadi, D., Carney, D., Cetintemel, U., Cherniack, M., Convey, C., Lee, S., Stonebraker,M., Tatbul, N., and Zdonik, S (2003) “A new model and architecturefor data stream management”, The International Journal on Very Large Data Bases, 12(2), pp 120-139 [10] Lecture (2008),“Distributed Concurrency Control”, Tsinghua Universary [11] Dean Leftingwell (2011), “Agile Software Requirements: Lean Requirements Practices for Teams, Programs, and the Enterprise”, Agile Software Development Series [12] Özsu, M Tamer, Valduriez, Patrick (2011), “Principles of distributed database systems”, Springer  ... Với mục tiêu tìm hiểu, đánh giá thuật toán điều khiển tương tranh để đưa ứng dụng điều khiển, luận văn: ? ?Một số thuật toán điều khiển tương tranh giao dịch đồng thời? ?? thực gồm phần sau: Chương... điều khiển tương tranh 2.2.1 Phân loại chế điều khiển tương tranh Chúng ta xếp thể điều khiển đồng thời thành hai nhóm lớn: phương pháp điều khiển đồng thời lạc quan phương pháp điều khiển đồng thời. .. điểm thuật tốn để lựa chọn thuật toán ứng dụng điều khiển tương tranh môt số giao dịch đồng thời đưa kết ứng dụng 4 CHƯƠNG 1: TỔNG QUAN VỀ QUẢN LÝ GIAO TÁC VÀ ĐIỀU KHIỂN TƯƠNG TRANH 1.1 Giao