Difference between revisions of "Agents in SCOOP"

m (→‎Agent classes: Corrected type declaration.)
m (→‎Types: Reverted target type to be non-separate.)
Line 18: Line 18:
 
</e>
 
</e>
 
The type <e>t</e> of <e>agent t.f (c, ?)</e> is <e>
 
The type <e>t</e> of <e>agent t.f (c, ?)</e> is <e>
−
       separate FUNCTION [separate ANY, separate TUPLE [separate Q], separate R]
+
       separate FUNCTION [ANY, separate TUPLE [separate Q], separate R]
 
</e>
 
</e>
  
 +
: The first parameter is not separate because both a target and an agent object run on the same processor.
 
: The separateness status of the type <e>TUPLE</e> used for arguments does not matter, what matters is the types of arguments. In many cases when <e>TUPLE</e> is used, it is used as a value type, i.e. it could even be an expanded type, so that a separate mark is not required. But then we need some conversion rules to attach different types of <e>TUPLE</e>. So far the implementation uses whatever separateness status of a <e>TUPLE</e> type is more suitable, most probably it is <e>separate TUPLE</e>.
 
: The separateness status of the type <e>TUPLE</e> used for arguments does not matter, what matters is the types of arguments. In many cases when <e>TUPLE</e> is used, it is used as a value type, i.e. it could even be an expanded type, so that a separate mark is not required. But then we need some conversion rules to attach different types of <e>TUPLE</e>. So far the implementation uses whatever separateness status of a <e>TUPLE</e> type is more suitable, most probably it is <e>separate TUPLE</e>.
  

Revision as of 20:23, 21 March 2013

The page reflects current decisions taken for the current SCOOP implementation, in particular without support for processor tags. So it may change in the future.

Status of a target

Because a agent object is created on a processor associated with a target, this processor needs to be controlled.

Agent target validity rule. A target of an agent is controlled.

Types

Agent argument types validity rule. Formal arguments of a feature used in an agent expression with a separate target are separate.

Because an agent is created on a processor of a target, without processor tags it's impossible to create an agent on an open target of separate type and then pass the corresponding target object at the agent call. Also there is no way to make an open target controlled.

Agent open target type validity rule. An open target of an agent is not separate.

Example. 
f (p: separate P; q: separate Q): R
t: separate T
...
r := agent t.f (c, ?)
x := r.item ([a])
The type t of agent t.f (c, ?) is 
separate FUNCTION [ANY, separate TUPLE [separate Q], separate R]
The first parameter is not separate because both a target and an agent object run on the same processor.
The separateness status of the type TUPLE used for arguments does not matter, what matters is the types of arguments. In many cases when TUPLE is used, it is used as a value type, i.e. it could even be an expanded type, so that a separate mark is not required. But then we need some conversion rules to attach different types of TUPLE. So far the implementation uses whatever separateness status of a TUPLE type is more suitable, most probably it is separate TUPLE.

Agent classes

The first parameter in the class ROUTINE and descendants is not used, so in the future it will be dropped altogether.

Example. The agent type from the example above becomes
separate FUNCTION [separate TUPLE [separate Q], separate R]

Correctness and wait conditions

The feature {ROUTINE}.precondition should be split into 2 parts: correctness_condition and wait_condition. Then the routine call looks like
call (a: OPEN_ARGS)
          require
              correctness_condition (a)
          do
              from
              until
                  not wait_condition (a)
              loop
                  execute_body (a)
              end
          end

The same change applies to the feature item.

Retrieved from "https://dev.eiffel.com/index.php?title=Agents_in_SCOOP&oldid=14684"