[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Annotation of OpenXM/doc/genkou19991125.tex, Revision 1.123

1.1       tam         1: \documentclass{jarticle}
                      2:
1.123   ! tam         3: %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.122 2000/01/07 09:07:53 tam Exp $
1.51      ohara       4:
1.52      tam         5: \usepackage{jssac}
                      6:
1.94      ohara       7: \title{OpenXM プロジェクトの現状について}
1.67      tam         8: \author{奥 谷   行 央\affil{神戸大学大学院自然科学研究科}
                      9:                \mail{okutani@math.sci.kobe-u.ac.jp}
                     10:   \and 小 原   功 任\affil{金沢大学理学部}
1.53      tam        11:                \mail{ohara@kappa.s.kanazawa-u.ac.jp}
1.67      tam        12:   \and 高 山   信 毅\affil{神戸大学理学部}
1.53      tam        13:                \mail{takayama@math.sci.kobe-u.ac.jp}
1.67      tam        14:   \and 田 村   恭 士\affil{神戸大学大学院自然科学研究科}
1.52      tam        15:                \mail{tamura@math.sci.kobe-u.ac.jp}
1.67      tam        16:   \and 野 呂   正 行\affil{富士通研究所}
                     17:                \mail{noro@para.flab.fujitsu.co.jp}
                     18:   \and 前 川   将 秀\affil{神戸大学理学部}
                     19:                \mail{maekawa@math.sci.kobe-u.ac.jp}
1.1       tam        20: }
1.89      tam        21: \art{}
1.1       tam        22:
                     23: \begin{document}
                     24: \maketitle
                     25:
1.30      ohara      26: \section{OpenXMとは}
                     27:
1.90      ohara      28: OpenXM は数学プロセス間でメッセージを交換するための規約である.  数学プロ
                     29: セス間でメッセージをやりとりすることにより, ある数学プロセスから他の数学
                     30: プロセスを呼び出して計算を行なったり, 他のマシンで計算を行なわせたりする
                     31: ことが目的である.  なお, OpenXM とは Open message eXchange protocol for
1.100     ohara      32: Mathematics の略である.  OpenXM の開発の発端は野呂と高山により, asir と
1.90      ohara      33: kan/sm1 を相互に呼び出す機能を実装したことである.
                     34:
                     35: 初期の実装では, 相手側のローカル言語の文法に従った文字列を送っていた.
                     36: この方法では相手側のソフトが asir なのか kan/sm1 なのかを判別するなどし
                     37: て, 相手側のローカル言語の文法に合わせた文字列を作成しなければならない.
                     38: このローカル言語の文法に従った文字列を送る方法は, 効率的であるとはいい難
                     39: いが, 使いやすいとも言える.
                     40:
                     41: 現在の OpenXM 規約では共通表現形式によるメッセージを用いている.  上記の
                     42: 文字列を送る方法の利点を生かすため, OpenXM 規約では共通表現形式の中の文
                     43: 字列として, ローカル言語の文法に従った文字列を用いたメッセージの交換も可
                     44: 能となっている.
                     45:
1.100     ohara      46: OpenXM 規約では通信の方法に自由度があるが, 現在のところは TCP/IP を用い
                     47: た通信しか実装されていない.
                     48: \footnote{ただし asir には MPI を用いた実装もある.}
                     49: そこで, この論文では TCP/IP を用いた実装に準拠してOpenXM の説明をする.
1.97      tam        50:
1.88      tam        51:
1.116     tam        52: \section{OpenXM のメッセージの構造}\label{sec:messages}
1.30      ohara      53:
1.90      ohara      54: 通信の方法によってメッセージの構造は変わる.  この論文では TCP/IP の場合
                     55: についてのみ説明を行なう.
1.61      tam        56:
1.90      ohara      57: OpenXM 規約で規定されているメッセージはバイトストリームとなっており, 次
                     58: のような構造になっている.
1.94      ohara      59: \begin{center}
1.50      ohara      60: \begin{tabular}{|c|c|}
                     61: \hline
1.100     ohara      62: ヘッダ & \hspace{10mm} ボディ \hspace{10mm} \\
1.50      ohara      63: \hline
1.36      tam        64: \end{tabular}
1.94      ohara      65: \end{center}
1.90      ohara      66: ヘッダの長さは 8 バイトであると定められている.  ボディの長さはメッセージ
                     67: ごとに異なっているが, 長さは $0$ でもよい.
1.38      tam        68:
1.82      tam        69: ヘッダは次の二つの情報を持っている.
1.30      ohara      70: \begin{enumerate}
1.90      ohara      71: \item
1.100     ohara      72: 前半の 4 バイト.  メッセージの種類を表す識別子であり, タグと呼ばれる.
1.90      ohara      73: \item
1.100     ohara      74: 後半の 4 バイト.  メッセージにつけられた通し番号である.
1.30      ohara      75: \end{enumerate}
1.82      tam        76: それぞれの 4 バイトは 32 ビット整数とみなされて扱われる.
1.88      tam        77:
1.90      ohara      78: この場合に用いられる 32 ビット整数の表現方法について説明しておこう.  問
                     79: 題になるのは負数の表現とバイトオーダーの問題である.  まず, 負数を表す必
                     80: 要があるときには2の補数表現を使うことになっている.  次にバイトオーダーで
                     81: あるが, OpenXM 規約は複数のバイトオーダーを許容する.  ただし一つの通信路
1.100     ohara      82: ではひとつのバイトオーダーのみが許され, 通信路の確立時に一度だけ選ばれる.
1.88      tam        83:
                     84: 現在のOpenXM 規約では, タグ(整数値)として以下のものが定義されている.
1.45      tam        85:
                     86: \begin{verbatim}
1.100     ohara      87: #define        OX_COMMAND               513
                     88: #define        OX_DATA                  514
                     89: #define OX_SYNC_BALL             515
                     90: #define OX_DATA_WITH_LENGTH      521
                     91: #define OX_DATA_OPENMATH_XML     523
                     92: #define OX_DATA_OPENMATH_BINARY  524
                     93: #define OX_DATA_MP               525
1.45      tam        94: \end{verbatim}
1.30      ohara      95:
1.90      ohara      96: ボディの構造はメッセージの種類によって異なる.  OX\_COMMAND で識別される
                     97: メッセージはスタックマシンへの命令であり, それ以外のメッセージは何らかの
                     98: オブジェクトを表している.  この論文では OX\_DATA と OX\_COMMAND で識別さ
                     99: れるメッセージについてのみ, 説明する.
1.50      ohara     100:
1.82      tam       101: 既存のメッセージでは対応できない場合は, 新しい識別子を定義することで新し
1.100     ohara     102: い種類のメッセージを作成することができる.  この方法は各数学ソフトウェア
                    103: の固有の表現を含むメッセージを作成したい場合などに有効である.  新しい識
                    104: 別子の定義方法については, \cite{OpenXM-1999} を参照すること.
1.42      tam       105:
1.88      tam       106:
1.42      tam       107: \section{OpenXM の計算モデル}
                    108:
1.100     ohara     109: OpenXM 規約での計算とはメッセージを交換することである.  また, OpenXM 規
1.82      tam       110: 約ではクライアント・サーバモデルを採用しているので, メッセージの交換はサー
1.98      tam       111: バとクライアントの間で行なわれる.
1.100     ohara     112: \footnote{現在, 主に野呂が OpenXM の計算モデルの拡張を考えている.  効率
                    113: 的な分散計算のアルゴリズムの多くはサーバ同士の通信も要求するからである.}
                    114: クライアントからサーバへメッセージを送り, クライアントがサーバからメッセー
                    115: ジを受け取ることによって計算の結果が得られる.  このメッセージのやりとり
                    116: はクライアントの主導で行われる.  つまり, クライアントは自由にメッセージ
                    117: をサーバに送付してもよいが, サーバからは自発的にメッセージが送付されるこ
                    118: とはない.  この原理はサーバはスタックマシンであることで実現される.  スタッ
                    119: クマシンの構造については \ref{sec:oxsm} 節で述べる.
1.70      ohara     120:
                    121: サーバがクライアントから受け取ったオブジェクト(つまり OX\_COMMAND でない
1.100     ohara     122: メッセージのボディ)はすべてスタックに積まれる.  スタックマシンへの命令
1.70      ohara     123: (OX\_COMMAND で識別されるメッセージのボディ)を受け取ったサーバは命令に対
1.100     ohara     124: 応する動作を行なう.  このとき, 命令によってはスタックからオブジェクトを
                    125: 取り出すことがあり, また(各数学システムでの)計算結果をスタックに積むこと
                    126: がある.  もし, 与えられたデータが正しくないなどの理由でエラーが生じた場
                    127: 合にはサーバはエラーオブジェクトをスタックに積む.  計算結果をクライアン
                    128: トが得る場合にはスタックマシンの命令 SM\_popCMO または SM\_popString を
                    129: サーバに送らなければならない.  これらの命令を受け取ってはじめて, サーバ
                    130: からクライアントへメッセージが送られる.
1.50      ohara     131:
1.90      ohara     132: まとめると, クライアントがサーバへメッセージを送り, 計算の結果を得るとい
                    133: う手順は以下のようになる.
1.3       tam       134:
                    135: \begin{enumerate}
1.90      ohara     136: \item
                    137: まず, クライアントがサーバへオブジェクトを送る.  サーバは送られてきたオ
                    138: ブジェクトをスタックに積む.
                    139: \item
                    140: クライアントがサーバに計算の命令を送ると, サーバはあらかじめ定めれらた動
1.100     ohara     141: 作を行う.  一部の命令はスタックの状態を変更する.  例えば
1.90      ohara     142: SM\_executeFunction, \\ SM\_executeStringByLocalParser などの命令は, ス
1.100     ohara     143: タック上のオブジェクトから計算を行う.  SM\_popCMO もしくは SM\_popString
1.90      ohara     144: は, スタックの最上位のオブジェクトを取りだし, クライアントに送り返す.
1.4       tam       145: \end{enumerate}
1.2       tam       146:
1.82      tam       147:
1.73      ohara     148: \section{OpenXM スタックマシン}\label{sec:oxsm}
1.68      ohara     149:
1.100     ohara     150: OpenXM 規約ではサーバはスタックマシンであると定義している.  以下, OpenXM
                    151: スタックマシンと呼ぶ.  この節ではOpenXM スタックマシンの構造について説明
1.82      tam       152: しよう.
                    153:
                    154: まず, OpenXM 規約は通信時にやりとりされる共通のデータ形式については規定
                    155: するが, OpenXM スタックマシンがスタックに積む, オブジェクトの構造までは
1.100     ohara     156: 規定しない.  つまり, オブジェクトの構造は各数学システムごとに異なってい
                    157: るということである.  このことは通信路からデータを受け取った際に, 各数学
                    158: システムが固有のデータ構造に変換してからスタックに積むことを意味する.
                    159: この変換は1対1対応である必要はない.  もちろん, 恣意的に変換してよいわけ
                    160: ではなく, 数学システムごとに変換方法をあらかじめ定めておく必要がある.
                    161: このような共通のデータ形式と各システムでの固有のデータ形式との変換の問題
                    162: は OpenXM に限ったことではない.  OpenMath (\ref{sec:other} 節を参照のこ
                    163: と) ではこの変換を行うソフトウェアを Phrasebook と呼んでいる.
                    164:
                    165: 次に OpenXM スタックマシンの命令コードについて説明する.  OpenXM スタック
                    166: マシンにおけるすべての命令は 4 バイトの長さを持つ.  OpenXM 規約の他の規
                    167: 定と同様に, 4 バイトのデータは32ビット整数と見なされるので, この論文でも
                    168: その表記にしたがう.  OpenXM スタックマシンに対する命令はスタックに積まれ
                    169: ることはない.  現在のところ, OpenXM 規約では以下の命令が定義されている.
1.68      ohara     170:
                    171: \begin{verbatim}
1.69      tam       172: #define SM_popSerializedLocalObject               258
                    173: #define SM_popCMO                                 262
                    174: #define SM_popString                              263
                    175: #define SM_mathcap                                264
                    176: #define SM_pops                                   265
                    177: #define SM_setName                                266
                    178: #define SM_evalName                               267
1.100     ohara     179: #define SM_executeStringByLocalParser             268
1.69      tam       180: #define SM_executeFunction                        269
                    181: #define SM_beginBlock                             270
                    182: #define SM_endBlock                               271
                    183: #define SM_shutdown                               272
                    184: #define SM_setMathCap                             273
                    185: #define SM_executeStringByLocalParserInBatchMode  274
                    186: #define SM_getsp                                  275
                    187: #define SM_dupErrors                              276
                    188: #define SM_DUMMY_sendcmo                          280
                    189: #define SM_sync_ball                              281
                    190: #define SM_control_kill                          1024
                    191: #define SM_control_to_debug_mode                 1025
                    192: #define SM_control_exit_debug_mode               1026
                    193: #define SM_control_ping                          1027
                    194: #define SM_control_start_watch_thread            1028
                    195: #define SM_control_stop_watch_thread             1029
                    196: #define SM_control_reset_connection              1030
1.68      ohara     197: \end{verbatim}
                    198:
1.100     ohara     199: スタックマシンに対する命令の中には実行によって結果が返ってくるものがある.
                    200: 結果が返ってくる命令を実行した場合, サーバはその結果をスタックに積む.
1.90      ohara     201: たとえば, 命令 SM\_executeStringByLocalParser はスタックに積まれているオ
                    202: ブジェクトをサーバ側のローカル言語の文法に従った文字列とみなして計算を行
                    203: なうが, 行なった計算の結果はスタックに積まれる.
1.81      ohara     204:
1.82      tam       205: なお, 命令の実行中にエラーが起こり, 結果が得られなかった場合には,
                    206: エラーオブジェクトがスタックに積まれる.
1.75      tam       207:
1.73      ohara     208: \section{CMO のデータ構造}\label{sec:cmo}
1.4       tam       209:
1.82      tam       210: OpenXM 規約では, 数学的オブジェクトを表現する方法として CMO 形式(Common
1.100     ohara     211: Mathematical Object format)を定義している.  この CMO 形式にしたがったデー
1.82      tam       212: タは, 識別子が OX\_DATA であるようなメッセージのボディになることを想定し
                    213: ている.
1.68      ohara     214:
1.82      tam       215: CMO 形式におけるデータ構造は次のような構造をもつ.
1.94      ohara     216: \begin{center}
                    217: \begin{tabular}{|c|c|}
                    218: \hline
                    219: ヘッダ        & \hspace{10mm} ボディ \hspace{10mm} \\
                    220: \hline
1.72      tam       221: \end{tabular}
1.94      ohara     222: \end{center}
1.100     ohara     223: ヘッダは4バイトである.  ボディの長さはそれぞれのデータによって異なるが,
1.82      tam       224: 0でもよい.
1.68      ohara     225:
1.100     ohara     226: メッセージと同様にヘッダは4バイト単位に管理される.  すなわち, CMO では
                    227: ヘッダは一つだけの情報を含む.  この4バイトのヘッダのことをタグともいう.
                    228: さて, CMO では, タグによってボディの論理的構造が決定する.  すなわち, タ
                    229: グはそれぞれのデータ構造と1対1に対応する識別子である.  それぞれの論理的
                    230: 構造は\cite{OpenXM-1999} に詳述されている.  現在の OpenXM 規約では以下の
                    231: CMO が定義されている.
1.30      ohara     232:
1.47      tam       233: \begin{verbatim}
1.94      ohara     234: #define CMO_ERROR2                         0x7f000002
                    235: #define CMO_NULL                           1
                    236: #define CMO_INT32                          2
                    237: #define CMO_DATUM                          3
                    238: #define CMO_STRING                         4
                    239: #define CMO_MATHCAP                        5
                    240: #define CMO_ARRAY                          16
                    241: #define CMO_LIST                           17
                    242: #define CMO_ATOM                           18
                    243: #define CMO_MONOMIAL32                     19
                    244: #define CMO_ZZ                             20
                    245: #define CMO_QQ                             21
                    246: #define CMO_ZERO                           22
                    247: #define CMO_DMS_GENERIC                    24
                    248: #define CMO_DMS_OF_N_VARIABLES             25
                    249: #define CMO_RING_BY_NAME                   26
                    250: #define CMO_RECURSIVE_POLYNOMIAL           27
                    251: #define CMO_LIST_R                         28
                    252: #define CMO_INT32COEFF                     30
                    253: #define CMO_DISTRIBUTED_POLYNOMIAL         31
                    254: #define CMO_POLYNOMIAL_IN_ONE_VARIABLE     33
                    255: #define CMO_RATIONAL                       34
1.74      tam       256: #define CMO_64BIT_MACHINE_DOUBLE           40
                    257: #define CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE  41
                    258: #define CMO_128BIT_MACHINE_DOUBLE          42
                    259: #define CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE 43
1.94      ohara     260: #define CMO_BIGFLOAT                       50
                    261: #define CMO_IEEE_DOUBLE_FLOAT              51
                    262: #define CMO_INDETERMINATE                  60
                    263: #define CMO_TREE                           61
                    264: #define CMO_LAMBDA                         62
1.47      tam       265: \end{verbatim}
1.72      tam       266:
1.75      tam       267: この中で CMO\_ERROR2, CMO\_NULL, CMO\_INT32, CMO\_DATUM, CMO\_STRING,
                    268: CMO\_MATHCAP, CMO\_LIST で識別されるオブジェクトは最も基本的なオブジェ
1.82      tam       269: クトであって, すべての OpenXM 対応システムに実装されていなければならない.
1.48      tam       270:
1.94      ohara     271: これらについての解説を行う前に記法について, 少し説明しておく.  この論文
1.100     ohara     272: では, 大文字で CMO\_INT32 と書いた場合には, 上記で定義した識別子を表す.
                    273: また CMO\_INT32 で識別されるオブジェクトのクラス(あるいはデータ構造) を
1.94      ohara     274: cmo\_int32 と小文字で表すことにする.
1.82      tam       275:
1.100     ohara     276: さて cmo を表現するための一つの記法を導入する.  この記法は CMO expression
                    277: と呼ばれている.  その正確な形式的定義は \cite{OpenXM-1999} を参照すること.
1.82      tam       278:
1.94      ohara     279: CMO expssion は Lisp 風表現の一種で, cmo を括弧で囲んだリストとして表現
1.100     ohara     280: する.  それぞれの要素はカンマで区切る.  例えば,
1.73      ohara     281: \begin{quote}
                    282: (17, {\sl int32}, (CMO\_NULL), (2, {\sl int32} $n$))
                    283: \end{quote}
1.100     ohara     284: は CMO expression である.  ここで, 小文字の斜体で表された``{\sl int32}''
                    285: は 4 バイトの任意のデータを表す記号であり, ``{\sl int32} $n$'' は同じく
                    286: 4 バイトのデータであるが以下の説明で $n$ と表すことを示す.  また数字 17,
                    287: 2 などは 4 バイトのデータで整数値としてみたときの値を意味する.  CMO\_NULL
                    288: は識別子(すなわち数字 1 と等価)である.  この記法から上記のデータは 20 バ
1.94      ohara     289: イトの大きさのデータであることが分かる.  なお, CMO expression は単なる表
                    290: 記法であることに特に注意してほしい.
1.81      ohara     291:
1.90      ohara     292: さて, この記法のもとで cmo\_int32 を次のデータ構造であると定義する.
1.73      ohara     293: \begin{quote}
1.81      ohara     294: cmo\_int32 := (CMO\_INT32,  {\sl int32})
1.73      ohara     295: \end{quote}
1.82      tam       296: 同様に, cmo\_null, cmo\_string, cmo\_list, cmo\_mathcap のシンタッ
                    297: クスは次のように定義される.
1.81      ohara     298: \begin{quote}
                    299: cmo\_null := (CMO\_NULL) \\
                    300: cmo\_string := (CMO\_STRING, {\sl int32} $n$, {\sl string} $s$) \\
                    301: cmo\_list := (CMO\_LIST, {\sl int32} $m$, {\sl cmo} $c_1$, $\ldots$,
                    302: {\sl cmo} $c_m$) \\
                    303: cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list})
                    304: \end{quote}
