... hiệu dùng để phân biệt tiếntrình máy, tiếntrình có nhu cầu liên lạc với tiếntrình khác) Khi liên lạc thư tín: - tiếntrình gởi” khơng chắn thơng điệp gởi đến tiếntrình nhận” - Hai thơng ... tốc độ tiến trình, số lượng xử lý Một tiếntrình bên ngồi 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 ... điều kiện thứ ba: tiếntrình bị ngăn chặn vào miền găng tiếntrình khác khơng miền găng Giả sử tiếntrình A vào miền găng, trước rời khỏi miền găng tiếntrình B kích hoạt Tiếntrình B thử vào miền...
... đ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 ... dựng cấu trúc chương trì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ử dụng ... nb +10, giải pháp bạn sửa chữa ? c Giải pháp bạn có có nhiều tiếntrình loại A B thực hiện? Bài 6: Một biến X chia sẻ hai tiếntrình thực đoạn code sau : X = X +1; if ( X == 20) X = 0; 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ương trì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ô...
... [CT107] Ch5 ĐồngBộHóaTiếnTrình 39 [CT107] Ch5 ĐồngBộHóaTiếnTrình Các tốn đồnghóaBàitoánBộ đọc – Bộ ghi (Readers–Writers Problem) BàiToánBộ Đọc – Bộ Ghi Nhiều tiếntrình thực thi đồng thời ... CNTT&TT) [CT107] Ch5 ĐồngBộHóaTiếnTrình 41 [CT107] Ch5 ĐồngBộHóaTiếnTrình Các tốn đồnghóaBài tố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 tốn đồnghóa Các Bài Tốn ĐồngBộHóaBài tốn Nhà sản xuất – Người tiêu dùng với vùng...
... ng i s n xu t-ng Producer-Customer) Ph m Th Phi ng b hóa c 2004 i n i tiêu dùng (Bounded-Buffer hay ̈ Bàitoán Readers and Writers ̈ Bàitoán “5 nhà tri t gia n t i” (Dining-Philosophers) signal(S); ... while (1); ng tr c cho n ti n trình c b c vào mi n t ng tr c c a mình, ti n trình nh n c m t s Ti n trình nh n c s nh nh t s có quy n b c vào mi n t ng tr c ̈ If ti n trình Pi Pj nh n c m t s , ... nhi u ti n trình ang ch i vơ h n m t s ki n ó, mà s ki n ó ch có th c t o b i m t ti n trình ang ch i ̈ Xem S Q semaphores c kh i t o P0 P1 wait(S); wait(Q); wait(Q); wait(S); ̈ Bàitoán ng i...
... nguyên danh sách tiếntrình L Khi tiếntrình phải chờ semaphore, thêm vào danh sách tiếntrình L Một thao tác signal xóa tiếntrình khỏi danh sách tiếntrình chờ đánh thức tiếntrình Operating ... Bàitoán đọc ghi Khái niệm Bộ đọc- ghi đối tượng liệu chia nhiều tiếntrìnhđồng hành Sự khác tiếntrình cần đọc nội dung đối tượng chia tiếntrình cần cập nhật đối tượng chia cách gọi tiếntrình ... găng Loại trừ hỗ tương -Nếu tiếntrình Pi thực thi đoạn găng khơng tiếntrình khác thực thi đoạn găng Tiếntrình - Nếu khơng có tiếntrình thực thi đoạn găng tồn vài tiếntrình mà muốn tham gia vào...
... Chương 7: Đồnghóatiếntrình Đưa tố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 ... 7: Đồnghóatiếntrình Tiếp cận s Ý tưởng sử dụng SLEEP WAKEUP: tiếntrình chưa đủ điều kiện vào miền găng, gọi SLEEP để tự khóa đến có tiếntrình khác gọi WAKEUP để giải phóng cho s Một tiếntrình ... xử 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 Ngun lý hệ điều hành 17 Nguyễn Văn Huy – KTMT - 2008 Chương 7: Đồnghóatiến trì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 tố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 đọc ... đoạn mã găng (3) Đặc điểm quan trọng mà hệ n tiếntrình cần có là: Khi tiếntrình Pi thực đoạn mã CSi khơng có 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...
... 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 tố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 đọc ... đoạn mã găng (3) Đặc điểm quan trọng mà hệ n tiếntrình cần có là: Khi tiếntrình Pi thực đoạn mã CSi khơng có 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...
... cho tiếntrình hàng đợi – tiếntrình Thuật tốn đóng dấu thời gian Lamport • Thuật tốn suy rộng Hàng đợi tập trung • Sử dụng chế đóng dấu thời gian cho việc đồngđồng hồ lơgic • Giả định tiếntrình ... 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: ... A B xảy hai tiếntrình riêng biệt khơng trao đổi thơng điệp tiếntrình gọi song song (A|| B) Thời gian lôgic trật tự kiện phần [Lamport] (t.t) Gắn thời gian lôgic với kiện • Các đồng hồ lơgic:...
... 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 ... 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ình Các tiếntrình thực thi hệ điều hành tiếntrình độc lập hay tiếntrình ... song phân cấp: Trong qua trình hoạt độngtiếntrình khởi tạo tiếntrình khác hoạt động song song với nó, tiếntrình khởi tạo gọi tiếntrình cha, tiếntrình tạo gọi tiếntrình Trong mơ hình hệ điều...
... phân chia được, tức khơng có khả hai tiếntrình tác động thời điểm lên semaphore Vấn đề đồnghóatiếntrình hệ điều hành phân tán Trình tự đồngtiếntrình vấn đề đồng dẫn đến phải thiết chế trật ... 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 phần chương trình ... 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, để đảm bảo hợp tác định đó, xử lý phải đồnghóa hoạt động...
... 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ương trì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ô...
... 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 ... 1.3.2 Bài tập Chạy song song process A B mô tả sau: int x=0; process A() { while (1){ x=x+1; if (x==20)...
... 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 Writer bị khóa monitor ReaderWriter ... Write_database(info); ReaderWriter.FinishWrite(); } } Bài tập Bài 1: Bàitoán Tạo phân tử H2O Đồng hoạt động phòng thí nghiệm sử dụng nhiều tiếntrìnhđồng hành sau để tạo phân tử H2O: MakeH() { while ... ProducerConsumer.remove(); consume_item(item); 45 } } Bàitoá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...
... 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 Writer bị khóa monitor ReaderWriter ... Write_database(info); ReaderWriter.FinishWrite(); } } Bài tập Bài 1: Bàitoán Tạo phân tử H2O Đồng hoạt động phòng thí nghiệm sử dụng nhiều tiếntrìnhđồng hành sau để tạo phân tử H2O: MakeH() { while ... ProducerConsumer.remove(); consume_item(item); 45 } } Bàitoá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...
... Hình 0-19 Cấu trúc trình người tiêu thụ VI.2 Bàitoá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 ... cho việc đồnghoá giải pháp VI.1 Bàitoán người sản xuất-người tiêu thụ Bàitoán người sản xuất-người tiêu thụ (Producer-Consumer) thường dùng để hiển thị sức mạnh hàm sở đồng hố Hai q trình chia ... q trình P có q trình Q gán với biến điều kiện x bị tạm dừng Rõ ràng, trình Q phép thực thi tiếp q trình P phải dừng Nếu khơng hai trình P Q hoạt động lúc monitor Tuy nhiên, khái niệm hai q trình...
... 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 Writer bị khóa monitor ReaderWriter ... Write_database(info); ReaderWriter.FinishWrite(); } } Bài tập Bài 1: Bàitoán Tạo phân tử H2O Đồng hoạt động phòng thí nghiệm sử dụng nhiều tiếntrìnhđồng hành sau để tạo phân tử H2O: MakeH() { while ... ProducerConsumer.remove(); consume_item(item); 45 } } Bàitoá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...
... Hình 0-19 Cấu trúc trình người tiêu thụ VI.2 Bàitoá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 ... cho việc đồnghoá giải pháp VI.1 Bàitoán người sản xuất-người tiêu thụ Bàitoán người sản xuất-người tiêu thụ (Producer-Consumer) thường dùng để hiển thị sức mạnh hàm sở đồng hố Hai q trình chia ... q trình P có q trình Q gán với biến điều kiện x bị tạm dừng Rõ ràng, trình Q phép thực thi tiếp q trình P phải dừng Nếu khơng hai trình P Q hoạt động lúc monitor Tuy nhiên, khái niệm hai q trình...
... Bàitoán đánh giá tuổi thọ công trình + Bàitoán đánh giá khả chịu mỏi công trình + Bàitoán ổn định động công trình Có nhiều phơng pháp giải toánđộng lực học công trình Trong luận văn này, tác ... để giải toán học kết cấu 29 2.2.1 Bàitoán dầm chịu uốn tuý 29 2.2.2 Bàitoán dầm uốn ph¼ng 31 2.3 Sử dụng nguyên lí cực trị Gauss để giải toánđộng lực học 31 2.3.1 Bàitoán dầm ... ra, toánđộng lực học công trình sở cho việc nghiên cứu nhiều lĩnh vực chuyên sâu khác nh: + Đánh giá chất lợng công trình phơng pháp động lực học (ngay công trình chịu tải trọng tĩnh) + Bài toán...