hệ điều hành đỗ tuấn anh slide hệ điều hànhthay đỗ tuấn anh sinhvienzone com

MỤC ĐÍCH – U CẦU • Là giáo trình sở chuyên ngành: – Xét vấn đề HĐH phải giải quyết, – Phương thức giải vấn đề – Hỗ trợ cho mơn khác việc xây dựng sở cho Tin học – Những v/đ xem xét không lạc hậu tương lai HỆ ĐIỀU HÀNH Giáo viên: Đỗ Tuấn Anh Bộ mơn Khoa học Máy tính Khoa Cơng nghệ Thơng tin ĐHBK Hà Nội anhdt@it-hut.edu.vn 0989095167 MỤC ĐÍCH – YÊU CẦU TÀI LIỆU • Mang yếu tố chuyên đề: – Minh hoạ cho v/đ lý thuyết, – Khoảng cách thực tế công nghệ Tin học nói chung HĐH nói riêng gần • Như vậy: giáo trình khó, nặng nề Chương I CÁC KHÁI NIỆM CƠ BẢN • A.Tanenbaum Design and Implementation operating system • A Tanenbaum Advanced Concepts to Operating Systems • Microsoft Press Inside to WINDOWS 2000 • Nguyên lý hệ điều hành: Hà • Hệ điều hành: Tác giả: Nguyễn Thanh Tùng Chương I CÁC KHÁI NIỆM CƠ BẢN (tt.) • 1- Cấu trúc phân lớp hệ thống tính tốn • Máy tính điện tử đời năm 1944-1945, • MTĐT xây dựng hoạt động theo nguyên lý Von Neuman: Máy tính điều khiển chương trình câu lệnh chương trình người ta nêu địa nơi chứa giá trị không nêu trực tiếp giá trị • Thế hệ thứ (1955-1965) – Sự đời thiết bị bán dẫn – lập trình FORTRAN hợp ngữ – Hệ thống xử lý theo lơ • Thế hệ thứ (1965-1980) – mạch tích hợp (IC) – hệ điều hành chia sẻ thời gian • Thế hệ thứ (1980-nay) – máy tính cá nhân (PC-Personal Computer) – hệ điều hành mạng hệ điều hành phân tán CuuDuongThanCong.com https://fb.com/sinhvienzonevn Cấu trúc phân lớp hệ thống tính tốn MTĐT Hệ lệnh = {Mã lệnh} Command System = {Command Code} Ngôn ngữ riêng (Ngôn ngữ máy) Cấu trúc phân lớp hệ thống tính tốn • Người lập trình thường nhầm lẫn € suất lập trình thấp, • Đã áp dụng nhiều biện pháp kích thích: – Kỷ luật hành chính, – Thưởng phạt kinh tế • Năng suất tăng chút ổn định mức câu lệnh/ngày cơng! • Kết nghiên cứu tâm lý học: Bản chất người không quen làm cơng việc đơn điệu, khơng có tính quy luật, sớm hay muộn có sai sót! 10 Cấu trúc phân lớp hệ thống tính tốn P LS • Như vậy, để nâng cao suất - cần tác động vào MTĐT • ∃ cơng việc người ∃ CT cần (V/d – Trao đổi vào ra) € tạo sẵn CT mẫu (Standard Programs – SP) cung cấp với máy • Hình thành LSP = {SP} User MTDT 10% 10% 10% 10% 10% ER 10% MTDT 10% 11 CuuDuongThanCong.com US 10% 10% 10% 12 https://fb.com/sinhvienzonevn US ER Tác động phần mềm lên phần cứng 16.6667% • Cơ sở hố hệ lệnh: – Các lệnh phức tạp x1/2, ex,|x| thay CT con, – Tăng cường lệnh xử lý bit 16.6667% 10% 10% 10% 16.6667% 10% 10% 10% 10% 16.6667% 10% 10% • • • • • 10% 16.6667% 16.6667% Tăng tốc độ MT, Tăng tính vạn năng, Tăng độ tin cậy, Giảm giá thành, Cho phép phân thiết bị thành nhóm độc lập, tăng độ mềm dẻo cấu hình 13 Tác động phần mềm lên phần cứng 14 Tác động phần mềm lên USER • Các yếu tố có tác động tiến công nghệ, phần mềm đóng vai trò quan trọng, nhiều có tính định: • Đẩy người dùng xa máy, tạo điều kiện để khai thác triệt để tối ưu thiết bị – Bàn phím, – Máy in U S E R 15 16 – Các tài nguyên b) PROCESSOR • Điều khiển máy tính, • Thực phép tính số học, lơ gic điều khiển, • Có tốc độ lớn (vài chục triệu phép tính / giây), • Thơng thường có thời gian rãnh (thời gian “chết”) lớn€ hiệu suất sử dụng thấp, • V/đ: tăng hiệu suất sử dụng (giảm thời gian chết) a) Bộ nhớ: • Vai trò, Gót chân Asin hệ thống, Quan trọng: sử dụng nào? Bảo vệ thơng tin? 19 • • • • 20 C) THIẾT BỊ NGOẠI VI D) Tài nguyên chương trình Số lượng: Nhiều, Chất lượng: Đa dạng, Tốc độ: Cực chậm (so với Processor), V/đ: Phải đảm bảo: – Hệ thống thích nghi với số lượng tính đa • Cần phải có chương trình cần thiết, • Một chương trình kích hoạt: phục vụ cho nhiều người dùng ( cấu trúc Reenter), • Khai thác On-Line, RPC, • Cách tổ chức chương trình: cấu trúc đảm bảo cho cấu trúc hoạt động, dạng, – Tốc độ thiết bị ngoại vi không ảnh hưởng đáng kể đến suất hệ thống 21 Nhiệm vụ hệ thống tài nguyên 22 - ĐỊNH NGHĨA HỆ ĐIỀU HÀNH • nhiệm vụ chung(khơng phụ thuộc vào loại tài ngun): • Có nhiều góc độ quan sát đánh giá, • Các đối tượng khác có u cầu, đòi hỏi khác OS, • Xét góc độ: – Phân phối tài nguyên: Cho ai? Khi nào? Bao nhiêu (với loại chia sẻ được)? – Quản lý trạng thái tài nguyên: Còn tự hay khơng số lượng tự do? – Của người sử dụng, – Của nhà quản lý, – Của nhà kỹ thuật, – Của người lập trình hệ thống • Tồn nhiều giải thuật € Loại hệ thống: – Xử lý theo lô, – Phân chia thời gian, – Thời gian thực 23 CuuDuongThanCong.com 24 https://fb.com/sinhvienzonevn ĐỊNH NGHĨA HỆ ĐIỀU HÀNH • Người dùng: Thuận tiện, • Nhà quản lý: Quản lý chặt chẽ, khai thác tối ưu, • Nhà kỹ thuật: 25 Tin cậy chuẩn xác – TÍNH CHẤT CHUNG CỦA OS • • • • • • Mọi công việc hệ thống phải có kiểm tra: A) Tin cậy chuẩn xác, B) Bảo vệ, C) Kế thừa thích nghi, D) Hiệu quả, E) Thuận tiện – Kiểm tra môi trường điều kiện thực hiện, – Kiểm tra kết thực hiện, • Nhiều chức KT: chuyển giao cho phần cứng • Ví dụ: Lệnh COPY A:F1.TXT B: • Sau KT cú pháp, bắt đầu thực lệnh Lần lượt hệ thống KT có thơng báo nào? 31 • • • • • • • • • Kt CARD I/O, Tồn ổ đĩa? Thiết bị điện tử ổ đĩa? Động ổ đĩa? Khả truy nhập ổ đĩa? Khả truy nhập đĩa? Tồn file F1.TXT? Khả truy nhập file? • So sánh: SCANDISK DEFRAG 32 BẢO VỆ • Hạn chế truy nhập khơng hợp thức, • Hạn chế ảnh hưởng sai sót vơ tình hay cố ý, • Bảo vệ: – Nhiều mức, – Nhiều cơng cụ, – Nhiều thời điểm giai đoạn khác • Chú ý: bảo vệ chống bảo vệ: mức € khơng thể đảm bảo an tồn tuyệt đối! NDD SPEEDISK 33 34 - NGUYÊN LÝ TỔ CHỨC VÀ HOẠT ĐỘNG Kế thừa thích nghi • • • • • • Nguyên lý mô đun, Nguyên lý phủ chức năng, Nguyên lý Macroprocessor, Nguyên lý bảng tham số điều khiển, Nguyên lý giá trị chuẩn, Nguyên lý loại tham số 35 CuuDuongThanCong.com 36 https://fb.com/sinhvienzonevn NGUYÊN LÝ MƠ ĐUN NGUN LÝ PHỦ CHỨC NĂNG • Mỗi cơng việc ⇔ mơ đun CT độc lập, • Các mơ đun – liên kết với thơng qua Input/Output: • Mỗi cơng việc hệ thống thơng thường thực nhiều cách với nhiều công cụ khác nhau, • Lý do: • Mỗi mơ đun có hiệu ứng phụ chức năng, • Người dùng có quyền khai thác hiệu ứng phụ không phụ thuộc vào việc cơng bố, • Lập trình:Phải đảm bảo tính chất OS với hiệu ứng phụ, • Vai trò: – Đảm bảo thuận tiện cho người dùng, – Đảm bảo an tồn chức hệ thống, • Ví dụ: In file • Các mơ đun nhóm theo chức € thành phần hệ thống 37 38 NGUYÊN LÝ BẢNG THAM SỐ ĐIỀU KHIỂN NGUYÊN LÝ MACROPROCESSOR • Trong OS khơng có sẵn CT giải v/đ, • Khi cần thiết: Hệ thống tạo CT thực CT tạo ra: • Nguyên lý áp dụng với thân tồn OS: Trên đía có thành phần Khi cần thành phần lắp ráp thành HỆ ĐIỀU HÀNH (Nạp hệ thống) • Lưu ý: Các nguyên lý Phủ chức Macroprocessor trái với lý thuyết lập trình có cấu trúc Mỗi đối tượng OS ⇔ Bảng tham số (Control Table, Control Block), Hệ thống không tham chiếu tới đối tượng vật lý mà tham chiếu tới bảng tham số điều khiển tương ứng Với đĩa từ, CD – bảng tham số ghi phần đầu – Vùng hệ thống (System Area), Với files – Header 39 40 Cấu trúc file định kiểu Một số loại bảng tham số : • • • • Cho WINDOWS: Win.ini, Cho MS DOS: Config.sys, Cho WINWORD: Winword.ini, Bảng tham số cấu hình hệ thống: phục vụ cho hệ điều hành: lưu trữ CMOS, 41 CuuDuongThanCong.com 42 https://fb.com/sinhvienzonevn NGUYÊN LÝ GIÁ TRỊ CHUẨN Nguyên lý giá trị chuẩn • Cách gọi khác: Nguyên tắc ngầm định (Default), • Hệ thống chuẩn bị bảng giá trị cho tham số bảng giá trị chuẩn, • Khi hoạt động: tham số thiếu giá trị € OS lấy từ bảng giá trị chuẩn • Vai trò ngun lý: • Tác động lên giá trị tham số bảng giá trị chuẩn: – Startup, – Autoexec.bat, – Control Panel – Thuận tiện: nhắc lại giá trị thường dùng, – Người dùng không cần biết đầy dủ sâu hệ thống • Ví dụ: c:\csdl>dir • Tham số thiếu giá trị: – – – – – Ổ đĩa? Thư mục? Xem gì? Quy cách đưa ra? Nơi ra? 43 NGUYÊN LÝ LOẠI THAM SỐ 44 – THÀNH PHẦN • Nhiều phân chia theo chức năng, mức độ chi tiết, • loại tham số: • Tham số vị trí (Position Parameters), • Tham số khoá (Keyword Param.) – Hệ thống Supervisor, – Hệ thống quản lý thiết bị ngoại vi, – Hệ thống quản lý files, – Hệ thống chương trình điều khiển: – Điều phối nhiệm vụ, – Monitor, – Biên hệ thống, • Tham số khố – theo trình tự tuỳ ý 45 • Các chương trình phục vụ hệ thống 46 Thành phần • Lưu ý: ngơn ngữ thành phần hệ thống, thành phần hệ thống có số CT dịch • Phân biệt: Chương trình phục vụ hệ thống chương trình ứng dụng Chương trình dịch Windows: WIN.COM COMMAND.COM Nguyên tắc dịch: Interpreter 47 CuuDuongThanCong.com https://fb.com/sinhvienzonevn 48 II – QUẢN LÝ FILES VÀ THIẾT BỊ NGOẠI VI – Nguyên tắc phân cấp quản lý thiết bị ngoại vi • Quản lý thiết bị ngoại vi: Cần đảm bảo hệ thống thích nghi với: • Máy tính hệ I II: Processor làm việc trực tiếp với thiết bị ngoại vi, • Hạn chế: Tốc độ - Số lượng - Chủng loại, • Từ hệ III trở lên: Processor € TB điều khiển €TB ngoại vi (Control Devices) (Controllers) – Số lượng nhiều, – Chất lượng đa dạng, – Thuận tiện cho người dùng • Quản lý files: Cho phép người dùng: – Tạo files loại nhớ ngồi, – Tìm kiếm, truy nhập files, – Đảm bảo độc lập CT thiết bị 49 50 n TB Vào/Ra TB Vào/Ra TB Vào/Ra TB Vào/Ra TB Vào/Ra TB Vào/Ra 51 Nguyên tắc phân cấp quản lý thiết bị ngoại vi 52 Kênh Multiplex • Phép trao đổi vào ra: thực theo nguyên lý Macroprocessor, • Với máy vi tính: Thiết bị điều khiển vào ≡ I/O Card, • Máy Card on Board, • Lập trình Card vào/ra: Viết TOOLS khởi tạo chương trình kênh, • Khái niệm kênh bó (Multiplex), Card Multimedia 53 CuuDuongThanCong.com 54 https://fb.com/sinhvienzonevn KỸ THUẬT PHÒNG ĐỆM - KỸ THUẬT PHỊNG ĐỆM • Cơ chế phục vụ phòng đệm, • Vấn đề đóng file output, FLUSH(F), • Vai trò phòng đệm: • Khái niệm phòng đệm (Buffer) OS BUFFER SYSTEM AM – Song song trao đổi vào xử lý, – Đảm bảo độc lập: • Thơng tin phương tiện mang, • Bản ghi lơ gíc vật lý, • Lưu trữ xử lý, DISK a AM – Giảm số lần truy nhập vật lý:Giả thiết lẩn truy nhập vật lý: 0.01”, truy nhập kiểu BYTE RAM 55 KỸ THUẬT PHỊNG ĐỆM Khơng có Buffer Các loại phòng đệm • Phòng đệm chung gắn với file, • Các Hệ QTCSDL hệ thống phòng đệm riêng để nâng độ linh hoạt tốc độ xử lý, • Các loại nhớ Cache phòng đệm • Ba kiểu tổ chức chính: Buffer 512B 1B 0.01” 0.01” 512B ~5” 0.01” 5KB ~50” 0.1” 50KB ~8’ 1” 56 – Phòng đệm truy nhập theo giá trị, – Phòng đệm truy nhập theo địa chỉ, – Phòng đệm vòng tròn 57 58 Các loại phòng đệm Các loại phòng đệm • B) Phòng đệm truy nhập theo địa chỉ: • A) Phòng đệm truy nhập theo giá trị: 59 CuuDuongThanCong.com 60 https://fb.com/sinhvienzonevn CHẾ ĐỘ QUẢN LÝ THEO MƠ ĐUN s • Đặc điểm: – Không cần phân phối nhớ liên tục, – Khơng đòi hỏi cơng cụ đặc biệt € áp dụng cho MTĐT, – Dễ dàng sử dụng chung mô đun CT, – Hiệu phụ thuộc vào cấu trúc CT nguồn, – Tồn tượng phân đoạn ngồi (External Fragmentation) • Thiếu nhớ, phận đoạn € Swapping RAM RAM 127 CHẾ ĐỘ QUẢN LÝ THEO MÔ ĐUN 128 D) CHẾ ĐỘ PHÂN TRANG • SWAPPING: – Do hệ thống đảm nhiệm, – Không thông tin, – Nội dung swapping: đưa mơ đun nhớ ngồi, giải phóng chổ nạp mơ đun • Bộ nhớ chia thành phần – trang (Pages), • Các trang – đánh số 0, 1, 2, - địa trang • Cách chọn mô đun đưa ra: Option – Mô đun tồn lâu nhớ, – Mơ đun có lần sử dụng cuối cách lâu nhất, – Mô đun có tần xuất sử dùng thấp • IBM PC 286 trở lên: – Một chế độ 286 chế độ 386 trở lên, – Swapping - ngầm định – tiêu chuẩn 129 CHẾ ĐỘ PHÂN TRANG CHẾ ĐỘ PHÂN TRANG • Thực CT: địa liệu phải biểu diễn dạng cặp • CT - cấu trúc phân trang, • Bảng quản lý trang PCB (Page Control Block), DP 130 • PCB € RAM, địa đầu PCB € RP- Page Register • Để đọc /ghi liệu: cần lần truy nhập tới nhớ: * (RP) + p € truy nhập tới phần tử thứ p∈ PCB, ** Khi Dp = 1: A ∪ d € truy nhập tới liệu AP 131 CuuDuongThanCong.com 132 https://fb.com/sinhvienzonevn CHẾ ĐỘ PHÂN TRANG • Đặc điểm: – – – – – – Không cần phân phối nhớ liên tục, Phải có cơng cụ kỹ thuật hõ trợ định vị trang, Không sử dụng chung mô đun CT, Hiệu không phụ thuộc vào cấu trúc CT nguồn, Bảng PCB lớn, Khơng bị phân đoạn ngồi • Thiếu nhớ (mọi trang sử dụng) € Swapping 133 134 E) CHẾ ĐỘ KẾT HỢP MÔ ĐUN – PHÂN TRANG CHẾ ĐỘ PHÂN TRANG • SWAPPING: – Do hệ thống đảm nhiệm, – Không thông tin, – Nội dung swapping: đưa trang nhớ ngồi, giải phóng chổ nạp trang • Bộ nhớ vật lý – phân trang, • CT – cấu trúc mơ đun, • Mỗi mơ đun – phân trang: • Cách chọn trang đưa ra: Option – Trang tồn lâu nhớ, – Trang có lần sử dụng cuối cùngcách lâu nhất, – Trang có tần xuất sử dùng thấp • IBM PC 386 trở lên: ngầm định – tiêu chuẩn 135 136 CHẾ ĐỘ KẾT HỢP MÔ ĐUN – PHÂN TRANG CHẾ ĐỘ KẾT HỢP MÔ ĐUN – PHÂN TRANG • Thực CT: địa liệu phải biểu diễn dạng nhóm 3: • • SCB € RAM, địa đầu SCB € Rs- Segment Register Để đọc /ghi liệu: cần lần truy nhập tới nhớ: * (Rs) + s € truy nhập tới phần tử thứ s∈ SCB, ** Khi D = 1: A+d € truy nhập tới PCBs ∈ SCB, *** Khi Dp = 1: A ∪ d € truy nhập tới liệu 137 CuuDuongThanCong.com 138 https://fb.com/sinhvienzonevn Rs = 300 s p 15 81 - QUẢN LÝ BỘ NHỚ TRONG IBM PC d 532 12314 12314 12395 150 405000 150 405 405532 RAM • Bốn mức ưu tiên (Privilege Levels) thực CT: ÷ 3, cao – 0, thấp – • Nguyên tắc nhập: CT quyền truy nhập tới CT liệu CT ưu tiên Nhân RAM RAM 139 IBM PC 140 IBM PC AM • chế độ: Chế độ thực (XT) chế độ bảo vệ (AT) • Chế độ Real Mode: ROM • Bộ nhớ phân phối cho CT - loại: nhớ chung (G) nhớ riêng (L) BỘ NHỚ CƠ SỞ 141 Chế độ Protected Mode 142 Chế độ Protected Mode • Mỗi khối ⇔ MCB (Memory Control Block) 3FFF • Bộ nhớ chung ⇔{MCB} € GDT (Global Descriptor Table) • Bộ nhớ riêng ⇔{MCB} € LDT (Local Descriptor Table) • MCB: Bytes/phần tử • Thực CT: GDT € RAM, GDTR LDT € RAM, LDTR k MCB Bộ nhớ vật lý Index Lệnh: LGDTR, SGDTR, LLDTR, SLDTR 143 CuuDuongThanCong.com 144 https://fb.com/sinhvienzonevn MCB Thuộc tính 80286 D MCB A • Địa tuyến tính: 32 bits l A d=1 Descriptor Privilege Level E ED System W • Khả năng: A Writable Accessed Expansion direction Present S = DPL Executable d=1 ED P – Vật lý: AR – 24 bits – Vph= 224 – = 16MB – Lô gic: Vlg=213×21×216 – =230 – =1 GB 145 MCB 146 80386 - PENTUM • G = - Chế độ mơ đun, đơn vị tính kích thước khối – Byte € L = 220 = MB • G = - Chế độ phân trang, đơn vị tính kích thước khối – trang (4 KB) € L = 220 P = 220ì212 = 232 = GB D = - Chế độ liệu 16 bit, • D = - Chế độ liệu 32 bit 147 148 80386 - PENTUM 80386 - PENTUM • Địa tuyến tính: 48 bits • Chế độ kết hợp mơ đun – phân trang: • Khả năng: • Phân phối nhớ: – Vật lý: AR – 32 bits – Vph= 232 – = 4GB – Lơ gic: Vlg=213×21×232 – =246 – = 26×240 – = 64 TB 149 CuuDuongThanCong.com 150 https://fb.com/sinhvienzonevn Phân loại IV – QUẢN LÝ TIẾN TRÌNH (PROCESS) • - Định nghĩa tiến trình: • – Phân loại: song song, • Tiến trình song song: • 151 152 Phân loại Phân loại • c) Phân cấp: • Tài nguyên cho tiến trình con: • a) Độc lập: Bảo vệ thơng tin, • b)Quan hệ thơng tin: – Tiến trình nhận: Tồn tại? Ở đâu? Giai đoạn nào? – Cơ chế truyền tin: – Hệ thống QL tài nguyên tập trung: từ hệ thống, – Hệ thống QL tài nguyên phân tán: từ vốn tài ngun tiến trình chính, • QL phân tán: Tiến trình phải kết thúc sau tiến trình € POST, WAIT • d) Đồng mức: • Sử dụng chung theo nguyên tắc lần lượt, • Các hệ thống mơ phỏng, trò chơi, • Hòm thư, • I/O Ports, • Monitor/ 153 - BIỂU DIỄN TIẾN TRÌNH SONG SONG • Giả thiết: S1, S2, , Sn – công việc thực song song (Trên nhiều máy) 154 BIỂU DIỄN • cách mơ tả phổ biến: PARBEGIN S1 ; S2; Sn PAREND; Các công việc Si mơ tả xác ngơn ngữ lập trình cụ thể n 155 CuuDuongThanCong.com COBEGIN S1 ; S2; Sn COEND; 156 https://fb.com/sinhvienzonevn Yêu cầu – TÀI NGUYÊN GĂNG ĐOẠN GĂNG • Tài nguyên găng: Khả phục vụ đồng thời bị hạn chế, thông thường - • Ví dụ: Máy in, q trình bán vé máy bay • Đoạn găng (chỗ hẹp) tiến trình, • Điều độ tiến trình qua đoạn găng: Tổ chức cho tiến trình qua chổ hẹp • Giải thuật điều độ phải đảm bảo yêu cầu • i) Đảm bảo tài nguyên găng phục vụ khả mình, • ii) Khơng để tiến trình nằm vơ hạn đoạn găng, • iii) Nếu có xếp hàng chờ sớm hay muộn tiến trình qua đoạn găng, • iv) Nếu có tiến trình chờ đợi tài ngun găng giải phóng, tài ngun găng phải phục vụ cho tiến trình chờ đợi 157 158 – CÁC GIẢI THUẬT ĐIỀU ĐỘ CẤP THẤP Cơng cụ điều độ • Cơng cụ điều độ: loại: – Cấp cao: hệ thống đảm nhiệm, nằm ngồi tiến trình điều độ, – Cấp thấp: cài đặt vào tiến trình điều độ • Các giải thuật điều độ cấp thấp: lớp giải thuật: – Phương pháp khoá trong, – Phương pháp kiểm tra xác lập, – Kỹ thuật đèn báo • Phương pháp khố trong: • Ngun lý: – Mỗi tiến trình (TT) đặt tương ứng tài nguyên găng với biến ∈ G, – TT dùng biến để đánh dấu việc sử dụng tài nguyên găng, – Trước vào đoạn găng TT phải kiểm tra biến tương ứng TT khác vào đoạn găng khơng có TT sử dụng tài nguyên găng 159 160 SƠ ĐỒ NGUYÊN LÝ Phương pháp khố • Mơi trường ví dụ: Xét trường hợp: – tiến trình, – Mỗi TT có đoạn găng đầu, – tài nguyên găng với khả phục vụ:1, – Các tiến trình lặp vơ hạn • Tránh nhầm lẫn khái niệm: – Sơ đồ nguyên lý: nêu ý tưởng chung, – Giải thuật điều độ: sơ đồ hành động để đảm bảo điều độ • • • • • • • • • • • • • • • BEGIN Ban đầu k = 0; khoá mở PARBEGIN tt1: while k = do;