1.100     ohara     305: ただし, {\sl string}は適当な長さのバイト列を表す.  $s$ のバイト長は $n$
1.82      tam       306: と一致することが要求される.
1.76      tam       307:
1.50      ohara     308: \section{mathcap について}
1.30      ohara     309:
1.82      tam       310: OpenXM 規約では, 通信時に用いられるメッセージの種類を各ソフトウェアが制
1.100     ohara     311: 限する方法を用意している.  これは各ソフトウェアの実装によってはすべての
                    312: メッセージをサポートするのが困難な場合があるからである.  また, 各ソフト
                    313: ウェアでメッセージの種類を拡張したい場合にも有効である.  この制限(あるい
                    314: は拡張) は mathcap と呼ばれるデータ構造によって行われる.  この節では
                    315: mathcap のデータ構造と, 具体的なメッセージの制限の手続きについて説明する.
1.82      tam       316:
1.94      ohara     317: まず, 手続きについて説明しよう.
1.82      tam       318:
1.100     ohara     319: 第一にサーバの機能を制限するには次のようにする.  クライアントが mathcap
                    320: オブジェクトをサーバへ送ると, サーバは受け取ったmathcap をスタックに積む.
1.82      tam       321: 次にクライアントが命令 SM\_setMathCap を送ると, サーバはスタックの最上位
                    322: に積まれている mathcap オブジェクトを取り出し, mathcap で設定されていな
                    323: いメッセージをクライアントへ送らないように制限を行う.
                    324:
