... CÁCGIẢI PHÁP ĐỒNGBỘGiải pháp busy waiting 1.1 Cácgiải pháp phần mềm (đồng chương trình) a) Sử dụng biến cờ hiệu: Cáctiếntrình dùng chung biến lock (khoá cửa) , với ý nghĩa sau: lock=0 tiến ... đến có tiếntrình khác gọi WAKEUP để giải phóng cho Một tiếntrình gọi WAKEUP khỏi miền găng để đánh thức tiếntrình chờ, tạo hội cho tiếntrình vào miền găng : Cấu trúc chương trìnhgiải pháp ... - |e(s)| = số tiếntrình chờ f(s) - Có thể dùng semaphore để giảitoán miền găng hay đồngtiếntrình * Giảitoán miền găng Semaphores: Dùng semaphore s, e(s) khởi gán Tất tiếntrình áp dụng cấu...
... ng N u ti n trình Pi ang th c thi mi n t ng tr c, ti n trình khác có th th c thi mi n t ng tr c c a Ti n tri n N u ti n trình ang th c thi mi n t ng tr c c a có t n t i vài ti n trình ang mong ... hành ̈ Các bi n chia s H boolean flag[2]; kh i u flag [0] = flag [1] = false H flag [i] = true Pi s n sàng b c vào mi n t ̈ Ti n trình Pi ̈ C u trúc t ng quát c a ti n trình Pi (ti n trình P1-j) ... i quy t toán mi n t ng tr c { entry section critical section exit section reminder section } while (1); ̈ Các ti n trình có th chia s m t s bi n chung ng c a chúng c vào mi n t ̈ Ti n trình Pi...
... dựng cấu trúc chương trìnhtương ứng Bài : Xét hai tiếntrình sau : process A { while (TRUE) na = na +1; } process B { while (TRUE) nb = nb +1; } a Đồnghoá xử lý hai tiếntrình trên, sử dụng ... đoạn chương trình để bảo đảm X không vượt 20 ? Bài 7: Xét hai tiếntrình xử lý đoạn chương trình sau : process P1 { A1 ; A2 } process P2 { B1 ; B2 } Đồnghoá hoạt động hai tiếntrình cho A1 ... b Nếu giảm điều kiện na
... Chương 7: Đồnghóatiếntrình Đưa toán s Tại cần đồnghóatiến trình? s Đối tượng tác động? s Thuật ngữ miền găng? Nguyên lý hệ điều hành Nguyễn Văn Huy – KTMT - 2008 Chương 7: Đồnghóatiếntrình ... KTMT - 2008 Chương 7: Đồnghóatiếntrình Kiến thức sinh viên phải nắm dược sau chương s Nhiệm vụ việc đồnghóatiếntrình s Hiểu áp dụng giải pháp đồng bộ, đặc biệt với giải pháp “sleep and wakeup” ... KTMT - 2008 Chương 7: Đồnghóatiếntrình 3.1.1 Cácgiải pháp phần mềm c) Giải pháp Peterson s Tiếp cận : Petson đưa giải pháp kết hợp ý tưởng hai giải pháp kể Cáctiếntrình chia sẻ hai biến...
... tình tương tranh, tiếntrình cần đồng theo phương thức ⇒ Vấn đề nghiên cứu: ĐồnghóatiếntrìnhThuật ngữ: Critical section Thuật ngữ tiếng Việt: Đoạn mã găng, đoạn mã tới hạn Xét hệ có n tiếntrình ... n tiếntrình cần có là: Khi tiếntrình Pi thực đoạn mã CSi tiếntrình Pj khác phép thực CSj Mỗi tiếntrình Pi phải “xin phép” (entry section) trước thực CSi thông báo (exit section) cho tiếntrình ... (TRUE); 27 Bài toántiếntrình đọc - ghi Thuật ngữ: the reader-writer problem Tình huống: Nhiều tiếntrình thao tác sở liệu Một vài tiếntrình đọc liệu (ký hiệu: reader) Một số tiếntrình vừa đọc...
... tình tương tranh, tiếntrình cần đồng theo phương thức ⇒ Vấn đề nghiên cứu: ĐồnghóatiếntrìnhThuật ngữ: Critical section Thuật ngữ tiếng Việt: Đoạn mã găng, đoạn mã tới hạn Xét hệ có n tiếntrình ... n tiếntrình cần có là: Khi tiếntrình Pi thực đoạn mã CSi tiếntrình Pj khác phép thực CSj Mỗi tiếntrình Pi phải “xin phép” (entry section) trước thực CSi thông báo (exit section) cho tiếntrình ... (TRUE); 27 Bài toántiếntrình đọc - ghi Thuật ngữ: the reader-writer problem Tình huống: Nhiều tiếntrình thao tác sở liệu Một vài tiếntrình đọc liệu (ký hiệu: reader) Một số tiếntrình vừa đọc...
... trống 1 REL ACK C Tiếntrình rời khỏi CS Điều phối viên loại bỏ khỏi hàng đợi cấp quyền truy cập cho tiếntrình hàng đợi – tiếntrìnhThuậttoánđóng dấu thời gian Lamport • Thuậttoán suy rộng Hàng ... CS tiếntrình Pi • (REP, Ci, i) : Hồi âm từ tiếntrình Pi cho tiếntrình Pj Pi nhận yêu cầu từ Pj • (REL, Ci, i) : Thông điệp giải phóng từ Pi thông báo cho biết rời khỏi CS Các biến tiến trình: ... thời gian cho việc đồngđồng hồ lôgic • Giả định tiếntrình liên lạc thông qua kênh FIFO tin cậy Thuật toánđóng dấu thời gian Lamport Các qui luật: Quy luật 1: Mỗi tiếntrình Pi gia tăng Ci...
... vùng tươngtranh nhiều sau lần Pj vào vùng tươngtranh 4.2.4 Giải pháp cho nhiều tiếntrình (giải thuật Bakery) Trước vào vùng tương tranh, tiếntrình Pi nhận số tiếntrình giữ số nhỏ vào vùng tương ... thị tiếntrình running nhớ Đây chất việc thực tiếntrình hệ thống CPU 2.4 Giao tiếp tiếntrình 2.4.1 Cộng tác tiếntrìnhCáctiếntrình thực thi hệ điều hành tiếntrình độc lập hay tiếntrình ... trọng hệ thống tiếntrình thực thi vùng tương tranh, tiếntrình khác phép thực thi vùng tươngtranh Do đó, việc thực thi vùng tươngtranhtiếntrình loại trừ hỗ tương Vấn đề vùng tươngtranh thiết...
... nhập tiếntrình thời điểm 2.3.2 Đồnghóa Một cách tổng quát, tốc độ tương đối hai tiếntrình trước chúng phụ thuộc vào tần số ngắt tiếntrình vào thời gian làm việc tần số gán xử lý cho tiếntrình ... Khi phép toán wait tiếntrình áp dụng lên semaphore có giá trị tiếntrình phải đợi tiếntrình khác làm cho giá trị semaphore trở thành phép toán signal Chỉ phép toán wait thực tiếntrìnhtương ứng ... giải vấn đề liên lạc tiếntrình nào? Loại trừ lẫn nhau: tài nguyên không phân chia bảo vệ truy nhập đồng thời nhiều tiếntrình cách cấm tiếntrình thực đồng thời phần chương trình truy nhập Các...
... Nhóm Busy-Waiting - Cácgiải pháp phần cứng Cácgiải pháp Busy Waiting Cácgiải pháp phần mềm Giải pháp biến cờ hiệu Giải pháp kiểm tra luân phiên Giải pháp Peterson Cácgiải pháp phần cứng Cấm ... “hò hẹn” (Rendez-vous) Thực đồnghoá : Lập trình viên đề xuất chiến lược Cáctiếntrình liên quan toán phải tôn trọng luậtđồng Giải pháp sử dụng chế đồng : Do lập trình viên /phần cứng / HĐH ... phương pháp giải tốt toánđồnghoá cần thoả mản điều kiện sau: Mutual Exclusion : Không có hai tiếntrình miền găng lúc Progess : Một tiếntrình tạm dừng bên miền găng không ngăn cản tiếntrình khác...
... Nhóm Busy-Waiting - Cácgiải pháp phần cứng Cácgiải pháp Busy Waiting Cácgiải pháp phần mềm Giải pháp biến cờ hiệu Giải pháp kiểm tra luân phiên Giải pháp Peterson Cácgiải pháp phần cứng Cấm ... “hò hẹn” (Rendez-vous) Thực đồnghoá : Lập trình viên đề xuất chiến lược Cáctiếntrình liên quan toán phải tôn trọng luậtđồng Giải pháp sử dụng chế đồng : Do lập trình viên /phần cứng / HĐH ... phương pháp giải tốt toánđồnghoá cần thoả mản điều kiện sau: Mutual Exclusion : Không có hai tiếntrình miền găng lúc Progess : Một tiếntrình tạm dừng bên miền găng không ngăn cản tiếntrình khác...
... Hãy lập trình mô đồng chúng C để đảm bảo lệnh (b),(c) thực sau v tính, lệnh (d) thực sau w y tính, lệnh (f) thực sau y z được tính 1.1.Lập trình thực hóa ví dụ 1.2.2 C: Code chương trình : Kết ... x=x+1; if (x==20) { x = 0;} print(x); } } Thực chưa trình trên C xem kêt thu hình có không hợp Chỉ điểm không hợp lý Thực đồng với mutex để chương trình (1) chạy với ý đồ Biến ans tính từ biên x1,x2,x3,x4,x5,x6...
... CHƯƠNG CÁC CÔNG CỤ ĐỒNGBỘHÓACÁCTIẾNTRÌNH TRONG HỆ THỐNG TIN HỌC Trong hệ thống cho phép tiếntrình liên lạc với nhau, cần cung cấp kèm theo chế đồnghóa để bảo đảm hoạt độngtiếntrìnhđồng ... phần mềm Mỗi tiếntrình ấn định vị trí vòng tiếntrình phải biết tiếntrình vòng tròn Vòng tròn khởi tạo cách gửi token tới tiếntrình Token luân chuyển vòng (tiến trình n đến tiếntrình (n+1)mod ... 3(N-1) thuậttoán Ricart-Agrawala 2(N-1) II.4 Thuậttoán Toren Ring Đối với thuậttoán này, ta giả sử có nhóm tiếntrình trật tự áp đặt vào nhóm.Ví dụ, ta nhận biết tiếntrình địa máy ID tiến trình...
... Gauss để giải phương pháp có ưu điểm là: tìm lời giảitoán sở so sánh cách có điều kiện với lời giảitoán khác nên cách nhìn toán đơn giản Đặc biệt, nguyên lý cực trị Gauss tỏ thuận tiệngiảitoán ... toán đánh giá tuổi thọ công trình + Bài toán đánh giá khả chịu mỏi công trình - 10 - + Bài toán ổn định động công trình Có nhiều phương pháp giảitoánđộng lực học công trình Trong luận văn này, ... ÁP DỤNG NGUYÊN LÝ CHO CÁC BÀI TOÁNĐỘNG LỰC HỌC CÔNG TRÌNH 2.1 Nguyên lý cực trị Gauss .28 2.2 Sử dụng nguyên lý cực trị Gauss để giảitoán học kết cấu 29 2.2.1 Bài toán dầm chịu uốn tuý...
... 47 Cách 2: Monitor Sử dụng biến chung rc để ghi nhớ số tiếntrình Reader Một tiếntrình Writer phải chuyển sang trạng thái chờ rc > Khi khỏi miền găng, tiếntrình Reader cuối đánh thức tiếntrình ... } Bài toán Readers-Writers Khi truy xuất sỡ liệu cần thoả điều kiện sau : - Khi tiếntrình Reader đọc tiếntrình Writer không ghi ngược lại - Tại thời điểm , có Writer, có nhiều Reader Cách 1: ... MakeWater() /* Tiếntrình MakeWater hoạt độngđồng hành với tiếntrình MakeH, MakeO, chờ có đủ H O để tạo H2O */ { while (True) Make-Water(); //Tạo phân tử H2O } Bài (Readers_Writers).Xây dựng giải pháp...
... 47 Cách 2: Monitor Sử dụng biến chung rc để ghi nhớ số tiếntrình Reader Một tiếntrình Writer phải chuyển sang trạng thái chờ rc > Khi khỏi miền găng, tiếntrình Reader cuối đánh thức tiếntrình ... } Bài toán Readers-Writers Khi truy xuất sỡ liệu cần thoả điều kiện sau : - Khi tiếntrình Reader đọc tiếntrình Writer không ghi ngược lại - Tại thời điểm , có Writer, có nhiều Reader Cách 1: ... MakeWater() /* Tiếntrình MakeWater hoạt độngđồng hành với tiếntrình MakeH, MakeO, chờ có đủ H O để tạo H2O */ { while (True) Make-Water(); //Tạo phân tử H2O } Bài (Readers_Writers).Xây dựng giải pháp...
... miền tương trục (tiến trình) sau nhiều Pj vào (chờ có giới hạn) V.1.2 Giải pháp nhiều trìnhGiảithuậtgiải vấn đề miền tương trục cho hai trình Bây phát triển giảithuật để giải vấn đề miền tương ... trừ hỗ tương .V.1.1.3 GiảithuậtGiảithuật gọi giải pháp Peterson Bằng cách kết hợp hai ý tưởng quan trọng giảithuật 2, đạt giải pháp tới với vấn đề vùng tương trục, hai yêu cầu thoả Cáctrình ... vào vùng tương trục P1 vào vùng tương trục chí P0 phần lại .V.1.1.2 Giảithuật Vấn đề với giảithuật không giữ lại đủ thông tin trạng thái trình; nhớ trình phép vào miền tương trục Để giải vấn...