TÌM HIỂU CƠ CHẾ GIỮA CÁC TIẾN TRÌNH(INTERPROCESS COMMUNICATION) VÀ ĐỒNG BỘ HÓA MÔ PHỎNG BÀI TOÁN SLEEPING BABER PROBLEM

BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA CÔNG NGHỆ THÔNG TIN ĐỒ ÁN MƠN HỌC CƠ SỞ NGÀNH MẠNG ĐỀ TÀI 1: TÌM HIỂU CƠ CHẾ GIỮA CÁC TIẾN TRÌNH(INTER-PROCESS COMMUNICATION) VÀ ĐỒNG BỘ HĨA MƠ PHỎNG BÀI TỐN SLEEPING BABER PROBLEM ĐỀ TÀI 2: XÂY DỰNG ỨNG DỤNG CHAT ĐA PHƯƠNG TIỆN DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG LỜI CẢM ƠN Nguyên lý hệ điều hành Lập trình mạng kiến thức tảng mà lập trình viên phải hiểu rõ để phục vụ cho kiến thức cao Hệ điều hành tập hợp chương trình phần mềm chạy máy tính, dùng để điều hành, quản lý thiết bị phần cứng tài nguyên phần mềm máy tính Hệ điều hành đóng vai trò trung gian việc giao tiếp người sử dụng phần cứng máy tính, cung cấp mơi trường cho phép người sử dụng phát triển thực ứng dụng cách dễ dàng Cùng với phát triển mạng Internet nay, việc nghiên cứu nằm vững kiến thức mạng quan trọng Dựa hiểu biết tìm hiểu tài liệu, em nghiên cứu thực đề tài: Bài toán Sleeping Barber Problem xây dựng ứng dụng chat tảng android Em xin chân thành cảm ơn thầy cô khoa Công Nghệ Thông Tin tạo điều kiện để em nghiên cứu kĩ kiến thức này, đặc biệt cô Nguyễn Thị Lệ Quyên nhiệt tình theo dõi, hướng dẫn em trình thực đề tài Vì kiến thức hạn hẹp, nên khơng thể tránh khỏi sai sót q trình làm đề tài, mong nhận góp ý thầy để sản phầm hoàn thiện Em xin chân thành cảm ơn Sinh viên thực Dương Văn Trang DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG MỤC LỤC PHẦN 1: NGUYÊN LÝ HỆ ĐIỀU HÀNH Cơ Chế Giao Tiếp Giữa Các Tiến Trình I Tiến Trình Tương Tranh Giữa Các Process Đồng Bộ Hóa II Mục tiêu đồng Miền găng Nguyên tắc đồng Các giải thuật đồng 4.1 Busy And Waiting a Giải pháp phần mềm b Giải pháp phần cứng 4.2 a Sleep And Wakeup Semaphore s biến có thuộc tính sau: 10 III Mô Phỏng Bài Toán Barber Sleeping Problem 12 Bài Toán 12 Phân tích 12 Sơ đồ toán 13 Triển Khai 14 Kết Quả 14 PHẦN 2: LẬP TRÌNH MẠNG 16 Cơ sở lý thuyết 16 I II Phân tích hệ thống 17 Mơ hình ứng dụng 17 Mơ hình use case ứng dụng 18 III Triển khai đánh giá kết 18 Màn hình giao diện 18 IV Kết luận hướng phát triển 21 Kết đạt 21 DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG Hướng phát triển 21 DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG PHẦN 1: NGUYÊN LÝ HỆ ĐIỀU HÀNH Đề tài: ‘Tìm hiều chế giao tiếp tiến trình (Inter-process communication IPC) đồng hóa mơ tốn Anh thợ cắt tóc ngủ gật” I Cơ Chế Giao Tiếp Giữa Các Tiến Trình Tiến Trình Process hệ điều hành Khái niệm: process chương trình hoạt động (đang chạy, tải lên nhớ để hoạt động) Một chương trình có hai (hay nhiều) process chạy, chúng coi hai (hay nhiều) trình độc lập với Một process (tiến trình) hệ điều hành tiến hành độc lập giao tiếp với Process độc lập process không ảnh hưởng bị ảnh hưởng process khác hệ thống, không chia sẻ data với process Process giao tiếp process ảnh hưởng bị ảnh hưởng process khác hệ thống, chia sẻ data có diễn Các process cần phải giao tiếp với vì:  Giúp chia sẻ thơng tin users  Giúp speech up tác vụ máy tính  Giúp xây dựng modun  Giúp thuận tiện chạy nhiều tác vụ lúc Tương Tranh Giữa Các Process Inter Process communication (hay gọi IPC) – giao tiếp process – phương thức thiếu việc giúp process trao đổi thông tin với Hai models IPC shared memory (chia sẻ nhớ) – với nhiệm vụ hình thành khu vực lưu trữ nhớ chung – message passing (truyền tin) – với nhiệm vụ truyền tải tin nhắn liên tục process DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG IPC sử dụng model shared memory cần process tham gia mở vùng nhớ chung Vùng nhớ chung tạo thành từ nhiều vùng nhớ riêng process Để sử dụng model shared memory, process cần cho phép việc truy cập nhớ để sử dụng viết data vùng chia sẻ chung Các tiến trình định kiểu data chia sẻ vùng chia sẻ chung đâu Tất nhiên chúng phải bảo đảm vùng chia sẻ chung không bị ghi đè lên Để giải vấn đề vùng chia sẻ chung không bị ghi đề lên hướng giải vấn đề đồng hóa (synchronising) II Đồng Bộ Hóa Mục tiêu đồng  Đảm bảo truy xuất độc quyền  Đảm bảo chế phối hợp tiến trình Miền găng Đoạn code tiến trình đồng thời, có tác động đến tài nguyên trở thành tài nguyên găng gọi đoạn găng hay miền găng Tức là, đoạn code chường trình dùng để truy cập đến vùng nhớ chia sẻ, tập tin chia sẻ gọi đoạn găng Để hạn chế lỗi xảy sử dụng tài nguyên găng, hệ điều hành phải điều khiển tiến trình cho, thời điểm có tiến trình nằm đoạn găng, có nhiều tiến trình muốn vào( thực hiện) đoạn găng có tiến trình vào, tiến trình khác phải chờ, tiến trình khỏi( kết thúc) đoạn găng phải báo cho hệ điều hành và/ tiến trình khác biết để tiến trình vào đoạn găng,vv Các cơng tác điều khiến tiến trình thực đoạn găng hệ điều hành gọi điều độ tiến trình qua đoạn găng Để cơng tác điều độ tiến trình qua đoạn găng thành cơng, cần phải có phối hợp vi xử lí, hệ điều hành người lập trình Vi xử lí đưa thị, hệ điều hành cung cấp cơng cụ để người lập trình dựng sơ đồ điều độ hợp lý, để đảm bảo độc quyền việc sử dụng tài nguyên găng tiến trình Nguyên tắc đồng  Tại thời điểm có tiến trình miền găng DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG  Khơng có ràng buộc tốc độ tiến trình số xử lý hệ thống  Một tiến trình tạm dừng bên ngồi miền găng khơng ngăn cản tiến trình khác vào miền găng  Khơng có tiến trình chơ vơ hạn để vào miền găng Các giải thuật đồng 4.1 Busy And Waiting a Giải pháp phần mềm  Dùng biến lock: tiến trình chia sẻ biến dùng chung lock - Một tiến trình muốn vào miền găng phải kiểm tra giá trị biến lock - Nếu lock = 0, tiến trình đặt lại giá trị cho lock = vào miền găng - Nếu lock = 1, tiến trình phải chờ đến lock = while (TRUE) { while (lock == 1); // wait lock = 1; critical-section (); lock = 0; Noncritical-section (); }  Kiểm tra luân phiên: Hai tiến trình sử dụng chung biến turn - Khởi tạo turn = Nếu turn = 0, tiến trình A vào miền găng Nếu turn = 1, tiến trình A vào vòng lặp chờ đến turn nhận giá trị Khi tiến trình A rời khỏi miền găng, đặt turn = cho phép tiến trình B vào miền găng while (TRUE) { while (TRUE) { critical-section (); critical-section (); Noncritical-section (); Noncritical-section (); DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG  Giải pháp Peterson: Các tiến trình chia sẻ hai biến chung - int turn; // đến lượt tiến trình - Khởi tạo int interesse[2] = FALSE interesse[0]=interesse[1]=FALSE - Nếu interesse[i] = TRUE: Pi muốn vào miền găng, phải đặt turn=j đề nghị thử tiến trình Pj vào miền găng Nếu tiến trình Pj khơng có nhu cầu vào miền găng (interesse[j]=FALSE), Pi vào miền găng Ngược lại, Pi phải chờ đến interesse[j]=FALSE Khi tiến trình Pi rời khỏi miền găng, đặt lại giá trị cho interesse[i]= FALSE while (TRUE) { int j = 1-i; // j tiến trình lại interesse[i]= TRUE; turn = j; while (turn == j && interesse[j]==TRUE); critical-section (); interesse[i] = FALSE; Noncritical-section (); } b Giải pháp phần cứng  Cấm ngắt: cho phép tiến trình cấm tất ngắt trước vào miền găng, phục hồi ngắt khỏi miề ếu hệ thống có nhiều xử lý, lệnh cấm ngắt có tác dụng xử lý xử lý tiến trình, tiến trình hoạt động xử lý khác truy xuất đến miền găng DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG  Chỉ thị TSL(Test-and-set Lock): Nếu có hai thị TSL xử lý đồng thời, Test-and-Setlock(boolean chúng xử lý target) Có thể cài đặt giải pháp truy xuất độc quyền với TSL cách sử dụng { thêm biến lock, khởi gán Test-and-Setlock = target; FALSE Tiến trình phải kiểm tra giá target = TRUE; trị biến lock trước vào miền } găng, lock = FALSE, tiến trình vào miền găng Các giải pháp “busy waiting” buộc tiến trình phải liên tục kiểm tra điều kiện để phát thời điểm thích hợp vào miền găng Việc kiểm tra tiêu thụ nhiều thời gian sử dụng CPU, tiến trình chờ chiếm dụng CPU Xu hướng giải vấn đề đồng hóa nên tránh giải pháp “busy waiting” 4.2 Sleep And Wakeup Một tiến trình chưa đủ điều kiện vào miền găng chuyển sang trạng thái blocked, từ bỏ quyền sử dụng CPU  Sử dụng hai thủ tục SLEEP WAKEUP  Một tiến trình chưa đủ điều kiện vào miền găng, gọi SLEEP để tự block đến có tiến trình khác gọi WAKEUP để giải phóng cho  Một tiến trình gọi WAKEUP khỏi miền găng để đánh thức tiến trình chờ DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG int busy;//busy=1 miền găng bị chiếm int blocked;// số tiến trình bị khóa while (TRUE){ if (busy){ blocked = blocked + 1; sleep(); } else busy = 1; critical-section (); busy = 0; if(blocked){ wakeup(process); blocked = blocked - 1; } Noncritical-section (); } a Semaphore s biến có thuộc tính sau:  Một giá trị ngun dương e(s)  Một hàng đợi f(s) lưu danh sách tiến trình bị khóa (chờ) semaphore s  Hai thao tác định nghĩa semaphore:  Down(s): giảm s đơn vị e(s) > 0, tiếp tục xử lý Ngược lại, e(s) ≤ 0, tiến trình phải chờ đến e(s) >0  Up(s): s lên đơn vị Nếu có nhiều tiến trình chờ semaphore s, bị khóa thao tác Down, hệ thống chọn tiến trình để kết thúc thao tác Down cho tiếp tục xử lý  Có thể dùng semaphore để giải vấn đề truy xuất độc quyền hay tổ chức phối hợp tiến trình DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG Down(s): e(s) = e(s) - 1; if e(s) < 0{ status(P)= blocked; enter(P,f(s)); } Up(s): e(s) = e(s) + 1; if s ≤ { exit(Q,f(s));//Q: tiến trình chờ s status (Q) = ready; enter(Q,ready-list); } b Monitor đối tượng cung cấp sẵn hệ thống Monitor cấu trúc đặc biệt bao gồm thủ tục, biến cấu trúc liệu có thuộc tính sau : - Trong monitor, ta định nghĩa nhiều biến điều kiện Biến điều kiện có tên, khơng có kiểu khơng có giá trị nên ta khơng dùng biến bình thường Chỉ có tác vụ định sẵn truy xuất biến điều kiện : - hàm wait(cond) : bắt process ngủ chờ biến điều kiện cond - hàm signal(cond) : đánh thức process ngủ chờ biến cond - Về mặt điều khiển, Monitor cho phép tối đa process vào thi hành tác vụ Monitor thời điểm Nhờ tính chất này, ta dễ dàng giải việc loại trừ tương hỗ process chúng truy xuất đồng thời tài nguyên dùng chung cách đặt đoạn CS vào tác vụ riêng đặt tất tác vụ Monitor c Message Passing giải pháp dựa sở trao đổi thông điệp với hai primitive Send Receive để thực đồng hóa: Send(destination, message): gởi thơng điệp đến tiến trình hay gởi vào hộp thư Receive(source,message): nhận thông điệp thừ tiến trình hay từ tiến trình nào, tiến trình gọi chờ khơng có thơng điệp để nhận Có nhiều cách thức để thực việc truy xuất độc quyền chế trao đổi thơng điệp Đây mơ hình đơn giản: tiến trình kiểm sốt việc sử dụng tài nguyên nhiều tiến trình khác yêu cầu tài nguyên Tiến trình có u cầu tài ngun gởi thơng điệp đến tiến trình kiểm sốt sau chuyển sang trạng thái blocked DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG nhận thơng điệp chấp nhận cho truy xuất từ tiến trình kiểm soát tài nguyên.Khi sử dụng xong tài nguyên , tiến trình gởi thơng điệp khác đến tiến trình kiểm soát để báo kết thúc truy xuất Về phần tiến trình kiểm sốt , nhận thơng điệp yêu cầu tài nguyên, chờ đến tài ngun sẵn sàng để cấp phát gởi thơng điệp đến tiến trình bị khóa tài ngun để đánh thức tiến trình while (TRUE) { Send(process controler, request message); Receive(process controler, accept message); critical-section (); Send(process controler, end message); Noncritical-section (); } Các primitive semaphore monitor giải vấn đề truy xuất độc quyền máy tính có nhiều xử lý chia sẻ vùng nhớ chung Nhưng primitive không hữu dụng hệ thống phân tán, mà xử lý sỡ hữu nhớ riêng biệt liên lạc thông qua mạng Trong hệ thống phân tán thế, chế trao đổi thông điệp tỏ hữu hiệu dùng để giải tốn đồng hóa III Mơ Phỏng Bài Tốn Barber Sleeping Problem Bài Tốn Một tiệm hớt tóc có phòng đợi n ghế, phòng cắt tóc với ghế cắt tóc Nếu khơng khách người thợ ngủ Nếu khách vào khơng ghế trống người khách rời tiệm Nếu người thợ cắt tóc, ghế trống khách hàng chọn ghế ngồi đợi Nếu người thợ ngủ, khách hàng đánh thức Viết chương trình để đồng khách hàng thợ cắt tóc Phân tích Tiệm có lúc vắng, lúc nhiều khách Thợ nên ngủ khơng có khách Nếu đánh thức, thợ mời khách đến ghế cắt cắt tóc cho khách hết khách, thợ lại tiếp tục ngủ Khi đến tiệm, thấy ghế chờ, khách ngồi vào ghế, đánh DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG thức thợ ngủ Khi thợ đánh thức mời đến ghế cắt khách thức dậy đến ngồi vào ghế cắt ngủ chờ thợ cắt xong, trả tiền (Hình minh họa Sleeping Barber Problem) Sơ đồ tốn (Hình Mơ hình tốn thợ cắt tóc) DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG Triển Khai Class Barber.java class tạo tiến trình thợ cắt tóc Class Customer.java class tạo tiến trình customer Class Display.java: class xây dựng giao diện Class App.java: class tạo đối tượng chạy chương trình Kết Quả (Hình Giao diện chương trình ) DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN IV CƠ SỞ NGÀNH MẠNG Kết luận hướng phát triển Kết đạt Thông qua đồ án em hiểu cách tiến trình giao tiếp với nhau, hiểu giải pháp để đồng tiến trình Bên cạnh mặt đạt trên, trình làm đồ án chúng em học thêm nhiều kiến thức bổ ích hệ điều hành việc áp dụng giải pháp semaphore phát triển dựa ngôn ngữ lập trình Java Hướng phát triển Giải toán Sleeping Barber Problem giải pháp đồng khác DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG PHẦN 2: LẬP TRÌNH MẠNG Đề tài: Xây dựng ứng dụng chat đa phương tiện Giới thiệu: Ngày nay, ứng dụng realtime mạng xã hội, chat, game online,… ngày phát triển cơng nghệ realtime ln ưa chuộng hết Một cơng nghệ phục vụ realtime mạnh mẽ phải kể đến NodeJs Socket.io Trong phạm vi đồ án em xây dựng ứng dụng chat realtime nhỏ Android V Cơ sở lý thuyết Node.js Socket.io NodeJS ngơn ngữ lập trình mã nguồn mở, ngơn ngữ lập trình phía server, bắt đầu phát triển từ năm 2009, tảng cho việc xây dựng ứng dụng web Mặc dù NodeJS JavaScript framework hầu hết module viết JavaScript Hoạt động với luồng có khả asynchronous (bất đồng bộ) (Hình Mơ hình hoạt động Server Node.js) Socket.io cung cấp cho lập trình viên đặc trưng event, room tự động phục hồi lại kết nối Khi client muốn kết nối tới Socket.io server, gửi cho server “handshake HTTP request” Server phân tích request với thơng tin cần thiết suốt q trình kết nối Nó tìm cấu hình middleware mà đăng ký với server thực thi chúng trước đưa kiện kết nối Khi kết nối thành cơng connection event listener DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG thực thi, tạo instance socket coi định danh client mà client kết nối tới có định danh (Hình Mơ hình chat realtime sử dụng socket.io) Socket.io gồm phần: Client: gồm thư viện viết cho web(JavaScript), iOS, Android Server: gồm thư viện viết cho Nodejs Cơ chế hoạt động ứng dụng realtime thơng qua server để lắng nghe (listen) data truyền data máy client VI Phân tích hệ thống Mơ hình ứng dụng (Hình Mơ hình hoạt động ứng dụng) - Phía server sẻ liên tục lắng nghe kết nối từ client, sẻ gọi socket.on để trả thơng điệp phía client Máy client gửi thơng điệp lên server kiện socket.emit, client lắng nghe thông điệp từ server sử lý kiện tương ứng DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG Mơ hình use case ứng dụng (Hình Sơ đồ usecase ứng dụng) Các chức ứng dụng: Gửi tin nhắn dạng văn bản, hình ảnh, âm Người dùng biết tên user người gửi tin nhắn đến, trạng thái gõ bàn phím Tất liệu gửi lên server gửi client dạng JSONObject Với liệu dạng hình ảnh, máy client sẻ chuyển liệu ảnh sang dạng byte sau đóng gói vào JSONObject gửi lên server Máy nhận sẻ giải mã ngược dạng byte sang dạng bitmap hiển thị hình Với liệu âm máy gửi sẻ chuyển liệu mp3 sang byte trước gửi lên server Máy nhận sẻ giải mã sang dạng mp3 phát lên cho người dùng VII Triển khai đánh giá kết Màn hình giao diện DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG Màn hình login, đăng nhập với username (Hình Giao diện Login) DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN Màn hình sau Login (Hình Giao diện chat) Sau gửi ảnh (Hình 10 Kết gửi ảnh) DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG CƠ SỞ NGÀNH MẠNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG Giao diện nhập tin nhắn âm Sau người gửi,gửi tin nhắn âm thanh, bên máy nhận sẻ phát âm (Hình 11 Giao diện gửi âm thanh) VIII Kết luận hướng phát triển Kết đạt Về mặt lý thuyết, hiểu cách hoạt động ứng dụng realtime, biết thêm kiến thức node.js, socket.io lập trình andoird Về mặt thực tiễn,ứng dụng hoạt động chạy chức gửi tin nhắn văn bản, hình ảnh, âm thanh, xác định có người gõ tin nhắn, biết tên username gửi tin nhắn Tuy nhiên nhiều mặt hạn chế như: - Ứng dụng chưa có chức gửi emotion, ảnh động gif, gửi nhận video - Giao điện chưa bắt mắt, sơ sài… Hướng phát triển DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG BÁO CÁO ĐỒ ÁN CƠ SỞ NGÀNH MẠNG Bổ sung thêm chức thiếu nêu Trần Hồ Thuỷ Tiên, Bài giảng Nguyên lý hệ điều hành, Khoa CNTT trường Đại học Bách khoa Đà nẵng Internet https://viblo.asia/p/xay-dung-ung-dung-chat-tren-android-voi-nodejs-va-socketio-phan-2djeZ1VDjlWz https://o7planning.org/vi/11951/tim-hieu-ve-event-loop-trong-nodejs DƯƠNG VĂN TRANG – 102150205 – ĐHBK ĐH ĐÀ NẴNG ... ÁN CƠ SỞ NGÀNH MẠNG MỤC LỤC PHẦN 1: NGUYÊN LÝ HỆ ĐIỀU HÀNH Cơ Chế Giao Tiếp Giữa Các Tiến Trình I Tiến Trình Tương Tranh Giữa Các Process Đồng Bộ. .. lên hướng giải vấn đề đồng hóa (synchronising) II Đồng Bộ Hóa Mục tiêu đồng  Đảm bảo truy xuất độc quyền  Đảm bảo chế phối hợp tiến trình Miền găng Đoạn code tiến trình đồng thời, có tác động... biến có thuộc tính sau: 10 III Mô Phỏng Bài Toán Barber Sleeping Problem 12 Bài Toán 12 Phân tích 12 Sơ đồ toán 13 Triển Khai