Tìm kiếm tài liệu miễn phí

Bài giảng Hệ điều hành: Chương 5.2 - Đại học Công nghệ Thông tin

Bài giảng "Hệ điều hành - Chương 5.2: Đồng bộ" giúp người học hiểu được nhóm giải pháp Busy waiting bao gồm: Các giải pháp phần mềm, các giải pháp phần cứng. Đây là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học và những ai quan tâm dùng làm tài liệu học tập và nghiên cứu.



Đánh giá tài liệu

0 Bạn chưa đánh giá, hãy đánh giá cho tài liệu này


  • 5 - Rất hữu ích 0

  • 4 - Tốt 0

  • 3 - Trung bình 0

  • 2 - Tạm chấp nhận 0

  • 1 - Không hữu ích 0

Mô tả

HỆ ĐIỀU HÀNH
Chương 5 – Đồng bộ (2)
1/17/2018

1/17/2018

Copyrights 2017 CE-UIT. All Rights Reserved.

1

Ôn tập chương 5 (1)
 Khi nào thì xảy ra tranh chấp race condition?
 Vấn đề Critical Section là gì?
 Yêu cầu của lời giải cho CS problem?
 Có mấy loại giải pháp? Kể tên?

1/17/2018

Copyrights 2017 CE-UIT. All Rights Reserved.

2

Mục tiêu chương 5 (2)
 Hiểu được nhóm giải pháp Busy waiting bao gồm:
Các giải pháp phần mềm
Các giải pháp phần cứng

1/17/2018

Copyrights 2017 CE-UIT. All Rights Reserved.

3

Nội dung chương 5 (2)
 Các giải pháp phần mềm
Sử dụng giải thuật kiểm tra luân phiên
Sử dụng các biến cờ hiệu
Giải pháp của Peterson
Giải pháp Bakery
 Các giải pháp phần cứng
Cấp ngắt
Chỉ thị TSL

1/17/2018

Copyrights 2017 CE-UIT. All Rights Reserved.

4

Giải thuật 1
 Biến chia sẻ
 int turn;

/* khởi đầu turn = 0 */
 nếu turn = i thì Pi được phép vào critical section, với i = 0 hay 1

 Process Pi
do {
while (turn != i);
critical section
turn = j;
remainder section
} while (1);

 Thỏa mãn Mutual exclusion (1)
 Nhưng không thoả mãn yêu cầu về progress (2) và bounded

waiting (3) vì tính chất strict alternation của giải thuật
1/17/2018

Copyrights 2017 CE-UIT. All Rights Reserved.

5

Tài liệu cùng danh mục Hệ điều hành

Khắc phục lỗi không thể khởi động ở Windows

Windows bỗng nhiên trở chứng và không thể khởi động bình thường. Nếu trường hợp này xảy ra, hãy bình tĩnh và thử sử dụng công cụ Startup Repair Tools được tích hợp sẵn trong Windows. Startup Repair là công cụ giúp người dùng sửa lại một số lỗi trên hệ thống mà ngăn Windows khởi động bình thường. Công cụ này sẽ quét toàn bộ hệ thống để tìm ra vấn đề và cố gắng khắc phục chúng, giúp Windows trở lại trạng thái khởi động bình thường. Lưu ý: Công cụ chỉ có tác dụng khắc phục các...


information security policy development guide large small companies phần 2

và điều tra, xác định và ủy quyền cho hậu quả của hành vi vi phạm, xác định đường cơ sở sự đồng thuận của công ty quan điểm về an ninh, giúp giảm thiểu rủi ro và giúp theo dõi việc tuân thủ các quy định và pháp luật. Các nhóm sau đây (và trong một số trường hợp, phải) có thể có đầu vào trong quá trình phát triển của chính sách trong việc rà soát và / hoặc


Windows Admin Scripting Little Black Book- P4

