BÀI TẬP LỚN MÔN HỆ PHÂN TÁN ppt

TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN BÀI TẬP LỚN MÔN HỆ PHÂN TÁN TÌM HIỂU PHÁT TRÀN KHÔNG ĐỒNG BỘ Danh sách nhóm Và công việc của từng người như sau: ooo000ooo 1.Lê Thị Lương : Tìm hiểu Lý thuyết-Cài đặt chương trình 2.Trần Thị Thanh Liên : Tìm hiểu Lý thuyết-Cài đặt chương trình 3.Hoàng Anh Tuấn : Lý thuyết-Báo cáo-cài đặt 4.Nguyễn Thị Ngọc Gái : Tìm hiểu nội dung công việc 5.Trần Thị Châu : Tìm hiểu nội dung công việc 6.Nguyễn Thị Hoài : Tìm hiểu nội dung công việc 7.Nguyễn Thị Diễn : Tìm hiểu nội dung công việc 8.Lê Thị Lam : Tìm hiểu nội dung công việc 9.Nguyễn Ngọc Dũng : Tìm hiểu nội dung công việc 10.Hoàng Trọng Cường : Tìm hiểu nội dung công việc 11.Nguyễn Thị Hương : Tìm hiểu nội dung công việc Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 1 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN NỘI DUNG BÁO CÁO A.Chuẩn bị nội dung làm bài tập lớn 1.Tư tưởng 2.Tài liệu tham khảo 3.Giới thiệu ngôn ngữ lập trình C++ áp dụng cài đặt B.Giới thiệu chung về hệ phân tán 1.Tổng quan về hệ phân tán 2.Phân loại hệ phân tán 3.Vai trò của hệ phân tán 4.Đặc trưng của hệ phân tán 5.Mục tiêu hệ phân tán 6.Lý thuyết hệ phân tán 7.Các lĩnh vực ứng dụng C.Phát tràn không đồng bộ 1.Nêu Khái niệm 2.Nguyên tắc hoạt động 3.Mô hình truyền thông báo 4.Trạng thái 5.Cấu hình 6.Thực hiện và tính thỏa đáng 7.Thực hiện không đồng bộ 8.Giải thuật phát tràn không đồng bộ 9.Độ phức tạp giải thuật phát tràn 10.Tính thoả đáng 11.Độ phức tạp D.Áp dụng giải thuật phát tràn không đồng bộ 1.Ví dụ minh họa 2.Cài đặt giải thuật 3.Chạy chương trình Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 2 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN A.Chuẩn bị nội dung làm bài tập lớn 1.Tư tưởng mục tiêu môn học • Hiểu được các đặc trưng và mục tiêu thiết kế hệ phân tán – Các vấn đề kỹ thuật cơ bản của hệ phân tán. • Nắm vững các kiến thức hệ thống về phương pháp luận và công cụ để xây dựng và phát triển các hệ phân tán. • Thông qua Bài tập lớn môn học sinh viên có thể bước đầu tập dượt nghiên cứu và triển khai ứng dụng tiếp cận với các công nghệ liên quan đến hệ phân tán 2.Tài liệu tham khảo * Hệ phân tán + Giáo trình :Hệ phân tán – GV- Ths Trần Thị Gia – Khoa CNTT – ĐHSPKT VInh + Giáo trình :Tập bài giảng chuẩn hóa của Bộ môn Mạng và HTTT, Khoa CNTT,-Đại học SPKT Vinh + Nguyễn Thúc Hải, mạng máy tính và các hệ thống mở, NXBGD, 1999 + giáo trình : tập bài giảng chuẩn hoá của Bộ môn Truyền thông và Mạng máy tính, Khoa Công nghệ Thông tin, Đại học Bách khoa Hà nội * Lập trình C++ + Giáo trình :Lập trình hướng đối tượng– GV- Ths Lưu Hương Giang – Khoa CNTT – ĐHSPKT VInh + Nguyễn Thanh Thuỷ, Lập trình hướng đối tượng với C++,NXB Khoa học và kỹ thuật,1999 + Nguyễn Thanh Thuỷ - Nguyễn Quang Huy, Bài tập lập trình ngôn ngữ C,NXB Khoa học và Kỹ thuật,2003 3.Giới thiệu ngôn ngữ lập trình áp dụng cài đặt C++ là ngôn ngữ lập trình hướng đối tượng và là sự mở rộng của ngôn ngữ C.Nó là ngôn ngữ lập trình rát quan trọng, là tiền đề để phát triển của mọi ngôn ngữ lập trình và cũng là tiền đề để phát triển ngôn ngữ lập trình Java, Chương trình C++ của chúng em chạy dựa trên phần mềm c free v5.0 hoặc DEV-C. B.Giới thiệu chung về hệ phân tán 1.Tổng quan về hệ phân tán Các khái niệm hệ phân tán • Định nghĩa 1: Hệ phân tán là tập hợp các máy tính tự trị được kết nối với nhau bởi một mạng máy tính và được cài đặt phần mềm hệ phân tán. • Định nghĩa 2: Hệ phân tán là một hệ thống có chức năng và dữ liệu phân tán trên các trạm (máy tính) được kết nối với nhau bởi một mạng máy tính. • Định nghĩa 3: Hệ phân tán là một tập các máy tính độc lập giao tiếp với người dùng như một hệ thống thống nhất, toàn vẹn. => Như vậy có thể nói : HPT = MMT+ Phần mềm hệ phân tán - Ví dụ: bộ đa xử lý, mạng cục bộ, Internet,ngân hàng tự động,hệ thống thương mại điện tử • Hệ phân tán vs. hệ song song : - Hệ song song phối hợp nhiều bộ xử lý nhằm giải quyết một vấn đề cho trước một cách nhanh nhất . - Trong hệ phân tán, mỗi bộ xử lý nói chung có chýõng trình làm việc riêng bán độc lập, vì lợi Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 3 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN ích chung nên cần phối hợp hành động với nhau. • Mục đích môn học là nghiên cứu các công cụ và kỹ thuật xây dựng phần mềm phân tán – Tập trung vào khía cạnh giải thuật 2.Phân loại hệ phân tán • Trước đây, HPT dược chia thành 3 loại: hệ điều hành hệ phân tán, cơ sở dữ liệu hệ phân tán và các hệ thống tính toán hệ phân tán • Ngày nay, HPT được phân chia như sau: - HPT mang tính hệ thống: hệ điều hành phân tán - HPT mang tính ứng dụng: các hệ thống truyền tin phân tán 3.Vai trò của hệ phân tán • Trao đổi tin cậy: Tiền đề để phát triển các mạng máy tinh. • Chia sẻ tài nguyên: Giúp giảm chi phí hệ thống. • Nâng cao độ tin cậy thông qua sao lăp: Hệ thống vẫn hoạt động khi một bộ phận gặp sự cố. • Nâng cao hiệu suất thông qua song song hóa: Thực hiện công việc chung hay chia sẻ công việc. • Đơn giản thiết kế thông qua chuyên dụng hóa: Phân tích hệ thống thành các tiến trình tác hợp với nhau 4.Đặc trưng của hệ phân tán • Kết nối người sử dụng và tài nguyên. • Tính trong suốt. • Tính mở. • Tính co giản. • Tính chịu lỗi. • Tính an toàn an ninh. 5.Mục tiêu hệ phân tán • A. Kết nối người sử dụng và tài nguyên: giải quyết bài toán chia sẻ tài nguyên trong hệ thống (resource sharing) • B. Tính trong suốt: Ẩn giấu sự rời rạc và những nhược điểm nếu có của hệ phân tán đối với người sử dụng và những nhà lập trình ứng dụng ( Theo tiêu chuẩn ISO cho HPT ISO/IS/10746 tên là “ open distributed processing reference model” 1995 đã cụ thể hóa 8 dạng trong suốt:….) • C. Tính mở (openness): HPT gọi là mở nếu nó cung cấp các dịch vụ theo các quy tắc chuẩn mô tả cú pháp và ngữ nghĩa của dịch vụ đó. • D. tính co giãn (Scalability): thich nghi với sự thay đổi quy mô của hệ thống 6.Lý thuyết hệ phân tán • Phát hiện và khái quát hóa các vấn đề cơ bản • Phát biểu các vấn đề một cách chính xác • Thiết kế các giải thuật để giải quyết các vấn đề Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 4 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN • Chứng minh tính đúng đắn của các giải thuật • Phân tích độ phức tạp của các giải thuật – Dựa trên các tiêu chí như thời gian thực hiện, lượng bộ nhớ sử dụng, số thông báo trao đổi • Chứng minh các kết quả về tính không thể và các kết quả cận dưới – Phụ thuộc nhiều vào giả thiết 7.Các lĩnh vực ứng dụng • Hệ điều hành: Các tiến trình cần giao tiếp với nhau. • Cơ sở dữ liệu phân tán: Các server CSDL cần được phối hợp đồng bộ. • Khắc phục lỗi phần mềm: Cho chạy nhiều chýõng trình để nâng cao độ tin cậy. • Mạng máy tính: Thiết kế các dịch vụ điều khiển mạng. • Kiến trúc đa xử lý: Các bộ xử lý kết nối với nhau cần phối hợp thực hiện. C.Phát tràn không đồng bộ 1.Khái niệm mô hình không đồng bộ • Hệ thống gọi là không đồng bộ nếu không có cận trên cố định với thời gian. – Từ lúc thông báo được gửi đi cho đến lúc giao. – Hoặc giữa các bước thực hiện của bộ xử lý. • Ví dụ: Internet. • Trên thực tế cận trên là lớn và không cố định có thể coi là hệ thống không đồng bộ. 2.Nguyên tắc hoạt động • Nguyên tắc cơ bản của hệ phân tán là sự đồng bộ và đa tiến trình, trong trường hợp này, các tiến trình truy cập cùng một lúc và nhiều tài nguyên, để tránh điều này của giải pháp pháp chúng ta thực hiện truy cập loại trừ lẫn nhau, hay thực hiện một cách không đồng bộ bộ nhằm mục đích: – Tránh xung đột đường truyền – Tham gia sự ưu tiên trong đối tượng hệ thống máy . • Giải thuật này chia thành 2 giải pháp cơ bản: – Thứ nhất: đưa ra một thông điệp đặc biệt giữa các tiến trình, được gọi là biểu tượng token… • Phụ thuộc vào tổ chức của tiến trình • Tiến trình phải đợi tiến trình khác để xử lý(deadlock) – Thứ hai: Một tiến trình muốn truy cập vào tài nguyên khác thì phải được sự cho phép của tiến trình khác. • Tập trung dữ liệu. • Phân tán dữ liệu. 3.Mô hình truyền thông báo Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 5 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN • Các nút của đồ thị = các bộ xử lý p0, p1, , pn-1 • Các cạnh không định hýớng của đồ thị = các kênh hai chiều nối từng cặp nút • Mỗi bộ xử lý pi gắn nhãn cho các kênh kề nó 1, 2, 3, r (r là bậc của Pi). 4.Trạng thái • Mỗi bộ xử lý là một máy trạng thái – Mỗi trạng thái của p i có 2r thành phần đặc biệt outbuf i [l] và inbuf i [l], với l = 1 r • outbuf i [l] chứa các thông báo p i gửi cho nút bên cạnh trên kênh l nhưng chưa đến nơi • inbuf i [l] chứa các thông báo p i nhận được trên kênh l nhưng chưa xử lý – Tập trạng thái Q i chứa một tập con gồm các trạng thái ban đầu • Ở trạng thái ban đầu các inbuf i [l] phải rỗng – Hàm chuyển của p i có đầu vào (trạng thái khả truy nhập) không bao gồm các outbuf i [l] và đầu ra là một trạng thái có các inbuf i [l] rỗng 5.Cấu hình • Cấu hình là một vectơ C = (q 0 , , q n-1 ) trong đó q i là một trạng thái của p i – Trạng thái của các biến outbuf của cấu hình thể hiện các thông báo đang di chuyển trên các kênh truyền – Cấu hình ban đầu là một vectơ (q 0 , , q n-1 ) thỏa mãn mỗi q i là một trạng thái ban đầu của p i • Nói cách khác ở cấu hình ban đầu tất cả các bộ xử lý đều ở trạng thái ban đầu tương ứng • Có thể coi cấu hình là trạng thái tổng thể của toàn bộ hệ thống 6.Thực hiện và tính thỏa đáng • Các điều kiện đối với chuỗi các cấu hình xen kẽ sự kiện mô tả hoạt động của hệ thống – Điều kiện an toàn : điều kiện phải đúng với mọi tiền tố hữu hạn của chuỗi mô tả • Chưa có điều gì xấu xảy ra – Điều kiện sống động : điều kiện phải đúng một số lần nhất định (có thể vô hạn lần) Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 6 p 0 p 1 p 3 p 2 1 2 3 1 1 1 2 2 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN • Điều tốt sẽ đến • Thực hiện là một chuỗi mô tả thỏa mãn mọi điều kiện an toàn đặt ra • Thực hiện thỏa mãn mọi điều kiện sống động đặt ra được gọi là thực hiện thỏa đáng 7.Thực hiện không đồng bộ • Hệ thống gọi là không đồng bộ nếu không có cận trên đối với thời gian – từ lúc thông báo được gửi đi cho đến lúc giao – hoặc giữa các bước thực hiện của bộ xử lý • Thực hiện là chuỗi các sự kiện xen kẽ nhau: (giao,tính, giao, tính ) • Trường hợp sự kiện giao : thông báo đã cho được chuyển từ outbuf của bên gửi đến inbuf của bên nhận • Trường hợp sự kiện tính : trạng thái của bộ xử lý đã cho (bao gồm các outbuf) thay đổi theo hàm chuyển của nó 8.Giải thuật phát tràn không đồng bộ • Vấn đề đặt ra: Bộ xử lý p 0 muốn gửi một thông báo M cho tất cả các bộ xử lý khác trên mạng • Giải thuật - Khai báo các biến:  Biến color có hai giá trị green và red : Biến này dùng để kiểm tra xem bộ xử lý đã nhận được M hay chưa? + Nếu Color[i] = red thì bộ xử lý P i chưa nhận được thông báo M + Nếu Color[i] = green thì bộ xử lý P i đã nhận được M  Các inbuf và outbuf • outbuf i [l] chứa các thông báo p i gửi cho nút bên cạnh trên kênh l nhưng chưa đến nơi • inbuf i [l] chứa các thông báo p i nhận được trên kênh l nhưng chưa xử lý Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 7 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN - Khởi tạo: • Với p 0 , color là green và tất cả các outbuf chứa M • Với các bộ xử lý khác, color là red và các outbuf rỗng - Hàm chuyển • Nếu M nằm trong inbuf và color là red thì đổi color thành green và gửi M vào tất cả các outbuf - Bước lặp: • Trong các bộ xử lý kề với P 0 ta chọn một P i nào đó rồi thực hiện hai sự kiện: + Sự kiện giao tại P i từ P 0 + Sự kiện tính bởi P i • Sau đó tiếp tục xét một trong các bộ xử lý kề với P i mà chưa xét (đang ở trạng thái màu đỏ), giả sử một P k nào đó rồi tiếp tục thực hiện hai sự kiện nói trên đối với P k - Sự kiện : • Có hai loại sự kiện – Sự kiện giao : chuyển một thông báo từ outbuf của bên gửi đến inbuf của bên nhận • Thông báo sẽ được xử lý ngay khi bên nhận thực hiện sự kiện tính toán tiếp theo – Sự kiện tính : một bước thực hiện của bộ xử lý • Tương ứng với việc áp dụng hàm chuyển lên trạng thái khả truy nhập hiện thời - Kết thúc: • Giải thuật kết thúc khi biến color của tất cả các bộ xử lý trong mạng đều có giá tri bằng green 9.Độ phức tạp giải thuật phát tràn • Xác định trạng thái kết thúc – Trạng thái kết thúc có giá trị biến color là green • Độ phức tạp thông báo – Số thông báo gửi đi trong mọi thực hiện thỏa đáng là 2m, trong đó m là số cạnh của đồ thị Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 8 Trạng thái khả truy nhập cũ Trạng thái khả truy nhập mới Các thông báo gửi đi + Sự kiện tính - Xử lý các thông báo gửi đến - Chuyển trạng thái bộ xử lý TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN • Một thông báo được gửi đi trên mỗi cạnh theo mỗi hướng • Độ phức tạp thời gian – Thời gian tối đa đến khi kết thúc giải thuật là D + 1, trong đó D là đường kính của đồ thị • Đến thời gian t, thông báo M tới được tất cả các bộ xử lý cách p 0 t cạnh (hoặc nhỏ hơn) 10.Tính thoả đáng • Với mô hình không đồng bộ, một thực hiện là thỏa đáng nếu – Mọi thông báo trong các outbuf nhất định sẽ được giao – Mọi bộ xử lý thực hiện vô hạn bước tính 11.Độ phức tạp • Tập trung vào hiệu suất xấu nhất • Độ phức tạp thông báo là số tối đa các thông báo gửi đi trong thực hiện thỏa đáng • Độ phức tạp thời gian là thời gian tối đa đến khi kết thúc trong thực hiện thỏa đáng -Với mô hình không đồng bộ đo dựa trên các giả thiết • Thời gian xử lý một sự kiện là không đơn vị • Thời gian truyền một thông báo (từ sự kiện gửi đến sự kiện xử lý thông báo) tối đa là một đơn vị – Lưu ý : Độ chính xác của giải thuật không đồng bộ cần được chứng minh độc lập với các giả thiết thời gian D.Áp dụng giải thuật phát tràn không đồng bộ 1.Ví dụ về phát tràn không đồng bộ • Giả sử có một hệ phân tán gồm có 3 bộ xử lý P 0 , P 1 , P 2 được cho dưới dạng một mô hình truyền thông báo như sau: • • Bài toán: P 0 muốn gửi thông báo M cho tất cả các bộ xử lý khác ở trên mạng Giải quyết bài toán: • Áp dụng giải thuật phát tràn không đồng bộ để chuyển thông báo M từ P 0 tới tất cả các bộ xử lý khác ở trên mạng được minh hoạ như sau: • Khởi tạo: - P 0 chứa thông báo M - outbuf 0 (p 0 p 1 )=M, outbuf 0 (p 0 p 2 )=M - color(p 0 )=green, color(p 1 )=color(p 2 )=red, outbuf i ()={ } Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 9 p 2 p 0 p 1 M M green TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH  KHOA CÔNG NGHỆ THÔNG TIN • Bước lặp 1: Xét P 1 là nút kề với P 0 trên mạng - Thực hiện sự kiện giao tại P 1 từ P 0 (Tức là thực hiện việc: P 0 gửi thông báo M từ outbuf của P 0 sang inbuf của P 1 qua kênh P 0 P 1 ) Khi đó ta sẽ có: - Thưc hiện sự kiện tính bởi P 1, , tức là áp dụng hàm chuyển lên P 1 và xử lý thông báo gửi đến. - Sau khi thực hiện sự kiện tính colo(p1) =green và P 1 gửi M vào tất cả các outbuf của nó • Minh hoạ bước lặp 1: • Minh hoạ bước lặp 2: • Liệt kê các nút kề với P 1 rồi chọn một nút bất kỳ đang ở trạng thái màu đỏ để xét tiếp. Ở đây ta chọn P 2 là nút kề tiếp theo để xét. Tức là ta tiến hành thực hiện liên tiếp hai sự kiện giao và tính cho nút P 2 • Tại bước lặp này mọi nút trên mạng đều được chuyển sang màu xanh và thuật toán kết thúc Giảng viên hướng dẫn : Ths Trần Thị Gia - - Sinh viên thực hiên : Nhóm 2 p 0 p 2 p 1 green red red M M p 0 p 2 p 1 green red red M Sự kiện giao tại p 1 từ p 0 p 0 p 2 p 1 M M Sự kiện tính bởi p 1 M red green green 10 p 2 p 0 p 1 M M green    = = redPcolo MPPinbuf )( )( 1 101 [...]...TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH M . green green p0 M Sự kiện tính bởi p2 M p0 M p2 M Sự kiện giao tại p2 từ p1 p1 p2 M green red KHOA CÔNG NGHỆ THÔNG TIN M p2 p1 red M green p0 M p1 M green green green Minh hoạ tổng thể : green M p0 green M M p0 M p2 red Sự kiện giao tại p1 từ p0 p1 p2 red p1 red red green M green p0 p0 M M Sự kiện tính bởi... 0; // chua chuyen thanh mau green else return 1; //da chuyen mau green Giảng viên hướng dẫn : Ths Trần Thị Gia - 11 - Sinh viên thực hiên : Nhóm 2 TRƯỜNG ĐẠI HỌC SƯ PHẠM KỸ THUẬT VINH . KHOA CÔNG NGHỆ THÔNG TIN } int main() {int i,j; coutn; for(i=0;i . về hệ phân tán 1.Tổng quan về hệ phân tán 2 .Phân loại hệ phân tán 3.Vai trò của hệ phân tán 4.Đặc trưng của hệ phân tán 5.Mục tiêu hệ phân tán 6.Lý thuyết hệ phân tán 7.Các lĩnh vực ứng dụng C.Phát. thuật 2 .Phân loại hệ phân tán • Trước đây, HPT dược chia thành 3 loại: hệ điều hành hệ phân tán, cơ sở dữ liệu hệ phân tán và các hệ thống tính toán hệ phân tán • Ngày nay, HPT được phân chia như. mềm c free v5.0 hoặc DEV-C. B.Giới thiệu chung về hệ phân tán 1.Tổng quan về hệ phân tán Các khái niệm hệ phân tán • Định nghĩa 1: Hệ phân tán là tập hợp các máy tính tự trị được kết nối với nhau