mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-08 15:52:26 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2011-02-11T15:57:04.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@760 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-02-11 15:57:04 +00:00
parent 7c2083348e
commit a3465649c8
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/dining-savages.wiki
View File

@@ -10,10 +10,10 @@
=Description=
The problem of the dining savages (an obvious allusion to the classic dining philosophers) is based on the arguably tasteless analogy of a number of members of a primitive culture are sharing a meal from a single pot. The players are the "savages" themselves, a cook, and the pot. Each of the savages can freely take a serving from the pot so long as the pot is not empty. When the pot does become empty, the cook must be awakened to refill the pot, after which the feast continues. So, the savages can eat only when the pot is not empty, and the cook can fill the pot only when the pot is empty.
The problem of the dining savages (an obvious allusion to the classic dining philosophers) is based on the arguably tasteless analogy of a number of members of a primitive culture, hereinafter called the "savages", are sharing a meal from a single pot. The players are the savages themselves, a cook, and the pot. The pot contains a certain number of servings of savage sustenance (the nature of which will be left to your imagination). Each of the savages can freely remove a serving from the pot so long as the pot is not empty. So before taking a serving, a savage must check to make sure the pot is not empty. In the case in which the pot is empty, the savage must wake up the cook to refill the pot, after which the feast continue. The savages, then, can eat only when the pot is not empty, and the cook can fill the pot only when the pot is empty.
=Highlights=
The primary shared resource here is the pot, represented by class <code>POT</code>.
The primary shared resource here is the pot, represented by class <code>POT</code>. <code>POT</code> has queries <code>is_empty</code> and <code>is_full</code> that can be used by savages and the cook.