Windows Admin Scripting Little Black Book- P4:This book may not be duplicated in any way without the express written consent of the publisher, except in the form of brief excerpts or quotations for the purposes of review. The information contained herein is for the personal use of the reader and may not be incorporated in any commercial programs, other books, databases, or any kind of software without written consent of the publisher. Making copies of this book or any portion for any purpose other than your own is a violation of United States copyright laws....


Information and Communication Technologies

Information and communication technologies (ICTs) are increasingly seen as integral to the development process. This working paper reviews:(a) some of the evidence for the link between telecommunications and the internet and economic growth;(b) the likely impact of the new ICTs on income inequality; and(c) anecdotal evidence regarding the role of the Internet in improving government services and governance.This study looks at methods to maximize access to the new ICTs, and to improve their development impact in both the generation of income and the provision of quality services....


Active Directory Cookbook for windows server 2003- P45

Active Directory Cookbook for windows server 2003- P45:If you are familiar with the O'Reilly Cookbook format that can be seen in other popular books, such as the Perl Cookbook, Java Cookbook, and DNS and BIND Cookbook, then the layout of this book will not be anything new to you. The book is composed of 18 chapters, each containing 10-30 recipes for performing a specific Active Directory task. Within each recipe are four sections: problem, solution, discussion, and see also.


Mac OS X Server Administration For Version 10.5 Leopard 2nd phần 1

Logo của Apple là một thương hiệu của Apple Inc, đăng ký tại Mỹ và các nước khác. Sử dụng logo "bàn phím" Apple (Option-Shift-K) cho các mục đích thương mại mà không có sự đồng ý trước bằng văn bản của Apple có thể cấu thành hành vi xâm phạm thương hiệu và cạnh tranh không lành mạnh vi phạm pháp luật liên bang và tiểu bang.


Professional An droid Ap plication Development

A hands-on guide to building mobile applications, this book features concise and compelling examples that show you how to quickly construct real-world mobile applications for Android phones. Fully up-to-date for version 1.0 of the Android SDK, it covers all the essential features, and explores the advanced capabilities of Android.


Windows Errors part 52

Tham khảo tài liệu 'windows errors part 52', công nghệ thông tin, hệ điều hành phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả


Sử dụng Quick Migration để di chuyển máy ảo giữa các host Hyper-V

Với tính năng Quick Migration, người sử dụng có thể dễ dàng di chuyển 1 máy ảo đang hoạt động từ 1 hệ thống host thực qua hệ thống khác với khoảng thời gian ngừng hoạt động tối thiểu, mà vẫn đảm bảo được hiệu suất và độ ổn định cần thiết. Bằng việc sử dụng Windows Server Hyper-V hoặc Windows Server 2008 với HyperV, đi kèm với đó là Quick Migration, người quản lý có thể hoàn toàn chủ động trước những tình huống rủi ro xảy ra bất cứ lúc nào, ví dụ như việc xảy ra lỗi...


Làm chủ Blackberry phần 3

Làm chủ Blackberry phần 3 Lướt web nhận mail bằng BlackBerry Đặc trưng của tất cả các model BlackBerry là gửi và nhận e-mail, các model mới hiện nay còn hỗ trợ thêm nhiều giải pháp về kết nối, soạn thảo khác. Lướt web trên BlackBerry Trình duyệt của các model mới như Curve 8900 hỗ trợ HTML, cho phép hiển thị không chỉ nội dung chữ, mà còn video, nhạc, các clip mới trên website cũng như đọc tin RSS. Có ba phương thực duyệt web trên Curve 8900, đầu tiên là sử dụng Internet Browser bình thường để đọc...


Tài liệu mới download

Writing for FCE
  • 02/08/2016
  • 54.089
  • 551

Từ khóa được quan tâm

Có thể bạn quan tâm

Creating Groups in Linux
  • 03/09/2009
  • 92.494
  • 585

Bộ sưu tập

Danh mục tài liệu