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

Return to openxm-stackmachines.tex CVS log

Up to [local] / OpenXM / doc / ascm2001p

version 1.1, 2001/06/19 07:32:58

version 1.3, 2001/06/21 00:15:34

Line 1

% $OpenXM$

% $OpenXM: OpenXM/doc/ascm2001p/openxm-stackmachines.tex,v 1.2 2001/06/20 05:42:47 takayama Exp $

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

In OpenXM specification, all servers are stack machines.

In the OpenXM specification, all servers are stack machines.

%These are called OpenXM stack machines.

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

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

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 translates {\tt (CMO\_ZZ, 1)} to its internal object of

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

the integer $1$

and pushes the object onto the stack.

Line 64 is pushed as a string.

Finally, the stack machine command

{\tt SM\_executeFunction} evaluates the operator and

pushes the result onto the stack

after poping the operator name, the number of arguments

after popping the operator name, the number of arguments,

and arguments.

%For example, the following code factorizes $x^{100}-1$ by calling

%{\tt ox\_asir} from Asir.

Line 87 instead of a result of the computation.

%error([8,fctr : invalid argument])

%\end{verbatim}

OpenXM server won't send error messages to the client

OpenXM server does not send error messages to the client

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

OX stack machines work in the asynchronous mode which is similar

to X servers.