- ... Greaves1
- David.Greaves@cl.cam.ac.uk
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... clients1.1
- Server-side RPC requires further study, because of
the potentially unlimited number of concurrent activations that must be held
as server state.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... fields.1.2
- In the future, we may
define forms of Pushlogic that are not called Simple Pushlogic.
These may support dynamic state creation, e.g. to implement RPC
server sides.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...
interpreter).4.1
- We also plan to implement a compiler that
generates native C code from the bytecode, because the current byte
code interpreter is RAM-hungry and slow.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... bundle.4.2
- Currently we have implemented our own
protocol, running over UDP, called ETC, that implements the field
writes, remote registrations for events and code and API reflection,
but there is little reason not to use the standard protocols.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... field.4.3
- This constraint is concave, in that two parts
of an admissable bundle, considered as separate bundles, might be inadmissable in isolation.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...
time.6.1
- An exception is that if only one time expression exists
and it refers to a periodic temporal extent then it has no effect.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... checking.8.1
- Variations on this model are
required in practice, to provide localised behaviour and assurances,
to dynamic allow merging and dividing of domains and to
provide federation of domains where knowledge about peer
domains is available in summary form only.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.