1.100     ohara     325: 第二にクライアントを制限するには次のようにする.  まず, クライアントがサー
                    326: バに命令 SM\_mathcap を送ると, サーバは mathcap オブジェクトをスタックに
                    327: 積む.  さらに命令 SM\_popCMO を送ると, サーバはスタックの最上位のオブジェ
                    328: クト(すなわち mathcap オブジェクト)をボディとするメッセージをクライアン
                    329: トに送付する.  クライアントはそのオブジェクトを解析して, 制限をかける.
1.50      ohara     330:
1.82      tam       331: 次に mathcap のデータ構造について説明する.
1.90      ohara     332: mathcap は cmo の一種であるので, すでに説明したように
                    333: \begin{quote}
                    334: cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list})
                    335: \end{quote}
                    336: の構造をもつ(\ref{sec:cmo} 節を参照のこと).
1.82      tam       337: ボディは cmo\_list オブジェクトでなければならない.
1.67      tam       338:
1.90      ohara     339: さて, mathcap オブジェクトのボディの cmo\_list オブジェクトは以下の条件
                    340: を満たすことを要求される.  まず, その cmo\_list オブジェクトは少なくとも
                    341: リスト長が 3 以上でなければならない.
1.77      tam       342: \begin{quote}
1.90      ohara     343: (CMO\_LIST, {\sl int32}, {\sl cmo} $a$, {\sl cmo} $b$, {\sl cmo} $c$, $\ldots$)
1.77      tam       344: \end{quote}
1.56      tam       345:
1.100     ohara     346: 第一要素 $a$ はまた cmo\_list であり, リスト長は 4 以上, $a_1$ は
                    347: cmo\_int32 でバージョンを表す.  $a_2$, $a_3$, $a_4$ は cmo\_string であ
                    348: り, それぞれ数学システムの名前, バージョン, HOSTTYPE を表すことになって
                    349: いる.
