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

Author:halw

Browse Source 
Date:2011-06-02T21:30:36.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@917 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-06-07 19:35:32 +00:00
parent a8b840a6c3
commit 5c4735b0f3
4 changed files with 35 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-implementation.wiki
View File

@@ -13,7 +13,31 @@ In other ways, particularly for early versions, the EiffelStudio implementation
The differences between the EiffelStudio implementation of SCOOP and current and previous definitions of the SCOOP model are shown below.
=The Wait Rule=
=Known restrictions=
==Separate anchored types==
Applicable to version 6.8, prior to revision number 86657.
Separate status for anchored types is not supported properly. So declarations of the form:
<code>
my_entity: separate like my_query
</code>
and
<code>
my_entity: separate like Current
</code>
should be used only if you are using revision 86657 or later.
=Implementation dependent behavior=
==The Wait Rule==
The [[Concurrent Eiffel with SCOOP#Access to shared resources|Wait Rule]] says: ''A routine call with separate arguments will execute when all corresponding processors are available and hold them exclusively for the duration of the routine.''