i Nâng cấp động các thành phần của hệ thống phân tán Đỗ Thị Tuyết Mai Trường Đại học Công nghệ Luận văn Thạc sĩ ngành: Công nghệ phần mềm; Mã số: 60 48 10 Người hướng dẫn: TS.. Tìm
Trang 1i Nâng cấp động các thành phần của hệ thống
phân tán
Đỗ Thị Tuyết Mai
Trường Đại học Công nghệ Luận văn Thạc sĩ ngành: Công nghệ phần mềm; Mã số: 60 48 10
Người hướng dẫn: TS Trương Anh Hoàng
Năm bảo vệ: 2011
Abstract: Giới thiệu chung về việc nâng cấp Tìm hiểu các thực trạng nâng cấp và
nghiên cứu các thành phần để nâng cấp tự động hệ thống phân tán Hướng đề xuất cho
việc nâng cấp động hệ thống phân tán Thực nghiệm và mô phỏng hướng đề xuất
Keywords: Công nghệ phần mềm; Hệ thống phân tán; Thiết kế hệ thống; Công nghệ
thông tin
Content
Các hệ thống thông tin ngày nay đang từng ngày mở rộngđể phục vụ với nhiều mục đích khác nhau, nhất là các hệ thống phân tán đang dần khẳng định với những ưu thếvề chi phí, hiệu năng, khả năng mở rộng, độ tin cậy trong các hệ thốngứng dụng nó Với hệ thống phân tán như các cụm máy chủ, hệ thống ngang hàng trong quá trình sử dụng luôn thường xuyên đòi hỏi các yêu cầu thay đổi như thêm các tính năng, cải thiện hiệu suất, sửa lỗi, mở rộng hệ thống Các yêu cầu đó gọi chung là việc nâng cấp hệ thống Các hệ thống này rất lớn,
vì vậy thực tế các quản trị viên không thể nâng cấp các nút bằng tay (ví dụ, thông qua đăng nhập từ xa) hay nâng cấp tất cả các nút cùng một lúc Thay vào đó, phải có việc lan truyền tự động các yêu cầu thay đổi thông qua hệ thống phân tán Nhưng yêu cầu vẫn có thể kiểm soát
về trình tự, sự đồng nhất tại đó các nút được nâng cấp để tránh làm gián đoạn dịch vụ đang cung cấp và không làm ảnh hưởng tới các ứng dụng có sẵn
Vì vậy, việc nghiên cứu và đưa ra các phương pháp nâng cấp tự động cho các hệ thống
hiện nay là thực sự cần thiết Với luận văn “Nâng cấp động các thành phần của hệ thống
phân tán”luận văn sẽ tập trung nghiên cứu làm thế nào thể đáp ứng các yêu cầu thay đổi của
hệ thống phân tán mà vẫn đảm bảo cho hệ thống hoạt động bình thường và ổn định
Nội dung chính của luận văn được trình bày trong 4 chương Chương 1 giới thiệu chung
về việc nâng cấp Chương 2 tìm hiểu các thực trạng nâng cấp và nghiên cứu các thành phần
để nâng cấp tự động hệ thống phân tán Chương 3 hướng đề xuất cho việc nâng cấp động hệ thống phân tán Chương 4 thực nghiệm và mô phỏng hướng đề xuất Phần kết luận tóm tắt kết quả đã đạt được và hướng phát triển tiếp theo của luận văn
Trang 2GIỚI THIỆU BÀI TOÁN
Hệ thống thống tin ngày nay đang từng này mở rộng để phục vụ với nhiều mục đích khác nhau Nhất
là các hệ thống phân tán luôn đòi hỏi các yêu cầu thay đổi Các yêu cầu đó gọi chung là việc nâng cấp hệ thống Các hệ thống này rất lớn không thể nâng cấp bằng tay, do vậy cần tự động nâng cấp các hệ thống Với lý do trên, luận văn sẽ tập trung nghiên cứu làm thế nào thể đáp ứng các yêu cầu thay đổi của hệ thống phân tán mà vẫn đảm bảo cho hệ thống hoạt động bình thường và ổn định
NỘI DUNG LUẬN VĂN
Mô hình hệ là một tập hợp các đối tượng tương tác thông qua gọi phương thức từ xa Giả sử mỗi nút
là một đối tượng (định danh, trạng thái) Đối tượng chạy trên cùng một phiên bản tương thích với nhau Quy luật chung nâng cấp tại mỗi nút Cài đặt futureSO để hỗ trợ các phiên bản mới; Chờ cho đến khi lịch trình cho phép nút để nâng cấp; Nút dừng phần mềm (hủy bỏ các hoạt động trong tiến trình); Chạy hàm chuyển trạng thái; Cài đặt pastSO để hỗ trợ các phiên bản cũ; Bắt đầu phiên bản nút mới
Thành phần nâng cấp bao gồm: Hàm lịch trình, xác định khi nào nút nâng cấp theo trình tự nào; Đối tượng mô phỏng, định nghĩa khả năng liên kết giữa các nút khi chạy các phiên bản khác nhau; Hàm chuyển: xác định trạng thái chuyển của các nút từ một phiên bản tới phiên bản kế tiếp
Với hàm lịch trình, Hàm lịch trình có thể cần thông tin cơ bản vật lý về các nút mà trên đó nó chạy Cần biết thông tin về trạng thái của đối tượng nút có sẵng sàng hay không Cần biết thông tin về các nút khác trong hệ thống, và đặc biệt là các nút mà nút của nó đang giao tiếp Đối tượng mô phỏng bao gồm: PastSO xử lý các phiên bản cũ; FutureSO xử lý các phiên bản mới Gọi giữa các phiên bản
KẾT LUẬN
Luận văn tôi đã giải quyết được một số vấn đề sau: tìm hiểu phương thức nâng cấp động cho hệ thống phân tán, nâng cấp tự động tại mỗi nút bằng cách nhận biết có phiên bản mới cung cấp, từ đó tự động lan truyền tới các nút tiếp theo đang được hỗ trợ Việc nâng cấp này không làm ảnh hưởng tới các dịch vụ khác
mà hệ thống đang cung cấp Với hướng đề xuất trên mới chỉ thử nghiệm bằng chương trình Java trên hệ thống phân tán theo mô hình ngang hàng
Trong thời gian gần đây, để giải quyết triệt để và nâng cao những tính năng giải quyết bài toán luận văn có thể mở rộng them để giải quyết được: Cung cấp hỗ trợ nhiều đối tượng trên một nút, đánh giá được trạng thái các nút dừng, khôi phục được các nâng cấp khi lỗi xẩy ra và tạo bộ cần nâng cấp
Trang 3References
[1] A Yonezawa (1999), “ABCL: An Object-Oriented Concurrent System”, The MIT Press
[2] Andrew S Tanenbaum & Maarten van Steen (2002), “Distributed Systems: Principles and Paradigms”, Pearson Prentice Hall
[3] Barbara Liskov(October 2001), “Software upgrades in distributed systems”,Keynote address at the 18th, ACM Symposium on Operating SystemsPrinciples
[4] Clavel, M and J.Meseguer (2002), “Reflection in conditional rewriting logic”,
Theoretical Computer Science 285, pp 245-288
[5] Clavel, M., F Duran, S Eker, P Lincoln, N Marti-Oliet, J Meseguer and J F.Quesada (2002), “Maude: Specication and programming in rewriting logic”,
Theoretical Computer Science 285, pp 187-243
[6] Christoph von Praun (July 2004.),“Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs”, PhD thesis, ETH Zurich
[7] De Oliveira Braga, C (2001), “Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics”, Ph.D thesis, Pontifcia Universidade Catolica do Rio de Janeiro
[8] E B Johnsen and O Owe (Jan 2005.),“Inheritance in the presence of asynchronous
method calls”,InProc 38th Hawaii Intl Conf on System Sciences (HICSS’05), IEEE
CS Press
[9] Einar Broch Johnsen and Olaf Owe and Isabelle Simplot-Ry (2005), “A Dynamic Class Construct for Asynchronous Concurrent Objects”
[10] Ewan D Tempero, Gavin M Bierman, James Noble, Matthew J Parkinso
(2008), “From Java to UpgradeJ: An empirical study”, In Proceedings of HotSWUp'2008
[11] Feras Karablieh and Rida Bazzi (October 2002), “Heterogeneous
Checkpointing for Multithreaded Applications”, In 21 st
Symposium on Reliable Distributed Systems (SRDS)
[12] Iulian Neamtiu and Michael Hicks and Jeffrey S.Foster and Polyvios Pratikakis (2007),“Contextual Effects for Version-Consistent Dynamic Software Updating and
Safe Concurrent Programming”, Technical Report CS-TR-4875
Trang 44
[13] Iulian Neamtiu, Michael Hicks, Gareth Stoyle, andManuel Oriol (June
2006),“Practical Dynamic Software Updating for C”,In Proceedings of the ACM Conference onProgramming Language Design and Implementation(PLDI)
[14] Kristis Makris and Rida Bazzi (2009), Immediate Multi-Threaded Dynamic
Software Updates Using Stack Reconstruction,USENIX'09 Annual Technical Conference 13, pp.2-6
[15] M E Shaddock, M C.Mitchell, and H E Harrison (1995) How to upgrade
1500 workstations on Saturday, and still have time to mow the yard on Sunday In
Proc of the 9thUSENIX Sys
[16] Sameer Ajmani (August 2002),“A review of software upgrade techniques for distributed systems”, pp.1-3
[17] Sameer Ajmani(October 2002), “A distributed system Upgrade Scenarior”,
MIT Laboratory for Computer Science 200 Technology Square, Cambridge, MA
02139, USA, pp.1-3