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

Included verbiage about elements not yet or only partially implemented.

Browse Source 
Author:halw
Date:2011-05-17T20:04:33.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@900 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-05-17 20:04:33 +00:00
parent 3a495bc1af
commit 2113288fc0
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,10 +1,14 @@
[[Property:title|SCOOP implementation]] [[Property:title|SCOOP implementation]]
[[Property:weight|2]] [[Property:weight|2]]
[[Property:uuid|9185a5be-e1ec-67a5-70a3-c8fe1d8d151c]] [[Property:uuid|eeb07907-e036-f3d6-5297-a7c44cfd1900]]
{{UnderConstruction}} {{UnderConstruction}}
The implementation of SCOOP within EiffelStudio varies from the definition as it has been presented in publications during the model's evolution. Many of the differences stem from the reality that SCOOP systems could be optimized for performance, including maximizing concurrency. For example, even though the SCOOP rules state that a separate call to a query is synchronous, i. e., the calling processor waits until the query completes before proceeding, if a static analysis can show that the wait is not necessary to the proper functioning of the remainder of the calling routine, then the call to the query can be done asynchronously. The implementation of SCOOP within EiffelStudio varies from the definition as it has been presented in publications during the model's evolution.
Some of the differences stem from the reality that SCOOP systems could be optimized for performance, including maximizing concurrency. For example, even though the SCOOP rules state that a separate call to a query is synchronous, i. e., the calling processor waits until the query completes before proceeding, if a static analysis can show that the wait is not necessary to the proper functioning of the remainder of the calling routine, then the call to the query can be done asynchronously.
In other ways, the EiffelStudio implementation may not measure up to the full SCOOP definition. Certain elements that are defined in the SCOOP descriptions may not yet be present, or only partially implemented in the EiffelStudio implementation.
The differences between the EiffelStudio implementation of SCOOP and current and previous definitions of the SCOOP model are shown below. The differences between the EiffelStudio implementation of SCOOP and current and previous definitions of the SCOOP model are shown below.