... ? Bài 7: Xét hai tiến trình xử lý đoạn chương trình sau : process P1 { A1 ; A2 } process P2 { B1 ; B2 } Đồnghoá hoạt động hai tiến trình cho A1 B1 hoàn tất trước A2 hay B2 bắt đầu Bài 8: ... trúc chương trình tương ứng Bài : Xét hai tiến trình sau : process A { while (TRUE) na = na +1; } process B { while (TRUE) nb = nb +1; } a Đồnghoá xử lý hai tiến trình trên, sử dụng hai semaphore ... Bài 9: Sử dụng semaphore để viết lại chương trình sau theo mô hình xử lý đồng hành: w := x1 * x2 v := x3 * x4 y := v * x5 z := v * x6 y := w * y z := w * z ans := y + z Bài kiểm tra 30’ Bài...
... lạc tiến trình vốn không liên hệ với nhau, hoạt động hệ thống khác môi trường phân tán 26 II ĐỒNGBỘHÓA (SYNCHRONIZATION) Nhu cầu đồng Hệ điều hành cần cung cấp chế đồng để bảo đảm hoạt độngtiến ... thông điệp đơn giản dùng để giải toán đồnghóaBàitậpBài Xét giải pháp phần mềm Dekker đề nghị để tổ chức truy xuất độc quyền cho hai tiến trình Hai tiến trình P0, P1 chia sẻ biến sau : int ... trường hợp tiến trình cần hợp tác với nhau, ví dụ tiến trình xử lý tiến trình khác kết thúc công việc … Bài toán đồnghoá 2.1 Vấn đề tranh đoạt điều khiển (race condition) Khi có nhiều tiến trình...
... phối hợp xử lý Bài toán đồnghóa Yêu cầu độc quyền truy xuất (Mutual Exclusion) Yêu cầu phối hợp xử lý (Synchronization) Các giải pháp đồnghoá Busy waiting Sleep & Wakeup Các toán đồnghoá kinh ... Hạnh Nhi 17 Bài toán đồnghoá (Synchronization) Nhiều tiến trình chia sẻ tài nguyên chung đồng thời : Tranh chấp Race Condition Nhu cầu “độc quyền truy xuất” (Mutual Exclusion) Các tiến trình ... quan diễn tiến xử lý ? Nhu cầu “hò hẹn” (Rendez-vous) Thực đồnghoá : Lập trình viên đề xuất chiến lược Các tiến trì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...
... [CT107] Ch5 ĐồngBộHóaTiến Trình 39 [CT107] Ch5 ĐồngBộHóaTiến Trì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ến trình thực thi đồng ... CNTT&TT) [CT107] Ch5 ĐồngBộHóaTiến Trình 41 [CT107] Ch5 ĐồngBộHóaTiến Trình Các toán đồnghóaBài toán Bộ đọc – Bộ ghi (Readers–Writers Problem) Cấu Trúc Các Tiến Trình Đọc – Ghi Bộ ghi { wait(rw_mutex); ... [CT107] Ch5 ĐồngBộHóaTiến Trình 40 [CT107] Ch5 ĐồngBộHóaTiến Trình Các toán đồnghóaBài toán Bộ đọc – Bộ ghi (Readers–Writers Problem) Giải Pháp Dữ liệu chia sẻ: Đối tượng liệu chia sẻ (tập tin,...
... wait(Q); wait(Q); wait(S); ̈ Bài toán 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ài toán Readers and Writers ̈ Bài toán “5 nhà tri t gia ... 5.11 Gi i thu t Bakery ̈ Tr H ng ng false Ph m Th Phi 2004 H i u hành 5.12 Ph m Th Phi 2004 ng b hóa v i s tr giúp c a ph n c ng ̈ c s a i n i dung c a m t word m t cách t boolean TestAndSet(boolean ... n c ng 5.14 Ph m Th Phi 2004 H i u hành 5.16 Ph m Th Phi 2004 Semaphores ̈ Công c dùng Cài ng b hóa không gây tình tr ng ch ̈ i b n ̈ Semaphore S – bi n integer ̈ Ch có th chia nh c truy c p thông...
... Chương 7: Đồnghóatiến trì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 trình ... Văn Huy – KTMT - 2008 Chương 7: Đồnghóatiến trì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ến trình s Hiểu áp dụng giải pháp đồng bộ, đặc biệt với giải pháp “sleep ... 7: Đồnghóatiến trình Tiếp cận s Ý tưởng sử dụng SLEEP WAKEUP: tiến trình chưa đủ điều kiện vào miền găng, gọi SLEEP để tự khóa đến có tiến trình khác gọi WAKEUP để giải phóng cho s Một tiến...
... tương tranh, tiến trình cần đồng theo phương thức ⇒ Vấn đề nghiên cứu: Đồnghóatiến trì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ến trình ... hệ n tiến trình cần có là: Khi tiến trình Pi thực đoạn mã CSi tiến trình Pj khác phép thực CSj Mỗi tiến trình Pi phải “xin phép” (entry section) trước thực CSi thông báo (exit section) cho tiến ... (tiếng Hà Lan) V: verhogen – tăng lên (tiếng Hà Lan) Edsger Wybe Dijkstra (1930-2002) Các tiến trình sử dụng chung semaphore Các toán tử nguyên tố để đảm bảo không xảy trường hợp ví dụ đồng hóa...
... tương tranh, tiến trình cần đồng theo phương thức ⇒ Vấn đề nghiên cứu: Đồnghóatiến trì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ến trình ... hệ n tiến trình cần có là: Khi tiến trình Pi thực đoạn mã CSi tiến trình Pj khác phép thực CSj Mỗi tiến trình Pi phải “xin phép” (entry section) trước thực CSi thông báo (exit section) cho tiến ... (tiếng Hà Lan) V: verhogen – tăng lên (tiếng Hà Lan) Edsger Wybe Dijkstra (1930-2002) Các tiến trình sử dụng chung semaphore Các toán tử nguyên tố để đảm bảo không xảy trường hợp ví dụ đồng hóa...
... ACK C Tiến trì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ến trình hàng đợi – tiến trình Thuật toán đóng dấu thời gian Lamport • Thuật toán suy rộng Hàng đợi tập ... dấu thời gian cho việc đồngđồng hồ lôgic • Giả định tiến trì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ến trình Pi gia tăng ... găng CS tiến trình Pi • (REP, Ci, i) : Hồi âm từ tiến trình Pi cho tiến trì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ông với tiến trình khác định danh tiến trình sử dụng để hệ điều hành xác định tiến trình đích Khi tiến trình cho phép tạo tiến trình khác định danh sử dụng để đến tiến trình cha tiến trình tiến ... lúc 2.4.2 Giao tiếp tiến trình Thực thi đồng hành tiến trình cộng tác yêu cầu chế cho phép tiến trình giao tiếp với tiến trình khác đồnghóa hoạt động chúng Đó chế giao tiếp tiến trình (Interprocess ... dừng biến điều kiện a Nếu có nhiều tiến trình chọn tiến trình Nếu tiến trình không làm Việc đồnghóa thực theo sơ đồ sau: Hình 4.5 Sơ đồ đồnghóa với monitor Các tiến trình đợi entry queue đợi condition...
... loại hình dịch vụ tin học - Đảm báo tính toàn vẹn thông tin CHƯƠNG 2: ĐỒNGBỘTIẾN TRÌNH 2. 1Bài toán đồnghóa Công việc tiến hành không xử lý tiếp nhận thực hiện: xử lý tài nguyên hệ thống sử ... tiến trình Chúng ta nói tiến trình tiế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 chúng số thời điểm, tiến trình tiếp diễn tiến trình khác hoàn tất ... không phân chia được, tức khả hai tiến trình tác động thời điểm lên semaphore Vấn đề đồnghóatiến trình hệ điều hành phân tán Trình tự đồngtiến trình vấn đề đồng dẫn đến phải thiết chế trật...
... phối hợp xử lý Bài toán đồnghóa Yêu cầu độc quyền truy xuất (Mutual Exclusion) Yêu cầu phối hợp xử lý (Synchronization) Các giải pháp đồnghoá Busy waiting Sleep & Wakeup Các toán đồnghoá kinh ... Hạnh Nhi 17 Bài toán đồnghoá (Synchronization) Nhiều tiến trình chia sẻ tài nguyên chung đồng thời : Tranh chấp Race Condition Nhu cầu “độc quyền truy xuất” (Mutual Exclusion) Các tiến trình ... quan diễn tiến xử lý ? Nhu cầu “hò hẹn” (Rendez-vous) Thực đồnghoá : Lập trình viên đề xuất chiến lược Các tiến trì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...
... 1.3.2 Bàitập Chạy song song process A B mô tả sau: int x=0; process A() { while (1){ x=x+1; if (x==20) ... song song với 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 ... 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 sau: w=x1*x2;...
... 3.1.1.2 Bàitập xác định lƣợng hoạt hóa, phụ thuộc lƣợng hoạt hóa vào nhiệt độ 48 3.1.1.3 Bàitập phản ứng phức tạp 51 3.1.1.4 Bàitập chứng minh chế từ kiện cho trƣớc tập ... 2.2.1 Xây dựng hệ thống tập 2.2.1.1 Cơ sở xây dựng tậphóa học Để xây dựng tậphóa học hoàn chỉnh tập phải đáp ứng đủ phần: kiện thực nhiệm yêu cầu Một tập đủ phần tậphóa học hoàn chỉnh Ví dụ ... học [7, 8] Để xây dựng tậphóa học, tham khảo từ nhiều nguồn khác nhƣ: tập sách giáo trình, tập sách tập, tập tài liệu chuyên ngành, tập thƣ viện điện tử….Tuy nhiên,mỗi dạng tập lại phù hợp với...
... Bài ôn tập : Đồnghoátiến trình Câu : Race Condition a Kết thực tiến trình phụ thuộc vào kết điều phối b Hiện tượng tiến trình chia sẻ tài nguyên chung c Kết tiến trình thực ... Trần Hạnh Nhi Bài ôn tập : Đồnghoátiến trình Câu : Cho biết điều kiện cho giải pháp đồng tốt Đáp án : Mutual Exclusion : Không có hai tiến trình miền găng lúc Progess : Một tiến trình tạm ... có truy cập tài nguyên dùng chung Đáp án : c 11/8/2005 Trần Hạnh Nhi Bài ôn tập : Đồnghoátiến trình Câu : nhu cầu đồngtiến trình : a b c d Hò hẹn , Phối hợp hoạt động Trao đổi thông tin,...
... trọng để đảm bảo tính đồng liệu nhằm quản lý tốt dòng xe vào Vấn đề đặt yêu cầu phải trì thời gian tuyệt đối đồng Giải pháp cho toán bãi đỗ xe nhiều cổng Việc đồnghóatiến trình vào toán bãi ... điệp yêu cầu vào bãi, m2 thông điệp trả lời tiến trình Pj cho tiến trình Pj nhận thông điệp yêu cầu từ tiến trình Pi, m3 thông điệp yêu cầu khỏi bãitiến trình Pi Với i, j số thứ tự trạm hệ, 1≤ ... cục Kết luận Đề tài nhằm tập trung nghiên cứu thời gian vector vận dụng thời gian nhằm tiến hành đồnghóatiến trình toán Bãi đỗ xe nhiều cổng đạt kết sau: - Mô toán bãi đỗ xe hệ thống đa Server...
... Job1; Job2; Hai tiến trình cần trao đổi thông tin diễn tiến xử lý Mô hình tổ chức phối hợp hoạt động hài tiến trình P2 P1 Job1; Báo hiệu ; Chờ ; Job2; 10 Bài toán đồnghoá Nhiều tiến trình chia ... trình chia sẻ tài nguyên chung đồng thời : Tranh chấp ? Nhu cầu “độc quyền truy xuất” (mutual exclusion) Các tiến trình phối hợp hoạt động : Tương quan diễn tiến xử lý ? Nhu cầu “hò hẹn”...
... liệu Pipe Truyền liệu không cấu trúc Shared Memory Broadcast Mâu thuẫn truy xuất => nhu cầu đồnghoá Message Liên lạc môi trường phân tán Socket Liên lạc nhiều môi trường khác biệt Race...