... chữa đoạn chươngtrình để bảo đảm X không vượt 20 ? Bài 7: Xét hai tiếntrình xử lý đoạn chươngtrình sau : process P1 { A1 ; A2 } process P2 { B1 ; B2 } Đồnghoá hoạt động hai tiếntrình cho ... xây dựng cấu trúc chươngtrình tươ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ử ... đầu Bài 8: Tổng quát hoá câu hỏi 8) cho tiếntrình xử lý đoạn chươngtrình sau : process P1 { for ( i = 1; i
... t o: full = 0, empty = n, mutex = H i u hành 5. 25 Ph m Th Phi 2004 H i u hành 5. 27 Ph m Th Phi 2004 Bài toán Readers-Writers Bounded-Buffer – ti n trình Producer ̈ D li u chia s { … produce an ... chia s semaphore chopstick [5] ; Kh i u, giá tr H i u hành 5. 29 Ph m Th Phi 2004 H i u hành 5. 31 Ph m Th Phi 2004 Bài toán n m nhà tri t gia n t i Readers-Writers – Ti n trình Reader ̈ Philosopher ... 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 u hành 5. 6 2004 Ph m Th Phi 2004 ng tr c c a { flag[i] := true; while...
... interleavings : tiếntrình “xen vào” trình truy xuất tài nguyên tiếntrình khác Giải pháp : bảo đảm tính atomicity cho phép tiếntrình hoàn tất trọn vẹn trình truy xuất tài nguyên chung trước có tiếntrình ... “hò hẹn” (Rendez-vous) Thực đồnghoá : Lập trình viên đề xuất chiến lược Các tiế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 ... tổ chức phối hợp hai tiếntrình Nhiệm vụ lập trình viên: Thêm đoạn code đồnghóa vào chươngtrình gốc Thêm : xem mô hình sau P2 P1 Job1; Chờ ; Báo hiệu ; Job2; Nhiều tiếntrình ? Không có mô...
... với tiếntrình khác định danh tiếntrình sử dụng để hệ điều hành xác định tiếntrình đích Khi tiếntrình cho phép tạo tiếntrình khác định danh sử dụng để đến tiếntrình cha tiếntrìnhtiếntrình ... chia chươngtrình thành nhiều tiến trình, khởi tạo đưa vào hệ thống nhiều tiếntrìnhchươngtrình nhiều chươngtrình khác nhau, cấp phát đầy đủ tài nguyên (trừ CPU) cho tiếntrình đưa tiếntrình ... sử hệ thống cần thực đồng thời tiếntrình P1, P2, P3, tiếntrình P1 Các thị tiếntrình nạp vào nhớ địa sau: Tiếntrình P1: a+0 a+1 a+3 a +5 Trong đó: Tiếntrình P2: Tiếntrình P3: b+0 b+2 b+3...
... 10/28/20 05 Lý xảy Race condition ? Bad interleavings : tiếntrình “xen vào” trình truy xuất tài nguyên tiếntrình khác Giải pháp : bảo đảm tính atomicity cho phép tiếntrình hoàn tất trọn vẹn trình ... Thực đồnghoá : Lập trình viên đề xuất chiến lược Các tiế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 / NNLT cung cấp 10/28/20 05 ... Các giải pháp đồnghoá Busy waiting Sleep & Wakeup Các toán đồnghoá kinh điển Producer – Consumer Readers – Writers Dinning Philosophers 10/28/20 05 Trần Hạnh Nhi 17 Bài toán đồnghoá (Synchronization)...
... Nguyễn Văn Huy – 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 ... 2008 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ến ... lý tiến trình, tiếntrình hoạt động xử lý khác truy xuất đến miền găng ! s Có thể tiếntrình phải chờ vô hạn Nguyên lý hệ điều hành 17 Nguyễn Văn Huy – KTMT - 2008 Chương 7: Đồnghóatiến trình...
... [CT107] Ch5 ĐồngBộHóaTiếnTrình 39 [CT107] Ch5 ĐồngBộHóaTiếnTrình Các toán đồnghóaBài toán Bộ đọc – Bộ ghi (Readers–Writers Problem) Bài Toán Bộ Đọc – Bộ Ghi Nhiều tiếntrình thực thi đồng ... CNTT&TT) [CT107] Ch5 ĐồngBộHóaTiếnTrình 41 [CT107] Ch5 ĐồngBộHóaTiếnTrình Các toán đồnghóaBài toán Bộ đọc – Bộ ghi (Readers–Writers Problem) Cấu Trúc Các TiếnTrình Đọc – Ghi Bộ ghi { wait(rw_mutex); ... semaphore) TS Trần Công Án (Khoa CNTT&TT) [CT107] Ch5 ĐồngBộHóaTiếnTrình 35 [CT107] Ch5 ĐồngBộHóaTiếnTrình Các toán đồnghóa Các Bài Toán ĐồngBộHóaBài toán Nhà sản xuất – Người tiêu dùng với...
... chữa đoạn chươngtrình để bảo đảm X không vượt 20 ? Bài 6.Xét hai tiếntrình xử lý đoạn chươngtrình sau : process P1 { A1 ; A2 } process P2 { B1 ; B2 } Đồnghoá hoạt động hai tiếntrình cho ... tốc độ tiến trình, số lượng xử lý Một tiếntrình bên miền găng không ngăn cản tiếntrình khác vào miền găng Không có tiếntrình phải chờ vô hạn để vào miền găng III CÁC GIẢI PHÁP ĐỒNGBỘ Giải ... giải pháp phần mềm (đồng chương trình) a) Sử dụng biến cờ hiệu: Các tiếntrình dùng chung biến lock (khoá cửa) , với ý nghĩa sau: lock=0 tiếntrình miền găng, lock=1 có tiếntrình miền găng Biến...
... viết chươngtrìnhđồnghoá hơn, Hoare (1974) Brinch & Hansen (19 75) đề nghị chế đồnghoá cấp cao cung cấp ngôn ngữ lập trình monitor Một monitor mô tả tập hợp toán tử định nghĩa người lập trình ... Hình 0-19 Cấu trúc trình người tiêu thụ VI.2 Bài toán đọc -bộ ghi Bộ đọc -bộ ghi (Readers-Writers) đối tượng liệu (như tập tin hay mẫu tin) chia sẻ nhiều trìnhđồng hành Một số trình cần đọc nội ... sung khác VI Các toán đồnghoá nguyên thuỷ Trong phần này, trình bày số toán đồnghoá thí dụ phân cấp lớn vấn đề điều khiển đồng hành Các vấn đề dùng cho việc kiểm tra chế đồnghoá đề nghị gần Semaphore...
... xác kết = - Ví dụ Gởi yêu cầu lúc 5: 08: 15. 100 (T0) Nhận phản hồi 5: 08: 15. 900 (T1) Phản hồi có lúc 5: 09: 25. 300 (Tserver) Thời gian qua : T1 -T0 5: 08: 15. 900 - 5: 08: 15. 100 = 800 msec Dự đoán tốt nhất: ... lập thời gian để Tserver+ thời gian trôi qua (elapsed time) 5: 09: 25. 300 + 400 = 5: 09. 25. 700 T0 = 5: 08: 15. 100 T1 = 5: 08: 15. 900 Ts = 5: 09: 25: 300 Tmin = 200msec Nếu trường hợp thời gian thông điệp ... dạng đồng hồ vật lý Đồng hồ nguyên tử (Atomic clocks) Caesium atomic clock, 1 955 DUYTAN UNIVERSITY Hệ thống đồng hồ nguyên tử Đài quan sát hải quân Mỹ Washington DC Các dạng đồng hồ vật lý Đồng...
... thường dung tập để củng cố kiến thức Cuối chương hay đề tài, GV thường dùng tập để ôn tập Đặc biệt, tập tổng hợp, HS phải ôn lại kiến thức chương hay phần chươngtrình Thông qua tập, GV hệ thống ... Có thể chia tập tính toán thành hai loại: tậptập dượt, tập tổng hợp Bàitập tính toán tập dượt: tập bản, đơn giản, đề cập đến tượng, định luật sử dụng vài phép tính đơn giản Những tập có tác ... giải tập hiểu quy trình hành động, tức trình tự thao tác tiến hành giải tập Cách hướng dẫn: GV xây dựng Angorit giải cho dạng tập đó, gồm trình tự thao tác tiến hành lưu ý thao tác GV chọn tập...
... phương thức đồnghóa Java Nội Dung Chương5. 1 Độc quyền truy xuất đồnghóa điều kiện 5. 2 Busy waiting 5. 3 Suspend and Resume 5. 4 Semaphore 5.5 Conditional Critical Region 5. 6 Monitors 5. 7 + 5. 8 POSIX ... 5. 9 Phương thức đồng Java 5. 10 Chia sẻ nhớ đa xử lý 5. 11 Hệ thống nhúng rà soát đơn giản *Tổng kết Phần 5. 1 Độc quyền truy xuất đồnghóa điều kiện ĐồngBộHóa Và Giao Tiếp • Tính xác chươngtrình ... Nguyễn Văn Thể Mỹ Phan Trần Như Ngọc Võ Dương Quang 1 152 053 7 1 152 0241 1 152 0003 1 152 0234 1 152 0 253 1 152 0709 Mục tiêu • Hiểu yêu cầu cần thiết cho việc đồnghóa giao tiếp dựa biến chia sẻ – Busy waiting,...
... 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 ... tương tranh, tiếntrình cần đồng theo phương thức ⇒ Vấn đề nghiên cứu: Đồnghóatiếntrình Thuậ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 P0, ... (TRUE); 27 Bài toán tiế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...
... 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 ... tương tranh, tiếntrình cần đồng theo phương thức ⇒ Vấn đề nghiên cứu: Đồnghóatiếntrình Thuậ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 P0, ... (TRUE); 27 Bài toán tiế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...
... 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ình Thuật toán đóng dấu thời gian Lamport • Thuật toán suy rộng Hàng đợi tập ... 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: • Ci : Đồng hồ cục Pi, khởi ... 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...
... 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ươngtrình truy nhập Các phần chươngtrình ... niệm trình với khái niệm chương trình: trình thực chươngtrình kể từ bắt đầu đến kết thúc Vì vậy, lúc chế độ đa người dùng, có người dùng gọi chươngtrình dịch ngôn ngữ C: hệ thống có chươngtrình ... độ 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 Chúng ta nói tiếntrìnhtiến triển không đồng Tuy nhiên, để...
... 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ươngtrình (1) chạy với ý đồ Biến ans tính từ biên x1,x2,x3,x4,x5,x6 sau: w=x1*x2; ... sau: w=x1*x2; (a) v=x3*x4; (b) y=v*x5;(b) z=v*x6;(c) y=w*y;(d) z=w*z;(e) ans=y+z;(f) Giả sử câu lệnh từ (a)(f) nằm thread chạy song song với Hãy lập trình mô đồng chúng C để đảm bảo lệnh (b),(c) ... 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ươngtrình : Kết 1.2 Ý tưởng: Ở ta dùng biến semaphore sema1 sema2 Với sema1 ta...
... x.signal () – phục hồi lại tiếntrình gọi x.wait () • Nếu tiếntrình chờ biến điều kiện x hàm signal() không gây ảnh hưởng 10/29/2013 51 Chương 5: Đồnghóa 10/29/2013 52 Chương 5: Đồnghóa ... (true); 10/29/2013 39 Chương 5: Đồnghóa • Một tập liệu (data set) chia sẻ nhiều tiếntrình thực thi đồng thời o Readers: tiếntrình đọc, không cập nhật liệu o Writers: tiếntrình thực thi hai thao ... 10/29/2013 Chương 5: Đồnghóa • Xét hệ thống có n tiếntrình {p0, p1, … pn-1} • Mỗi tiếntrình có đoạn mã lệnh gọi miền tương trục (critical section): o Tiếntrình cập nhật liệu dùng chung o Khi tiến trình...