Luận văn: Các thuật toán điều khiển tương tranh trong cập nhật dữ liệu phân tán

Những năm của thập kỷ 70, máy tính đã có đủ khả năng xây dựng hệ thống thông tin và hệ cơ sở dữ liệu. Một mặt đã hình thành và phát triển các mô hình lý thuyết cho hệ cơ sở dữ liệu và mặt khác những nguồn phát triển hệ thống ứng dụng ngày càng có nhiều kinh nghiệm. Hệ thống thông tin hình thành trên cơ sở kết nối các máy tính khác nhau. Những năm gần đây, hệ cơ sở dữ liệu phân tán được phát triển dựa trên cơ sở dữ liệu và mạng máy...
Nội dung trích xuất từ tài liệu:
Luận văn:Các thuật toán điều khiển tương tranh trong cập nhật dữ liệu phân tán B GIÁO D C VÀ ĐÀO T O Đ I H C ĐÀ N NG B CH NG C DƯƠNG CÁC THU T TOÁN ĐI U KHI N TƯƠNG TRANHTRONG C P NH T D LI U PHÂN TÁN Chuyên ngành: Khoa h c máy tính Mã s : 60.48.01TÓM T T LU N VĂN TH C SĨ K THU T Đà N ng - Năm 2011 -1- Công trình ñư c hoàn thành t i Đ I H C ĐÀ N NG Ngư i hư ng d n khoa h c: PGS.TS LÊ VĂN SƠN Ph n bi n 1: TS. HUỲNH CÔNG PHÁP Ph n bi n 2: TS. TRƯƠNG CÔNG TU N Lu n văn ñư c b o v t i H i ñ ng ch m Lu n văn t tnghi p th c sĩ k thu t h p t i Đ i h c Đà N ng vào ngày 10tháng 09 năm 2011. Có th tìm hi u lu n văn t i: - Trung tâm Thông tin - H c li u, Đ i h c Đà N ng - Trung tâm H c li u, Đ i h c Đà N ng -1- M Đ U1. Lý do ch n ñ tài Ngày nay, Công ngh Thông tin ñã th c s tr thành m t nhânt quan tr ng trong s n xu t và phát tri n kinh t toàn xã h i v iph m vi toàn c u. Trong n n kinh t tri th c, Công ngh Thông tinñóng vai trò then ch t. M ng máy tính, ñ c bi t là Internet tr thànhcông c ñ c l c không th thi u cho b t kỳ m t t ch c xã h i nào.Các yêu c u v lưu tr và x lý d li u phân tán t i nhi u v trí ñ a lýkhác nhau nh m tăng hi u năng s d ng m ng máy tính, ñ ng th icũng ñòi h i ph i có tính ñ ng b gi a các ti n trình xa. Lúc này,trong các h CSDL thư ng x y ra trư ng h p nhi u yêu c u truy c pñ ng th i ñ n m t tài nguyên d li u. Ch ng h n, trong m t h th ngñ t ch tàu h a c a m t hãng ñư ng s t, có nhi u nhà ga bán vé. T im t th i ñi m, các ñ i lý này có th bán vé ñ ng th i. Vì v y, n ukhông có s ki m soát, thì tình tr ng m t gh ng i ñư c bán nhi uhơn m t l n có th x y ra. Xét m t ví d khác là h th ng báo ñi mthi ñ i h c. T i m i th i ñi m, có r t nhi u thí sinh cùng truy c p vàoCSDL ñi m ñ xem k t qu thi c a mình. Vì v y truy c p c a các thísinh trong trư ng h p này là truy c p ch ñ c; chúng không làm thayñ i d li u. Như v y, ñ i v i các truy c p ch ñ c thì càng có nhi uthao tác th c hi n ñ ng th i càng t t, vì v y s ti t ki m ñư c th igian. Ngư c l i, v i các truy c p có làm thay ñ i giá tr c a d li u,thì c n ki m soát các truy c p này. Cách an toàn nh t là yêu c u cáctruy c p ñó th c hi n m t cách tu n t . Nhưng làm như v y, hi unăng c a h th ng s kém. Trên th c t , m t giao d ch có th baog m nhi u thao tác, có th ñ c xen k v i ghi. Do ñó, bài toán ñ t ralà, ñ tăng hi u qu ho t ñ ng c a h th ng, c n ñưa ra các phươngpháp cho phép th c hi n các thao tác ñ ng th i nhưng v n ñ m b oñư c tính toàn v n và tính nh t quán c a d li u, trong khi v n ngăn -2-c n ñư c các thao tác tương tranh có kh năng phá h y tính toàn v nvà tính nh t quán c a d li u. Mu n v y, c n ph i nghiên c u qu nlý các giao d ch và ñi u khi n tương tranh. Có nhi u thu t toán ñi ukhi n tương tranh ñư c ñ xu t. Trong ñó, có nh ng thu t toán ñãñư c cài ñ t trong các h CSDL th c t , nhưng cũng có nhi u thu ttoán chưa tri n khai cài ñ t trên b t c m t h CSDL nào. RiêngVi t Nam, chưa có nhi u các công trình liên quan ñ n v n ñ này màch y u là các tài li u biên d ch t các công trình c a các tác ginư c ngoài. Do v y, vi c nghiên c u ñ tài này là c n thi t ñ hi u rõcác nguyên lý c a các h CSDL cũng như có th làm tài li u thamkh o cho các ñ i tư ng ñ c gi là sinh viên chuyên ngành Tin h cho c nh ng ngư i có quan tâm.2. M c tiêu và nhi m v nghiên c u M c tiêu c a ñ tài là tìm hi u t ng quan v h CSDL phân tán,các giao d ch phân tán, tìm hi u các thu t toán ñi u khi n tươngtranh trong c p nh t d li u phân tán. Phân tích các thu t toán ñ ñưara nh ng ñánh giá, so sánh các thu t toán v i nhau; ñ xu t cáctrư ng h p s d ng v i t ng thu t toán. Đ ng th i, bư c ñ u ñ xu tcài ñ t mô ph ng m t thu t toán ñi u khi n tương tranh cơ b n ñlàm cơ s nghiên c u cài ñ t cho các ng d ng th c t khi có ñi uki n. Đ tài t p trung tìm hi u ch y u các thu t toán ñi u khi ntương tranh trong c p nh t d li u phân tán. T ñó, cài ñ t chươngtrình minh h a thu t toán khóa 2 pha và ch ra các kh năng ngd ng có th c a chúng trong th c t .3. Đ i tư ng và ph m vi nghiên c u H CSDL phân tán nói chung và lý thuy t v qu n lý giao d ch,các thu t toán ñi u khi n tương tranh trong c p nh t d li u phân tánnói riêng g m nhi u v n ñ l n và ph c t p. Vì v y, ñ tài này cht p trung vào nghiên c u m t s thu t toán ñi u khi n tương tranh s -3-d ng khóa và nhãn th i gian. Các thu t toán khác s không ñi sâuvào phân tích chi ti t.4. Phương pháp nghiên c u Nghiên c u lý thuy t: Thu th p, phân tích các tài li u và thôngtin liên quan ñ n ñ tài như: Tìm hi u t ng quan v h CSDL phântán, tìm hi u các giao d ch phân tán, tìm hi u các thu t toán ñi ukhi n tương tranh trong c p nh t d li u p ...