Pragmas

• >>Overlay GHC Pragmas
  • Executing Nodes (@this_node, @other_node, @node_id)
  • Real-Time (@periodic)
• >>KL1 Pragmas
  • Priority (@lower_priority)

>>Overlay GHC Pragmas

Executing Nodes

@this_node   <At Starting Node>

Executes the goal on this node that cast the program.

@other_node   <At One of Other Nodes>

Executes the goal on a node other than the one that cast the program.

@node_id(ID)   <At Specified Node>

Executes the goal on the node specified by the identifier ID.

• Currently available form of identifier is 'xmpp://JabberID'
• Soon, other forms such as 'pgp://PGPpublicKeyUserID' will become available

Real-Time

@periodic(Msec)   <Periodic>

Executes the goal at a regular interval specified by Msec milliseconds.

>>KL1 Pragmas

Priority

@lower_priority   <At Low Priority>

Executes the goal at a lower priority.