=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/communication-model.tex,v retrieving revision 1.1.1.1 retrieving revision 1.8 diff -u -p -r1.1.1.1 -r1.8 --- OpenXM/doc/OpenXM-specs/communication-model.tex 2000/01/20 08:52:46 1.1.1.1 +++ OpenXM/doc/OpenXM-specs/communication-model.tex 2000/09/09 21:59:13 1.8 @@ -1,6 +1,6 @@ -%% $OpenXM$ -//&jp \section{ Open XM の通信モデル} -//&eg \section{ Communication model of Open XM} (This part has not yet been translated) +%% $OpenXM: OpenXM/doc/OpenXM-specs/communication-model.tex,v 1.7 2000/09/09 16:32:26 takayama Exp $ +//&jp \section{ OpenXM の通信モデル} +//&eg \section{ Communication model of OpenXM} /*&jp われわれは, 数学プロセスがメッセージを @@ -13,6 +13,7 @@ \item Library として直接リンクして通信する. \item TCP/IP ソケットの利用. \item Remote Procedure call の利用. +\item JAVA RMI. \item マルチスレッドの利用. \item PVM ライブラリの利用. \item MPI ライブラリの利用. @@ -22,22 +23,23 @@ メッセージは論理的に次のような構造をもつ: */ /*&eg -In our model of comutation, mathematical processes proceed +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 method are possible to realize communications between +The following methods are possible to realize communications between mathematical processes. \begin{enumerate} \item Communication by files. \item Linking as a subroutine library. \item TCP/IP streams. \item Remote Procedure call. -\item Muitithread. +\item JAVA RMI. +\item Multi-thread. \item PVM library. \item MPI library. \end{enumerate} -In OpenXM Communication is exechange of messages between processes. +In OpenXM communication means exchange of messages between processes. A message has the following structure: */ /*&C @@ -51,10 +53,10 @@ A message has the following structure: \end{center} */ /*&jp -このメッセージを, OX Message (Open XM message object) とよぶ. +このメッセージを, OX message (OpenXM message object) とよぶ. OX Message はトップレベルのメッセージ object であり, 仕様書では, さまざまなグループに属する object が登場する. -グループ名は, たとえば, OX Message/TCPIP/Basic0 などと書く. +グループ名は, たとえば, OX Message/TCPIP/Primitive などと書く. {\tt message\_body} の部分の仕様は, OX Message の上位に位置する部分であり, SMobject または CMObject がくる. これらの object はタグをもち, そのタグ定数は {\tt SM\_} または @@ -62,66 +64,36 @@ OX Message はトップレベルのメッセージ object であり, SMobject は, スタックマシンコマンドメッセージ object であり, やはり, グループ分けされている. 各グループ名は, -SMobject/Basic0, SMobject/Basic1 などと書く. +SMobject/Primitive, SMobject/Basic などと書く. SMobject の構造は サーバスタックマシンの節で詳しく説明する. -CMObject についてはすでに Basic0 の CMObject の説明をしたが, +CMObject についてはすでに Primitive の CMObject の説明をしたが, あとで CMObject レベル 1の説明をする. OX Message の {\tt ox message\_tag} の定数は {\tt OX\_} で始まる. - -このメッセージを, OX Message (Open XM message object) とよぶ. -OX Message はトップレベルのメッセージ object であり, -仕様書では, さまざまなグループに属する object が登場する. -グループ名は, たとえば, OX Message/TCPIP/Basic0 などと書く. -{\tt message\_body} の部分の仕様は, OX Message -の上位に位置する部分であり, SMobject または CMObject がくる. -これらの object はタグをもち, そのタグ定数は {\tt SM\_} または -{\tt CMO\_} ではじまる. -SMobject は, スタックマシンコマンドメッセージ object であり, -やはり, グループ分けされている. -各グループ名は, -SMobject/Basic0, SMobject/Basic1 などと書く. -SMobject の構造は -サーバスタックマシンの節で詳しく説明する. -CMObject についてはすでに Basic0 の CMObject の説明をしたが, -あとで CMObject レベル 1の説明をする. -OX Message の -{\tt ox message\_tag} の定数は {\tt OX\_} で始まる. */ /*&eg We call it an OX message (OpenXM message object). -OX Message is the top level 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 {\tt ox message\_tag}. -{\tt message\_body} depends on the {\tt ox message\_tag}. The name of an ox message tag begins with {\tt OX\_}. -The following table shows the correspondence between -an OX message tag and a message body. - -\begin{center} -\begin{tabular}{|c||c|c|} \hline -ox message tag & message body & category \\ \hline -{\tt OX\_DATA} & CMOobject & DATA \\ \hline -{\tt OX\_COMMAND} & SMobject & COMMAND \\ \hline -{\tt OX\_DATA\_OPENMATH\_XML} & OpenMath data & DATA \\ \hline -\end{tabular} -\end{center} - +Typical OX message tags are {\tt OX\_COMMAND} followed by +SMobject and {\tt OX\_DATA} followed by CMObject. Each message object also has its tag. For SMobject, the name -of a tag begins with {\tt SM\_}. For CMOobject, the name of +of a tag begins with {\tt SM\_}. For CMObject, the name of a tag begins with {\tt CMO\_}. An SMobject represents a stack machine command and categorized -into several groups such as SMobject/Basic0, SMobject/Basic1. +into several groups such as SMobject/Primitive, SMobject/Basic. The details of SMobjects will be explained in Section \ref{sec:stackmachine}. -We have already explained the Basic0 CMOobjects. -We will describe the Basic1 CMOobjects later. +We have already explained the Primitive CMObjects. +We will describe the Basic CMObjects in Section \ref{sec:basic1}. */ //&jp \subsection{ OX Message の 表現方法 } //&eg \subsection{ OX Messages } /*&jp -Open XM で各プロセスは +OpenXM で各プロセスは \begin{center} (OXexpression を理解するスタックマシン) $+$ (xxx 言語で動くエンジン) \end{center} @@ -135,6 +107,17 @@ OX Message を スタックマシンコマンド, SMobject を スタックマシンオペレータともよぶ. */ +/*&eg +In OpenXM, each process may have a hybrid interface; +it may accept and execute not only stack machine commands, +but also its original command sequences. +We call such a process an OX stack machine. +Here we introduce OXexpression and SMexpression +to express OX messages and SM objects respectively. +*/ + +//&jp \subsubsection{ OX メッセージの表現法 (Lisp 風) } +//&eg \subsubsection{ Expressions of OX messages (Lisp like) } /*&C \begin{eqnarray*} \mbox{OXexpression} @@ -160,6 +143,17 @@ From AAA, To BBB, を OXexpression の前に書く. たとえば, あとで説明する, CMO string ``Hello'' を スタックにプッシュする 表現は次のように書く: */ + +/*&eg +A comma `{\tt ,}' may be used to separate elements in an expression. +{\tt OX\_tag} is a constant which denotes an OX message tag. +{\tt SM\_tag} is a constant which denotes an SM command tag. +If a sender AAA or a receiver BBB has to be specified, +'From AAA' or 'To BBB' is written before the OXexpression. + +For example the following expression means a request to +push a CMO string ``Hello''. +*/ /*&C \begin{center} (OX\_DATA, (CMO\_STRING, 5, "Hello")) @@ -167,9 +161,9 @@ From AAA, To BBB, を OXexpression の前に書く. */ -/*&jp -あとで説明するように, local 関数 ``hoge'' を実行する スタックマシンコマンドは -次のように表現する: +/*&eg +The following expression means a request to execute +a local function ``hoge''. */ /*&C @@ -182,12 +176,48 @@ From AAA, To BBB, を OXexpression の前に書く. */ /*&jp -標準 encoding 法では, 各 タグを ネットワークバイトオーダーの -32 bit integer で表現する. +標準エンコード法では, それぞれのタグは 32 bit (4 bytes) の +ネットワークバイトオーダでの整数として表現される. */ +/*&eg +In our standard encoding method, each tag is expressed as +a 32 bit (4 bytes) integer with the network byte order. +*/ +/*&C + +*/ + +//&jp \subsubsection{ OX メッセージの表現 (XML) } +//&eg \subsubsection{ Expression of OX messages (XML) } + +/*&jp +OX メッセージは XML で表現することも可能である. 次に例を示す. +*/ +/*&eg +OX messages can be expressed by XML. The following is an example. +*/ +/*&C +\begin{verbatim} + + + 0 + + 5 + "Hello" + + + + + 1 + + + +\end{verbatim} +*/ + //&jp \subsection{OXexpression の 標準 encoding と TCP/IP ソケットによる実装法} -//*eg \subsection{Standard enconding of OXexpressions and an implementation by TCP/IP sockets} +//&eg \subsection{Standard encoding of OXexpressions and an implementation by TCP/IP sockets} /*&jp 通信の実現方法は通信路のとりかたによりかわるが, 論理構造は統一的にあつかわないといけない. @@ -213,6 +243,25 @@ OX パケットの番号を戻すのに主に利用される. したがってパケットは 次のように記述する */ + +/*&eg +The logical structure of OX messages are independent of implementations +of communication. The OXexpression represents the logical structure. +Here we explain an outline of the standard encoding scheme of OXexpression. +This encoding scheme is used to implement OpenXM protocols on TCP/IP sockets. +In addition, we also explain the control messages to control stack machines. + +As the socket connection is peer to peer, {\tt destination} and {\tt origin} +are omitted. +The {\tt extension} field is placed after the {\tt message\_tag} field. +The {\tt extension} field consists of the serial number for OX message, +which is {\tt int32}. +The serial number is used to identify an OX message which caused +an error on a server. +In the following we regard the {\tt extension} as a component of +the {\tt message\_tag} field and omit the {\tt extension} field. +Thus OX messages are represented as follows. +*/ /*&C \begin{center} \begin{tabular}{|c|c|} @@ -222,22 +271,25 @@ OX パケットの番号を戻すのに主に利用される. \end{tabular} \end{center} */ -//&jp が, もっとこまかく見ると, +//&jp \noindent が, もっとこまかく見ると, +//&eg \noindent More precisely it has the following representation. /*&C \begin{center} \begin{tabular}{|c|c|} \hline -{\tt ox message\_tag}, \ {\tt packet number}&{\tt message\_body} \\ +{\tt ox message\_tag}, \ {\tt serial number}&{\tt message\_body} \\ \hline \end{tabular} \end{center} */ /*&jp +\noindent となっている. -グループ OX Message/TCPIP/Basic0 の +グループ OX Message/TCPIP/Primitive の {\tt ox message\_tag} としては次のものが用意されている. */ +//&eg \noindent As {\tt ox message\_tag} the following are provided. /*&C @plugin/oxMessageTag.h @@ -273,9 +325,20 @@ OX パケットの番号を戻すのに主に利用される. 実現している. -\verb+ OX_COMMAND + メッセージは次の形のパケット: \\ +\verb+ OX_COMMAND + メッセージは次の形のパケットで表現される: \\ */ +/*&eg +Two streams are provided for communication between a client and a server. +One is the stream to exchange data and to send stack machine commands. +The other is the stream to control stack machines. +Messages on the latter stream are called control messages and +results of control messages. The sample server implements +the above two streams by using two ports on TCP/IP. + +The stack machine command message has the following forms: \\ +*/ /*&C +\noindent \begin{tabular}{|c|c|} \hline {\tt OX\_COMMAND} & {\tt int32 function\_id} \\ \hline @@ -286,7 +349,8 @@ OX パケットの番号を戻すのに主に利用される. \\ */ -//&jp \verb+ OX_DATA + メッセージは次の形のパケット: \\ +//&jp \verb+ OX_DATA + メッセージは次の形のパケットで表現される: \\ +//&eg CMO data message has the following form:\\ /*&C \begin{tabular}{|c|c|} \hline @@ -296,11 +360,8 @@ OX パケットの番号を戻すのに主に利用される. ({\tt OX\_DATA}, {\sl CMObject} data) \\ */ -/*&jp -データは CMO を用いて表現する. - -コントロールメッセージは次の形のパケット: \\ -*/ +//&jp コントロールメッセージは次の形のパケットで表現される: \\ +//&eg The control message has the following form:\\ /*&C \begin{tabular}{|c|c|} \hline @@ -312,9 +373,14 @@ OX パケットの番号を戻すのに主に利用される. /*&jp コントロールメッセージは, 計算を中断したい, debug 用の スレッドを起動する, debug モードを抜けたい, などの用途に利用する. - -コントロールメッセージの結果メッセージは次の形のパケット: \\ */ +/*&eg +The control message is used to interrupt a computation, to invoke +debugging threads, or to exit form the debugging mode. +*/ + +//&jp コントロールメッセージの結果メッセージは次の形のパケットで表現される: \\ +//&eg The result of a control message has the following form:\\ /*&C \begin{tabular}{|c|c|l|} \hline @@ -328,9 +394,14 @@ debug モードを抜けたい, などの用途に利用する. /*&jp {\tt int32 function\_id} の部分に, サーバスタックマシン の operator に対応する番号がはいる. -グループ SMobject/Basic0 および SMobject/Basic1 に属する +グループ SMobject/Primitive および SMobject/Basic に属する タグとして以下のものがある. */ +/*&eg +{\tt int32 function\_id} is the value of a stack machine command. +SM tags in SMobject/Primitive and SMobject/Basic and corresponding +values are as follows. +*/ /*&C @plugin/oxFunctionId.h \begin{verbatim} @@ -358,14 +429,16 @@ debug モードを抜けたい, などの用途に利用する. \end{verbatim} */ -//&jp たとえば, -/*C +//&jp \noindent たとえば, +//&eg \noindent For example +/*&C \begin{center} (OX\_COMMAND, SM\_pops) \end{center} */ -//&jp は -/*C +//&jp \noindent は +//&eg \noindent is encoded as follows. +/*&C \begin{center} \begin{tabular}{|c|c|} \hline @@ -374,10 +447,14 @@ debug モードを抜けたい, などの用途に利用する. \end{tabular} \end{center} */ -/*&jp -とエンコードされる. +//&jp とエンコードされる. +/*&jp operator の詳細は次の節で説明する. これらの定数の名前はインプリメントのとき短縮形で表現してもよい. +*/ +/*&eg +The details of the operators are described in Section \ref{sec:stackmachine}. +Names of these constants may be represented by abbreviated forms. */