next up previous contents
Next: OX Messages Up: Design and Implementation of Previous: A formal expression of

Communication model of OpenXM

In our model of computation, mathematical processes proceed a computation by exchanging messages. Each process is a stack machine, which is called an OX stack machine. The following methods are possible to realize communications between mathematical processes.

1.
Communication by files.
2.
Linking as a subroutine library.
3.
TCP/IP streams.
4.
Remote Procedure call.
5.
JAVA RMI.
6.
Multi-thread.
7.
PVM library.
8.
MPI library.

In OpenXM communication means exchange of messages between processes. A message has the following structure:

destination origin
extension ox message_tag message_body

We call it an OX message (OpenXM message object). OX message is the top level message object. The OX messages are classified into three types: DATA, COMMAND, and SPECIAL. They are distinguished by ox message_tag. The name of an ox message tag begins with OX_. Typical OX message tags are OX_COMMAND followed by SMobject and OX_DATA followed by CMObject. Each message object also has its tag. For SMobject, the name of a tag begins with SM_. For CMObject, the name of a tag begins with CMO_. An SMobject represents a stack machine command and categorized into several groups such as SMobject/Primitive, SMobject/Basic. The details of SMobjects will be explained in Section 5. We have already explained the Primitive CMObjects. We will describe the Basic CMObjects in Section 10.



 
next up previous contents
Next: OX Messages Up: Design and Implementation of Previous: A formal expression of
Nobuki Takayama 平成14年1月21日