User Tools

Site Tools


at:tutorial:actors

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
at:tutorial:actors [2007/04/01 12:50] – added tvcutsemat:tutorial:actors [2007/04/01 13:05] tvcutsem
Line 73: Line 73:
     system.println("sum = " + sum);     system.println("sum = " + sum);
   };   };
-};+});
 >>nil >>nil
 </code> </code>
Line 114: Line 114:
   - it is parameter-passed by-copy rather than by-reference in inter-actor message sends. The copy of the isolate received by the remote actor can only access that actor's global lexical scope, no longer the global scope of its original host.   - it is parameter-passed by-copy rather than by-reference in inter-actor message sends. The copy of the isolate received by the remote actor can only access that actor's global lexical scope, no longer the global scope of its original host.
   - external method definitions on isolates are disallowed. The reason for this is that external method definitions implicitly carry a lexical scope (the scope of their definition). Hence, if an isolate with external methods has to be copied, those scopes would have to be copied as well. Following the rule that objects  encapsulating a lexical scope are pass-by-reference, we chose to disallow external methods on isolates.   - external method definitions on isolates are disallowed. The reason for this is that external method definitions implicitly carry a lexical scope (the scope of their definition). Hence, if an isolate with external methods has to be copied, those scopes would have to be copied as well. Following the rule that objects  encapsulating a lexical scope are pass-by-reference, we chose to disallow external methods on isolates.
 +
 +Returning to the calculator example, the calculator can now add complex numbers locally and send (a copy of) the resulting complex number back to the customer:
 +
 +<code>
 +>calculator<-add(
 +  complexNumber.new(1,1),
 +  complexNumber.new(2,2),
 +  object: {
 +    def result(sum) {
 +      system.println("sum=("+sum.re+","+sum.im+")");
 +    };
 +  });
 +>>nil
 +sum=(3,3)
 +</code>
 +
 +<note>
 +A word of warning: isolates are objects that are copied freely between actors. As a result, they should be objects whose actual object identity is of little importance. Usually, the identity of by-copy objects is determined by the value of some of the object's fields. Therefore, it is good practice to override the ''=='' method on isolates to compare isolates based on their semantic identity, rather than on their object identity. For example, equality for complex numbers should be defined as:
 +<code>
 +def ==(other) {
 +  (re == other.re).and: { im == other.im }
 +}
 +</code>
 +</note>
 +
 +It is important to note that an isolate has no access whatsoever to its encompassing scope. The following code results in an exception:
 +
 +<code>
 +>def x := 1;
 +def adder := isolate: {
 +  def add(n) { x + n };
 +};
 +adder.add(3)
 +>>Undefined variable access: x
 +origin:
 +at adder.add(3)
 +</code>
 +
 +Sometimes it is useful to initialize an isolate with the values of lexically visible variables. In that case, AmbientTalk allows the programmer to specify which lexical variables should be //copied into// the isolate itself, such that the isolate has its own, local copy of the variable. Lexical variables that need to be copied like this are specified as formal parameters to the closure passed to the ''isolate:'' primitive, as follows:
 +
 +<code>
 +>def x := 1;
 +def adder := isolate: { |x|
 +  def add(n) { x + n };
 +};
 +adder.add(3)
 +>>4
 +</code>
  
 === Futures === === Futures ===
at/tutorial/actors.txt · Last modified: 2020/02/05 21:26 by elisag