The Beginning: Mutual ExclusionThe

The Beginning: Mutual Exclusion
The Problem. While concurrent program
execution had been considered
for years, the computer science of concurrency
began with Edsger Dijkstra’s
seminal 1965 paper that introduced the
mutual exclusion problem.5 He posed
the problem of synchronizing N processes,
each with a section of code
called its critical section, so that the following
properties are satisfied:
Mutual Exclusion. No two critical sections
are executed concurrently.
(Like many problems in concurrency,
the goal of mutual exclusion
is to eliminate concurrency, allowing
us to at least pretend that
everything happens sequentially.)
Livelock Freedom. If some process is
waiting to execute its critical section,
then some process will eventually
execute its critical section.

ผลลัพธ์ (ไทย) 1:

เริ่มต้น: แยกออกซึ่งกันและกันปัญหา ในขณะที่โปรแกรมพร้อมกันได้รับการพิจารณาการดำเนินการปี ศาสตร์คอมพิวเตอร์พร้อมกันเริ่มต้น ด้วย Edsger Dijkstraบรรลุถึง 1965 กระดาษที่นำมาใช้ในเขาอึ้ง problem.5 แยกออกซึ่งกันและกันปัญหาของการซิงโครไนส์กระบวนการ Nมีส่วนของรหัสเรียกว่าเป็นส่วนที่สำคัญ เพื่อว่าต่อไปนี้พอใจคุณสมบัติ:แยกออกซึ่งกันและกัน ไม่สำคัญสองส่วนดำเนินการพร้อมกัน(เช่นปัญหามากมายในเกิดเป้าหมายของแยกออกซึ่งกันและกันคือการ กำจัดพร้อมกัน ทำให้เราจะทำน้อย ที่ทุกอย่างที่เกิดขึ้นตามลำดับ)เป็นอิสระ Livelock ถ้ากระบวนการบางอย่างรอการดำเนินการของส่วนที่สำคัญจากนั้น กระบวนการบางอย่างจะในที่สุดดำเนินการของส่วนที่สำคัญ

ผลลัพธ์ (ไทย) 2:

จุดเริ่มต้น:
ยกเว้นรวมปัญหา ในขณะที่โปรแกรมพร้อมกันการดำเนินการได้รับการพิจารณาสำหรับปีวิทยาศาสตร์คอมพิวเตอร์พร้อมกันเริ่มต้นด้วยEdsger Dijkstra ของน้ำเชื้อ1965 กระดาษที่แนะนำการยกเว้นร่วมกันproblem.5 เขาเกิดปัญหาของการทำข้อมูลให้ตรงกันกระบวนการยังไม่มีข้อความที่แต่ละคนมีส่วนของรหัสที่เรียกว่าส่วนที่สำคัญของเพื่อที่ว่าต่อไปนี้คุณสมบัติมีความพึงพอใจ: การยกเว้นร่วมกัน ไม่มีสองส่วนที่สำคัญที่จะดำเนินการควบคู่กันไป. (เช่นเดียวกับปัญหามากมายในการทำงานพร้อมกันเป้าหมายของการยกเว้นร่วมกันคือการกำจัดพร้อมกันช่วยให้เราอย่างน้อยแกล้งทำเป็นว่าทุกอย่างเกิดขึ้นตามลำดับ.) Livelock เสรีภาพ ถ้ากระบวนการบางอย่างที่รอการดำเนินการส่วนที่สำคัญของมันแล้วกระบวนการบางที่สุดจะดำเนินการส่วนที่สำคัญของ

ผลลัพธ์ (ไทย) 3:

จุดเริ่มต้น : ร่วมกันยกเว้น
ปัญหา ในขณะที่การดำเนินการโปรแกรมพร้อมกันได้

ถือว่าเป็นปี คอมพิวเตอร์ วิทยาศาสตร์ ของการเริ่มด้วย

edsger ตราอสุจิ 1965 กระดาษที่แนะนำ
ปัญหาการกีดกันร่วม 5 เขา posed ปัญหาตรงกัน

n กระบวนการแต่ละส่วนของรหัส
เรียกว่าส่วนของวิกฤต ดังนั้นคุณสมบัติต่อไปนี้

พอใจ :ไปร่วมกัน ไม่มีสองอย่างจะดำเนินการควบคู่กันไปส่วน
.
( เช่น ปัญหามากมายในการ
, เป้าหมายร่วมกันคือการขจัดการยกเว้น

เรา อย่างน้อยก็ให้แกล้งทำเป็นว่าทุกอย่างเกิดขึ้นต่อเนื่องกัน

) livelock เสรีภาพ ถ้ากระบวนการ
รอประหารของวิกฤต ส่วนกระบวนการจะในที่สุด

แล้วรันมันที่สำคัญส่วน