[BACK]Return to openxm-stackmachines.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / issac2000

Diff for /OpenXM/doc/issac2000/openxm-stackmachines.tex between version 1.8 and 1.9

version 1.8, 2000/01/15 03:46:27 version 1.9, 2000/01/15 12:18:42
Line 1 
Line 1 
 % $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.7 2000/01/14 10:45:10 tam Exp $  % $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.8 2000/01/15 03:46:27 noro Exp $
   
 \section{OpenXM Stack machines}\label{sec:ox-stackmachines} (Tamura)  \section{OpenXM Stack machines}\label{sec:ox-stackmachines}
   
 In OpenXM specification, all servers are stack machines.  In OpenXM specification, all servers are stack machines.
 %These are called OpenXM stack machines.  %These are called OpenXM stack machines.
 When a server ox\_xyz gets an OX data message,  When a server ox\_xyz gets an OX data message,
 it translates the data into an object of its local mathematical system  it translates the data into a local object of ox\_xyz
 and push the object on the stack.  and pushes the object onto the stack.
 Following the OpenMath specification,  According to the OpenMath specification,
 the translation scheme together with definitions of mathematical operations  the translation scheme together with definitions of mathematical operations
 of the system ox\_xyz is called the {\it PhraseBook} of ox\_xyz.  of the system ox\_xyz is called the {\it PhraseBook} of ox\_xyz.
   
Line 31  The codes are listed below.
Line 31  The codes are listed below.
 #define SM_executeStringByLocalParserInBatchMode  274  #define SM_executeStringByLocalParserInBatchMode  274
 #define SM_getsp                                  275  #define SM_getsp                                  275
 #define SM_dupErrors                              276  #define SM_dupErrors                              276
 #define SM_DUMMY_sendcmo                          280  
 #define SM_sync_ball                              281  
 #define SM_control_kill                          1024  #define SM_control_kill                          1024
 #define SM_control_to_debug_mode                 1025  #define SM_control_to_debug_mode                 1025
 #define SM_control_exit_debug_mode               1026  #define SM_control_exit_debug_mode               1026
Line 40  The codes are listed below.
Line 38  The codes are listed below.
 \end{verbatim}  \end{verbatim}
   
 OpenXM does not have a standard for mathematical operation sets  OpenXM does not have a standard for mathematical operation sets
 while it is a work in progress in \cite{gap}.  while it is a work in progress in the GAP group \cite{gap}.
 Each OpenXM server has its own set of mathematical operations,  Each OpenXM server has its own set of mathematical operations,
 which are performed as follows.  which are performed as follows.
 Mathematical operator name, such as {\tt fctr} (asir factorization command),  First, arguments for a mathematical operation
 is pushed as a string,  and the number of the arguments are pushed.
 the stack machine command  Second,
 {\tt SM\_executeFunction} (269) pops the operator name, the number of arguments  the mathematical operator name,
 and arguments, and  such as {\tt fctr} (asir factorization command),
 the OX stack machine evaluates the operator, and pushes the result onto the stack.  is pushed as a string.
   Finally, the stack machine command
   {\tt SM\_executeFunction} (269) evaluates the operator and
   pushes the result onto the stack
   after poping the operator name, the number of arguments
   and arguments.
 For example, the following code factorizes $x^{100}-1$ by calling  For example, the following code factorizes $x^{100}-1$ by calling
 ox\_asir from asir.  {\tt ox\_asir} from asir.
 \begin{verbatim}  \begin{verbatim}
 P = ox_launch();  P = ox_launch();
 ox_push_cmo(P,x^100-1); ox_push_cmo(P,ntoint32(1));  ox_push_cmo(P,x^100-1); ox_push_cmo(P,ntoint32(1));
Line 69  error([8,fctr : invalid argument])
Line 72  error([8,fctr : invalid argument])
 \end{verbatim}  \end{verbatim}
   
 OpenXM server won't send error messages to the client  OpenXM server won't send error messages to the client
 except when it receives a SM\_pop* command.  except when it receives a {\tt SM\_pop*} command.
 OX stackmachines works in the asynchronous mode which is similar  OX stackmachines work in the asynchronous mode which is similar
 to X servers.  to X servers.
 For servers for graphic applications, it is an advantageous feature.  For servers for graphic and sound applications, it is an advantageous feature.
 It is also easy to emulate RPC and a web server for MCP \cite{iamc}  It is also easy to emulate RPC and a web server for MCP \cite{iamc}
 on our asynchronous OX stackmachines.  on our asynchronous OX stackmachines.
   
Legend:
Removed from v.1.8  
changed lines
  Added in v.1.9
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>