Đồng bộ tiến trình Operating systems 2 PTIT, 2012 Nội dung  Nhu cầu thông tin giữa các tiến trình  Tranh đoạt điều khiển và miền găng  Các giải pháp đồng bộ Operating systems 3 PTIT, 2012 Nhu cầu thông tin giữa các tiến trình Trong hệ thống, các tiến trình có nhu cầu liên lạc với nhau để:  Chia sẻ thông tin  Phối hợp thực hiện công việc Operating systems 4 PTIT, 2012 Mục tiêu đồng bộ  Đảm bảo độc quyền truy xuất  Đảm bảo cơ chế phối hợp giữa các tiến trình. Operating systems 5 PTIT, 2012 Bài toán 1 Hai tiến trình P 1 và P 2 cùng truy xuất dữ liệu chung là một tài khoản ngân hàng: if (So_du > Tien_rut) So_du = So_du – Tien_rut else Access denied! Operating systems 6 PTIT, 2012 Bài toán 1  P1 if (So_du > Tien_rut) So_du = So_du – Tien_rut else Access denied!  P2 if (So_du > Tien_rut) So_du = So_du – Tien_rut else Access denied! Operating systems 7 PTIT, 2012 Bài toán 2 Operating systems 8 PTIT, 2012 Bài toán 2  Process A Next_free_slot = 7 Put file in slot7 Wait the print job  Process B Next_free_slot = 7 Put file in slot7 Wait for the print job(for ever!!!) Operating systems 9 PTIT, 2012 Tranh đọat điều khiển (race condition) Operating systems 10 PTIT, 2012 Miền găng  Race condition (tương tranh): nhiều tiến trình cùng thực thi mà kết quả phụ thuộc vào thứ tự thực thi của các tiến trình.  Miền găng (critical section): đoạn chương trình có khả năng gây ra lỗi truy xuất đối với tài nguyên chung. [...]... 1 thời điểm chỉ có 1 tiến trình trong miền găng 2 Không có ràng buộc về tốc độ của các tiến trình và số lượng bộ xử lý trong hệ thống 3 Một tiến trình tạm dừng bên ngoài miền găng không được ngăn cản các tiến trình khác vào miền găng 4 Không có tiến trình nào phải chờ vô hạn để được vào miền găng PTIT, 2012 Operating systems 11 Các giải pháp đồng bộ  Nhóm giải pháp “busy and waiting”    Giải pháp... biến điều kiện (c), hàng đợi chứa các tiến trình bị khóa f(c) và hai thao tác kèm theo là Wait và Signal:  Wait(c): chuyển trạng thái tiến trình gọi sang blocked , và đặt tiến trình này vào hàng đợi của c  Signal(c): nếu có một tiến trình đang bị khóa trong hàng đợi của c, tái kích hoạt tiến trình đó, và tiến trình gọi sẽ rời khỏi monitor PTIT, 2012 Operating systems 27 Monitor PTIT, 2012 Operating... P1 job2(); } Ngữ cảnh đồng bộ: có hai tiến trình tương tranh, và tiến trình này phải chờ tiến trình kia kết thúc thì mới xử lý được PTIT, 2012 Operating systems 25 Vấn đề khi sử dụng semaphore while (TRUE) { Down(s) critical-section (); Noncritical-section (); } Người lập trình quên gọi Up(s), hậu quả là từ đó về sau không có tiến trình nào vào được miền găng! PTIT, 2012 Operating systems 26 Monitor... semaphore  Giải quyết điều kiện 1 của miền găng: Có n tiến trình dùng chung một semaphore để đồng bộ, semaphore được khởi tạo = 1 while (TRUE) { Down(s) critical-section (); Up(s) Noncritical-section (); } PTIT, 2012 Operating systems Tiến trình đầu tiên vào được miền găng (được truy xuất tài nguyên) Các tiến trình sau phải chờ vì e(s)rv cd pnAn rO rrqr cOruc s6: YlL cQrrrc HoA xA nQr cnU NGHIA vrEr NAM DQc tQp - ig ao - HSnh phric' frMr-rB V/v: C6ng b6 thdng tin chdm dit hdp ddng tao dQng ddi vdi Trtldng phdng TC-KTud bd nhi6m ciin bQ phgt triich phdng TC-KT HA NflL ngdy 08 thiing ndm 2011 K[nh gu'i: - U,i ban Chr?ng khodn Nhd nrrdc - Sd Giao dich Chr?ng khodn Tp H6 Chi Minh T€n C6ng ty ni6m ydt TGn giao dich C6ng ty Cd phEn tO TMT TMT Motor Joint Stock Company ME cht?ng khodn TMT TrU sd chlnh 1998 ph6 Minh Khai - quan Hai Bd Tn/ng (+84 4) B62B20s (+84 4) 8628703 Di6n thoai Fax - Tp Ha N6i N6i dung th6ng tin c6ng bd: chdm dft h0p dbng lao d6ng ddi vdi rrr^rdng phdng Tii chinh Kd todn Ngiy 09l9l20t1, Tdng GiSm ddc c6ng ty cd phEn t6 TMT dd euydt dinh s6 819/QD-TMT-TCHC vE viQc chdm dut hop dbng lao d6ng trrldc thdi han ddi vdi 6ng Dio TiSn Thinh - Trrldng phdng Tii chinh Kd todn C6ng ty Cd ph}n t6 TMT kd ngiy 0B/Bl20tl theo nguydn vong cd nhin Bd nhi6m cdn b6 phu trdch phdng Tii chinh Kd todn Ngiy }BlBl2}Lt, Tdng GiSm ddc c6ng ty cd phEn t6 TMT dE Quy6t dinh s6 820/QE-TMT-TCHC vE vi6c bd nhi6m bi Nguy6n Thanh Nga - Ph6 phdng Tii chfnh Kd to6n C6ng ty gitr cht?c vu Phu trdch phdng Tii chinh Kd todn COng ty Cd ph6n tO TMr kd ngiy o1l}l2ott toin C6ng ty xin cam kdt cdc th6ng tin c6ng bd tr6n ddy chiu trdch nhi6m vE n6i dung th6ng tin dE c6ng b6 Ndi nhQn: - NhU tr6n; li dfng srl th6t vtr hoin Ngrt'di c6ng b6 th6ng tin - Website: https ://www.cuulongmotor.com; - Ltfu TCKT, TCHC, HDQT, BKS ffis c6ruc ,_ | ry cONG cQNc uoA xA HQr cHU Ncuil rY c6 psAN O r0 rMr DOc 56: 8,t9 /QD-TMT-TCHC lip v$r NAM - TU - Hanh phtic HdNAi,ngdy 09 thdng ndm20ll ' QUY6I OINu Yd vi€c chdm dtrt hqp ddng lao dOng ,Rz^' TONG GIAM DOC CONC TY C6 PUAN O TO TMT dinh sd B71|QD-BG|YT ngdy 141412006 cfia Bd Giao rhdng vln tdi vd vi€c ph€ duy€t phaong dn cd phdn hod vd chuydn CAng ty Thuong mai vd sdn xudt vdt tu thi€t bi G(VT thdnh Cang ry cd phdn I|TMT; - Cdn cttr "Didu l€ COng ry cd phdn o fi TMT " dd dttdc Dai h\i ddng cd dAng thdnh ldp Clng ty cd phdn fiTMT thAng qua 29 thdng I I ndm 2006 vd cdc bdn Di€u l€ s*a ddi; - Cdn a,? hoo ddng lao dQng dd ki grfra COng ty cd ptuin TOTMT voi 6ng DaoTidnThanh; - Cdn cft khodn didu 36, khodn I di6u 42 crta BO Ludt Lao d1ng; - Cdn cft don xin nghi vi€c cila 6ng Ddo Ti€hThdnh 181512011 dd duo c Chfi tich HDQT - Can ct quy€lt c6ng ty phe duy€t, euvfir DINH Di6u I-: Cong ty cd phdn O tO TMT chdm dft HDLD trudc thdi han theo nguyOn vgng c6 nhAn ddi vdi 6ng Diro Tidn Thhnh: - Sinh ngey 02thdng n[m 1976 - HQ khdu thudng tri: P622 K1 Khu dO thi Vi6t Hrrng-Giang Bi0n-Long BiOn-HN - Chrlc vu: Tru6rng phdng Tdi chinh Kdto6n COng ty cd phdn o to TMT t