1.77      tam       350: \begin{quote}
1.81      ohara     351: (CMO\_LIST, {\sl int32},
                    352: {\sl cmo\_int32} $a_1$, {\sl cmo\_string} $a_2$, {\sl cmo\_string}
                    353: $a_3$, {\sl cmo\_string} $a_4$, $\ldots$)
1.77      tam       354: \end{quote}
1.56      tam       355:
1.94      ohara     356: 第二要素 $b$ も cmo\_list であり, OpenXM スタックマシンを制御するために
                    357: 用いられる.  各 $b_i$ は cmo\_int32 であり, ボディはスタックマシンの命令
                    358: コードである.  \ref{sec:oxsm} 節で説明したが, スタックマシンへの命令はす
                    359: べて {\sl int32} で表されていたことに注意しよう.
1.77      tam       360: \begin{quote}
1.90      ohara     361: (CMO\_LIST, {\sl int32} $n$,
1.94      ohara     362: {\sl cmo\_int32} $b_1$, $\ldots$, {\sl cmo\_int32} $b_n$)
1.77      tam       363: \end{quote}
1.58      tam       364:
1.94      ohara     365: 第三要素 $c$ は以下のような cmo\_list であり, オブジェクトの送受信を制御
1.100     ohara     366: するために用いられる.  送受信の制御はメッセージの種類ごとに行われる.
1.77      tam       367: \begin{quote}
1.100     ohara     368: (CMO\_LIST, {\sl int32} $m$, {\sl cmo\_list} $\ell_1$, $\ldots$,
1.94      ohara     369: {\sl cmo\_list} $\ell_m$)
1.77      tam       370: \end{quote}
1.94      ohara     371: 各 $\ell_i$ が制御のための情報を表す.  どの $\ell_i$ も一つ以上の要素を
                    372: 持っており, 第一要素は必ず cmo\_int32 となっていなければならない.  これ
                    373: は制御すべきメッセージの識別子を入れるためである.
                    374:
