1. Trang chủ
  2. » Luận Văn - Báo Cáo

BÁO cáo TIỂU LUẬN hệ PHÂN tán

37 667 2

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Tiêu đề Báo Cáo Tiểu Luận Hệ Phân Tán
Người hướng dẫn PGS.TS Lê Văn Sơn
Trường học Trường Đại Học Bách Khoa Đà Nẵng
Chuyên ngành Hệ Phân Tán
Thể loại Báo cáo tiểu luận
Thành phố Đà Nẵng
Định dạng
Số trang 37
Dung lượng 2,12 MB

Các công cụ chuyển đổi và chỉnh sửa cho tài liệu này

Nội dung

Hệ phân tán Hệ tin học phân tán hay nói ngắn gọn là hệ phân tán là hệ thống xử lý thông tin bao gồm nhiều bộ xử lý hoặc vi xử lý nằm tại các vị trí khác nhau và được liên kết với nha

Trang 1

ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA

BÁO CÁO TIỂU LUẬN

HỆ PHÂN TÁN

GVHD: PGS.TS LÊ VĂN SƠN HVTH: NGUYỄN THANH TRUNG LỚP: KHOA HOC MÁY TÍNH K24

Trang 2

Tang(E)        - Tăng lên 1 đơn vị cho công tơ đếm

Cho(E,i)        - Treo cho đến khi lớn hơn hay bằng I

Phép toán thứ i        Tang(E) -> Cho(E,i)              

Trang 3

NỘI DUNG BÁO CÁO

Trang 4

Lý thuyết tổng quan về hệ phân tán

I.1. Hệ phân tán

I.2. Các điểm mạnh trong hệ tin học phân tán I.3. Các mô hình ứng dụng phân tán

Trang 5

I.1 Hệ phân tán

 Hệ tin học phân tán hay nói ngắn gọn là 

hệ phân tán là hệ thống xử lý thông tin 

bao gồm nhiều bộ xử lý hoặc vi xử lý nằm  tại các vị trí khác nhau và được liên kết 

với nhau thông qua phương tiện viễn 

thông dưới sự điều khiển thống nhất của  một hệ điều hành.

Trang 6

I.2 Các điểm mạnh trong hệ tin học phân tán

 Cơ chế tính toán phân tán hỗ trợ truy cập các dữ liệu 

được lưu ở nhiều nơi

 Nhờ cơ chế nhân bản nên người dùng chỉ cần truy cập cục bộ cũng lấy được các thông tin từ các trung tâm 

chính ở rất xa

 Hệ thống nầy khắc phục được các hiểm họa địa phương

 Dữ liệu phân tán đòi hỏi phải được nhân bản và đồng bộ hóa cao

 Hệ phân tán được xây dựng trên giao thức TCP/IP và các kỹ thuật Web cùng với các ứng dụng trung gian 

(middleware) thúc đẩy việc tính toán phân tán

Trang 7

I.3 Các mô hình ứng dụng phân tán

Trang 8

Đồng bộ phân tán

II.1 Thời gian logic và trật tự sự kiện từng  phần [Lamport]

II.2 Gắn thời gian logic với các sự kiện

II.3 Thuật toán đóng dấu thời gian Lamport II.4 Các thuật toán

Trang 9

II.1 Thời gian logic và trật tự sự kiện từng

phần [Lamport]

 Trong hệ phân tán, việc đồng bộ hóa chủ yếu  yêu cầu thiết lập một trật tự giữa các sự kiện. 

 Trật tự đó thể hiện thông qua việc trao đổi các  thông điệp với nhau.

 Lamport đã đưa ra rằng hai sự kiện từ các trạm  khác nhau chỉ có thể có trật tự nếu chúng được  tách rời với nhau bằng cách gửi và nhận thông  điệp.

Trang 10

II.1 Thời gian logic và trật tự sự kiện…(tt)

a “xảy ra trước” c (a b) c) - bắc cầu -

Trang 13

 Trật tự các sự kiện được định nghĩa như sau:

- Nếu A và B là hai sự kiện của cùng một trạm và A xảy 

ra trước B thì ta có AB

- Nếu A là phát thông điệp từ một trạm nào đó và B là nhận thông điệp thì ta có AB

Nếu A B và BC, thì AC

 Nếu hai sự kiện A và B xảy ra ở hai tiến trình riêng 

biệt và không trao đổi thông điệp thì các tiến trình này được gọi là song song (A||B)

II.1 Thời gian logic và trật tự sự kiện…(tt)

Trang 14

