User Tools

Site Tools


research:rp

Differences

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

Link to this comparison view

research:rp [2010/07/31 14:32]
stijnm created
research:rp [2010/07/31 14:59]
stijnm added
Line 1: Line 1:
-~~NOTOC~~ 
-===== Reactive Programming ===== 
-[[http://soft.vub.ac.be/soft/members/stijnmostinckx|Stijn Mostinckx]] and [[http://soft.vub.ac.be/~alombide|Andoni Lombide Carreton]] 
- 
-<note> 
-This page is under construction, some sections are not yet completed. Please refer to the [[:research:rfid#further_reading|further reading]] section for a full text. 
-</note> 
- 
-==== AmbientTalk/R ==== 
-  
-==== Distributed Semantics ==== 
- 
-Up to this point, reactive values -- and the dataflow networks constructed using them -- have been confined to the scope of a single actor.  At present, we are experimenting with two mechanisms to allow dataflow dependencies to cross the actor boundary. Both techniques are briefly described below. 
- 
-== Contagion of Asynchronous Messages == 
- 
-One mechanism to allow dataflow graphs to span multiple actors is to require that the contagion semantics apply to asynchronous messages as well as synchronous method invocations. Hence, when reactive values are passed as arguments to an asynchronous message send, that operation is lifted by the interpreter.  
- 
-Instead of sending the message //as is//, a snapshot message is sent in which all reactive values are replaced with their current snapshot value.  Subsequent updates to the reactive arguments of the lifted message result in new snapshot messages being sent. 
- 
-== Ambient Behaviors == 
- 
-Ambient behaviors allow reactive values to be published using a dedicated ''exportBehavior:as:'' construct.  Reactive values that have been exported as such can be discovered using a specialized variant of [[research:ambientrefs|ambient references]]: an ambient behavior.   
- 
-The goal of these abstractions is to allow programmers to explicitly construct a distributed dependency graph, without having to encode that graph in patterns of message sending. 
- 
-==== Further Reading ==== 
- 
  
research/rp.txt ยท Last modified: 2010/07/31 14:59 by stijnm