OpenXM/doc/issac2000/openxm-stackmachines.tex - diff

Return to openxm-stackmachines.tex CVS log

Up to [local] / OpenXM / doc / issac2000

version 1.12, 2000/01/17 01:23:41

version 1.14, 2000/01/17 08:50:56

Line 1

% $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.11 2000/01/16 06:39:39 takayama Exp $

% $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.13 2000/01/17 08:06:15 noro Exp $

\section{OpenXM Stack machines}\label{sec:ox-stackmachines}

Line 7 In OpenXM specification, all servers are stack machine

When a server ox\_xyz gets an OX data message,

it translates the data into a local object of ox\_xyz

and pushes the object onto the stack.

According to the OpenMath specification,

The translation scheme

the translation scheme

%% together with definitions of mathematical operations

%% of the system ox\_xyz

is called the {\it PhraseBook} of ox\_xyz.

is called the {\it PhraseBook} of ox\_xyz (cf. OpenMath \cite{OpenMath}).

For example, the Asir command {\tt ox\_push\_cmo(P,1)}

(push integer $1$ onto the server $P$)

sends an OX data message

Line 20 Here,

Line 19 Here,

{\tt OX\_DATA} stands for {\tt OX\_DATA} header and

{\tt (CMO\_ZZ,1)} is a body standing for $1$ expressed

by the CMO.

The server tranlates {\tt (CMO\_ZZ, 1)} to its internal object of

The server translates {\tt (CMO\_ZZ, 1)} to its internal object of

the integer $1$

and pushes the object onto the stack.

Line 90 error([8,fctr : invalid argument])

Line 89 error([8,fctr : invalid argument])

OpenXM server won't send error messages to the client

except when it receives a {\tt SM\_pop*} command.

OX stackmachines work in the asynchronous mode which is similar

OX stack machines work in the asynchronous mode which is similar

to X servers.

For servers of graphic and sound applications,

it may be an advantageous feature.

It is also possible to emulate RPC and a web server for MCP \cite{iamc}

on our asynchronous OX stackmachines.

on our asynchronous OX stack machines.