OpenXM/doc/OpenXM-specs/stackmachine.tex - diff

Return to stackmachine.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Diff for /OpenXM/doc/OpenXM-specs/stackmachine.tex between version 1.2 and 1.6

version 1.2, 2000/01/21 06:24:49

version 1.6, 2000/02/02 02:03:41

Line 1

//&jp \section{ OX スタックマシン }

//&eg \section{ OX stackmachine } (This section has not yet been translated.)

//&eg \section{ OX stack machine }

\label{sec:stackmachine}

/*&jp

この節では, OX スタックマシン operator の説明

(TCP/IP ソケット上での標準 encoding 法を用いる),

Line 39 that for event-driven programming.

{\tt oxserver00.c} is implemented as a sample server.

If you want to implement you own server,

write the following functions and use them instead of

those in {\tt nullstackmachine.c }.

those in {\tt nullstackmachine.c}.

//&jp \subsubsection{サーバスタックマシンのグループ SMobject/Basic0 に属するオペレータ}

//&jp \subsubsection{サーバスタックマシンのグループ SMobject/Primitive に属するオペレータ}

//&eg \subsubsection{Operators in the group SMobject/Basic0}

//&eg \subsubsection{Operators in the group SMobject/Primitive}

/*&jp

\noindent

Line 78 CMObject に対する最大公約数的なメッセージの仕様をconte

意. CMO 形式で書いてあっても, それはサーバスタックマシンのlocal 形式

でスタック上にあると解釈して下さい.)

すべてのサーバスタックマシンは以下の関数を実装していないといけない.

すべてのサーバスタックマシンは以下の操作を実装していないといけない.

各操作に対し, その前後におけるスタックの状態を示す. 図において,

右端のオブジェクトがスタックのトップに対応する.

/*&eg

Line 89 Object xxx_OperandStack[SIZE];

Line 91 Object xxx_OperandStack[SIZE];

\end{verbatim}

Here {\tt Object} may be local to the system {\tt xxx} wrapped by the stack

machine.

That is, the server may translate CMObjects into local its

That is, the server may translate CMObjects into its local

objects and push them onto the stack. However, it is preferable that

objects and push them onto the stack. It is preferable that

the composition of such a translation and its inverse is equal to the

identity map. The translation scheme is called the phrase book of the

identity map. The translation scheme is called the {\it phrase book} of the

server and it should be documented for each stack machine. In OpenXM,

any message is private. In future we will provide a content

any message is private to a connection. In future we will provide a content

dictionary (CD; see OpenMath \cite{openmath}) for basic specifications

of CMObjects.

In the following, \verb+ xxx_ + may be omitted if no confusion occurs.

As the names of functions and tags are long, one may use abbreviated

names. Message packets are represented as follows. Each field is

names. Message packets are represented as follows.

shown as \fbox{data type \quad data}. For example {\tt int32

OX\_DATA} denotes a number {\tt OX\_DATA} which is represented by a 32

bit network byte order. If a field is displayed by italic characters,

it should be defined elsewhere or its meaning should be clear. For

example {\it String commandName} denotes a local object {\it

commandName} whose data type is String. Note that an object on the

stack may have a local data type even if it is represented as CMO.

Each field is shown as \fbox{data type \quad data}. For example {\tt

int32 OX\_DATA} denotes a number {\tt OX\_DATA} which is represented

by a 32 bit integer with the network byte order. If a field is

displayed by italic characters, it should be defined elsewhere or its

meaning should be clear. For example {\it String commandName} denotes

a local object {\it commandName} whose data type is String. Note that

an object on the stack may have a local data type even if it is

represented as CMO.

Any server stack machine has to implement the following operations.

For each operation we show the states of the stack before and after

the operation. In the figures the rightmost object corresponds to the

top of the stack. Only the modified part of the stack are shown.

\begin{enumerate}

\item

/*&jp

CMObject/Basic0 の CMO データのうち必須のもの, {\tt CMO\_ERROR2}, {\tt

CMObject/Primitive の CMO データのうち必須のもの, {\tt CMO\_ERROR2}, {\tt

CMO\_NULL}, {\tt CMO\_INT32}, {\tt CMO\_STRING}, {\tt CMO\_LIST}がおく

られて来た場合それをスタックに push する. たとえば, {\tt CMO\_NULL}

あるいは {\tt CMO\_String} の場合次のようになる.

/*&eg

Any server should accept CMObjects in the group CMObject/Basic0.

Any server should accept CMObjects in the group CMObject/Primitive.

The server pushes such data onto the stack.

The following examples show the states of the stack after receiving

{\tt CMO\_NULL} or {\tt CMO\_String} respectively.

Line 139 Stack after the request:

Line 146 Stack after the request:

\hline

\end{tabular}

//&jp Result: なし.

Output: none.

//&eg Result: none.

Request:

Request:\\

\begin{tabular}{|c|c|c|c|c|c|} \hline

{\tt int32 OX\_DATA} & {\tt int32 CMO\_String} &{\tt int32} {\rm size}

&{\tt byte} {\rm s1} & $\cdots$ &{\tt byte} {\rm ssize}\\

Line 155 Stack after the request:

Line 161 Stack after the request:

\hline

\end{tabular}

//&jp Result: なし.

Output: none.

//&eg Result: none.

//&jp CMO データの受け取りに失敗した時のみ \\

//&eg If the server fails to receive a CMO data,

//&eg If the server fails to receive a CMO data,\\

\begin{tabular}{|c|c|c|} \hline

{\tt int32 OX\_DATA} & {\tt int32 CMO\_ERROR2} & {\it CMObject} ob\\

\hline

Line 191 SM_mathcap

Line 196 SM_mathcap

/*&jp

このサーバの mathcap をもどす (termcap のまね). サーバのタイプ, サー

バスタックマシンの能力を知ることができる. C 言語で実装する場合は,

mathCap の構造体をシステム毎にきめるものとし,この関数はその構造体への

mathcap の構造体をシステム毎にきめるものとし,この関数はその構造体への

ポインタを戻す. (open sm1 では {\tt struct mathCap} を用いている.

ポインタを戻す. (open sm1 では {\tt struct mathcap} を用いている.

/*&eg

It request to push the mathcap of the server.

It requests a server to push the mathcap of the server.

The mathcap is similar to the termcap. One can know the server type

and the capability of the server from the mathcap.

Line 207 Request:

Line 212 Request:

\hline

\end{tabular}

Result:

Stack after the request:

\begin{tabular}{|c|c|} \hline

{\tt int32 OX\_DATA} & {\sl Mathcap} mathCapOb \\

\hline

\end{tabular}

Output: none.

\item

\begin{verbatim}

SM_setMathCap

SM_setMathcap

\end{verbatim}

/*&jp

受け取った Mathcap {\tt m} を自分のシステムに設定して, 相手側が理解不

能な CMO をおくらないようにする. C 言語で実装する場合は, mathCap の構

能な CMO をおくらないようにする. C 言語で実装する場合は, mathcap の構

造体をシステム毎にきめるものとし,この関数はその構造体へのポインタを引

数とする. (open sm1 では {\tt struct mathCap} を用いている.

数とする. (open sm1 では {\tt struct mathcap} を用いている.

/*&eg

It requests to register the peer's mathcap {\tt m} in the server.

It requests a server to register the peer's mathcap {\tt m} in the server.

The server can avoid to send OX messages unknown to its peer.

@plugin/mathcap.h)

Stack before the request:

\begin{tabular}{|c|} \hline

{\it Mathcap m} \\

\hline

\end{tabular}\\

Request:

\begin{tabular}{|c|c|} \hline

{\tt int32 OX\_DATA} & {\sl Mathcap} m \\ \hline

{\tt int32 OX\_COMMAND} & {\tt int32 SM\_setMathCap} \\

{\tt int32 OX\_COMMAND} & {\tt int32 SM\_setMathcap} \\

\hline

\end{tabular}

//&jp Result: なし. \\

Output: none.

//&eg Result: none. \\

/*&jp

\noindent

注意: mathcap は一般にクライアント主体で設定する.

Line 246 Request:

Line 257 Request:

それを, クライアントはそのサーバに付随した mathcap として

設定する.

次に, クライアントはサーバに自分の mathcap を

{\tt SM\_setMathCap} でおくり, 自分の mathcap を設定させる.

{\tt SM\_setMathcap} でおくり, 自分の mathcap を設定させる.

/*&eg

\noindent

Remark: In general the exchange of mathcaps is triggered by a client.

A client sends {\tt SM\_mathcap} to a server and obtains the server's

mathcap. Then the client registers the mathcap. Finally the client

sends its own mathcap by {\tt SM\_setMathCap} and the server

sends its own mathcap by {\tt SM\_setMathcap} and the server

registers it.

Line 262 registers it.

Line 273 registers it.

SM_executeStringByLocalParser

\end{verbatim}

/*&jp

文字列 $s$ をシステム xxx の文法(サーバスタックマシンの組み込みローカ

文字列 {\tt s} を stack から pop し,

ル言語)にしたがったコマンドとして実行する. ただし, コマンドの実行の結

その文字列をシステム固有の文法(サーバスタックマシンの組み込みローカ

ル言語)にしたがったコマンドとして実行する. コマンドの実行の結

果の最後に戻り値があるときは, {\tt OperandStack} に戻り値を push する.

正常終了なら 0 を, 異常終了なら -1 をもどす. debug モードにはいった場

OpenXM では, 現在のところ関数名の標準化はおこなっていない.

合, -2 を戻す. エラーの時 Error2 Objectを stack へ push する.\\ {\tt

kan/sm1} の場合, サーバスタックマシンの組み込みローカル言語は{\tt sm1}

ポストスクリプト言語である. サーバスタックマシンと, {\tt sm1} ポスト

スクリプト言語はスタックを共有するように実装されている. 実際の計算は

{\tt executeStringByLocalParser} により実行される. open XM では, 現在

のところ関数名の標準化はおこなっていない. したがって, 実際の計算コマ

ンドの送出は mathcap をみてクライアントが正しいコマンドを選択する必要

がある. (しかしながら, 共通関数名がないために, 共通仕様のサーバスタッ

クマシンの実装はきわめて簡単である. 関数名の共通化は将来の課題.) \\割

込みに関しては, -1 を戻すようにハンドラを書く.

executeStringByLocalParser() を再帰的に呼んだときも割り込みのハンドラ

が正しく動作するようにこの関数は書かれるべきである. この関数を呼び出

したのち, signal, setjmp の再設定を呼び出し側でやらないといけない. \\

この関数および {\tt popString} の機能を実現すれば, 最低限の open XM の

サーバになれる. 実装では, まずこの二つの関数の機能を実現すべきである.

/*&eg

A character string $s$ is parsed by the local parser of the stack

It requests a server to pop a character string {\tt s}, to

machine and interpreted by the local interpreter.

parse it by the local parser of the stack machine, and

If the exececution produces a result, it is pushed onto

to interpret by the local interpreter.

If the execution produces a Output, it is pushed onto

{\tt OperandStack}.

If an error has occured, Error2 Object is pushed onto the stack.

If an error has occurred, Error2 Object is pushed onto the stack.

OpenXM does not provide standard function names.

If this operation and {\tt SM\_popString} is implemented, the stack machine

can be used as an OX server.

is ready to be used as an OX server.

Stack before the request:

Line 306 Request:

\hline

\end{tabular}

//&jp Result: なし.

Output: none.

//&eg Result: none.

/*&jp

\noindent

参考: \ 実行前のスタックのデータは,

{\it String commandString} なる local stackmachine の object としてス

{\it String commandString} なる local stack machine の object としてス

タック上にあるが, TCP/IP の通信路では, 次のようなデータがまずながれて

{\it commandName} がスタックに push される:

Line 337 SM_executeStringByLocalParserInBatchMode

Line 336 SM_executeStringByLocalParserInBatchMode

/*&eg

This is the same request as {\tt SM\_executeStringByLocalParser}

except that it does not modify the stack. It pushes an Error2 Object

if an error has occured.

if an error has occurred.

\item

\begin{verbatim}

Line 346 SM_popString

Line 345 SM_popString

/*&jp

{\tt OperandStack} より Object を pop し, それを xxx の出力規則にしたがい文

字列型に変換して送信する. スタックが空のときは, {\tt (char *)NULL} を戻す.

文字列は {\tt ox\_stream out}へ CMO のデー

文字列は TCP/IP stream へ CMO のデー

タとして送信する. エラーの場合は {\tt CMO\_ERROR2} を戻すべきである.

/*&eg

It requests for a server to pop an object from {\tt OperandStack},

It requests a server to pop an object from {\tt OperandStack},

to convert it into a character string according to the output format

of the local system, and to send the character string via TCP/IP stream.

{\tt (char *)NULL} is returned when the stack is empty.

The returned strings is sent as a CMO string data.

The returned string is sent as a CMO string data.

{\tt CMO\_ERROR2} should be returned if an error has occured.

{\tt CMO\_ERROR2} should be returned if an error has occurred.

Stack before the request:

Line 370 Request:

Line 369 Request:

\hline

\end{tabular}

Result:

Output:

\begin{tabular}{|c|c|c|} \hline

{\tt int32 OX\_DATA} & {\tt int32 CMO\_STRING} & {\it size and the string s} \\

\hline

Line 385 SM_getsp

Line 384 SM_getsp

object が push されたばあい, 1 づつ増えるものとする.

/*&eg

It request to push the current stack pointer onto the stack.

It requests a server to push the current stack pointer onto the stack.

The stack pointer is represented by a non-negative integer.

Its initial value is 0 and a push operation increments the

stack pointer by 1.

Line 403 Request:

Line 402 Request:

\hline

\end{tabular}

Result:

Stack after the request:

\begin{tabular}{|c|c|c|} \hline

{\tt int32 OX\_DATA} & {\tt int32 CMO\_INT32} & {\it stack pointer value} \\

\hline

\end{tabular}

Output: none.

\item

\begin{verbatim}

SM_dupErrors

Line 418 SM_dupErrors

Line 419 SM_dupErrors

させない.

/*&eg

It requests to push a list object containing all error objects on the stack.

It requests a server to push a list object containing all error objects on the stack.

Stack before the request:

Request:

\begin{tabular}{|c|} \hline

\begin{tabular}{|c|c|} \hline

{\it Object} \\

{\tt int32 OX\_COMMAND} & {\tt int32 SM\_dupErrors} \\

\hline

\end{tabular}

Stack after the request:

\begin{tabular}{|c|c|c|} \hline

{\tt int32 OX\_DATA} & {\sl CMObject} \ a list of errors\\

\hline

\end{tabular}

Output: none.

\item

\begin{verbatim}

SM_pushCMOtag

\end{verbatim}

/*&jp

スタックの先頭オブジェクトが CMO に変換された場合の CMO tag を

{\tt CMO\_INT32} としてスタックへ push する.

先頭オブジェクトはスタックに留まる.

先頭オブジェクトをCMO へ変換する方法が無い場合は, エラー object を積む.

/*&eg

It requests a server to push the CMO tag of the top object on the server

stack. The tag is pushed as {\tt CMO\_INT32}.

The top object remains on the stack.

If there is no way to translate the object into CMO,

push an error object.

Request:

\begin{tabular}{|c|c|} \hline

{\tt int32 OX\_COMMAND} & {\tt int32 SM\_dupErrors} \\

{\tt int32 OX\_COMMAND} & {\tt int32 SM\_pushCMOtag} \\

\hline

\end{tabular}

Result:

Stack after the request:

\begin{tabular}{|c|c|c|} \hline

{\tt int32 OX\_DATA} & {\sl CMObject} \ a list of errors\\

{\tt int32 OX\_DATA} & {\sl CMO\_INT32} \ tag\\

\hline

\end{tabular}

Output: none.

\end{enumerate}

\medbreak

Line 450 mathcap の問い合わせに対して, {\tt ox\_sm1} は次のよう

Line 479 mathcap の問い合わせに対して, {\tt ox\_sm1} は次のよう

{\bf Example}: \

{\tt ox\_sm1} returns the following data as its mathcap.

%%Prog: [(cmoMathCap)] extension ::

%%Prog: [(cmoMathcap)] extension ::

\begin{verbatim}

Class.mathcap

[ [199909080 , $Ox_system=ox_sm1.plain$ , $Version=2.990911$ ,

Line 462 Class.mathcap

Line 491 Class.mathcap

/*&jp

mathcap は 3つの要素をもつリストである. まづ, 最初の要素を見よう.

Ox\_system は open xxx システム名である. 読み込むライブラリがちがって

Ox\_system は openXM システム名である. 読み込むライブラリがちがって

いて, 関数名(またはシンボル)の意味がちがうときはこの名前もかえる. た

とえば, open math の basic content dictionary 対応の関数定義マクロを読

みこんだ sm1 は, ox\_sm1\_basicCD なる名前にする. HOSTTYPE値は, CPU

みこんだ sm1 は, ox\_sm1\_basicCD なる名前にする. HOSTTYPE 値は, CPU

の種類をあらわしunix では環境変数\verb+$HOSTTYPE+ の値である. 2 番目

の要素は利用可能な SM コマンドをあつめたリストである. 3 番目のリスト

は, 処理可能な数学データの形式, およびCMOの場合なら処理可能なCMOのタグ

Line 475 Ox\_system は open xxx システム名である. 読み込むライ

Line 504 Ox\_system は open xxx システム名である. 読み込むライ

/*&eg

A mathcap has three components. The first one contains informations

to identify the system and hosts on which the application runs.

In the above example, Ox\_system denotes the system name.

In the above example, {\tt Ox\_system} denotes the system name.

HOSTTYPE represents the OS type and taken from \verb+$HOSTTYPE+

{\tt HOSTTYPE} represents the OS type and taken from \verb+$HOSTTYPE+

enviroment variable.

The second component consists of avaiable SM commands.

The third component is a list of pairs. Each pair consists

of an OX message tag and the available message tags.

of an OX message tag and the list of available message tags.

Again in the above example, 514 is the value of {\tt OX\_DATA}

and it indicates that the server accepts CMO (without size information)

as mathematical data messages. In this case the subsequent

Line 494 list represents available CMO tags.

Line 523 list represents available CMO tags.

%%Prog: (ox.sm1) run sm1connectr [(oxWatch) ox.ccc] extension

%%Prog: ox.ccc (122345; ) oxsubmit ;

//&jp {\tt message\_body} の実例をあげる. シリアル番号部は除いてある.

//&eg {\tt message\_body} の実例をあげる. シリアル番号部は除いてある.

//&eg We show examples of {\tt message\_body}. Serial numbers are omitted.

\begin{enumerate}

\item {\tt executeStringByLocalParser("12345 ;");}

/*&jp

Line 502 list represents available CMO tags.

Line 531 list represents available CMO tags.

{\tt xx(yy)} のなかの {\tt (yy)} は対応するアスキーコードをあわらす.

/*&eg

は次のようなパケットに変換される. 各数字は 16進1バイトをあらわす.

is converted into the following packet. Each number denotes

{\tt xx(yy)} のなかの {\tt (yy)} は対応するアスキーコードをあわらす.

one byte in hexadecimal representation.

{\tt (yy)} in {\tt xx(yy)} represents the corresponding ASCII code.

\begin{verbatim}

0 0 2 2 0 0 0 4 0 0 0 7

Line 511 list represents available CMO tags.

Line 541 list represents available CMO tags.

0 0 2 1 0 0 1 c

\end{verbatim}

/*&jp

ここで,

それぞれのデータの意味は次のとおりである.

\verb+ 0 0 2 2 0 0 0 4 + は, network byte order で,

順番に {\tt OX\_DATA} それから,

CMO のタグの, {\tt CMO\_STRING} を表す.

\verb+ 0 0 0 7 + は文字数,

最後に文字列 {\tt 12345 ;} が来る.

ここで, \verb+ 0 0 1 c + は, network byte order で,

{\tt OX\_executeString} を表す.

/*&eg

ここで,

Each data has the following meaning.

\verb+ 0 0 2 2 0 0 0 4 + は, network byte order で,

順番に {\tt OX\_DATA} それから,

CMO のタグの, {\tt CMO\_STRING} を表す.

\verb+ 0 0 0 7 + は文字数,

最後に文字列 {\tt 12345 ;} が来る.

ここで, \verb+ 0 0 1 c + は, network byte order で,

{\tt OX\_executeString} を表す.

//&jp まとめると次のようになる.

//&eg まとめると次のようになる.

\begin{verbatim}

0 0 2 2 (OX_DATA) 0 0 0 4 (CMO_STRING)

0 0 0 7 (size)

Line 541 CMO のタグの, {\tt CMO\_STRING} を表す.

Line 555 CMO のタグの, {\tt CMO\_STRING} を表す.

0 0 1 c (SM_executeStringByLocalParser)

\end{verbatim}

//&jp これを OXexpression で表記すると次のようになる.

//&eg これを OXexpression で表記すると次のようになる.

//&eg This is expressed by OXexpression as follows.

\begin{center}

(OX\_DATA, (CMO\_STRING, 7, "12345 ;"))

\end{center}

Line 550 CMO のタグの, {\tt CMO\_STRING} を表す.

Line 564 CMO のタグの, {\tt CMO\_STRING} を表す.

\end{center}

//&jp \item {\tt popString()} を要請するメッセージ:

//&eg \item {\tt popString()} を要請するメッセージ:

//&eg \item A message which requests {\tt SM\_popString}:

\begin{verbatim}

0 0 2 1 (OX_COMMAND)

0 0 1 7 (SM_popString)

\end{verbatim}

OXexpression では

//&jp OXexpression では

//&eg In OXexpression it is represented as

(OX\_COMMAND, (SM\_popString)).

\noindent

//&jp これにたいして次の返答メッセージがくる.

//&eg これにたいして次の返答メッセージがくる.

//&eg The server returns the following reply message:

\begin{verbatim}

0 0 2 2 (OX_DATA)

0 0 0 4 (CMO_STRING) 0 0 0 5 (size)

31(1) 32(2) 33(3) 34(4) 35(5)

\end{verbatim}

//&jp OXexpression でかくと,

//&eg OXexpression でかくと,

//&eg In OXexpression it is represented as

(OX\_DATA, (CMO\_STRING, 7, "12345 ;")).

\end{enumerate}

//&jp \subsubsection{グループ SMobject/Basic1 に属するオペレータ}

//&jp \subsubsection{グループ SMobject/Basic に属するオペレータ}

//&eg \subsubsection{グループ SMobject/Basic1 に属するオペレータ}

//&eg \subsubsection{Operators in the group SMobject/Basic}

\begin{enumerate}

\item

\begin{verbatim}

void xxx_pops(int n)

SM_pops

\end{verbatim}

/*&jp

operand stack より, {\it n} 個の元 ({\it obj1, obj2, $\ldots$, objn})

operand stack より, {\it n} 個の元 ({\it obj1, obj2, $\ldots$, objn}

を pop して捨てる.

/*&eg

operand stack より, {\it n} 個の元 ({\it obj1, obj2, $\ldots$, objn})

It requests a server to pop {\it n} and to discard elements {\it obj1, obj2,

を pop して捨てる.

$\ldots$, objn} from the stack.

//&jp Stack before the request: (右が stack のトップである.) \\

//&jp Stack before the request: \\

//&eg Stack before the request: (右が stack のトップである.) \\

//&eg Stack before the request: \\

\begin{tabular}{|c|c|c|c|c|} \hline

{\it obj1} & {\it obj2} & $\cdots$ & {\it objn} &{\it INT32 n} \\

{\it obj1} & {\it obj2} & $\cdots$ & {\it objn} &{\it Integer32 n} \\

\hline

\end{tabular}

Line 601 Request:

Line 616 Request:

\hline

\end{tabular}

//&jp Result: なし.

Output: none.

//&eg Result: none.

\item

\begin{verbatim}

int xxx_setName(char *name)

int SM_setName

\end{verbatim}

/*&jp

{\tt OperandStack} より {\it name} を pop し, つぎに{\tt OperandStack}

Line 616 bind する. 正常終了なら 0 を, 異常終了なら -1 をもど�

Line 630 bind する. 正常終了なら 0 を, 異常終了なら -1 をもど�

る通信では, 異常終了の時のみ, {\tt CMO\_ERROR2} をstack へ push する.

/*&eg

{\tt OperandStack} より {\it name} を pop し, つぎに{\tt OperandStack}

It requests a server to pop {\it name}, to pop {\it obj}, and to

より {\it obj} を pop し, それを現在の名前空間で変数 {\it name} に

bind {\it obj} to a variable {\it name} in the current name space

bind する. 正常終了なら 0 を, 異常終了なら -1 をもどす. TCP/IP によ

of the server.

る通信では, 異常終了の時のみ, {\tt CMO\_ERROR2} をstack へ push する.

If an error has occurred {\tt CMO\_ERROR2} is pushed onto the stack.

//&jp Stack before the request: (右が stack の top.)

//&jp Stack before the request:

//&eg Stack before the request: (右が stack の top.)

//&eg Stack before the request:

\begin{tabular}{|c|c|} \hline

{\it obj} & {\it String name} \\

\hline

Line 634 Request:

Line 648 Request:

\hline

\end{tabular}

//&jp Result: なし.

Output: none.

//&eg Result: none.

\item

\begin{verbatim}

int xxx_evalName(char *name)

SM_evalName

\end{verbatim}

/*&jp

現在の名前空間で変数 {\it name} を評価する. 評価の結果 {\it

resultObj} をスタックへ戻す. 関数自体は正常終了なら 0 を, 異常終了な

OutputObj} をスタックへ戻す. 関数自体は正常終了なら 0 を, 異常終了な

ら -1 をもどす. TCP/IP の場合, 異常終了の場合のみ {\tt CMO\_ERROR2}

を stack へ push する.

/*&eg

現在の名前空間で変数 {\it name} を評価する. 評価の結果 {\it

It requests a server to pop {\it name} and to evaluate a variable

resultObj} をスタックへ戻す. 関数自体は正常終了なら 0 を, 異常終了な

{\it name} in the current name space. The Output of the evaluation

ら -1 をもどす. TCP/IP の場合, 異常終了の場合のみ {\tt CMO\_ERROR2}

{\it OutputObj} is pushed to the stack.

を stack へ push する.

If an error has occurred {\tt CMO\_ERROR2} is pushed onto the stack.

//&jp Stack before the request: (右が stack の top.)

//&jp Stack before the request:

//&eg Stack before the request: (右が stack の top.)

//&eg Stack before the request:

\begin{tabular}{|c|} \hline

{\it String name} \\

\hline

Line 667 Request:

Line 682 Request:

\hline

\end{tabular}

//&jp Stack after the request: (右が stack の top.)

//&jp Stack after the request:

//&eg Stack after the request: (右が stack の top.)

//&eg Stack after the request:

\begin{tabular}{|c|} \hline

{\it resultObj} \\

{\it OutputObj} \\

\hline

\end{tabular}

//&jp Result: なし.

Output: none.

//&eg Result: none.

\item

\begin{verbatim}

int xxx_executeFunction(char *s, int n)

SM_executeFunction

\end{verbatim}

/*&jp

スタックより {\it n} 個のデータを pop して, サーバのローカル関数{\it

Line 687 s} を実行する. エラーのときのみ {\tt CMO\_ERROR2} を

Line 701 s} を実行する. エラーのときのみ {\tt CMO\_ERROR2} を

る.

/*&eg

スタックより {\it n} 個のデータを pop して, サーバのローカル関数{\it

It requests a server to pop {\it s} as a function name,

s} を実行する. エラーのときのみ {\tt CMO\_ERROR2} を stack へ push す

to pop {\it n} as the number of arguments and to execute

る.

a local function {\it s} with {\it n} arguments popped from

the stack.

If an error has occurred {\tt CMO\_ERROR2} is pushed to the stack.

//&jp Stack before the request: (右が stack の top.) \\

//&jp Stack before the request: \\

//&eg Stack before the request: (右が stack の top.) \\

//&eg Stack before the request: \\

\begin{tabular}{|c|c|c|c|c|} \hline

{\it objn} & $\cdots$ & {\it obj1} & {\it INT32 n} & {\it String s} \\

\hline

Line 706 Request:

Line 722 Request:

\end{tabular}

//&jp Stack after the request: 関数実行の結果.

//&eg Stack after the request: 関数実行の結果.

//&eg Stack after the request: The Output of the execution.

//&jp Result: なし.

Output: none.

//&eg Result: none.

\item

\begin{verbatim}

bytes *xxx_popSerializedLocalObject(void)

SM_popSerializedLocalObject

void popSerializedLocalObject(ox_stream out)

\end{verbatim}

/*&jp

最初の関数はライブラリとしてリンクして使用するための関数である. スタッ

スタックより pop した object を local 形式で serialization して

クより pop した object を local 形式の serialization してbyte 列で戻す.

OX message として stream へ出力する. OX message tag としては,

2 番目の関数は Socket で通信するための同機能の関数であり,

local 形式に対応したものが定義されていることが必要である.

serialization された byte 列を{\tt ox\_stream out} へ出力する. この場

この関数はおもに, homogeneous な分散システムで用いる.

合, header {\tt int32 OX\_DATA}, {\tt int32 CMO\_LOCAL\_OBJECT} をつけ

てから, byte 列を送る. この関数はおもに, homogeneous な分散システムで

用いる. 次に, サーバスタックマシンの関数が実行されるまでは,戻り

object の内容は保証されないといけない.

/*&eg

最初の関数はライブラリとしてリンクして使用するための関数である. スタッ

It requests a sever to pop an object, to convert it into a

クより pop した object を local 形式の serialization してbyte 列で戻す.

serialized form according to a local serialization scheme, and

2 番目の関数は Socket で通信するための同機能の関数であり,

to send it to the stream as an OX message.

serialization された byte 列を{\tt ox\_stream out} へ出力する. この場

An OX message tag corresponding to

合, header {\tt int32 OX\_DATA}, {\tt int32 CMO\_LOCAL\_OBJECT} をつけ

the local data format must be sent prior to the serialized data

てから, byte 列を送る. この関数はおもに, homogeneous な分散システムで

itself.

用いる. 次に, サーバスタックマシンの関数が実行されるまでは,戻り

This operation is used mainly on homogeneous distributed systems.

object の内容は保証されないといけない.

\item

/*&jp

local serialized object, およびサポートする CMO object を{\tt

OX\_DATA} として受信した場合, {\tt OperandStack} へpush する. 受信エ

ラーを起こしたときのみ, {\tt CMO\_ERROR2} を stack へ push する.

/*&eg

local serialized object, およびサポートする CMO object を{\tt

OX\_DATA} として受信した場合, {\tt OperandStack} へpush する. 受信エ

ラーを起こしたときのみ, {\tt CMO\_ERROR2} を stack へ push する.

\item

\begin{verbatim}

bytes *xxx_popCMO(void)

SM_popCMO

void xxx_popCMO(ox_stream out)

\end{verbatim}

/*&jp

最初の関数はライブラリとしてリンクして使用するための関数である. {\tt

{\tt OperandStack} より object を pop し CMO 形式の serialized object を

OperandStack} より object を pop し CMO 形式の serialized object を

stream へ header {\tt OX\_DATA} をつけてながす.

byte 列として戻す. 2 番目の関数は Socket で通信するための同機能の関数

であり, {\tt ox\_stream out } へ, そのデータを header {\tt OX\_DATA}

をつけてながす. この関数はおもに, heterotic な分散システムで用いる.

次に, サーバスタックマシンの関数が実行されるまでは,戻り object の内容

は保証されないといけない.

/*&eg

最初の関数はライブラリとしてリンクして使用するための関数である. {\tt

It requests a server to pop an object from the stack, to convert

OperandStack} より object を pop し CMO 形式の serialized object を

it into a serialized form according to the standard CMO encoding scheme,

byte 列として戻す. 2 番目の関数は Socket で通信するための同機能の関数

and to send it to the stream with the {\tt OX\_DATA} header.

であり, {\tt ox\_stream out } へ, そのデータを header {\tt OX\_DATA}

をつけてながす. この関数はおもに, heterotic な分散システムで用いる.

次に, サーバスタックマシンの関数が実行されるまでは,戻り object の内容

は保証されないといけない.

Request:

Line 779 Request:

Line 768 Request:

\hline

\end{tabular}

Result:

Output:

\begin{tabular}{|c|c|} \hline

{\tt int32 OX\_DATA} & {\it Serialized CMO} \\

\hline

\end{tabular}

//&jp 以下で, {\tt ox\_stream} はサンプルサーバの場合,

//&eg 以下で, {\tt ox\_stream} はサンプルサーバの場合,

\begin{verbatim}

typedef FILE2 * ox_stream;

\end{verbatim}

//&jp である (cf. {\tt file2.h}). これは処理系によりちがってよい.

//&jp {\tt ox\_asir} では, {\tt FILE *} を用いている.

//&eg である (cf. {\tt file2.h}). これは処理系によりちがってよい.

//&eg {\tt ox\_asir} では, {\tt FILE *} を用いている.

\end{enumerate}

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>