User Tools

Site Tools


Sidebar

Jump to
AmbientTalk
CRIME
iScheme

uf:totam

This is an old revision of the document!


Tuples on the Ambient (TOTAM)

TOTAM is an extension to the TOTA tuple space model which introduces a scoping mechanism to delimit the physical transportation of tuples.

Design

The original idea was to build a framework similar to TOTA to be able to exchange and percolate guanotes. TOTA is one of the most dynamic tuple-based solutions for coordination in mobile networks. It relies on tuples which hop from location to location to coordinate distributed application nodes. Rather than merging local tuple spaces upon network connection as other tuple-based approaches like LIME, tuples themselves decide how to propagate from a tuple space to another. This means that tuples are injected in the network and can autonomously propagate according to application-specific propagation rules expressed in the tuples themselves.

However, in TOTA tuples are sent to all communication partners in range. Upon arrival at the receiver side, the tuple itself decides whether it has to be stored in that tuple space. By transmitting tuples potential malicious or non-intended users are provided with sensitive information. Not only does sending all tuples blindly to all communication partners in range raise privacy issues, it also creates a network traffic overhead.

To solve this issues, we extended TOTA with dynamically scoped tuples resulting in the TOTAM (“Tuples on the Ambient”) framework. TOTAM provides the programmer with means to scope the tuples themselves, i.e the tuples can dynamically adjust their scope as they hop from location to location. By means of tuple space descriptors, programmers can scope their tuples preventing them to be propagated to unwanted locations. This scope is determined before the tuple is transmitted, thus allowing the programmer to prevent the physical transportation of tuples to devices which are not targeted. Scoped tuples have a number of benefits: tuples carry the definition of the target tuple spaces enhancing privacy and avoiding unnecessary exchange of tuples.

Another goal was to implement TOTAM as a general framework so that we can then instantiate our TOTAM with guanote objects for the Guanotes application. A guanote actually extends a tuple object of TOTAM with some flockr-dependent behaviour. Since TOTAM has been designed to be independent from service discovery, Guanotes implements some glue code to plug in the discovery mechanism of Urbiflock (via Flockr).

API

Here comes the public interface to interact with an AmbientTota framework:

makeTupleSpace()
makeTuple(tupleID)
extendTuple: tuple with: closure

A tuple space (ts) in AmbientTota basically consists of a local ts, an ambient ts (to inject tuples in the ambient). The public interface of an ts is the following:

// tota operations to manage a local ts
def add(tuple)
def delete(template) -> vector with the deleted tuples 
matching the template
def read(template) -> vector with the matching tuples

//publishes a tuple into the ambient ( ~ inject in TOTA)
def inject(tuple) -> subscription object to cancel the injection

// places a listener on to the local TS ( ~ subscribe in TOTA)
// it returns a publication object to be able to unsusbscribe 
when: template matches:{ | tuple |
 // code  
}
//Templates are currently boolean expressions on tuples. 
Example of template applied to guanotes:
{ |guanote|  guanote.flock == "KK" }

//methods belonging to the propagation protocol

// notifies the discovery of a remote ts
// and starts the propagation protocol (send side)
def notifyTSDiscovered(ts)
// notifies the arrival of tuples from a ts 
// receive side of the propagation protocol
def receiveTyples(tuples)

A tuple in our system is just the object contained in a local TS offering the following API to propagate itself:

// called in every tuple at pass() 
def decidePropagation() -> boolean
// specifies operations on the local TS
def doAction ();
// specifies operations on the tuple itself 
def changeTupleContent() -> tuple
// if true -> note gets added to local TS
def decideStore () -> boolean
// if true -> tuple gets unexported and deleted from local TS.
//new operation not in TOTA
def decideSleep() -> boolean 

Ideas:

TOTA could be combined with the RETE engine we built for the characteristic functions, in the future to reason about multiple tuples.

decideSleep() is there for discontinuous decidePropagation functions. for example, tuples that should be only propagated every Tuesday could not implemented with TOTA because the propagation protocol only gets called once. We change this by providing decideSleep() that gets called when you decide not to propagate. Like this a tuple can still be propagate at a later point in time, despite the fact that the decidePropagation function has evaluated to false at a certain moment.

uf/totam.1287584787.txt.gz · Last modified: 2010/10/20 16:28 (external edit)