1.100     ohara     375: 各 $\ell_i$ の構造はメッセージの種類によって異なる.  ここでは, OX\_DATA
                    376: の場合についてのみ説明する.  第一要素が OX\_DATA の場合, リスト $\ell_i$
1.94      ohara     377: は以下のような構造となっている.  各 $c_i$ は cmo\_int32 であり, そのボディ
                    378: は CMO の識別子である.  $c_i$ で指示された CMO のみが送受信することを許
                    379: される.
1.79      tam       380: \begin{quote}
1.93      tam       381: (CMO\_LIST, 2, (CMO\_INT32, OX\_DATA), \\
1.100     ohara     382: \ \ (CMO\_LIST, {\sl int32} $k$, {\sl cmo\_int32} $c_1$,
1.94      ohara     383: $\ldots$, {\sl cmo\_int32} $c_k$))
1.79      tam       384: \end{quote}
1.50      ohara     385:
1.90      ohara     386: 具体的な mathcap の例をあげよう.  名前が ``ox\_test'', バージョンナンバー
1.94      ohara     387: が 199911250 のサーバで, Linux 上で動いており, このサーバのスタックマシ
                    388: ンが命令 SM\_popCMO, SM\_popString, SM\_mathcap,
1.100     ohara     389: SM\_executeStringByLocalParser を利用可能で, かつ オブジェクトを
                    390: cmo\_int32, cmo\_string, cmo\_mathcap, cmo\_list のみに制限したいときの