II.2 Gắn thời gian logic với các sự kiện

 - Các đồng hồ lôgic: gán một số cho mỗi 

sự kiện cục bộ nhưng không liên quan đến  thời gian vật lý. 

 sự kiện b)a,b : nếu a b) b b) b)thì C(a) < C(b)

Điều kiện đồng hồ

a Pi

Trang 15

II.3 Thuật toán đóng dấu thời gian Lamport

Trang 16

II.4 Các thuật toán

Trang 17

II.4 Các thuật toán

Trang 18

Thuật toán giả phân tán : Hàng đợi tập trung

-  Có  một  trạm  điều  khiển  việc  cung  cấp  tài  nguyên. 

- Trạm điều khiển duy trì một hàng đợi chứa  các  yêu  cầu  và  cấp  cho  mỗi  trạm  quyền  truy cập vào miền găng theo lần lượt.

Trang 19

Thuật toán giả phân tán : Hàng đợi tập trung

Trang 20

Tiến trình 1 rời khỏi CS. 

Điều phối viên loại bỏ 1  khỏi hàng đợi và cấp  quyền truy cập cho tiến  trình đầu tiên trong hàng  đợi – đó là tiến trình 2

Trang 21

Thuật toán Lamport: Hàng đợi phân tán

 Thuật  toán  là  sự  suy  rộng  của  Hàng  đợi  tập  trung.

 Sử  dụng  cơ  chế  đóng  dấu  thời  gian  cho  việc  đồng bộ các đồng hồ lôgic. 

 Giả định các tiến trình liên lạc thông qua các 

kênh FIFO tin cậy. 

Trang 22

Các b)kiểu b)thông b)điệp b)

- (REQ, Ci, i) : Yêu cầu truy cập vào miền găng CS của 

Trang 23

Thuật toán yêu cầu Pi

 Trong đó:

timestamp( (m, c, i ) )  =  (c, i)

(c, i) < (d, j)   nếu   c < d hoặc ( c = d và i < j ) 

Thuật toán Lamport: Hàng đợi phân tán

Trang 24

Thuật toán nhận thông điệp của Pi

Trang 26

Giải quyết bài toán

 Trạm CS đặt công tơ NP’. khi trạm CS nhận 

được thông báo đã có một sản phẩm vừa được  sản xuất từ trạm PS thì NP’=NP’+1 

Trang 28

Giải quyết bài toán

Trang 29

 PS sản xuất ra một sản phẩm thì NP=NP+1 và trạm PS 

sẽ gửi thông điệp đến cho trạm CS 

 Khi nhận được thông điệp từ trạm PS thông báo có sản phẩm vừa được sản xuất trạm CS sẽ tăng giá trị công tơ 

sự kiện NP’ thêm một đơn vị (tang(NP’)). 

 Sau mỗi lần tiêu thụ sản phẩm thì NC=NC+1 và CS gửi thông điệp thông báo cho trạm PS biết có sản phẩm vừa được tiêu thụ

Trang 31

Trạm PS thực hiện sản xuất thứ i, NP = i. 

Sau  khi  sản  xuất  PS  gửi  thông  điệp  thông  báo  cho  trạm 

CS. 

 Khi nhận được thông điệp từ PS trạm CS thì 

NP’ = NP’ + 1. 

Khi đó NP’ = i, NC = i-1 nên NP’ – NC > 0 thỏa mãn, lúc này trạm CS có thể thực hiện việc tiêu thụ thứ i. 

Như vậy sản xuất thứ i có trước tiêu thụ thứ i

Pi → Ci 

Giải quyết bài toán

Trang 32

Chứng minh Ci → Pi+N

Xét tại trường hợp tiêu thụ thứ i-1. 

Tại trạm tiêu thụ CS, SLSPTT là NC = i - 1Tại trạm sản xuất PS, SLSPSX giả sử là:

Trang 33

Như vậy, Pi+N không thể có trước Ci. 

Giải quyết bài toán

Trang 34

 Khi trạm CS tiêu thụ sản phẩm thứ i, sẽ gửi cho trạm PS thông điệp vừa có một sản phẩm được tiêu thụ. 

Trang 35

 Như vậy, quan hệ sản xuất và tiêu thụ có quan hệ có trước như sau:

Trang 36

Thuật b) toán b) tại b) trạm b) tiêu b) thụ b)CS:

Vòng lặp

Nếu receive(PS)

tang(NP’) cho(NP’,NP b)+ b)1) tieu_thu()

Trang 37

Nguyễn Thanh Trung Email: trung244@gmail.com

Ngày đăng: 26/12/2013, 11:10

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w