A way of making sure that if one pr

A way of making sure that if one process is using a shared modifiable data, the other processes will be excluded from doing the same thing.

Formally, while one process executes the shared variable, all other processes desiring to do so at the same time moment should be kept waiting; when that process has finished executing the shared variable, one of the processes waiting; while that process has finished executing the shared variable, one of the processes waiting to do so should be allowed to proceed. In this fashion, each process executing the shared data (variables) excludes all others from doing so simultaneously. This is called Mutual Exclusion.

Note that mutual exclusion needs to be enforced only when processes access shared modifiable data - when processes are performing operations that do not conflict with one another they should be allowed to proceed concurrently.





Mutual Exclusion Conditions

If we could arrange matters such that no two processes were ever in their critical sections simultaneously, we could avoid race conditions. We need four conditions to hold to have a good solution for the critical section problem (mutual exclusion).

No two processes may at the same moment inside their critical sections.
No assumptions are made about relative speeds of processes or number of CPUs.
No process should outside its critical section should block other processes.
No process should wait arbitrary long to enter its critical section.

Kết quả (Việt) 1:

Một cách để đảm bảo rằng nếu một quá trình đang sử dụng một sửa đổi dữ liệu được chia sẻ, các quá trình khác sẽ được loại trừ khỏi làm điều tương tự.Chính thức, trong khi một quá trình thực hiện thay đổi được chia sẻ, tất cả các quy trình khác mong muốn làm như vậy tại cùng một thời điểm thời gian nên được giữ chờ đợi; Khi quá trình đó đã hoàn thành thực hiện biến được chia sẻ, một trong các quá trình chờ đợi; trong khi quá trình đó đã hoàn thành thực hiện thay đổi được chia sẻ, một trong các quá trình mà chờ đợi để làm như vậy nên được phép tiến hành. Trong thời trang này, mỗi quá trình thực hiện các dữ liệu được chia sẻ (biến) không bao gồm tất cả những người khác làm như vậy cùng một lúc. Điều này được gọi là loại trừ lẫn nhau.Lưu ý rằng loại trừ lẫn nhau phải được thi hành chỉ khi quá trình truy cập chia sẻ dữ liệu sửa đổi - khi quá trình thực hiện hoạt động không xung đột với nhau họ nên được phép tiến hành đồng thời. Điều kiện loại trừ lẫn nhauNếu chúng tôi có thể sắp xếp những vấn đề như vậy mà không có quá trình hai đã bao giờ trong phần quan trọng của họ cùng một lúc, chúng tôi có thể tránh điều kiện chủng tộc. Chúng ta cần bốn điều kiện tổ chức để có một giải pháp tốt cho vấn đề quan trọng phần (loại trừ lẫn nhau).Không có hai quá trình có thể lúc này cùng một bên trong phần quan trọng của họ.Không có giả định được thực hiện về các tốc độ tương đối của quá trình hoặc số của CPU.Không có quá trình nên bên ngoài phần quan trọng của mình nên chặn các quá trình khác.Không có quá trình nên chờ đợi tùy ý lâu để vào phần quan trọng của nó.

Kết quả (Việt) 2:

Một cách để làm cho chắc chắn rằng nếu một quá trình được sử dụng một dữ liệu thay đổi được chia sẻ, các quá trình khác sẽ được loại trừ khỏi làm điều tương tự. Về hình thức, trong khi một quá trình thực hiện các biến được chia sẻ, tất cả các quá trình khác với mong muốn để làm như vậy tại thời điểm thời nên được lưu giữ chờ đợi; khi quá trình đã thực hiện các biến được chia sẻ xong, một trong những quá trình chờ đợi; trong khi quá trình đã thực hiện các biến được chia sẻ xong, một trong những quá trình chờ đợi để làm như vậy nên được phép tiến hành. Trong thời trang này, mỗi quá trình thực hiện các dữ liệu được chia sẻ (các biến) không bao gồm tất cả những người khác làm như vậy cùng một lúc. . Điều này được gọi là loại trừ lẫn nhau Lưu ý rằng loại trừ lẫn nhau cần phải được thi hành chỉ khi quá trình cập chia sẻ dữ liệu thay đổi được -. Khi quá trình đang thực hiện các hoạt động mà không xung đột với nhau họ nên được phép tiến hành đồng thời điều kiện loại trừ lẫn nhau Nếu chúng tôi có thể sắp xếp các vấn đề như vậy mà không có hai quy trình là chưa từng có trong các phần quan trọng của họ cùng một lúc, chúng ta có thể tránh điều kiện chủng tộc. Chúng tôi cần bốn điều kiện để tổ chức để có một giải pháp tốt cho vấn đề phần quan trọng (trừ lẫn nhau). Không có hai quá trình có thể cùng một lúc bên trong bộ phận quan trọng của họ. Không có giả định được đưa ra về tốc độ tương đối của các quá trình hoặc số CPU. Không có quá trình nên ngoài phần quan trọng của nó nên chặn các quá trình khác. Không có quy trình cần chờ đợi lâu tùy ý nhập vào phần quan trọng của nó.