Annotation of OpenXM/doc/genkou19991125.tex, Revision 1.101
1.1 tam 1: \documentclass{jarticle}
2:
1.101 ! tam 3: %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.100 1999/12/26 10:34:17 ohara 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.36 tam 52: \section{OpenXM のメッセージの構造}
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.101 ! tam 156: <<<<<<< genkou19991125.tex
! 157: 規定しない. つまり, オブジェクトの構造は各数学システムごとに異なっている
! 158: ということである. このことは通信路からデータを受け取った際に, 各数学シス
! 159: テムが固有のデータ構造に変換してからスタックに積むことを意味する. この変
! 160: 換は1対1対応である必要はない.
! 161: しかし, 変換方法はあいまいさがないように文書化されている必要がある.
! 162: 後述する OpenMath ではこの文書を phrase dictionary と呼んでいる.
! 163:
! 164: 次に OpenXM スタックマシンの命令コードについて説明する. OpenXM スタック
! 165: マシンにおけるすべての命令は4バイトの長さを持つ. OpenXM 規約の他の規定と
! 166: 同様に, 4バイトのデータは32ビット整数と見なされるので, この論文でもその
! 167: 表記にしたがう. OpenXM スタックマシンに対する命令はスタックに積まれるこ
! 168: とはない. 現在のところ, OpenXM 規約では以下の命令が定義されている.
! 169: =======
1.100 ohara 170: 規定しない. つまり, オブジェクトの構造は各数学システムごとに異なってい
171: るということである. このことは通信路からデータを受け取った際に, 各数学
172: システムが固有のデータ構造に変換してからスタックに積むことを意味する.
173: この変換は1対1対応である必要はない. もちろん, 恣意的に変換してよいわけ
174: ではなく, 数学システムごとに変換方法をあらかじめ定めておく必要がある.
175: このような共通のデータ形式と各システムでの固有のデータ形式との変換の問題
176: は OpenXM に限ったことではない. OpenMath (\ref{sec:other} 節を参照のこ
177: と) ではこの変換を行うソフトウェアを Phrasebook と呼んでいる.
178:
179: 次に OpenXM スタックマシンの命令コードについて説明する. OpenXM スタック
180: マシンにおけるすべての命令は 4 バイトの長さを持つ. OpenXM 規約の他の規
181: 定と同様に, 4 バイトのデータは32ビット整数と見なされるので, この論文でも
182: その表記にしたがう. OpenXM スタックマシンに対する命令はスタックに積まれ
183: ることはない. 現在のところ, OpenXM 規約では以下の命令が定義されている.
1.101 ! tam 184: >>>>>>> 1.100
1.68 ohara 185:
186: \begin{verbatim}
1.69 tam 187: #define SM_popSerializedLocalObject 258
188: #define SM_popCMO 262
189: #define SM_popString 263
190: #define SM_mathcap 264
191: #define SM_pops 265
192: #define SM_setName 266
193: #define SM_evalName 267
1.100 ohara 194: #define SM_executeStringByLocalParser 268
1.69 tam 195: #define SM_executeFunction 269
196: #define SM_beginBlock 270
197: #define SM_endBlock 271
198: #define SM_shutdown 272
199: #define SM_setMathCap 273
200: #define SM_executeStringByLocalParserInBatchMode 274
201: #define SM_getsp 275
202: #define SM_dupErrors 276
203: #define SM_DUMMY_sendcmo 280
204: #define SM_sync_ball 281
205: #define SM_control_kill 1024
206: #define SM_control_to_debug_mode 1025
207: #define SM_control_exit_debug_mode 1026
208: #define SM_control_ping 1027
209: #define SM_control_start_watch_thread 1028
210: #define SM_control_stop_watch_thread 1029
211: #define SM_control_reset_connection 1030
1.68 ohara 212: \end{verbatim}
213:
1.100 ohara 214: スタックマシンに対する命令の中には実行によって結果が返ってくるものがある.
215: 結果が返ってくる命令を実行した場合, サーバはその結果をスタックに積む.
1.90 ohara 216: たとえば, 命令 SM\_executeStringByLocalParser はスタックに積まれているオ
217: ブジェクトをサーバ側のローカル言語の文法に従った文字列とみなして計算を行
218: なうが, 行なった計算の結果はスタックに積まれる.
1.81 ohara 219:
1.82 tam 220: なお, 命令の実行中にエラーが起こり, 結果が得られなかった場合には,
221: エラーオブジェクトがスタックに積まれる.
1.75 tam 222:
1.73 ohara 223: \section{CMO のデータ構造}\label{sec:cmo}
1.4 tam 224:
1.82 tam 225: OpenXM 規約では, 数学的オブジェクトを表現する方法として CMO 形式(Common
1.100 ohara 226: Mathematical Object format)を定義している. この CMO 形式にしたがったデー
1.82 tam 227: タは, 識別子が OX\_DATA であるようなメッセージのボディになることを想定し
228: ている.
1.68 ohara 229:
1.82 tam 230: CMO 形式におけるデータ構造は次のような構造をもつ.
1.94 ohara 231: \begin{center}
232: \begin{tabular}{|c|c|}
233: \hline
234: ヘッダ & \hspace{10mm} ボディ \hspace{10mm} \\
235: \hline
1.72 tam 236: \end{tabular}
1.94 ohara 237: \end{center}
1.100 ohara 238: ヘッダは4バイトである. ボディの長さはそれぞれのデータによって異なるが,
1.82 tam 239: 0でもよい.
1.68 ohara 240:
1.100 ohara 241: メッセージと同様にヘッダは4バイト単位に管理される. すなわち, CMO では
242: ヘッダは一つだけの情報を含む. この4バイトのヘッダのことをタグともいう.
243: さて, CMO では, タグによってボディの論理的構造が決定する. すなわち, タ
244: グはそれぞれのデータ構造と1対1に対応する識別子である. それぞれの論理的
245: 構造は\cite{OpenXM-1999} に詳述されている. 現在の OpenXM 規約では以下の
246: CMO が定義されている.
1.30 ohara 247:
1.47 tam 248: \begin{verbatim}
1.94 ohara 249: #define CMO_ERROR2 0x7f000002
250: #define CMO_NULL 1
251: #define CMO_INT32 2
252: #define CMO_DATUM 3
253: #define CMO_STRING 4
254: #define CMO_MATHCAP 5
255: #define CMO_ARRAY 16
256: #define CMO_LIST 17
257: #define CMO_ATOM 18
258: #define CMO_MONOMIAL32 19
259: #define CMO_ZZ 20
260: #define CMO_QQ 21
261: #define CMO_ZERO 22
262: #define CMO_DMS_GENERIC 24
263: #define CMO_DMS_OF_N_VARIABLES 25
264: #define CMO_RING_BY_NAME 26
265: #define CMO_RECURSIVE_POLYNOMIAL 27
266: #define CMO_LIST_R 28
267: #define CMO_INT32COEFF 30
268: #define CMO_DISTRIBUTED_POLYNOMIAL 31
269: #define CMO_POLYNOMIAL_IN_ONE_VARIABLE 33
270: #define CMO_RATIONAL 34
1.74 tam 271: #define CMO_64BIT_MACHINE_DOUBLE 40
272: #define CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE 41
273: #define CMO_128BIT_MACHINE_DOUBLE 42
274: #define CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE 43
1.94 ohara 275: #define CMO_BIGFLOAT 50
276: #define CMO_IEEE_DOUBLE_FLOAT 51
277: #define CMO_INDETERMINATE 60
278: #define CMO_TREE 61
279: #define CMO_LAMBDA 62
1.47 tam 280: \end{verbatim}
1.72 tam 281:
1.75 tam 282: この中で CMO\_ERROR2, CMO\_NULL, CMO\_INT32, CMO\_DATUM, CMO\_STRING,
283: CMO\_MATHCAP, CMO\_LIST で識別されるオブジェクトは最も基本的なオブジェ
1.82 tam 284: クトであって, すべての OpenXM 対応システムに実装されていなければならない.
1.48 tam 285:
1.94 ohara 286: これらについての解説を行う前に記法について, 少し説明しておく. この論文
1.100 ohara 287: では, 大文字で CMO\_INT32 と書いた場合には, 上記で定義した識別子を表す.
288: また CMO\_INT32 で識別されるオブジェクトのクラス(あるいはデータ構造) を
1.94 ohara 289: cmo\_int32 と小文字で表すことにする.
1.82 tam 290:
1.100 ohara 291: さて cmo を表現するための一つの記法を導入する. この記法は CMO expression
292: と呼ばれている. その正確な形式的定義は \cite{OpenXM-1999} を参照すること.
1.82 tam 293:
1.94 ohara 294: CMO expssion は Lisp 風表現の一種で, cmo を括弧で囲んだリストとして表現
1.100 ohara 295: する. それぞれの要素はカンマで区切る. 例えば,
1.73 ohara 296: \begin{quote}
297: (17, {\sl int32}, (CMO\_NULL), (2, {\sl int32} $n$))
298: \end{quote}
1.100 ohara 299: は CMO expression である. ここで, 小文字の斜体で表された``{\sl int32}''
300: は 4 バイトの任意のデータを表す記号であり, ``{\sl int32} $n$'' は同じく
301: 4 バイトのデータであるが以下の説明で $n$ と表すことを示す. また数字 17,
302: 2 などは 4 バイトのデータで整数値としてみたときの値を意味する. CMO\_NULL
303: は識別子(すなわち数字 1 と等価)である. この記法から上記のデータは 20 バ
1.94 ohara 304: イトの大きさのデータであることが分かる. なお, CMO expression は単なる表
305: 記法であることに特に注意してほしい.
1.81 ohara 306:
1.90 ohara 307: さて, この記法のもとで cmo\_int32 を次のデータ構造であると定義する.
1.73 ohara 308: \begin{quote}
1.81 ohara 309: cmo\_int32 := (CMO\_INT32, {\sl int32})
1.73 ohara 310: \end{quote}
1.82 tam 311: 同様に, cmo\_null, cmo\_string, cmo\_list, cmo\_mathcap のシンタッ
312: クスは次のように定義される.
1.81 ohara 313: \begin{quote}
314: cmo\_null := (CMO\_NULL) \\
315: cmo\_string := (CMO\_STRING, {\sl int32} $n$, {\sl string} $s$) \\
316: cmo\_list := (CMO\_LIST, {\sl int32} $m$, {\sl cmo} $c_1$, $\ldots$,
317: {\sl cmo} $c_m$) \\
318: cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list})
319: \end{quote}
1.100 ohara 320: ただし, {\sl string}は適当な長さのバイト列を表す. $s$ のバイト長は $n$
1.82 tam 321: と一致することが要求される.
1.76 tam 322:
1.50 ohara 323: \section{mathcap について}
1.30 ohara 324:
1.82 tam 325: OpenXM 規約では, 通信時に用いられるメッセージの種類を各ソフトウェアが制
1.100 ohara 326: 限する方法を用意している. これは各ソフトウェアの実装によってはすべての
327: メッセージをサポートするのが困難な場合があるからである. また, 各ソフト
328: ウェアでメッセージの種類を拡張したい場合にも有効である. この制限(あるい
329: は拡張) は mathcap と呼ばれるデータ構造によって行われる. この節では
330: mathcap のデータ構造と, 具体的なメッセージの制限の手続きについて説明する.
1.82 tam 331:
1.94 ohara 332: まず, 手続きについて説明しよう.
1.82 tam 333:
1.100 ohara 334: 第一にサーバの機能を制限するには次のようにする. クライアントが mathcap
335: オブジェクトをサーバへ送ると, サーバは受け取ったmathcap をスタックに積む.
1.82 tam 336: 次にクライアントが命令 SM\_setMathCap を送ると, サーバはスタックの最上位
337: に積まれている mathcap オブジェクトを取り出し, mathcap で設定されていな
338: いメッセージをクライアントへ送らないように制限を行う.
339:
1.100 ohara 340: 第二にクライアントを制限するには次のようにする. まず, クライアントがサー
341: バに命令 SM\_mathcap を送ると, サーバは mathcap オブジェクトをスタックに
342: 積む. さらに命令 SM\_popCMO を送ると, サーバはスタックの最上位のオブジェ
343: クト(すなわち mathcap オブジェクト)をボディとするメッセージをクライアン
344: トに送付する. クライアントはそのオブジェクトを解析して, 制限をかける.
1.50 ohara 345:
1.82 tam 346: 次に mathcap のデータ構造について説明する.
1.90 ohara 347: mathcap は cmo の一種であるので, すでに説明したように
348: \begin{quote}
349: cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list})
350: \end{quote}
351: の構造をもつ(\ref{sec:cmo} 節を参照のこと).
1.82 tam 352: ボディは cmo\_list オブジェクトでなければならない.
1.67 tam 353:
1.90 ohara 354: さて, mathcap オブジェクトのボディの cmo\_list オブジェクトは以下の条件
355: を満たすことを要求される. まず, その cmo\_list オブジェクトは少なくとも
356: リスト長が 3 以上でなければならない.
1.77 tam 357: \begin{quote}
1.90 ohara 358: (CMO\_LIST, {\sl int32}, {\sl cmo} $a$, {\sl cmo} $b$, {\sl cmo} $c$, $\ldots$)
1.77 tam 359: \end{quote}
1.56 tam 360:
1.100 ohara 361: 第一要素 $a$ はまた cmo\_list であり, リスト長は 4 以上, $a_1$ は
362: cmo\_int32 でバージョンを表す. $a_2$, $a_3$, $a_4$ は cmo\_string であ
363: り, それぞれ数学システムの名前, バージョン, HOSTTYPE を表すことになって
364: いる.
1.77 tam 365: \begin{quote}
1.81 ohara 366: (CMO\_LIST, {\sl int32},
367: {\sl cmo\_int32} $a_1$, {\sl cmo\_string} $a_2$, {\sl cmo\_string}
368: $a_3$, {\sl cmo\_string} $a_4$, $\ldots$)
1.77 tam 369: \end{quote}
1.56 tam 370:
1.94 ohara 371: 第二要素 $b$ も cmo\_list であり, OpenXM スタックマシンを制御するために
372: 用いられる. 各 $b_i$ は cmo\_int32 であり, ボディはスタックマシンの命令
373: コードである. \ref{sec:oxsm} 節で説明したが, スタックマシンへの命令はす
374: べて {\sl int32} で表されていたことに注意しよう.
1.77 tam 375: \begin{quote}
1.90 ohara 376: (CMO\_LIST, {\sl int32} $n$,
1.94 ohara 377: {\sl cmo\_int32} $b_1$, $\ldots$, {\sl cmo\_int32} $b_n$)
1.77 tam 378: \end{quote}
1.58 tam 379:
1.94 ohara 380: 第三要素 $c$ は以下のような cmo\_list であり, オブジェクトの送受信を制御
1.100 ohara 381: するために用いられる. 送受信の制御はメッセージの種類ごとに行われる.
1.77 tam 382: \begin{quote}
1.100 ohara 383: (CMO\_LIST, {\sl int32} $m$, {\sl cmo\_list} $\ell_1$, $\ldots$,
1.94 ohara 384: {\sl cmo\_list} $\ell_m$)
1.77 tam 385: \end{quote}
1.94 ohara 386: 各 $\ell_i$ が制御のための情報を表す. どの $\ell_i$ も一つ以上の要素を
387: 持っており, 第一要素は必ず cmo\_int32 となっていなければならない. これ
388: は制御すべきメッセージの識別子を入れるためである.
389:
1.100 ohara 390: 各 $\ell_i$ の構造はメッセージの種類によって異なる. ここでは, OX\_DATA
391: の場合についてのみ説明する. 第一要素が OX\_DATA の場合, リスト $\ell_i$
1.94 ohara 392: は以下のような構造となっている. 各 $c_i$ は cmo\_int32 であり, そのボディ
393: は CMO の識別子である. $c_i$ で指示された CMO のみが送受信することを許
394: される.
1.79 tam 395: \begin{quote}
1.93 tam 396: (CMO\_LIST, 2, (CMO\_INT32, OX\_DATA), \\
1.100 ohara 397: \ \ (CMO\_LIST, {\sl int32} $k$, {\sl cmo\_int32} $c_1$,
1.94 ohara 398: $\ldots$, {\sl cmo\_int32} $c_k$))
1.79 tam 399: \end{quote}
1.50 ohara 400:
1.90 ohara 401: 具体的な mathcap の例をあげよう. 名前が ``ox\_test'', バージョンナンバー
1.94 ohara 402: が 199911250 のサーバで, Linux 上で動いており, このサーバのスタックマシ
403: ンが命令 SM\_popCMO, SM\_popString, SM\_mathcap,
1.100 ohara 404: SM\_executeStringByLocalParser を利用可能で, かつ オブジェクトを
405: cmo\_int32, cmo\_string, cmo\_mathcap, cmo\_list のみに制限したいときの
1.94 ohara 406: mathcap は
1.91 tam 407: \begin{quote}
1.95 tam 408: (CMO\_MATHCAP, (CMO\_LIST, 3, \\
1.94 ohara 409: $\quad$ (CMO\_LIST, 4, (CMO\_INT32, $199911250$), (CMO\_STRING, 7, ``ox\_test''), \\
410: $\qquad$ (CMO\_STRING, 9, ``199911250''), (CMO\_STRING, 4, ``i386'')) \\
411: $\quad$ (CMO\_LIST, $5$, (CMO\_INT32, SM\_popCMO), \\
412: $\qquad$ (CMO\_INT32, SM\_popString), (CMO\_INT32, SM\_mathcap), \\
413: $\qquad$ (CMO\_INT32, SM\_executeStringByLocalParser)) \\
414: $\quad$ (CMO\_LIST, $1$, (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\
415: $\qquad$ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\
416: $\qquad\quad$ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\
1.95 tam 417: $\qquad\quad$ (CMO\_INT32, CMO\_LIST))))))
1.79 tam 418: \end{quote}
1.91 tam 419: になる.
1.31 tam 420:
421:
422: \section{セキュリティ対策}
423:
1.100 ohara 424: OpenXM 規約は TCP/IP を用いて通信を行うことを考慮している. したがって
425: ネットワークによって接続される現代の多くのソフトウェアと同様, OpenXM 規
426: 約もまた通信時のセキュリティについて注意している. 以下, このことについ
427: て説明しよう.
1.82 tam 428:
1.90 ohara 429: 第一に OpenXM では侵入者に攻撃の機会をできるだけ与えないようにするため,
430: サーバは接続が必要になった時のみ起動している. しかし, これだけでは接続
431: を行なう一瞬のすきを狙われる可能性もある. そこで接続を行なう時に, 接続
432: を行なうポート番号を毎回変えている. こうすることで, 特定のポート番号を
433: 狙って接続を行なう手口を防ぐことができる.
434:
435: さらにもう一段安全性を高めるために, 接続時に一時パスワードをクライアント
436: が作成し, そのパスワードを使って認証を行なう. このパスワードは一旦使用
437: されれば無効になるので, もし仮になんらかの手段でパスワードが洩れたとして
438: も安全である.
439:
440: なお, メッセージ自体には特に暗号化などの処置を行っていないので, そのまま
1.100 ohara 441: ではパケット盗聴などを受ける可能性がある. 現在の実装では, 必要ならば
1.90 ohara 442: ssh を利用して対応している.
1.80 tam 443:
1.31 tam 444:
1.100 ohara 445: \section{OpenXM 以外のプロジェクト}\label{sec:other}
1.31 tam 446:
1.100 ohara 447: OpenXM 以外にも数式処理システム間の通信や数学データの共通表現を目指した
448: プロジェクトは存在する. ここでは他のプロジェクトについても触れておこう.
1.31 tam 449:
1.66 tam 450: \begin{itemize}
1.90 ohara 451: \item ESPRIT OpenMath Project
1.31 tam 452:
1.90 ohara 453: http://www.openmath.org/omsoc/
1.85 tam 454:
1.100 ohara 455: 数学的対象の SGML 的表記の標準化を目指した大規模なプロジェクト. このプ
456: ロジェクトでは数学データを数学的意味を保ったままで如何に表現すべきかとい
457: う問題を追求している. したがって既存の表現, 例えば \TeX による数式の表
458: 現と OpenMath による数式の表現とでは, 本質的に意味が異なる. OpenMath で
459: 定義された表現は, 異なる種類の数式処理システムの間で情報を交換するときに
460: 利用することができる. しかしながら, 数学システム同士の通信, 例えばある
461: 数学システムから別の数学システムを呼び出して計算させる方法などは, このプ
462: ロジェクトの対象外である.
463:
464: OpenXM 規約の CMO 形式の定義は OpenMath 規約の content dictionary の概念
465: に似ている(もちろん OpenMath の方がもっと大掛かりで厳密な規定である).
466: また, 共通データ形式と数学システム固有のオブジェクトとの変換は OpenMath
467: 規約の Phrasebook と同じアイデアを用いている.
1.85 tam 468:
1.66 tam 469: \item NetSolve
1.31 tam 470:
471: http://www.cs.utk.edu/netsolve/
1.85 tam 472:
1.90 ohara 473: NetSolve はクライアント・サーバ型の分散システムであり, 単なる計算システ
474: ム以上のものを目指している. クライアントは必要に応じて, サーバを呼び出
475: して計算をさせる. NetSolve の特徴は, サーバの呼び出しに Agent というソ
476: フトウェアを介在させることである. Agent は呼び出し先などを決定するデー
477: タベース的役割を果たす. また Agent によって負荷分散が可能になる. 現在
478: の NetSolve は RPC を基礎にして実装されている.
1.31 tam 479:
1.101 ! tam 480: \item MP (Multi Protocol)
1.31 tam 481:
1.94 ohara 482: http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html
1.31 tam 483:
1.101 ! tam 484: 科学技術計算を行なうソフトウェア間で数学的なデータを効率的に
! 485: 交換させることを目的としたプロトコルを作成している.
! 486: 各ノードに情報を付加した木構造 ``annotated syntax tree'' を
! 487: 用いて数学的オブジェクトを表現し, 効率的なデータ交換を
! 488: 行なうことを目標にしている.
! 489: 現在すでに C 言語で利用可能なライブラリが提供されている.
1.86 tam 490:
1.96 ohara 491: \item MCP (Mathematical Computation Protocol)
1.31 tam 492:
1.92 tam 493: http://horse.mcs.kent.edu/\~{}pwang/
494:
1.100 ohara 495: 数学的な計算を行なうための HTTP に似たプロトコル. クライアント・サーバ
496: モデルを採用しており, ピアツーピアのストリームコネクションを行なう. 交
497: 換に用いられる数学データの表現方法についての規定はない. したがって数学
498: 的なデータの表現には MP や OpenXM で定められたものを利用する. 実際, 数
499: 学データの表現に OpenMath の XML 表現を用いた実装があり, GAP と Axiom の
500: 間で通信が行われている. この場合 MCP によって送信されるデータは, 本文に
501: OpenMath 形式で数式を記述したテキストである.
1.96 ohara 502:
1.66 tam 503: \end{itemize}
1.31 tam 504:
505:
506: \section{現在提供されているソフトウェア}
507:
1.94 ohara 508: 現在 OpenXM 規約に対応しているクライアントにはasir, sm1, Mathematica が
509: ある. これらのクライアントから OpenXM 規約に対応したサーバを呼び出すこ
510: とができる. また OpenXM 規約に対応しているサーバには, asir, sm1,
511: Mathematica, gnuplot, PHC pack などがあり, それぞれ ox\_asir, ox\_sm1,
1.100 ohara 512: ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc という名前で提供されている.
1.94 ohara 513: さらに OpenMath 規約の XML 表現で表現されたオブジェクトと CMO 形式のオブ
514: ジェクトを相互変換するソフトウェアが JAVA によって実装されており,
515: OMproxy という名前で提供されている.
1.33 tam 516:
1.50 ohara 517: \begin{thebibliography}{99}
1.66 tam 518: \bibitem{Ohara-Takayama-Noro-1999}
519: 小原功任, 高山信毅, 野呂正行:
1.96 ohara 520: {Open asir 入門}, 1999, 数式処理,
521: Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG 出版, Tokyo).
1.86 tam 522:
1.50 ohara 523: \bibitem{OpenXM-1999}
1.53 tam 524: 野呂正行, 高山信毅:
1.96 ohara 525: {Open XM の設計と実装
526: --- Open message eXchange protocol for Mathematics},
527: 1999/11/22
1.49 tam 528: \end{thebibliography}
1.1 tam 529:
530: \end{document}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>