From 84ba331a9720a255ea2b9529aa1289d3ad6b9781 Mon Sep 17 00:00:00 2001 From: alexk Date: Thu, 24 Feb 2011 07:00:26 +0000 Subject: [PATCH] Author:halw Date:2011-02-24T03:11:23.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@786 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../command-line/finish-freezing-utility.wiki | 30 +++++++++++-------- .../scoop-examples/barbershop.wiki | 18 +++++++++++ 2 files changed, 36 insertions(+), 12 deletions(-) create mode 100644 documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/barbershop.wiki diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/finish-freezing-utility.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/finish-freezing-utility.wiki index 5181f575..fd8f9d27 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/finish-freezing-utility.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/finish-freezing-utility.wiki @@ -4,8 +4,6 @@ {{ReviewRequested}} - - =Introduction= The command line utility finish_freezing is used to compile external code generated by the Eiffel compiler. Most of the time finish_freezing gets executed behind the scenes as you freeze and finalize Eiffel systems, so you don't really need to be aware of it. However, finish_freezing can be run standalone, and is useful, for example, when [[Porting an Eiffel application from UNIX to Windows or vice-versa|porting systems to other platforms]]. @@ -17,47 +15,55 @@ finish_freezing [-location ] [-generate_only] [-nproc ] [-low] [-x86] [-silent [-silent...]] [-library [-library...]] [-version] [-nologo] -OPTIONS: +Options: :Options should be prefixed with: '-' or '/' {| border="1" |- -| '''OPTION''' -| '''ARGUMENTS''' +! style="text-align: center" | Option +! style="text-align: center" | Arguments +! style="text-align: center" | Effect |- |- | -location +| ''directory'' | Alternative location to compile C code in. -: Location to compile C code in |- | -generate_only +| | Informs tool to only generate a Makefile. |- -| -nproc -| Maximum number of processors to use -: Number of processors +| -nproc +| ''n'' +| Maximum number of processors to use. |- | -low +| | Executes finish freezing in low-execution priority mode. |- | -x86 +| | Generate 32bit lib DLLs for .NET projects. |- | -silent -| Suppresses confirmation dialog +| +| Suppresses confirmation dialog. |- | -library -| Compiles the C code of an Eiffel library +| +| Compiles the C code of an Eiffel library. |- | -? +| | Display usage information. |- | -version +| | Displays version information. |- | -nologo +| | Supresses copyright information. |} - diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/barbershop.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/barbershop.wiki new file mode 100644 index 00000000..30da5614 --- /dev/null +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/barbershop.wiki @@ -0,0 +1,18 @@ +[[Property:title|Barbershop]] +[[Property:weight|-11]] +[[Property:uuid|5ffbb4a1-10a1-c7d8-d30a-971027bf61ae]] +{{UnderConstruction}} + + +{{Beta}} + + +=Description= + +The [http://en.wikipedia.org/wiki/Sleeping_barber_problem barbershop], sometimes called ''the sleeping barber'', models a barbershop with one barber, one barber's chair, and a waiting room with several chairs. The alternative name of the problem comes from the fact that if there is no one waiting for a haircut, the barber flops in his chair and falls asleep. + +Also involved are a number of shaggy-haired customers. A customer entering the barbershop looks around and assesses the situation. If all the waiting room chairs are occupied, the customer leaves the shop to return again at a time when, hopefully, the queue will be shorter. + + +=Highlights= +