Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Consume


Consume (channels: ChannelWithPeekFlag, continuation: C, persist: Boolean) (m: Match)->

  1. Fetch data residing on channels & look for match candidates
  2. If match:
    1. return continuation
    2. For all match candidates: if not persist or not peek -> remove from tuplespace
    1. not found: store continuation with peek information
    2. found:


2.Produce


Produce(channel: C, data: A, persist: Boolean)(m: Match)

...