1.94      ohara     391: mathcap は
1.91      tam       392: \begin{quote}
1.95      tam       393: (CMO\_MATHCAP, (CMO\_LIST, 3, \\
1.94      ohara     394: $\quad$ (CMO\_LIST, 4, (CMO\_INT32, $199911250$), (CMO\_STRING, 7, ``ox\_test''), \\
                    395: $\qquad$ (CMO\_STRING, 9, ``199911250''), (CMO\_STRING, 4, ``i386'')) \\
                    396: $\quad$ (CMO\_LIST, $5$, (CMO\_INT32, SM\_popCMO), \\
                    397: $\qquad$ (CMO\_INT32, SM\_popString), (CMO\_INT32, SM\_mathcap), \\
                    398: $\qquad$ (CMO\_INT32, SM\_executeStringByLocalParser)) \\
                    399: $\quad$ (CMO\_LIST, $1$, (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\
                    400: $\qquad$ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\
                    401: $\qquad\quad$ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\
1.95      tam       402: $\qquad\quad$ (CMO\_INT32, CMO\_LIST))))))
1.79      tam       403: \end{quote}
1.91      tam       404: になる.
1.31      tam       405:
                    406:
                    407: \section{セキュリティ対策}
                    408:
1.100     ohara     409: OpenXM 規約は TCP/IP を用いて通信を行うことを考慮している.  したがって
                    410: ネットワークによって接続される現代の多くのソフトウェアと同様, OpenXM 規
                    411: 約もまた通信時のセキュリティについて注意している.  以下, このことについ
                    412: て説明しよう.
