From 2113288fc0571e8dee9b2094a24dd166577555ee Mon Sep 17 00:00:00 2001 From: halw Date: Tue, 17 May 2011 20:04:33 +0000 Subject: [PATCH] Included verbiage about elements not yet or only partially implemented. 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 --- .../concurrent-eiffel-scoop/scoop-implementation.wiki | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-implementation.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-implementation.wiki index 90e39fc4..eafc3773 100644 --- a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-implementation.wiki +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-implementation.wiki @@ -1,10 +1,14 @@ [[Property:title|SCOOP implementation]] [[Property:weight|2]] -[[Property:uuid|9185a5be-e1ec-67a5-70a3-c8fe1d8d151c]] +[[Property:uuid|eeb07907-e036-f3d6-5297-a7c44cfd1900]] {{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.