From 181463e8811d14a9cf037026a80a9a917244f7d9 Mon Sep 17 00:00:00 2001 From: halw Date: Thu, 14 Jul 2011 22:44:39 +0000 Subject: [PATCH] Added "uncontrolled" to controlled expression definition. Author:halw Date:2011-07-14T22:44:39.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@939 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../concurrent-computing/concurrent-eiffel-scoop/index.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki index 7fbe108d..26dc7532 100644 --- a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki @@ -164,7 +164,7 @@ Because the argument my_separate_argument is of a separate type, th Valid targets for separate calls, like a_arg in enclosing_routine above are said to be ''controlled''. -{{definition|Controlled expression|An expression is controlled if it is attached and either:
1) It is of a non-separate type
2) It is of a separate type and it is handled by the same processor as one of the separate arguments to the enclosing routine.}} +{{definition|Controlled expression|An expression is '''controlled''' if it is attached and either:
1) It is of a non-separate type
2) It is of a separate type and it is handled by the same processor as one of the separate arguments to the enclosing routine.
Otherwise it is '''uncontrolled'''.}} What the definition of ''controlled expression'' means is that such an expression is controlled with respect to the processor handling the context in which the expression is used (the current context) ... and that means that all objects necessary to the expression are under control of (locked for exclusive access by) the current processor and cannot be modified by other processors.