1.82      tam       413:
1.90      ohara     414: 第一に OpenXM では侵入者に攻撃の機会をできるだけ与えないようにするため,
                    415: サーバは接続が必要になった時のみ起動している.  しかし, これだけでは接続
                    416: を行なう一瞬のすきを狙われる可能性もある.  そこで接続を行なう時に, 接続
                    417: を行なうポート番号を毎回変えている.  こうすることで, 特定のポート番号を
                    418: 狙って接続を行なう手口を防ぐことができる.
                    419:
                    420: さらにもう一段安全性を高めるために, 接続時に一時パスワードをクライアント
                    421: が作成し, そのパスワードを使って認証を行なう.  このパスワードは一旦使用
                    422: されれば無効になるので, もし仮になんらかの手段でパスワードが洩れたとして
                    423: も安全である.
                    424:
                    425: なお, メッセージ自体には特に暗号化などの処置を行っていないので, そのまま
1.100     ohara     426: ではパケット盗聴などを受ける可能性がある.  現在の実装では, 必要ならば
1.90      ohara     427: ssh を利用して対応している.
1.80      tam       428:
1.31      tam       429:
1.100     ohara     430: \section{OpenXM 以外のプロジェクト}\label{sec:other}
1.31      tam       431:
1.100     ohara     432: OpenXM 以外にも数式処理システム間の通信や数学データの共通表現を目指した
                    433: プロジェクトは存在する.  ここでは他のプロジェクトについても触れておこう.
1.31      tam       434:
1.66      tam       435: \begin{itemize}
1.90      ohara     436: \item ESPRIT OpenMath Project
1.31      tam       437:
1.121     tam       438: http://www.nag.co.uk/projects/openmath/omsoc/
1.85      tam       439:
1.100     ohara     440: 数学的対象の SGML 的表記の標準化を目指した大規模なプロジェクト.  このプ
                    441: ロジェクトでは数学データを数学的意味を保ったままで如何に表現すべきかとい
                    442: う問題を追求している.  したがって既存の表現, 例えば \TeX による数式の表
                    443: 現と OpenMath による数式の表現とでは, 本質的に意味が異なる.  OpenMath で
                    444: 定義された表現は, 異なる種類の数式処理システムの間で情報を交換するときに
                    445: 利用することができる.  しかしながら, 数学システム同士の通信, 例えばある
                    446: 数学システムから別の数学システムを呼び出して計算させる方法などは, このプ
1.118     tam       447: ロジェクトの対象外である. OpenXM における共通データ形式と数学システム固
                    448: 有のオブジェクトとの変換は OpenMath 規約の Phrasebook と同じアイデアを用
                    449: いている.
                    450:
1.114     tam       451:
1.66      tam       452: \item NetSolve
1.31      tam       453:
                    454: http://www.cs.utk.edu/netsolve/
1.85      tam       455:
1.90      ohara     456: NetSolve はクライアント・サーバ型の分散システムであり, 単なる計算システ
                    457: ム以上のものを目指している.  クライアントは必要に応じて, サーバを呼び出
                    458: して計算をさせる.  NetSolve の特徴は, サーバの呼び出しに Agent というソ
                    459: フトウェアを介在させることである.  Agent は呼び出し先などを決定するデー
                    460: タベース的役割を果たす.  また Agent によって負荷分散が可能になる.  現在
                    461: の NetSolve は RPC を基礎にして実装されている.
1.31      tam       462:
1.114     tam       463:
1.105     tam       464: \item MP (Multi Project)
1.31      tam       465:
1.94      ohara     466: http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html
1.31      tam       467:
1.116     tam       468: 数学的なデータの共通表現を提供するプロジェクト.  MP の主な関心は, この
                    469: 共通表現の最適化である.  数学システム間で, 命令を送信したりデータを受
                    470: け渡す仕組み(control integration)は, このプロジェクトの対象外である.
1.118     tam       471: MP は既存の control integration に対して補完的役割を果たす.
1.116     tam       472:
                    473: MP では数式を構文木の一種(annotated syntax tree)と捉える.  annotated
                    474: syntax tree には数学的な意味を保ったまま表現されているという特徴がある
1.117     ohara     475: (この点は OpenMath と似ている).  MP が提供する共通表現とは, この構文木の
                    476: バイナリエンコーディング, つまりバイト列での表現のことである.  MP の定義
                    477: する表現ではバイト列の長さが最適化されている.  また, バイトオーダーの選
                    478: 択も可能である(\ref{sec:messages} 節参照のこと).
1.116     tam       479:
                    480: このプロジェクトでは C 言語および GNU Common Lisp で実装を行なっている.
