ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA - - TIỂU LUẬN MÔN HỌC HỆ TIN HỌC PHÂN TÁN Đề tài: TÌM HIỂU GẮN BĨ TRÊN CƠ SỞ DẤU TRONG THUẬT TOÁN Giảng viên hướng dẫn: PGS.TS Lê Văn Sơn Học viên thực hiện Lớp Niên khóa : Nguyễn phương Đoàn trọng thành : Khoa học máy tính : 2012- 2014 Đà Nẵng 11/2014 GVHD: PGS.TS Lê Văn Sơn Trang LỜI NÓI ĐẦU - Hệ tin học phân tán lĩnh vực mẽ, ứng dụng ngày rộng rãi, giải hiệu nhiều toán mà hệ tin học tập trung không đáp ứng đáp ứng phần Hiện tại, nội dung mang tính lý thuyết nguyên lý hệ tin học phân tán nhiều vấn đề chưa giải triệt để mục tiêu khám phá nhiều nhà nghiên cứu công nghệ thông tin Với mong muốn tìm hiểu nắm vững nội dung nguyên lý hệ tin học phân tán để triển khai ứng dụng phân tán thực tế, tiểu luận môn học "Hệ tin học phân tán" hội tốt chúng tơi tìm hiểu lĩnh vực Trong phạm vi tiểu luận mình, chúng tơi trình bày vấn đề sau: Phần I: Lý thuyết Trong chương 1chúng tơi trình bày khái niệm kiến thức chung hệ tin học phân tán Chương chúng trình bày thuật tốn gắn bó sở dấu Phần II: Bài tập Đây toán dựa vào thuật toán Mullery Trong hệ thống phân tán giả định có độ ổn định tuyệt vời, ta muốn trì gắn bó mạnh đối tượng định vị trạm khác Thuật toán dựa nguyên lý sau : • Trước thực cập nhật, trạm cần phải yêu cầu thống với trạm khác • Khi có thống nhất, trạm tiến hành cơng việc cập nhật; điều phải tiến hành tất sao; đối tượng truy cập chừng cịn chưa cập nhật hết • Các xung đột trạm giải trật tự có hệ số ưu tiên trạm, cố định lần lúc khởi cho tồn Hỏi có trạng thái khác cần xem xét cho Hãy tr ình bày sơ đồ hoạt động thuật tốn (đồ thị phát triển) Hãy đánh giá hàm số lượng sao, số lượng thông điệp cần thiết để thực cập nhật Ta phải sửa đổi thuật toán để chịu đựng cố trạm (giả sử hệ viễn thông hoạt động tốt) .Xin chân thành cảm ơn Thầy Lê Văn Sơn trang bị kiến thức thông tin môn học giới thiệu tài liệu tài liệu thiết thực để chúng tơi hồn thành tiểu luận Với kiến thức có hạn nên tiểu luận không tránh khỏi sai sót Rất mong nhận góp ý Thầy anh chị lớp Nhóm thực GVHD: PGS.TS Lê Văn Sơn Trang A LÝ THUYẾT CHƯƠNG I: CÁC KHÁI NIỆM CƠ BẢN VÀ KIẾN THỨC CHUNG VỀ TIN HỌC HỆ PHÂN TÁN I.1 Khái niệm: Hệ tin học phân tán hay nói ngắn gọn hệ phân tán hệ thống xử lý thông tin bao gồm nhiều xử lý vi xử lý nằm vị trí khác liên kết với thông qua hệ thống viễn thông điều hành thống hệ điều hành Từ định nghĩa này, người ta xem hệ phân tán tập hợp bao gồm xử lý vi xử lý với nhớ đồng hồ nhịp độc lập Điều đồng nghĩa với việc xử lý không sử dụng chung nhớ đồng hồ Như vậy, hệ xử lý thông tin thành phần hệ phân tán bao gồm hay nhiều xử lý nhớ cục Hệ xử lý thông tin thành phần phải thiết kế cho cấu trúc, số lượng dung lượng cho phép thực cách trọn vẹn chức mà đảm nhận Hệ phân tán xây dựng nhằm mục đích phân tán hố q trình xử lý thơng tin thực cơng việc trạm xa Đó sở cho việc xây dựng ứng dụng lớn thương mại điện tử, giáo dục điện tử, thư viện điện tử số, xây dựng sở liệu tìm kiếm… Ta nói hệ phân tán bao gồm thực thể hình vẽ * Ưu nhược điểm của hệ phân tán a) Ưu điểm  Chia xẻ tài nguyên: Chia xẻ tài nguyên hệ thống phân tán cung cấp chế để chia xẻ tập tin vị trí xa, xử lý thơng tin sở liệu phân tán, in ấn vị trí xa, sử dụng thiết bị xa để thực thao tác…  Tăng tốc độ tính tốn: Hệ thống phân tán cho phép phân chia việc tính tốn nhiều vị trí khác để tính tốn song song GVHD: PGS.TS Lê Văn Sơn Trang  An tồn: Nếu vị trí hệ thống phân tán bị hỏng, vị trí khác tiếp tục làm việc mà không ảnh hưởng đến tồn hệ thống  Thơng tin liên lạc với nhau: Có nhiều lúc, chương trình cần chuyển đổi liệu từ vị trí sang vị trí khác Khi vị trí nối kết với hệ thống mạng, việc trao đổi liệu diễn dễ b) Hạn chế  Giá phát triển phần mềm cao: Do khó khăn cài đặt hệ thống phân tán, giá thành tăng lên  Dễ mắc lỗi hơn: Vì trạm hệ phân tán làm việc song song, khó đảm bảo thuật toán thực tất trạm Do mà số lỗi tăng lên  Khối lượng xử lý tăng: Hệ thống phân tán cần truyền nhiều thơng báo, nhiều tính tốn phụ Do khối lượng xử lý tăng lên so với hệ thống tập trung I.2 Vấn đề trỏ thông tin Trong hệ phân tán, thời hạn truyền thông điệp hiệu số thời điểm nhận thời điểm truyền Ta giả sử rằng, thời hạn đủ lớn so sánh với hệ tập trung, địa lượng biến thiên cặp máy khác với cặp máy khác Từ ta có hai hệ sau đây: 1) Ở thời điểm cho trước, xử lý thực máy biết trạng thái gần máy khác 2) Trật tự nhận thông điệp máy nhận khơng giống trật tự phát thơng điệp Các máy mạng bị cố thơng điệp bị Giải pháp cho vấn đề máy phát đánh số thứ tự tất gói thơng tin gửi kèm theo số cho máy nhận Nếu máy phát khơng đánh số máy nhận khơng xác đinh thứ tự gói tin Ta có hệ ba là: 3) Hai máy giống chứa thơng tin hồn tồn giống lại khơng giống mặt trạng thái Từ vấn đề nêu trên, ta rút đặc tính tổng quát hệ phân tán: i) Thời gian truyền thông điệp biến với giá trị khác nhau, giá trị lớn ii) Tần suất xuất cố vận hành mạng lớn iii) Việc truy cập tài nguyên, kích hoạt tiến trình mạng khơng thể thực thiết bị nhất, mà chức phải phân tán nhiều máy mạng I.3 Vấn đề hệ thống nhiều GVHD: PGS.TS Lê Văn Sơn Trang * Trong hệ phân tán, trình tổ chức, vận hành hệ thống cho phép đăng ký từ xa, hệ thống cục có lưu trữ tất thông tin liên quan có tất hệ thống cục Ưu điểm bật kiểu tổ chức là: i) Dễ dàng thực việc truy cập thông tin cần thiết cho yêu cầu hệ thống cục ii) Cho kết truy cập cách nhanh chóng Tuy nhiên, cho kết qủa tương đối xác phụ thuộc nhiều vào phương pháp thời hạn cập nhật thông tin CSDL cục * Sự tồn nhiều hệ phân tán nhiều hệ thống cục khác dẫn đến hệ sau đây: i) Cập nhật thông tin diễn đăng ký gần hay từ xa thay đổi thông tin cục hệ cục cần phải tiến hành cho tất hệ thống cục không phép bỏ sót hệ thống khoản thời gian làm tươi, thông tin phải đảm bảo cho việc truy vẩn liệu cho kết kịp thời hay đặt truy vấn trạng thái treo ii) Cần phải tránh trường hợp thao tác hai khác chứa thông tin truy cập hai hay nhiều yêu cầu dẫn đến không gắn bó Hai vấn đề vừa nêu xác định ràng buộc vấn đề gắn bó liệu Để đảm bảo gắn bó điều kiện đủ phải bắt buộc tuân thủ trình tự cho sao, cập nhật thơng tin Biện pháp hàng đầu nhằm thực việc loại trừ tương hỗ tổng quát tập hợp đăng ký thực việc đăng ký trước trả lại bình thường Biện pháp có mặt hạn chế khơng cho phép chương trình đăng ký thực song song Tất khoá chặt lúc đăng ký I.3.1 Thuật tốn cung cấp: Vì ổn định hiệu mà ta phải phân tán chức cung cấp nhiều trạm khác Sự hoạt động gắng bó với chương trình cung cấp cần thiết để bảo đảm cho hoạt động cung cấp hồn tồn xác Một hoạt động gắn bó liệu chương trình cung cấp phân tán quản lý tập hợp tài nguyên đạt tuân thủ nguyên tắc sau: i) Các cung cấp bắt buộc phải thực giải thuật ii) Các cung cấp nhận tất thông điệp phát từ tiến trình iii) Các thơng điệp phải xử lý trật tự chương trình cung cấp Trật tự tập hợp thông điệp hệ, trật tự thực thơng qua việt hợp lực tiến trình cung cấp hay tiến trình phát thơng điệp GVHD: PGS.TS Lê Văn Sơn Trang I.3.2 Sắp xếp kiểu đóng dấu Trạm phát gắn giá trị gọi dấu Giá trị có tính chất thời điểm cho trạm phát thông tin dựa vào đồng hồ lô gích cục trạm I.3.2.1 Nguyên lý: Tập hợp tất yêu cầu cập nhật xếp theo kiểu tất trạm nhờ chế dấu Theo yêu cầu phát cho tập hợp trạm, trạm tồn tiến trình server đảm nhận nhiệm vụ tiếp nhận yêu cầu theo trật tự dấu Điều cho phép có gắn bó yếu I.3.2.2 Triển hệ số ổn định: giao dịch cần xét khả đọc, ghi hay cập nhật Cập nhật xác định dãy thao tác đọc ghi, thao tác kiểm tra - đọc tức trạng thái hành Mỗi server tiếp nhận yêu cầu ghi đến trạm cục thời điểm cho trước tiếp nhận u cầu tính tốn sở dấu theo tiêu chí lâu Điều dẫn đến cần phải ý hai trường hợp: Trường hợp 1:tập hợp yêu cầu ghi chờ chứa cá yêu cầu từ tất trạm khác Trong trường hợp yêu cầu qua, chúng tồn tại, so với yêu cầu qua Nói cách khác, yêu cầu lâu yêu cầu chờ Trường hợp 2: tồn trạm mà khơng có u cầu truyền đến Ta giải cách truyền cho tất trạm thông điệp yêu cầu bắt buộc phải xác nhận Do vậy, sau khoảng thời gian theo giả thiết độ ổn định ta xác nhận: yêu cầu qua, trả lời thông điệp yêu cầu Lúc này, ta nói thơng điệp đến từ tất trạm I.2.2.3 Các hành vi bên chế độ bình thường: Có hai vấn đề mở rộng thuật toán cho phép rút hay chèn vào tuỳ ý trạm Điều đó, dẫn đến hai vấn đề sau cần phải tôn trọng: Vấn đề 1: Việc biến trạm pahỉ trạm khác nhận biết cách tự động Vấn đề 2: việc phát thơng điệp phép tốn khơng thể chia cắt Đó thơng điệp tất trạm phải nhận không trạm nhận Vì vậy, điều kiện khống chế điều kiện thứ hai đảm bảo I.3.3 Thuật tốn đảm bảo gắn bó yếu nhờ tuần hoàn: I.3.3.1 Nguyên lý: trước phát yêu cầu trạm cần phải kết hợp với số thứ tự cấp từ tuần hoàn Các yêu cầu tiếp nhận mỗ trạm theo trật tự thống Điều giúp ta có gắn bó yếu Điều cần quan tâm chế phân phối số dựa tảng tổ chức trạm theo kiểu vòng tròn ảo I.3.3.2 Triển khai hệ số ổn định: cung cấp cho yêu cầu số tới chưa dùng, giả sử dó T Khi đến phiên trạm nhận tuần tự, yêu cầu số GVHD: PGS.TS Lê Văn Sơn Trang lượng n số số lượng yêu cầu cập nhật chờ trạm Các số là: T, T + 1, T + 2, ….T + n – Nó tiếp tục chuyển cho trạm liền sau số tới chưa dùng đến T + n Khi trạm có cố, phát yêu cầu cập nhật vơi số Trên trạm, cập nhật thực cách tiếp nhận yêu cầu số liên tiếp nhau( theo trật tự) Để xác định yêu cầu đến cần phải xử lý , trạm trì biến số V phối hợp với yêu cầu xử lý cuối Các yêu cầu mang số lớn V + lưu trữ chờ xử lý yêu cầu V + I.3.3.3 Các hành vi chế độ bình thường: Hiện người ta chế tạo thành công đưa vào sử dụng cách ổn đọnh mạng số giao thức cho phép tái sinh bị đặt cấu hình vịng trịn ảo trở lại theo kiểu tự động Các giao thức hoạt động điều kiện giả định mạng viễn thông cho phép phát cố trạm cần phải bổ khuyết cách đầy đủ nhằm trì trật tự tồn phần cần thiết cho việc gắn bó: Vấn đề 1: Việc tái sinh cần phải tiến hành song song với việc tính tốn số có để dùng Vấn đề 2: Khi phát có trạm bị cố, ta cần phải xác định số mà trạm lấy số chưa sử dụng, gửi yêu cầu có mang số Vấn đề 3: Việc cho trạm hội nhập vào lại vòng tròn cần phải tiến hành song song với việc cập nhật lại Sử dụng số liên tục cho phép tránh tượng vài cập nhật bị lần mà không phát Việc triển khai tuần hoàn làm cho ta gặp phải số khó khăn khác I.3.4 Thuật tốn đảm bảo gắn bó mạnh: I.3.4.1 Ngun lý: tập hợp bao gồm trạm tổ chức theo kiểu vòng tròn ảo cập nhật thực theo hai thì: Thống trạm Thực cập nhật Do vậy, thuật toán đảm bảo gắn bó mạnh Nếu có nhiều yêu cầu cập nhật diễn đồng thời ta phải có quy tắc để định yêu cầu tiếp nhận thỏa mãn Nhằm phục vụ cho ý tưởng đó, ta thường hay sử dụng dấu phối hợp cho cập nhật ta xử lý yêu cầu có thời gian lâu I.3.4.2 Triển khai hệ số ổn định: Trạng thái cảu trạm là: STT Trạng thái Giải thích Trạm khơng thực cập nhật Nghỉ ngơi GVHD: PGS.TS Lê Văn Sơn Trang Hoạt động Trạm đãnhận yêu cầu cập nhật cục mà yêu cầu truyền cho trạm khác để kiểm tra Thụ động Trạm đồng ý cho cập nhật chờ trật tự tương ứng Cập nhật Trạng tình trạng chuyển cập nhật , tất yêu cầu khác truyền đến lưu trữ Chúng xử lý quay trạng thái khác Lúc khởi sự, tất trạm trạng thái nghỉ ngơi Trạm khởi việc cập nhật , cần phải gửi yêu cầu cho phép cập nhật, làm việc trạng thái nghỉ ngơi Lúc nhận dấu gửi vào vòng tròn trạm khởi chuyển từ trạng thái nghỉ ngơi sang trạng thái hoạt động Nếu có u cầu đưa vào vịng trịn, qua tất trạm để chuyển trạm từ nghỉ ngơi sang thụ động đó, trở nơi khởi việc thống coi hồn tất việc cập nhật nói riêng lúc gửi trạm sau thực trở trạng thái nghỉ ngơi Nếu có nhiều yêu cầu đưa đồng thời vịng trịn, tình hình dễ dàng diễn xung đột lúc này, ta phải chọn yêu cầu có thời gian dấu lâu Để tiến hành cơng việc đó, ta nêu bật vai trò chắn đường cho trạm khởi Một trạm trạng thái nghỉ ngơi hay thụ động phải chuyển toàn yêu cầu đến nó, trạm trạng thái hoạt động phải chuyển yêu cầu có thời gian lâu u cầu mà phát đi, u cầu khác bị dừng lại lưu trữ Các yêu cầu bị lưu trữ lại gửi tiếp vào vịng trịn, trạm lưu trữ chúng hồn thành cơng việc cập nhật riêng I.3.4.3 Hành vi ngồi chế độ bình thường: Các giao thức đặt lại cấu hình vịng trịn theo kiểu tự động sử dụng nhằm rút hay cho vào tùy ý số trạm định Các cố kỹ thuật khó khăn phát chiến lược mà dó u cầu khơng ghi lại khắp nơi mạng I.3.5 Phân tán biểu trạng thái chức cung cấp Phân tán biểu trạng thái chức cung cấp, có giải pháp có thể: i) Duy trì trạm trạng thái tài nguyên tổng quát ii) Phân tán biểu trang thái trạm, trạm có trạng thái tài nguyên cục Các định đưa trạm khác cần phải phối hợp theo kiểu cho liệu việc cung cấp phải gắn bó với iii) Nhóm xếp nhằm bảo đảm cho tất yêu cầu tài nguyên xuất phát từ tiến trình đến cung cấp khác theo trật tự cố định từ trước Nội dung trạm hệ phản ảnh sau: GVHD: PGS.TS Lê Văn Sơn Trang - Tập hợp tất tài nguyên chưa cung cấp - Tập hợp tài nguyên cung cấp - Đối tượng chiếm giữ tài nguyên - Kiểu sử dụng - Tập hợp yêu cầu không thỏa mãn - Tập hợp thông điệp dành cho trường hợp sử dụng - Tập hợp thông điệp dành cho trường hợp thất bại Ngày nay, ứng dụng lớn thương mại điện tử, giáo dục điện tử,…, liệu sử dụng để tăng tính sẵn sàng liệu Tuy nhiên, lợi ích sẵn sàng liệu có phải trả giá thuật toán phức tạp để ẩn tính phức tạp việc bảo trì nhiều đối tượng Sự khó khăn nằm việc phải đảm bảo gắn bó cho đối tượng để tránh bế tắc vận hành hệ thống Các thuật toán giải vấn đề gọi thuật toán điều khiển Việc quản lý nhiều đối tượng thông tin nhà chuyên môn tin học quan tâm nghiên cứu giai đoạn phân tích, thiết kế xây dựng hệ điều hành Ngồi ra, cịn vấn đề có tính chất sở cho ứng dụng phức tạp Quản lý nhiều giải pháp kỹ thuật bao gồm tập hợp thông tin nhân từ đối tượng thông tin chương trình quản lý chúng mơi trường phân tán Vấn đề truy cập xử lý thông tin phân tán nói chung, quản lý nhiều nói riêng nghiên cứu hàng loạt cơng trình Herman, Ellis, Wilms Le Lann Thuật toán đảm bảo gắn bó yếu nhờ dấu, trình bày cơng trình nghiên cứu Herman Nội dung quản lý nhiều giải pháp cho phép tự động hóa cơng việc: Kiểm tra tính hợp lệ việc truy cập thông tin Khôi phục thơng tin Cập nhật thơng tin An tồn liệu cho Sử dụng nhớ, đĩa Chuyển loại bỏ vào vùng khơi phục Trong nội dung nêu trên, vấn đề quan trọng cập nhật tự động thông tin vào GVHD: PGS.TS Lê Văn Sơn Trang CHƯƠNG II: THUẬT TỐN ĐẢM BẢO SỰ GẮN BĨ ́U NHỜ DẤU II.2.1 NGUYÊN LÝ Tập hợp yêu cầu cập nhật xếp theo kiểu tất trạm nhờ chế dấu Theo yêu cầu phát cho tập hợp trạm Trên trạm, tồn tiến trình Server đảm nhận nhiệm vụ tiếp nhận yêu cầu theo trật tự dấu Điều cho phép có gắn bó yếu II.2.2 KHAI TRIỂN HỆ ỔN ĐỊNH Các giao dịch cần xét khả đọc, ghi hay cập nhật Cập nhật xác định dãy thao tác đọc ghi, thao tác kiểm tra đọc tức trạng thái hành Mỗi server tiếp nhận yêu cầu ghi đến từ trạm cục thời điểm cho trước Nó tiếp nhận u cầu tính tốn sở dấu theo tiêu chí lâu Khi trạm i truyền thông điệp cho trạm j, Trật tự nhận thơng điệp j hồn tồn giống với trật tự thông điệp phát Giả thiết kiểm tra mạng thông thường Việc xác định yêu cầu cần xử lý trạm hồn tồn Có trường hợp cần xem xét: STT Trường hợp Tập hợp yêu cầu ghi chờ chứa yêu cầu từ tất trạm khác Trong trường hợp yêu cầu qua, chúng tồn tại, so với yêu cầu qua Nói cách khác, u cầu lâu u cầu chờ Tồn trạm mà yêu cầu truyền đến Ta đưa trường hợp trước cách truyền cho tất trạm thông điệp yêu cầu bắt buột phải xác nhận Do vây, sau khoảng thời gian, theo giả thiết độ ổn định, ta nhận yêu cầu qua, trả lời cho thông điệp yêu cầu Lúc này, ta có thơng điệp đến từ tất trạm II.2.3 CÁC HÀNH VI NGOÀI CHẾ ĐỘ BÌNH THƯỜNG Hai vấn đề mở rộng thuật toán cho phép rút hay chen vào tùy ý trạm Ngược lại, thuật tốn sống trường hợp có cố, điều kiện sau tôn trọng: STT Điều kiện Việc biến trạm phải trạm khác nhận biết tự động Việc phát thông điệp phép tốn khơng chia cắt Đó thơng điệp tất phải nhận không trạm nhận GVHD: PGS.TS Lê Văn Sơn Trang 10 Vì vậy, việc tuân thủ hai điều kiện đặt cho tình hình điều kiện khống chế, điều kiện thứ hai khó đảm bảo PHẦN B : BÀI TẬP Đề bài: Đây toán dựa vào thuật toán Mullery Trong hệ thống phân tán giả định có độ ổn định tuyệt vời, ta muốn trì gắn bó mạnh đối tượng định vị trạm khác Thuật toán dựa nguyên lý sau: Trước thực cập nhật, trạm cần phải yêu cầu thống với trạm khác Khi có thống nhất, tiến hành cập nhật; việc cập nhật tiến hành tất sao; đối tương truy nhập chừng chưa cập nhật hết Các xung đột trạm giải trật tự có hệ số ưu tiên trạm, cố định lần lúc khởi tạo Câu hỏi: Hỏi có trạng thái khác cần xem xét cho Hãy tr ình bày sơ đồ hoạt động thuật toán (đồ thị phát triển) Hãy đánh giá hàm số lượng sao, số lượng thông điệp cần thiết để thực cập nhật Ta phải sửa đổi thuật toán để chịu đựng cố trạm (giả sử hệ viễn thơng hoạt động tốt) Trả lời: Có trạng thái cần xem xét cho STT Trạng thái Giải thích Nghỉ trạm khơng thực cập nhật Hoạt động chấp nhận yêu cầu cập nhật yêu cấu truyền đến trạm khác để kiểm tra Chờ Đồng ý cho cập nhật chờ đến trạng thái ưu tiên Cập nhật Đang cập nhật, yêu cầu khác đến lưu trữ Sơ đồ hoạt động tuật toán GVHD: PGS.TS Lê Văn Sơn Trang 11 Yêu cầu cập nhật Đồng ý ? Cập nhật tất e1, e2, , en hết Kiểm tra số trạm cập nhật hết ? Chuyển sang trạm Kiểm tra hệ số ưu tiên? sai kết thúc Đánh giá số lượng sao, số lượng thông điệp: GVHD: PGS.TS Lê Văn Sơn Trang 12 Gọi M số trạm hệ phân tán n số lượng đối tượng k số đối tượng trạm Số lượng hệ thống = n M k Với đối tượng, để cập nhật ta thực bước sau: Cho i =1 đến n thực v_viết (ei) < Thực cập nhật chép lại chúng vào tất bản> Cho i = đến n thực giai_phong(ei) Như vậy, số lượng thông điệp để thực cập nhật đối tượng = 2.n Với k đối tượng ta có số thơng điệp = k 2n Hệ thống có M trạm, số thông điệp : (M-1) k 2n Giả sử hệ thống viễn thông hoạt động tốt, thuật toán phải sửa đổi để chịu đựng cố trạm Khi gửi thông điệp để cập nhật đồng thời kiểm tra phản hồi từ trạm xác định trạm có bị cố hây không TÀI LIỆU THAM KHẢO GVHD: PGS.TS Lê Văn Sơn Trang 13 Hệ phân tán – TS Lê Văn Sơn, Nhà xuất bản Đại học quốc gia TP Hồ Chí Minh Nguyên lý các hệ sở liệu – Sách dịch Jeffery Ullman – Nhà xuất bản thống kê Distributed Systems (Concepts and Design) – George Coulouris, Jean Dollimore & Tim Kindberg http://hoclieumo.com/course/info.php?id=68 Tổng kết các công cụ xây dựng HPT: http://itp.hut.edu.vn/bkel/course/info.php?id=84 Distributed systems engineering: http://www.iop.org/EJ/journal/DSE Introduction for distributed systems: http://code.google.com/edu/parallel/dsdtutorial.html Thuật toán wait-die system: http://data.uta.edu/~ramesh/cse5306/DC2.html Những example distributed systems: http://portal.acm.org/citation.cfm? doid=320251.320260 GVHD: PGS.TS Lê Văn Sơn Trang 14 ... khái niệm kiến thức chung hệ tin học phân tán Chương chúng tơi trình bày thuật tốn gắn bó sở dấu Phần II: Bài tập Đây toán dựa vào thuật toán Mullery Trong hệ thống phân tán giả định có độ ổn định... dụng phân tán thực tế, tiểu luận môn học "Hệ tin học phân tán" hội tốt chúng tơi tìm hiểu lĩnh vực Trong phạm vi tiểu luận mình, chúng tơi trình bày vấn đề sau: Phần I: Lý thuyết Trong chương... VỀ TIN HỌC HỆ PHÂN TÁN I.1 Khái niệm: Hệ tin học phân tán hay nói ngắn gọn hệ phân tán hệ thống xử lý thông tin bao gồm nhiều xử lý vi xử lý nằm vị trí khác liên kết với thơng qua hệ thống viễn