1.117     ohara     481: C 言語による実装(MP-C ライブラリ)は上記のウェブページから収得可能である.
                    482: このライブラリを用いて通信を行なうには, なんらかの control integration
                    483: が必要である.  control integration としては, ソケット, MPI, PVM などが利
                    484: 用できる.
1.86      tam       485:
1.119     tam       486:
1.96      ohara     487: \item MCP (Mathematical Computation Protocol)
1.31      tam       488:
1.92      tam       489: http://horse.mcs.kent.edu/\~{}pwang/
                    490:
1.121     tam       491: 数学的なデータや命令を含むメッセージをやりとりするための
                    492: HTTP に似たプロトコル.
                    493: MCP は control integration であり,
                    494: クライアント・サーバ型の通信モデルを採用している.
1.119     tam       495: MCP のメッセージはヘッダとボディから構成されている.
                    496: ヘッダはテキストであり, 最初に現れる空行でヘッダとボディは
                    497: 区切られている.
                    498:
1.121     tam       499: 数式はボディに記述されて送られる.
                    500: 数式の表現方法としては MP や OpenMath で定められたものを
1.119     tam       501: 使用することが考えられている.
                    502: 実際, 数式の表現に OpenMath 規約の XML 表現を用いた実装があり,
                    503: GAP と Axiom の間で通信が行なわれている.
                    504: この場合, MCP によって送信されるメッセージは
                    505: ボディに OpenMath 形式で数式を記述したテキストである.
1.96      ohara     506:
1.66      tam       507: \end{itemize}
1.31      tam       508:
                    509:
                    510: \section{現在提供されているソフトウェア}
                    511:
1.94      ohara     512: 現在 OpenXM 規約に対応しているクライアントにはasir, sm1, Mathematica が
                    513: ある.  これらのクライアントから OpenXM 規約に対応したサーバを呼び出すこ
                    514: とができる.  また OpenXM 規約に対応しているサーバには, asir, sm1,
                    515: Mathematica, gnuplot, PHC pack などがあり, それぞれ ox\_asir, ox\_sm1,
1.100     ohara     516: ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc という名前で提供されている.
1.94      ohara     517: さらに OpenMath 規約の XML 表現で表現されたオブジェクトと CMO 形式のオブ
                    518: ジェクトを相互変換するソフトウェアが JAVA によって実装されており,
                    519: OMproxy という名前で提供されている.
1.33      tam       520:
1.50      ohara     521: \begin{thebibliography}{99}
1.122     tam       522: \bibitem{OpenMath1.0}
1.123   ! tam       523: O. Caprotti, A. M. Cohen: The OpenMath Standard, February 1999.
1.122     tam       524: (http://www.nag.co.uk/projects/OpenMath/omstd/partI.ps.gz)
                    525:
1.121     tam       526: \bibitem{NetSolve1.2b}
1.122     tam       527: H. Casanova, J. Dongarra, A. Karainov, J. Wasniewski:
1.123   ! tam       528: Users' Guide to NetSolve, October 27 1998.
1.121     tam       529: (http://www.cs.utk.edu/netsolve/download/ug.ps)
                    530:
1.122     tam       531: \bibitem{MP}
                    532: S. Gray, N. Kajler, P. S. Wang:
                    533: Design and Implementation of MP,
                    534: a Protocol for Efficient Exchange of Mathematical Expressions,
                    535: {\it Journal of Symbolic Computation}, {\bf 11}, 1996, 1--25.
                    536: (ftp://ftp.mcs.kent.edu/dist/MP/mp-jsc-96.ps.gz)
                    537:
1.123   ! tam       538: \bibitem{OpenXM-1999}
        !           539: 野呂 正行, 高山 信毅: {Open XM の設計と実装 --- Open message eXchange protocol for Mathematics}, December 31 1999.
        !           540: (http://www.math.sci.kobe-u.ac.jp/openxxx/openxxx.tex)
        !           541:
1.66      tam       542: \bibitem{Ohara-Takayama-Noro-1999}
1.121     tam       543: 小原 功任, 高山 信毅, 野呂 正行: Open asir 入門,
                    544: {\it 数式処理}, {\bf Vol 7}(No 2), 1999, 2--17.
                    545: (ISBN 4-87243-086-7, SEG 出版, Tokyo).
1.86      tam       546:
1.121     tam       547: \bibitem{ISSAC99}
1.122     tam       548: P. S. Wang:
1.121     tam       549: Design and Protocol for Internet Accessible Mathematical Computation,
                    550: {\it Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation}, 1999, 291--298.
1.123   ! tam       551: (ISBN 1-58113-073-2, ACM, New York 1999.).
1.121     tam       552:
1.49      tam       553: \end{thebibliography}
1.1       tam       554:
                    555: \end{document}

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