Annotation of OpenXM/src/kxx/openxxx.tex, Revision 1.1.1.1
1.1 maekawa 1:
2: %\documentclass{jarticle}
3: \documentstyle{jarticle}
4: \title{{\bf Open XM の設計と実装} \\
5: --- Open message eXchange protocol for Mathematics }
6: \author{ 野呂正行\thanks{富士通研究所
7: } ,
8: 高山信毅\thanks{神戸大学理学部数学教室}
9: }
10: \date{ 1999年, 9月13日}
11: \begin{document}
12: \maketitle
13:
14: \def\noroa#1{ }
15: \def\remove#1{ }
16:
17: {\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- .
18: この文書は open XM の設計用のメモとしての役目もあるので,
19: 一部のファイル名は開発者のみが参照できる.
20:
21: \section{はじめに}
22:
23: Open XM は, おなじタイプまたは異なるタイプの数学プロセス間の
24: メッセージのやりとりの規約である.
25: 開発の動機は, 手作り(または研究的な)数学ソフトの相互乗り入れの実現
26: および分散計算の実装が
27: 第一であったが, もちろん数学ソフト間だけでなく, ワープロソフトや,
28: インタラクティブな数学本,
29: さらには数学デジタル博物館用のソフトがこの規約に従い,
30: 数学ソフトを呼び出すことなどにも利用できる.
31: 当面の目標は openXM 数学ソフトパッケージを作ることである.
32: これはさまざまな数学ソフトを一つのパッケージとして
33: 簡単に好きな言語より使えるようにするプロジェクトである.
34: 現在 openXM.tar.gz には,
35: asir, sm1, phc, gnuplot, tigers が入っている.
36: OpenXM 数学ソフトパッケージプロジェクトに
37: 参加できるように CMO の
38: 規約を拡張していくための規約も定めるものとする.
39:
40: 現在専門的な数学ソフトが多数開発
41: されているが, 次世代の数学ソフトは他のソフトよりサブルーチンとして
42: 呼び出せる機能をもつべきである.
43: このように協調機能にすぐれたプログラムを書くための設計の
44: ガイドライン, プログラム作法のようなものを提案するのも,
45: このプロジェクトの目的である.
46: このようなガイドラインにそってプログラムすることにより,
47: 数学アルゴリズム自体に集中できる環境が実現できることを
48: 期待している.
49:
50: 設計の方針として, (1) 単純 (2) 拡張性 (3) 実装の簡便さ (4) 実用性
51: (5) 高信頼性(robustness),
52: に重きをおいている.
53: Open XM はなにも考えずに簡単に接続できるシステムを作ろう,
54: というまで野心的ではない.
55: 数学的な object は一筋縄ではいかないし, 完全な統一規格をつくるというのは
56: 気が遠くなる仕事である.
57: そのかわり, 今よりすこしだけこういったデータ交換や分散システム構築の仕事を楽に
58: したいというのがささやかな第1目標である.
59:
60: 数学的な Object をどのように表現するのか, どう伝えるのかを考えることは
61: 決してつまらない問題ではない.
62: このような問題は, 新しい数学記号を創造する問題と似ているかもしれない.
63: 我々は, 数字を $0$ を含んだ10進数で表記し,
64: 微分を $dx$ と書き, 写像を $ \longrightarrow $ であらわす.
65: これらの記号法からどれだけ多くの利益を得ているか, 思いをはせて欲しい.
66: また, Mathematica や Maple といった巨大な統合ソフトを,
67: Free Mathematical Softwares としてわれわれ自身の
68: 手でつくっていくための基礎でもある.
69:
70: %% 変数名をどうするか悩むのにも似てる.
71:
72: Open XM に準拠したシステム xxx を, open xxx とよぶ.
73: たとえば, open XM 対応の asir は open asir であり,
74: open XM 対応の kan/sm1 は open sm1 である.
75:
76: Open XM は, データ型をきめている部分と,
77: 共通スタック言語を定めている部分にわかれる.
78: よいたとえかどうか自信がないが,
79: Open XM を定義する作業は, unicode を定める作業に似ている部分もある.
80: たとえば, 漢字は東アジアで共通に使用されているが, 国や地方単位で
81: 形がすこしづつ違うものがある.
82: unicode では, 似た漢字を同じ code におしこんだ.
83: Open XM でも, システム毎にことなるが似ているデータ型を
84: 同じ型としてあつかう.
85: たとえば, ``分散多項式'' の意味は, asir と kan/sm1 で異なるが,
86: Open XM では, 同じ型としてあつかわれる.
87: ただしこれでは不十分な場合があるので,システム固有のデータ型も扱える
88: ような仕組みも用意している.
89: (さっきのたとえでは, こちらは, unicode でなく, ISO の文字符号系に対応するか.)
90: 共通スタック言語は, ごく小数の共通コマンドをのぞき
91: 基本的にシステム毎に固有の関数により実行される.
92: これにより, open xxx のサーバの実装およびマニュアルの記述は
93: いちじるしく簡単になる.
94: システム毎に固有の関数を共通の関数名にするプロジェクトも
95: 考えているが, 共通の関数名は OpenMath のものを利用する予定である.
96:
97: Open XM は論理的には
98: OX 層, SM 層, CMO 層にわかれる.
99: OX Object は, データ, コマンドに大別できる.
100: データはこのプロジェクトのオリジナルのデータ形式
101: である CMO (Common Mathematical Object Format) で
102: 送出してもよいし, MP や Open MATH などの形式を用いてもよい.
103: SM 層は (スタックマシン)サーバを制御するための命令の
104: あつまりであり, サーバは非同期的に動作させることが可能である.
105: 柔軟性が高いので, IMC などのリモートプロシージャコール系の
106: プロトコルもエミュレートできる.
107:
108:
109:
110:
111:
112: \section{CMO Basic0 の object}
113: CMO (Common Mathematical Object format) グループ Basic0 の Object は,
114: 多くの計算機言語が標準としてもつ
115: ローレベルのデータ型, {\tt int} , {\tt string}
116: などに タグ付けした object である.
117: この CMO はすべての open xxx が実装していると仮定される.
118: この節では, イントロダクションとして, グループ Basic0 に属する CMObject
119: (Common Mathematical Object) を形式的な方法をつかわず導入しよう.
120: このグループの正式な名前は,
121: CMObject/Basic0 である.
122: 以下, {\tt int32} で2の補数表現された
123: network byte order の 32 bit integer をあらわす.
124: {\tt byte} で 8 bit データをあらわす.
125: CMO の object は \\
126: \begin{tabular}{|c|c|}
127: \hline
128: {\tt cmo\_tag}& {\tt cmo\_body} \\
129: \hline
130: \end{tabular} \\
131: なる形をしている.
132: ここで, {\tt cmo\_tag} は, 正の
133: {\tt int32} で表現するものと規約する.
134:
135: {\tt cmo\_tag} は object のタイプをあらわすタグであり,
136: 以下のように決めている.
137: @../SSkan/plugin/cmotag.h
138: \begin{verbatim}
139: #define LARGEID 0x7f000000
140: #define CMO_ERROR2 (LARGEID+2)
141: #define CMO_NULL 1
142: #define CMO_INT32 2
143: #define CMO_DATUM 3
144: #define CMO_STRING 4
145: #define CMO_MATHCAP 5
146: #define CMO_LIST 17
147: \end{verbatim}
148:
149: 以下, 各 object の フォーマットを説明する.
150: サーバはすべての object の CMO 形式をサポートする必要はないが,
151: mathcap (後述) 問い合わせに対して,
152: サポートしている CMO 形式データをクライアントに知らせる必要が
153: ある.
154: {\tt CMO\_ERROR2}, {\tt CMO\_NULL},
155: {\tt CMO\_INT32}, {\tt CMO\_STRING}, {\tt CMO\_MATHCAP}, {\tt CMO\_LIST}
156: は最も基本的なデータであり,
157: また全てのサーバ, クライアントが実装すべき CMO データである.
158:
159:
160: CMObject Error2 は \\
161: \begin{tabular}{|c|c|}
162: \hline
163: {\tt int32 CMO\_ERROR2} & {\it CMObject} ob \\
164: \hline
165: \end{tabular} \\
166: なる形で表現する.
167: エラーの時に投げる object であり, {\it CMObject} ob の
168: 部分に詳細なエラー情報がはいる.
169: ob はリストであり, 最初の成分はエラーを起こした OX メッセージ(後述)
170: のシリアル番号でないといけない.
171: シリアル番号は Integer32 で表現する.
172:
173:
174: CMObject Null は \\
175: \begin{tabular}{|c|c|}
176: \hline
177: {\tt int32 CMO\_NULL} \\
178: \hline
179: \end{tabular} \\
180: なる形で表現する.
181:
182: 32 bit integer n は CMObject としては Integer32 と呼ばれ, \\
183: \begin{tabular}{|c|c|}
184: \hline
185: {\tt int32 CMO\_INT32}& {\tt int32 n} \\
186: \hline
187: \end{tabular} \\
188: なる形で表現する.
189:
190:
191: 長さ n の バイト列 data は CMObject としては, Datum 型とよばれ \\
192: \begin{tabular}{|c|c|c|c|}
193: \hline
194: {\tt int32 CMO\_DATUM}& {\tt int32 n} & {\tt byte data[0]} & {\tt byte data[1]} \\
195: \hline
196: $\cdots$ & {\tt byte data[n-1]} \\
197: \cline{1-2}
198: \end{tabular} \\
199: と表現する.
200: data の部分に直列化 (serialized) された CMO が入ることもありうる.
201:
202: 長さ n の 文字列 data は, CMObject としては, Cstring 型とよばれ \\
203: \begin{tabular}{|c|c|c|c|}
204: \hline
205: {\tt int32 CMO\_STRING}& {\tt int32 n} & {\tt byte data[0]} & {\tt byte data[1]} \\
206: \hline
207: $\cdots$ & {\tt byte data[n-1]} \\
208: \cline{1-2}
209: \end{tabular} \\
210: と表現する. C 言語で普通用いられる, 文字列のおわりの {\tt 0} は文字列
211: に含めない.
212:
213: \remove{
214: 長さ n の 32bit network byte order の data の array は \\
215: \begin{tabular}{|c|c|c|c|c|c|}
216: \hline
217: {\tt int32 CMO\_ARRAYOFINT32}& {\tt int32 n} &
218: {\tt data[0]} & {\tt data[1]}&$\cdots$
219: & {\tt data[n-1]} \\
220: \cline{1-2}
221: \end{tabular} \\
222: と表現する. 各 {\tt data[i]} の部分は 4 byte の大きさを持つ.
223: }
224:
225: \noindent
226: CMObject Mathcap は \\
227: \begin{tabular}{|c|c|}
228: \hline
229: {\tt int32 CMO\_MATHCAP} & {\it CMObject} ob \\
230: \hline
231: \end{tabular} \\
232: なる形で表現する.
233: {\tt ob} はリストであり少なくとも2つの要素をもつ.
234: 0 番目の要素は, Integer32 で表した Version number と,
235: Cstring で表したシステム名, Version number, CPUtype, その他の情報
236: のリストである.
237: 1 番目の要素は, システム xxx が扱うことの可能な
238: CMO タグを, Integer32 で表現したものを集めたリストである.
239:
240: \noindent
241: 長さ $m$ のリストは \\
242: \begin{tabular}{|c|c|c|c|c|}
243: \hline
244: {\tt int32 CMO\_LIST}& {\tt int32 $m$} & {\tt CMObject}\, ob[0] & $\cdots$ &
245: {\tt CMObject}\, ob[$m-1$] \\
246: \hline
247: \end{tabular}\\
248: で表現する.
249:
250:
251: \section{ CMO の表現方法 }
252:
253: 前の節で CMO の表現方法を形式的に定義せず,
254: CMO のBasic0 の表現法を説明したが,
255: ここでは, CMO の Lisp 風表現 (Lisp-like expression)
256: である
257: CMOexpression
258: および CMO の標準 encoding 法を説明する.
259: (タグの省略記法がほしい.)
260: 前の節ではこの 標準 encoding 法を用いて CMO の表現方法を説明した.
261:
262: まず, CMOexpression を形式的に 拡張 BNF 記法を用いて定義しよう.
263: タイプライタフォントでかかれた記号は終端記号を意味する.
264: ``:'' は定義を意味する. ``$|$'' は''または''を意味する.
265: \{ X \} は X の 0 回以上の繰り返しを表す.
266: [ x ] は X が 0 回または 1 回出現することを表す.
267:
268: \begin{eqnarray*}
269: \mbox{CMOexpression}
270: &:& \quad
271: \mbox{\tt (} \mbox{\tt cmo\_tag} \
272: \{ \mbox{ expression} \} \mbox{\tt )}\\
273: \mbox{expression}
274: &:& \quad \mbox{CMOexpression} \\
275: & &|\ \mbox{\tt int32} \\
276: & &|\ \mbox{\tt string} \\
277: & &|\ \mbox{\tt byte} \\
278: \end{eqnarray*}
279: 終端記号 {\tt int32} は, 32 bit integer を表す, 10 進または 16 進の数字の
280: 列である.
281: 終端記号 {\tt string} は''文字''の列である.
282: 終端記号 {\tt byte} は 8 bit データを表す, 10 進または 16 進の数字の列である.
283:
284: CMOexpression にあらわれる各要素を区切るために {\tt ,} (コンマ) を用いてもよい.
285: {\tt cmo\_tag} は {\tt CMO\_} で始まる定数である.
286: CMOexpression で表現される object を CMObject と呼ぶ.
287:
288: この表記法 CMOexpression を利用して, CMO Basic0 の object を記述
289: してみよう.
290: Object 自体の構造を説明するため,
291: BNF をもうすこし拡張して, 非終端記号, 終端記号名のみならず, 変数の
292: 名前も書くことにする. こうすることにより, object の意味の説明も容易になる
293: からである. また ``---'' でコメントのはじまりを表すものとする.
294: たとえば, (CMObject の) 32 bit integer である integer32 を
295: BNFで定義すれば,
296: \begin{center}
297: Integer32 \ : \ ({\tt CMO\_INT32}, {\tt int32})
298: \end{center}
299: と書くのが本来の書き方による記法であるが, ここでは,
300: \begin{eqnarray*}
301: \mbox{Integer32} \ &:& \ ({\tt CMO\_INT32}, {\sl int32}\ n) \\
302: & & \ \mbox{--- 32 bit integer $n$ を表す. } \\
303: \end{eqnarray*}
304: と書くことを許すことにする.
305: このように書くことにより, 非終端記号 Integer32 は,
306: \begin{center}
307: Integer32 \ : \ ({\tt CMO\_INT32}, {\tt int32})
308: \end{center}
309: のように, 終端記号 {\tt CMO\_INT32} と {\tt int32} を成分にもち,
310: CMObject の
311: ({\tt CMO\_INT32}, {\sl int32}\ n)
312: は,
313: 32 bit integer $n$ を表現しているんだということが, 1 行でわかる.
314: この記法を用いて, 前節で導入した, Basic0 の CMObject を
315: 形式的に定義しよう.
316:
317: \bigbreak
318: \noindent
319: Group CMObject/Basic0 requires nothing. \\
320: Error2, Null, Integer32, Datum, Cstring, Mathcap, List $\in$ CMObject/Basic0. \\
321: Document of CMObject/Basic0 is at {\tt http://www.math.kobe-u.ac.jp/openxxx}
322: (in Japanese) \\
323: \begin{eqnarray*}
324: \mbox{Error2}&:& ({\tt CMO\_ERROR2}, {\sl CMObject}\, \mbox{ob}) \\
325: \mbox{Null} &:& ({\tt CMO\_NULL}) \\
326: \mbox{Integer32}
327: &:& ({\tt CMO\_INT32}, {\sl int32}\ \mbox{n}) \\
328: \mbox{Datum} &:& ({\tt CMO\_DATUM}, {\sl int32}\, \mbox{n}, {\sl byte}\,
329: \mbox{data[0]},
330: \ldots , {\sl byte}\, \mbox{data[n-1]}) \\
331: \mbox{Cstring}&:& ({\tt CMO\_STRING},{\sl int32}\, \mbox{n},
332: {\sl string}\, \mbox{s}) \\
333: \mbox{Mathcap}&:& ({\tt CMO\_MATHCAP},{\sl CMObject}\, \mbox{ob} ) \\
334: \mbox{List} &:&
335: \mbox{({\tt CMO\_LIST}, {\sl int32}\, m, {\sl CMObject}\, ob[0], $\ldots$,
336: {\sl CMObject}\, ob[m-1])} \\
337: & & \mbox{--- m is the length of the list.}
338: \end{eqnarray*}
339:
340: Cstring で, {\sl string} s の部分を {\tt byte} に分解すれば,
341: \begin{eqnarray*}
342: \mbox{Cstring}&:& ({\tt CMO\_STRING},{\sl int32}\, n,
343: {\sl byte}\, \mbox{s[0]},
344: \ldots, {\sl byte}\ \mbox{s[n-1]})
345: \end{eqnarray*}
346: となる.
347: また,
348: ``Group CMObject/Basic0 requires nothing''
349: は, 以下は, グループ CMObject/Basic0 の定義であり,
350: このグループの CMObject を定義するのに, 要請される CMObject のグループは
351: ないことを示す.
352: ``Error2, Null, Integer32, Datum, Cstring, Mathcap, List
353: $\in$ CMObject/Basic0''
354: は, グループ CMObject/Basic0 には, Error2, Null, Integer32,
355: Datum, Cstring なるクラスの object が属することを示す.
356:
357:
358: では, 実際のデータの表現の例をみてみよう.
359: たとえば, 32 bit integer の 1234 は,
360: \begin{center}
361: ({\tt CMO\_INT32}, 1234)
362: \end{center}
363: とかく.
364: 文字列 ``Hello'' は
365: \begin{center}
366: ({\tt CMO\_STRING}, 5, "Hello")
367: \end{center}
368: と書く.
369:
370: CMOexpression と, CMObject の区別を理解しておくのは重要である.
371: たとえば
372: \begin{center}
373: ({\tt CMO\_INT32}, 234, "abc",({\tt CMO\_STRING}))
374: \end{center}
375: は CMOexpression ではあるが, CMObject ではない.
376: これは, 文法的には正しいプログラムだが, なにをやるのかは全く不明な
377: プログラムと似ている.
378:
379: さて, Open math 風 (\cite{openmath})
380: の SGML 表現法も可能であり, その場合は, 上の二つの例は次のように
381: 書く.
382: \begin{verbatim}
383: <CMO_INT32>
384: 1234
385: </CMO_INT32>
386:
387: <CMO_STRING>
388: 5
389: "Hello"
390: </CMO_STRING>
391: \end{verbatim}
392:
393: 次に, 標準 encoding 法を説明しよう.
394: 標準 encoding 法では, cmo\_tag を ネットワークバイトオーダーの
395: 32 bit integer {\tt int32} に,
396: その他のフィールドは, 定義に記述されているデータ型に従い,
397: byte データ {\tt byte} かまたは
398: ネットワークバイトオーダーの 32 bit integer {\tt int32} に, 変換する.
399:
400: 高速の通信方法を用いて
401: 効率を重視する接続の場合には, {\tt int32} を network byte order
402: に変換する操作がおおきなオーバヘッドとなることが
403: 報告されている.
404: 100Mbps の通信路で 12Mbytes の {\tt CMO\_ZZ} の転送では
405: 約 90\% の時間が network byte order への変換についやされているという
406: 実験データもある.
407: 効率を重視した encoding 法については後述する.
408:
409:
410: 標準 encoding 法は全てのシステムが基礎として備えるべき変換法である.
411: 標準 encoding と CMOexpression の間の変換は容易である.
412: 前節で用いたデータの表記法,
413: たとえば,
414: \begin{center}
415: \begin{tabular}{|c|c|}
416: \hline
417: {\tt int32 CMO\_INT32}& {\tt int32 1234} \\
418: \hline
419: \end{tabular}
420: \end{center}
421: は, CMOexpression
422: \begin{center}
423: ({\tt CMO\_INT32}, 1234)
424: \end{center}
425: の 標準 encoding 法による表現である.
426:
427:
428:
429: \section{ Open XM の通信モデル}
430:
431: われわれは, 数学プロセスがメッセージを
432: 交換しながら計算が進行していくというモデルを想定して設計をすすめている.
433: 各プロセスはスタックマシンであり, これを OX スタックマシンとよぶ.
434: 数学プロセスの間の通信路の確保の仕方としては以下のように
435: いろいろな実現方法を想定している.
436: \begin{enumerate}
437: \item ファイルを介して通信する.
438: \item Library として直接リンクして通信する.
439: \item TCP/IP ソケットの利用.
440: \item Remote Procedure call の利用.
441: \item マルチスレッドの利用.
442: \item PVM ライブラリの利用.
443: \item MPI ライブラリの利用.
444: \end{enumerate}
445:
446: 通信とはプロセス間のメッセージのやりとりである.
447: メッセージは論理的に次のような構造をもつ:
448: \begin{center}
449: \begin{tabular}{|c|c|c|}
450: \cline{1-2}
451: {\tt destination} & {\tt origin} & \multicolumn{1}{}{} \\ \hline
452: {\tt extension}&{\tt ox message\_tag}&{\tt message\_body} \\
453: \hline
454: \end{tabular}
455: \end{center}
456: このメッセージを, OXobject (Open XM message object) とよぶ.
457: OXobject はトップレベルのメッセージ object であり,
458: 仕様書では, さまざまなグループに属する object が登場する.
459: グループ名は, たとえば, OXobject/TCPIP/Basic0 などと書く.
460: {\tt message\_body} の部分の仕様は, OXobject
461: の上位に位置する部分であり, SMobject または CMObject がくる.
462: これらの object はタグをもち, そのタグ定数は {\tt SM\_} または
463: {\tt CMO\_} ではじまる.
464: SMobject は, スタックマシンコマンドメッセージ object であり,
465: やはり, グループ分けされている.
466: 各グループ名は,
467: SMobject/Basic0, SMobject/Basic1 などと書く.
468: SMobject の構造は
469: サーバスタックマシンの節で詳しく説明する.
470: CMObject についてはすでに Basic0 の CMObject の説明をしたが,
471: あとで CMObject レベル 1の説明をする.
472: OXobject の
473: {\tt ox message\_tag} の定数は {\tt OX\_} で始まる.
474:
475: \subsection{ OXobject の 表現方法 }
476:
477: Open XM で各プロセスは
478: \begin{center}
479: (OXexpression を理解するスタックマシン) $+$ (xxx 言語で動くエンジン)
480: \end{center}
481: なるハイブリッド構成である.
482: このプロセスを, OX スタックマシンと呼ぶ.
483: ここでは, OX スタックマシンとやりとりするメッセージである,
484: OXobject を表現するための OXexpression, および,
485: スタックマシンの operator に対応する, SMobject を表現するための SMexpression
486: を定義しよう.
487: OXobject を スタックマシンコマンド,
488: SMobject を スタックマシンオペレータともよぶ.
489:
490:
491: \begin{eqnarray*}
492: \mbox{OXexpression}
493: &:& \quad
494: \mbox{\tt (} \mbox{\tt OX\_tag} \
495: [\mbox{ expression}] \mbox{\tt )}\\
496: \mbox{expression}
497: &:& \quad \mbox{SMexpression} \\
498: & &|\ \mbox{CMOexpression} \\
499: \mbox{SMexpression}
500: &:& \mbox{\tt (} \mbox{\tt SM\_tag} \
501: \{ \mbox{CMOexpression} \} \mbox{\tt )}\\
502: \end{eqnarray*}
503: expression の各要素を区切るために {\tt ,} (コンマ) を用いてもよい.
504: {\tt OX\_tag} は {\tt OX\_} で始まる定数である.
505: {\tt SM\_tag} は {\tt SM\_} で始まるスタックマシンオペレータを識別する定数である.
506: 発信元 AAA, 受信先 BBB を書く必要があるときは,
507: From AAA, To BBB, を OXexpression の前に書く.
508: 必要なければ省略する.
509:
510: たとえば, あとで説明する, CMO string ``Hello'' を スタックにプッシュする
511: 表現は次のように書く:
512: \begin{center}
513: (OX\_DATA, (CMO\_STRING, 5, "Hello"))
514: \end{center}
515:
516:
517: あとで説明するように, local 関数 ``hoge'' を実行する スタックマシンコマンドは
518: 次のように表現する:
519: \begin{center}
520: (OX\_DATA, (CMO\_STRING, 5, "hoge"))
521: \end{center}
522: \begin{center}
523: (OX\_COMMAND, SM\_executeStringByLocalParser)
524: \end{center}
525:
526: 標準 encoding 法では, 各 タグを ネットワークバイトオーダーの
527: 32 bit integer で表現する.
528:
529:
530: \subsection{OXexpression の 標準 encoding と TCP/IP ソケットによる実装法}
531: 通信の実現方法は通信路のとりかたによりかわるが,
532: 論理構造は統一的にあつかわないといけない.
533: OXexpression はその論理構造を記述している.
534:
535: ここでは OXexpression の標準 encoding の概略を説明する.
536: この encoding 法はTCP/IP ソケット用の encoding 法として
537: 現在存在しているサーバに使用されている.
538: さらにOX スタックマシンの計算状態を制御するための, コントロールメッセージに
539: ついても説明する.
540:
541:
542: {\tt destination}, {\tt origin} の部分は, ソケットによる
543: peer to peer の接続なので省略する.
544: {\tt extension} フィールドは
545: {\tt message\_tag} フィールドの次にくる.
546: {\tt extension} フィールドは OX パケットのシリアル番号がはいる.
547: シリアル番号は {\tt int32} である.
548: この番号は, サーバがエラーを起こした場合, エラーをおこした,
549: OX パケットの番号を戻すのに主に利用される.
550: 以下 {\tt extension} フィールドは, {\tt message\_tag} の
551: に含まれると理解し {\tt extension} フィールドは省略する.
552: したがってパケットは
553: 次のように記述する
554: \begin{center}
555: \begin{tabular}{|c|c|}
556: \hline
557: {\tt ox message\_tag}&{\tt message\_body} \\
558: \hline
559: \end{tabular}
560: \end{center}
561: が, もっとこまかく見ると,
562: \begin{center}
563: \begin{tabular}{|c|c|}
564: \hline
565: {\tt ox message\_tag}, \ {\tt packet number}&{\tt message\_body} \\
566: \hline
567: \end{tabular}
568: \end{center}
569: となっている.
570:
571: グループ OXobject/TCPIP/Basic0 の
572: {\tt ox message\_tag} としては次のものが用意されている.
573:
574: @plugin/oxMessageTag.h
575: \begin{verbatim}
576: #define OX_COMMAND 513
577: #define OX_DATA 514
578:
579: #define OX_DATA_WITH_LENGTH 521
580: #define OX_DATA_OPENMATH_XML 523
581: #define OX_DATA_OPENMATH_BINARY 524
582: #define OX_DATA_MP 525
583:
584: #define OX_SYNC_BALL 515
585: \end{verbatim}
586:
587:
588: 通信路は 2 つ用意する.
589: 1番目の通信路は
590: \verb+ OX_COMMAND +
591: および
592: \verb+ OX_DATA +
593: がながれる.
594: 2番目の通信路 ({\tt control}と呼ぶ) には,
595: \verb+ OX_COMMAND + およびそれに続くコントロールコマンド
596: \verb+ SM_control_* +
597: またはコントロール関係のデータ, つまり header
598: \verb+ OX_DATA + ではじまりそれに続く CMO データ
599: がながれる.
600: これらをコントロールメッセージおよびコントロールメッセージの結果
601: メッセージと呼ぶ.
602: サンプルサーバでは, この 2 つの通信路を, 2 つのポートを用いて
603: 実現している.
604:
605:
606: \verb+ OX_COMMAND + メッセージは次の形のパケット: \\
607: \begin{tabular}{|c|c|}
608: \hline
609: {\tt OX\_COMMAND} & {\tt int32 function\_id} \\ \hline
610: {\it message\_tag} & {\it message\_body}
611: \\ \hline
612: \end{tabular}, \quad
613: ({\tt OX\_COMMAND}, ({\tt SM\_*}))
614: \\
615:
616: \verb+ OX_DATA + メッセージは次の形のパケット: \\
617: \begin{tabular}{|c|c|}
618: \hline
619: {\tt OX\_DATA} & {\tt CMO data} \\ \hline
620: {\it message\_tag} & {\it message\_body}\\ \hline
621: \end{tabular}, \quad
622: ({\tt OX\_DATA}, {\sl CMObject} data)
623: \\
624: データは CMO を用いて表現する.
625:
626: コントロールメッセージは次の形のパケット: \\
627: \begin{tabular}{|c|c|}
628: \hline
629: {\tt OX\_COMMAND} & {\tt int32 function\_id} \\ \hline
630: \end{tabular}, \quad
631: ({\tt OX\_COMMAND},({\tt SM\_control\_*}))
632: \\
633: コントロールメッセージは, 計算を中断したい, debug 用の スレッドを起動する,
634: debug モードを抜けたい, などの用途に利用する.
635:
636: コントロールメッセージの結果メッセージは次の形のパケット: \\
637: \begin{tabular}{|c|c|l|}
638: \hline
639: {\tt OX\_DATA} & {\tt CMO\_INT32} & {\tt int32 data} \\ \hline
640: \end{tabular}, \quad
641: ({\tt OX\_DATA}, {\sl Integer32 } n)
642: \\
643:
644:
645:
646: {\tt int32 function\_id}
647: の部分に, サーバスタックマシン の operator に対応する番号がはいる.
648: グループ SMobject/Basic0 および SMobject/Basic1 に属する
649: タグとして以下のものがある.
650: @plugin/oxFunctionId.h
651: \begin{verbatim}
652: #define SM_popSerializedLocalObject 258
653: #define SM_popCMO 262
654: #define SM_popString 263
655:
656: #define SM_mathcap 264
657: #define SM_pops 265
658: #define SM_setName 266
659: #define SM_evalName 267
660: #define SM_executeStringByLocalParser 268
661: #define SM_executeFunction 269
662: #define SM_beginBlock 270
663: #define SM_endBlock 271
664: #define SM_shutdown 272
665: #define SM_setMathCap 273
666: #define SM_executeStringByLocalParserInBatchMode 274
667: #define SM_getsp 275
668: #define SM_dupErrors 276
669:
670:
671: #define SM_control_kill 1024
672: #define SM_control_reset_connection 1030
673: \end{verbatim}
674:
675: たとえば,
676: \begin{center}
677: (OX\_COMMAND, SM\_pops)
678: \end{center}
679: は
680: \begin{center}
681: \begin{tabular}{|c|c|}
682: \hline
683: {\tt int32} 513 & {\tt int32} 265 \\
684: \hline
685: \end{tabular}
686: \end{center}
687: とエンコードされる.
688:
689: operator の詳細は次の節で説明する.
690: これらの定数の名前はインプリメントのとき短縮形で表現してもよい.
691:
692:
693:
694: \section{ OX サーバスタックマシン }
695:
696: この節では, OX スタックマシン operator の説明
697: (TCP/IP ソケット上での標準 encoding 法 を用いる),
698: および, サンプルサーバとリンクする場合または
699: open XM ライブラリとしてリンクして使用する場合の
700: ための C の関数の仕様を説明する.
701:
702: 説明の前に, OX サーバスタックマシンの動作の原則を
703: 説明しておく.
704: サーバスタックマシンは,
705: {\tt SM\_pop*} 系のスタックマシンコマンドがこないかぎり,
706: 自発的にメッセージを送信することはない.
707: この原則に基づいて分散計算のプログラミングをおこなう.
708: イベントドリブンなプログラム法とはちがうことに
709: 注意しよう.
710:
711:
712: \subsection{サーバスタックマシン }
713:
714: サンプルサーバである {\tt oxserver00.c}
715: は以下の仕様の C の関数を用意して,
716: {\tt nullstackmachine.c } を置き換えれば一応動作するはずである.
717:
718:
719: \noindent
720: \subsubsection{サーバスタックマシンのグループ SMobject/Basic0
721: に属するオペレータ}
722:
723:
724: \noindent
725: サーバスタックマシンは最低で1本のスタック
726: \begin{verbatim}
727: Object xxx_OperandStack[SIZE];
728: \end{verbatim}
729: をもつ.
730: ここで, {\tt Object} はそのシステム固有の Object 型で構わない.
731: CMObject は各サーバ固有のローカルオブジェクトに変換して
732: スタックへプッシュしてよい.
733: ただし変換, 逆変換を合成したものは恒等写像であることがのぞましい.
734: CMObject をどのように (local) Object に変換するか,
735: Object が受け付けるメッセージの定義は,
736: 各システムが独自にきめて文書化しておくものとする.
737: つまりすべてのメッセージは, private である.
738: たとえば, {\tt add } のような基本的な メッセージにたいしても,
739: OX スタックマシンはなにもきめていない.
740: 将来的には open math \cite{openmath} のように
741: CMObject に対する最大公約数的なメッセージの仕様を
742: content dictionary (CD) の形で定義したい.
743:
744:
745: 以下, \verb+ xxx_ + は誤解の恐れがないときは省略する.
746: \verb+ xxx_ + は local サーバシステムに固有の識別子である.
747: {\tt Asir} の場合は \verb+ Asir_ + を用いる.
748: {\tt kan/sm1} の場合は \verb+ Sm1_ + を用いる.
749: 関数名, タグ名は長いので省略形を用いてもよい.
750:
751: 以下では次のようにパケットを記述する.
752: 各フィールドは,
753: \fbox{データ型 \quad データ} なる形式で書く.
754: たとえば,
755: {\tt int32 OX\_DATA}
756: は 32 bit network byte order の数字 {\tt OX\_DATA}
757: という意味である.
758: イタリックで書かれているフィールドは,
759: 定義が別のところでなされているか解釈に誤解のないような自然言語
760: で説明されている object を表す.
761: たとえば,
762: {\it String commandName}
763: は, String データ型の local object {\it commandName}
764: を意味する.
765:
766:
767: すべてのサーバスタックマシンは
768: 以下の関数を実装していないといけない.
769: \begin{enumerate}
770:
771: \item
772: CMObject/Basic0 の CMO データのうち必須のもの,
773: {\tt CMO\_ERROR2}, {\tt CMO\_NULL}, {\tt CMO\_INT32},
774: {\tt CMO\_STRING}, {\tt CMO\_LIST}
775: がおくられて来た場合
776: それをスタックに push する.
777: たとえば, {\tt CMO\_NULL} の場合次のようになる.
778: \\ Request:
779: \begin{tabular}{|c|c|} \hline
780: {\tt int32 OX\_DATA} & {\tt int32 CMO\_NULL} \\
781: \hline
782: \end{tabular}
783: \\ Stack after the request:
784: \begin{tabular}{|c|} \hline
785: {\it NULL} \\
786: \hline
787: \end{tabular}
788: \\ Result: なし.
789:
790: たとえば, {\tt CMO\_String} の場合次のようになる.
791: \\ Request:
792: \begin{tabular}{|c|c|c|c|c|c|} \hline
793: {\tt int32 OX\_DATA} & {\tt int32 CMO\_String} &{\tt int32 size} &{\tt byte s1} & $\cdots$ &{\tt byte ssize}\\
794: \hline
795: \end{tabular}
796: \\ Stack after the request:
797: \begin{tabular}{|c|} \hline
798: {\it String s} \\
799: \hline
800: \end{tabular}
801: \\ Result: なし.
802:
803: CMO データの受け取りに失敗した時のみ \\
804: \begin{tabular}{|c|c|c|} \hline
805: {\tt int32 OX\_DATA} & {\tt int32 CMO\_ERROR2} & {\it CMObject} ob\\
806: \hline
807: \end{tabular}
808: \\
809: をスタックへ push する.
810: 現在のところ, ob には, \\
811: \centerline{
812: {\it List} [{\it Integer32} OX パケット番号, {\it Integer32} エラー番号,
813: {\it CMObject} optional 情報]
814: }
815: を入れるが, この仕様は Common Error Object format の定義により
816: 変更の可能性がある.
817:
818:
819: \item
820: \begin{verbatim}
821: void *xxx_mathCap()
822: \end{verbatim}
823: このサーバの mathcap をもどす (termcap のまね).
824: サーバのタイプ, サーバスタックマシンの能力を知ることができる.
825: C 言語で実装する場合は, mathCap の構造体をシステム毎にきめるものとし,
826: この関数はその構造体へのポインタを戻す.
827: (open sm1 では {\tt struct mathCap} を用いている.
828: @plugin/mathcap.h)
829: \\ Request:
830: \begin{tabular}{|c|c|} \hline
831: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_mathcap} \\
832: \hline
833: \end{tabular}
834: \\ Result:
835: \begin{tabular}{|c|c|} \hline
836: {\tt int32 OX\_DATA} & {\sl Mathcap} mathCapOb \\
837: \hline
838: \end{tabular}
839:
840: \item
841: \begin{verbatim}
842: xxx_setMathCap(void *m)
843: \end{verbatim}
844: 受け取った Mathcap {\tt m} を
845: 自分のシステムに設定して, 相手側が理解不能な CMO をおくらないように
846: する.
847: C 言語で実装する場合は, mathCap の構造体をシステム毎にきめるものとし,
848: この関数はその構造体へのポインタを引数とする.
849: (open sm1 では {\tt struct mathCap} を用いている.
850: @plugin/mathcap.h)
851: \\ Request:
852: \begin{tabular}{|c|c|} \hline
853: {\tt int32 OX\_DATA} & {\sl Mathcap} m \\ \hline
854: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_setMathCap} \\
855: \hline
856: \end{tabular}
857: \\ Result: なし. \\
858: 注意: mathcap は一般にクライアント主体で設定する.
859: クライアントがサーバに {\tt SM\_mathcap} をおくり,
860: サーバ側の mathcap を得る.
861: それを, クライアントはそのサーバに付随した mathcap として
862: 設定する.
863: 次に, クライアントはサーバに自分の mathcap を
864: {\tt SM\_setMathCap} でおくり, 自分の mathcap を設定させる.
865:
866:
867: \item
868: \begin{verbatim}
869: int xxx_executeStringByLocalParser(char *s)
870: \end{verbatim}
871: 文字列 $s$ をシステム xxx の文法(サーバスタックマシンの組み込みローカル
872: 言語)にしたがったコマンドとして実行する.
873: ただし, コマンドの実行の結果の最後に戻り値があるときは,
874: {\tt OperandStack} に戻り値を push する.
875: 正常終了なら 0 を, 異常終了なら -1 をもどす.
876: debug モードにはいった場合, -2 を戻す.
877: エラーの時 Error2 Object
878: を stack へ push する.\\
879: {\tt kan/sm1} の場合, サーバスタックマシンの組み込みローカル言語は
880: {\tt sm1} ポストスクリプト言語である.
881: サーバスタックマシンと, {\tt sm1} ポストスクリプト言語はスタックを
882: 共有するように実装されている.
883: 実際の計算は
884: {\tt executeStringByLocalParser} により実行される.
885: open XM では, 現在のところ関数名の標準化はおこなっていない.
886: したがって, 実際の計算コマンドの送出は mathcap をみてクライアントが
887: 正しいコマンドを選択する必要がある.
888: (しかしながら, 共通関数名がないために, 共通仕様のサーバスタックマシンの
889: 実装はきわめて簡単である. 関数名の共通化は将来の課題.) \\
890: 割込みに関しては, -1 を戻すように ハンドラを書く.
891: executeStringByLocalParser() を再帰的に呼んだときも 割り込みのハンドラが
892: 正しく動作するようにこの関数は書かれるべきである.
893: この関数を呼び出したのち, signal, setjmp の再設定を呼び出し側でやらないと
894: いけない. \\
895: この関数および {\tt popString} の機能を実現すれば, 最低限の
896: open XM のサーバになれる. 実装では, まずこの二つの関数の機能を
897: 実現すべきである.
898: \\ Stack before the request:
899: \\
900: \begin{tabular}{|c|} \hline
901: {\it String commandString} \\
902: \hline
903: \end{tabular}
904: \\Request:
905: \begin{tabular}{|c|c|} \hline
906: {\tt int32 OX\_COMMAND}& {\tt int32 SM\_executeStringByLocalParser} \\
907: \hline
908: \end{tabular}
909: \\ Result: なし.
910: \\ 参考: \ 実行前のスタックのデータは,
911: {\it String commandString} なる local stackmachine の object として
912: スタック上にあるが, TCP/IP の通信路では, 次のようなデータがまずながれて
913: {\it commandName} がスタックに push される:
914: \\
915: \begin{tabular}{|c|c|c|} \hline
916: {\tt int32 OX\_DATA} & {\tt int32 CMO\_string} & {\it size and the string commandString} \\
917: \hline
918: \end{tabular}
919:
920: \item
921: \begin{verbatim}
922: int xxx_executeStringByLocalParserInBatchMode(char *s)
923: \end{verbatim}
924: スタックに副作用がない(スタックにたいしてなんの操作もしない)
925: ことを除き上とまったく同じ関数である.
926: エラーの時のみ, Error2 Object をスタックへプッシュする.
927:
928: \item
929: \begin{verbatim}
930: char *xxx_popString(void)
931: void xxx_popString(ox_stream out)
932: \end{verbatim}
933: 最初の関数はライブラリとしてリンクして使用する場合の関数である.
934: {\tt OperandStack} より Object を pop し, それを xxx の出力
935: 規則にしたがい文字列型に変換して戻す.
936: スタックが空のときは, {\tt (char *)NULL} を戻す.
937: 呼出側の関数は, 戻り値のメモリー領域を操作してはいけない.
938: また, 再度 サーバスタックマシンが呼ばれたときは, 戻り値のメモリ領域
939: は変更されているかもしれない.
940:
941: 2 番目の関数は, TCP/IP を用いて通信する場合の関数である.
942: 変換されてでてきた文字列を値として返すのではなく,
943: {\tt ox\_stream out}
944: へ CMO のデータとして送信する.
945: エラーの場合は {\tt CMO\_ERROR2} を戻すべきである.
946: \\ Stack before the request:
947: \begin{tabular}{|c|} \hline
948: {\it Object} \\
949: \hline
950: \end{tabular}
951: \\ Request:
952: \begin{tabular}{|c|c|} \hline
953: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_popString} \\
954: \hline
955: \end{tabular}
956: \\ Result:
957: \begin{tabular}{|c|c|c|} \hline
958: {\tt int32 OX\_DATA} & {\tt int32 CMO\_STRING} & {\it size and the string s} \\
959: \hline
960: \end{tabular}
961:
962: \item
963: \begin{verbatim}
964: int xxx_getsp(void)
965: \end{verbatim}
966: 現在のスタックポインタの位置をもどす.
967: スタート時点での位置は 0 であり, object が push されたばあい,
968: 1 づつ増えるものとする.
969: \\ Stack before the request:
970: \begin{tabular}{|c|} \hline
971: {\it Object} \\
972: \hline
973: \end{tabular}
974: \\ Request:
975: \begin{tabular}{|c|c|} \hline
976: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_getsp} \\
977: \hline
978: \end{tabular}
979: \\ Result:
980: \begin{tabular}{|c|c|c|} \hline
981: {\tt int32 OX\_DATA} & {\tt int32 CMO\_INT32} & {\it stack pointer value} \\
982: \hline
983: \end{tabular}
984:
985: \item
986: \begin{verbatim}
987: object xxx_dupErrors(void)
988: \end{verbatim}
989: スタック上のエラーオブジェクトをリストにして戻す.
990: スタック自体は変化させない.
991: \\ Stack before the request:
992: \begin{tabular}{|c|} \hline
993: {\it Object} \\
994: \hline
995: \end{tabular}
996: \\ Request:
997: \begin{tabular}{|c|c|} \hline
998: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_dupErrors} \\
999: \hline
1000: \end{tabular}
1001: \\ Result:
1002: \begin{tabular}{|c|c|c|} \hline
1003: {\tt int32 OX\_DATA} & {\it CMObject} \ a list of errors\\
1004: \hline
1005: \end{tabular}
1006:
1007: \item
1008: \begin{verbatim}
1009: int xxx_start()
1010: \end{verbatim}
1011: xxx の初期化をおこなう.
1012:
1013: \end{enumerate}
1014:
1015: \noindent
1016: {\bf 例}: \
1017: 次は, 標準入力よりの入力を asir に送り評価した結果を表示するプログラム
1018: である.
1019: \begin{verbatim}
1020: #include <stdio.h>
1021:
1022: main() {
1023: char tmp[1024];
1024: Asir_start();
1025: while (gets(tmp) != NULL) {
1026: if (Asir_executeStringByLocalParser(tmp) != 0) {
1027: printf("%s\n",Asir_popString());
1028: }
1029: }
1030: }
1031:
1032: \end{verbatim}
1033:
1034: \medbreak
1035: \noindent
1036: {\bf 例}: \
1037: mathcap の問い合わせに対して, {\tt ox\_sm1} は次のように答える.
1038: %%Prog: [(cmoMathCap)] extension ::
1039: \begin{verbatim}
1040: Class.mathcap
1041: [ [199909080 , $Ox_system=ox_sm1.plain$ , $Version=2.990911$ ,
1042: $HOSTTYPE=i386$ ] ,
1043: [262 , 263 , 264 , 265 , 266 , 268 , 269 , 272 , 273 , 275 , 276 ] ,
1044: [[514] , [2130706434 , 1 , 2 , 4 , 5 , 17 , 19 , 20 , 22 , 23 , 24 ,
1045: 25 , 26 , 30 , 31 , 60 , 61 , 27 , 33 , 40 , 34 ]]]
1046: \end{verbatim}
1047:
1048: mathcap は 3つの要素をもつリストである.
1049: まづ, 最初の要素を見よう.
1050: Ox\_system は open xxx システム名である.
1051: 読み込むライブラリがちがっていて, 関数名(または シンボル)の意味がちがうときは
1052: この名前もかえる.
1053: たとえば, open math の basic content dictionary 対応の関数定義マクロを
1054: 読みこんだ sm1 は,
1055: ox\_sm1\_basicCD なる名前にする.
1056: HOSTTYPE値は, CPU の種類をあらわし
1057: unix では環境変数\verb+$HOSTTYPE+ の値である.
1058: 2 番目の要素は 利用可能な SM コマンドをあつめたリストである.
1059: 3 番目のリストは, 処理可能な数学データの形式, およびCMOの場合なら
1060: 処理可能なCMOのタグのリストが続く.
1061: 上の例では, 514 は {\tt OX\_DATA} をあらわし, 数学データのフォマットは
1062: (サイズ情報なしの) CMO であることを示す.
1063:
1064:
1065: \medbreak
1066: \noindent
1067: {\bf 例}: \
1068: %%Prog: (ox.sm1) run sm1connectr [(oxWatch) ox.ccc] extension
1069: %%Prog: ox.ccc (122345; ) oxsubmit ;
1070: {\tt message\_body} の実例をあげる. シリアル番号部は除いてある.
1071: \begin{enumerate}
1072: \item {\tt executeStringByLocalParser("12345 ;");}
1073: は次のようなパケットに変換される. 各数字は 16進1バイトをあらわす.
1074: {\tt xx(yy)} のなかの {\tt (yy)} は対応するアスキーコードをあわらす.
1075: \begin{verbatim}
1076: 0 0 2 2 0 0 0 4 0 0 0 7
1077: 31(1) 32(2) 33(3) 34(4) 35(5) 20 3b(;)
1078: 0 0 2 1 0 0 1 c
1079: \end{verbatim}
1080: ここで,
1081: \verb+ 0 0 2 2 0 0 0 4 + は, network byte order で,
1082: 順番に {\tt OX\_DATA} それから,
1083: CMO のタグの, {\tt CMO\_STRING} を表す.
1084: \verb+ 0 0 0 7 + は文字数,
1085: 最後に 文字列 {\tt 12345 ;} が来る.
1086: ここで, \verb+ 0 0 1 c + は, network byte order で,
1087: {\tt OX\_executeString} を表す.
1088:
1089: まとめると次のようになる.
1090: \begin{verbatim}
1091: 0 0 2 2 (OX_DATA) 0 0 0 4 (CMO_STRING)
1092: 0 0 0 7 (size)
1093: 31(1) 32(2) 33(3) 34(4) 35(5) 20 3b(;) (data)
1094: 0 0 2 1 (OX_COMMAND)
1095: 0 0 1 c (SM_executeStringByLocalParser)
1096: \end{verbatim}
1097: これを OXexpression で表記すると次のようになる.
1098: \begin{center}
1099: (OX\_DATA, (CMO\_STRING, 7, "12345 ;"))
1100: \end{center}
1101: \begin{center}
1102: (OX\_COMMAND, (SM\_executeStringByLocalParser))
1103: \end{center}
1104:
1105: \item {\tt popString()} を要請するメッセージ:
1106: \begin{verbatim}
1107: 0 0 2 1 (OX_COMMAND)
1108: 0 0 1 7 (SM_popString)
1109: \end{verbatim}
1110: OXexpression では
1111: (OX\_COMMAND, (SM\_popString)).
1112:
1113: \noindent
1114: これにたいして次の返答メッセージがくる.
1115: \begin{verbatim}
1116: 0 0 2 2 (OX_DATA)
1117: 0 0 0 4 (CMO_STRING) 0 0 0 5 (size)
1118: 31(1) 32(2) 33(3) 34(4) 35(5)
1119: \end{verbatim}
1120: OXexpression でかくと,
1121: (OX\_DATA, (CMO\_STRING, 7, "12345 ;")).
1122:
1123:
1124:
1125: \end{enumerate}
1126:
1127: \subsubsection{グループ SMobject/Basic1 に属するオペレータ}
1128:
1129:
1130: \begin{enumerate}
1131:
1132: \item
1133: \begin{verbatim}
1134: void xxx_pops(int n)
1135: \end{verbatim}
1136: operand stack より, {\it n} 個の元
1137: ({\it obj1, obj2, $\ldots$, objn}) を pop して捨てる.
1138: \\ Stack before the request: (右が stack のトップである.) \\
1139: \begin{tabular}{|c|c|c|c|c|} \hline
1140: {\it obj1} & {\it obj2} & $\cdots$ & {\it objn} &{\it INT32 n} \\
1141: \hline
1142: \end{tabular}
1143: \\ Request:
1144: \begin{tabular}{|c|c|} \hline
1145: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_pops } \\
1146: \hline
1147: \end{tabular}
1148: \\ Result: なし.
1149:
1150:
1151: \item
1152: \begin{verbatim}
1153: int xxx_setName(char *name)
1154: \end{verbatim}
1155: (これは本当に必要な関数??)
1156: {\tt OperandStack} より {\it name} を pop し, つぎに
1157: {\tt OperandStack} より {\it obj} を pop し, それを
1158: 現在の名前空間で変数 {\it name} に bind する.
1159: 正常終了なら 0 を, 異常終了なら -1 をもどす.
1160: TCP/IP による通信では, 異常終了の時のみ, {\tt CMO\_ERROR2} を
1161: stack へ push する.
1162: \\ Stack before the request: (右が stack の top.)
1163: \begin{tabular}{|c|c|} \hline
1164: {\it obj} & {\it String name} \\
1165: \hline
1166: \end{tabular}
1167: \\ Request:
1168: \begin{tabular}{|c|c|} \hline
1169: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_setName} \\
1170: \hline
1171: \end{tabular}
1172: \\ Result: なし.
1173:
1174: \item
1175: \begin{verbatim}
1176: int xxx_evalName(char *name)
1177: \end{verbatim}
1178: (これは本当に必要な関数??)
1179: 現在の名前空間で変数 {\it name} を評価する.
1180: 評価の結果 {\it resultObj} をスタックへ戻す.
1181: 関数自体は正常終了なら 0 を, 異常終了なら -1 をもどす.
1182: TCP/IP の場合, 異常終了の場合のみ {\tt CMO\_ERROR2} を stack へ push する.
1183: \\ Stack before the request: (右が stack の top.)
1184: \begin{tabular}{|c|} \hline
1185: {\it String name} \\
1186: \hline
1187: \end{tabular}
1188: \\ Request:
1189: \begin{tabular}{|c|c|} \hline
1190: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_evalName} \\
1191: \hline
1192: \end{tabular}
1193: \\ Stack after the request: (右が stack の top.)
1194: \begin{tabular}{|c|} \hline
1195: {\it resultObj} \\
1196: \hline
1197: \end{tabular}
1198: \\ Result: なし.
1199:
1200: \item
1201: \begin{verbatim}
1202: int xxx_executeFunction(char *s, int n)
1203: \end{verbatim}
1204: スタックより {\it n} 個のデータを pop して, サーバのローカル関数
1205: {\it s} を実行する.
1206: エラーのときのみ {\tt CMO\_ERROR2} を stack へ push する.
1207: \\ Stack before the request: (右が stack の top.) \\
1208: \begin{tabular}{|c|c|c|c|c|} \hline
1209: {\it objn} & $\cdots$ & {\it obj1} & {\it INT32 n} & {\it String s} \\
1210: \hline
1211: \end{tabular}
1212: \\ Request:
1213: \begin{tabular}{|c|c|} \hline
1214: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_executeFunction} \\
1215: \hline
1216: \end{tabular}
1217: \\ Stack after the request:
1218: 関数実行の結果.
1219: \\ Result: なし.
1220:
1221:
1222:
1223:
1224:
1225: \item
1226: \begin{verbatim}
1227: bytes *xxx_popSerializedLocalObject(void)
1228: void popSerializedLocalObject(ox_stream out)
1229: \end{verbatim}
1230: 最初の関数はライブラリとしてリンクして使用するための関数である.
1231: スタックより pop した object を local 形式の serialization して
1232: byte 列で戻す.
1233: 2 番目の関数は Socket で通信するための同機能の関数であり,
1234: serialization された byte 列を
1235: {\tt ox\_stream out} へ出力する.
1236: この場合,
1237: header
1238: {\tt int32 OX\_DATA}, {\tt int32 CMO\_LOCAL\_OBJECT}
1239: をつけてから, byte 列を送る.
1240: この関数はおもに, homogeneous な分散システムで用いる.
1241: 次に, サーバスタックマシンの関数が実行されるまでは,
1242: 戻り object の内容は保証されないといけない.
1243:
1244: \item
1245: local serialized object, および サポートする CMO object を
1246: {\tt OX\_DATA} として受信した場合, {\tt OperandStack} へ
1247: push する.
1248: 受信エラーを起こしたときのみ, {\tt CMO\_ERROR2} を stack へ push する.
1249:
1250:
1251: \item
1252: \begin{verbatim}
1253: bytes *xxx_popCMO(void)
1254: void xxx_popCMO(ox_stream out)
1255: \end{verbatim}
1256:
1257: 最初の関数はライブラリとしてリンクして使用するための関数である.
1258: {\tt OperandStack} より object を pop し CMO 形式の
1259: serialized object を byte 列として戻す.
1260: 2 番目の関数は Socket で通信するための同機能の関数であり,
1261: {\tt ox\_stream out } へ, そのデータを header
1262: {\tt OX\_DATA} をつけてながす.
1263: この関数はおもに, heterotic な分散システムで用いる.
1264: 次に, サーバスタックマシンの関数が実行されるまでは,
1265: 戻り object の内容は保証されないといけない.
1266: \\ Request:
1267: \begin{tabular}{|c|c|} \hline
1268: {\tt int32 OX\_COMMAND} & {\tt int32 OX\_popCMO} \\
1269: \hline
1270: \end{tabular}
1271: \\ Result:
1272: \begin{tabular}{|c|c|} \hline
1273: {\tt int32 OX\_DATA} & {\it Serialized CMO} \\
1274: \hline
1275: \end{tabular}
1276:
1277: 以下で, {\tt ox\_stream} はサンプルサーバの場合,
1278: \begin{verbatim}
1279: typedef FILE2 * ox_stream;
1280: \end{verbatim}
1281: である (cf. {\tt file2.h}). これは処理系によりちがってよい.
1282: {\tt ox\_asir} では, {\tt FILE *} を用いている.
1283:
1284: \end{enumerate}
1285:
1286: \section{現在検討中の機能}
1287:
1288: \subsection{ OX DATA with Length の構造 }
1289:
1290: Digital signature 付の {\tt OX\_DATA} は
1291: ヘッダ {\tt OX\_DATA\_WITH\_LENGTH }で, はじまり, CMO がきて,
1292: それから, 終りのマークおよびデジタル署名がくる.
1293: この形のデータを {\it secured OX DATA} と呼ぶ.
1294: \begin{verbatim}
1295: #define OX_SECURED_DATA 521
1296: \end{verbatim}
1297:
1298: \noindent
1299: \begin{tabular}{|c|c|c|c|c|} \hline
1300: {\tt int32 OX\_DATA\_WITH\_LENGTH} & {\tt int32} {\sl serial} & {\tt int32 size}
1301: & {\it CMObject} & {\it tail} \\
1302: \hline
1303: \end{tabular}
1304:
1305: {\tt size} フィールドに 値 -1 が入っている場合この情報を無視する.
1306:
1307: {\it tail } は次のように定義する.
1308: \\ \noindent
1309: \begin{tabular}{|c|c|c|} \hline
1310: {\tt int32 CMO\_START\_SIGNATURE} & {\tt int32 size}
1311: & {\it signature} \\
1312: \hline
1313: \end{tabular}
1314:
1315: ここで, {\tt size} は {\it signature} 部の長さ.
1316: {\it signature} は, Hash 関数を用いた, {\it CMO data}
1317: にたいする, デジタル署名をいれ, 不正な serialized object
1318: を検出する.
1319: Tail の {\tt size} フィールドが 0 の場合, デジタル署名部はない.
1320:
1321: クライアント, サーバの実装には次の3つの選択がある.
1322: \begin{enumerate}
1323: \item {\tt OX\_DATA} のみを用いて CMObject を送る.
1324: \item {\tt OX\_SECURED\_DATA} のみを用いて CMObject を送る.
1325: \item {\tt OX\_DATA} および
1326: {\tt OX\_SECURED\_DATA} を混在して
1327: 使用できるようにする.
1328: \item {\tt OX\_DATA} のみを用いてかつ mathcap も用いない(一番高速).
1329: \end{enumerate}
1330: 1 の短所は, mathcap の実装が不十分で,
1331: 理解できない CMObject をうけとると,
1332: 以後の CMObject は理解できなくなる.
1333: 1 の長所は, 長さフィールドの計算を
1334: おこなわないため, データを送り出す側に負担がかからないことである.
1335: 2 の長所は, mathcap の実装が不十分で,
1336: 理解できない CMObject をうけとっても,
1337: 長さフィールドを用いて, 通信回線のダウンを
1338: 防ぐことができる.
1339: 2 の短所は, 長さフィールドの計算を
1340: おこなうため, データを送り出す側に負担がかかることである.
1341:
1342: 現在のすべてのサンプルサーバは, 1, 4 のみを実装している.
1343:
1344:
1345: \subsection{サーバスタックマシンはローカルな拡張機能をもってよい}
1346:
1347: \begin{verbatim}
1348: #define CMO_PRIVATE 0x7fff0000
1349: \end{verbatim}
1350:
1351: {\tt CMO\_PRIVATE} = {\tt OX\_PRIVATE} = {\tt SM\_PRIVATE}
1352: よりはじまる, 0x10000 個の ID は, private 領域として予約されている.
1353: 各サーバの開発者間で表現方法につきまだ合意がないような, CMObject,
1354: OXobject, SMobject を表現するために使用する.
1355:
1356: \subsection{MathLink や open math などの通信規約の実装}
1357:
1358: Open asir, open sm1 と Mathematica の用いている MathLink や
1359: Open Math (\cite{openmath})
1360: プロトコルを変換するための
1361: ライブラリやサーバを用意すれば, {\tt asir} や {\tt kan/sm1} の
1362: 内部構造を理解することなしに, これらに準拠したシステムと通信できる.
1363:
1364: \subsection{共通スタックマシン言語}
1365:
1366: CMO に付随した, たとえば, Integer 32 に対する,
1367: add, sub, mul, などの基本的な計算は {\tt SM\_executeFunction}
1368: で全てのシステムで実行できるように検討している.
1369: スタックマシンの制御構造についても検討している.
1370:
1371:
1372:
1373: \section{コントロールメッセージ (SMObject/TCPIP/Control)}
1374:
1375: \begin{enumerate}
1376: \item
1377: サーバは {\tt SM\_control\_reset\_connection}
1378: メッセージを受信したら, 現在の計算を中断する.
1379: 中断操作は細心の注意をもって行なわないといけない.
1380: サンプルサーバ ({\tt oxmain.c})では, コントロールメッセージの
1381: 処理は別のプロセスがおこなっており, SIGUSR1 割り込みをスタックマシンへ
1382: かける.
1383: もしサーバがメッセージの通信中であれば, このコントロールメッセージ
1384: をすぐには実行せず, メッセージ通信を終了するのを待つ.
1385: 当然, メッセージを発信中に, このメッセージを送信してもいけない.
1386: (Java 風にいえば, すべての メッセージは synchronized object である.)
1387: また, たとえば file IO なども, 中断をうけてはならない, synchronized な
1388: 操作であろう.
1389: クライアントがサーバに controlResetConnection コントロールメッセージを
1390: おくったら, サーバは, 現在の受信バッファをすべてクリアし,
1391: クライアントへ
1392: {\tt OX\_SYNC\_BALL}
1393: を送る.
1394: クライアントは, コントロールメッセージをおくったあと,
1395: 待機モードに入り, {\tt OX\_SYNC\_BALL}
1396: をうけとるまですべてのメッセージを読み飛ばす.
1397: クライアントは {\tt OX\_SYNC\_BALL} をうけとったら,
1398: サーバに {\tt OX\_SYNC\_BALL} を送る.
1399: サーバは, 最初の {\tt OX\_SYNC\_BALL} を投げたあと,
1400: 待機モードに入り,
1401: {\tt OX\_SYNC\_BALL}
1402: をうけとるまですべてのメッセージを読み飛ばす.
1403: %% 最後に, サーバ
1404: %% はすべての操作が終了したことを通知するため,
1405: %% クライアントに
1406: %% {\tt OX\_SYNC\_BALL} を投げる.
1407: \\ Request:
1408: \begin{tabular}{|c|c|} \hline
1409: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_control\_reset\_connection} \\
1410: \hline
1411: \end{tabular}
1412: \\ Result:
1413: \begin{tabular}{|c|c|} \hline
1414: {\tt int32 OX\_DATA} & {\it CMO\_INT32 result} \\
1415: \hline
1416: \end{tabular}
1417:
1418:
1419:
1420: \item
1421: サーバはこのメッセージを受信したらただちにコントロールメッセージへの
1422: 返答をおくり, すべてのファイルをクローズして終了する.
1423: \\ Request:
1424: \begin{tabular}{|c|c|} \hline
1425: {\tt int32 OX\_COMMAND} & {\tt int32 SM\_control\_kill} \\
1426: \hline
1427: \end{tabular}
1428: \\ Result:
1429: Empty \\
1430:
1431:
1432: \end{enumerate}
1433:
1434: \medbreak
1435: \noindent
1436: {\bf 例}: (シリアル番号は省略してある.)\
1437: \begin{verbatim}
1438: 0 0 2 01 (OX_COMMAND)
1439: 0 0 4 06 (SM_control_reset_connection)
1440: \end{verbatim}
1441:
1442: Reset に対する返事.
1443: \begin{verbatim}
1444: 0 0 2 02 (OX_DATA)
1445: 0 0 0 2 (CMO_INT32)
1446: 0 0 0 0 ( 0 )
1447: \end{verbatim}
1448:
1449:
1450: 第1のチャンネルでは次の {\tt OX\_SYNC\_BALL} が交換されて同期が
1451: 取られる.
1452: \begin{verbatim}
1453: 0 0 2 03 (OX_SYNC_BALL)
1454: \end{verbatim}
1455:
1456: \section{TCP/IP でのセッションのスタート}
1457: コントロールプロセス, 計算プロセス
1458: ともに, 起動直後に
1459: 1 byte のデータを書き出し flush する.
1460: そのあと, 1 byte のデータを読み込む.
1461: クライアントはコントロールプロセス, 計算プロセス
1462: につながるファイルディスクリプタの両方へ
1463: 1 byte のデータを書き出し flush する.
1464: 1 byte のデータは,
1465: {\tt 0}, {\tt 1}, {\tt FF} のどれかであり,
1466: {\tt 0} は以下の通信において {\tt int32} をおくるのに,
1467: network byte order を使用したい,
1468: {\tt 1} は以下の通信において {\tt int32} をおくるのに,
1469: little indian を使用したい,
1470: {\tt FF} は以下の通信において {\tt int32} をおくるのに,
1471: big indian を使用したい,
1472: という意味である.
1473: 両者の希望が一致しない場合はつねに {\tt 0} (network byte order)
1474: を使用する.
1475: Network byte order しか実装していないシステムでは,
1476: セッションのスタート直後に {\tt 0} をおくればよい.
1477: ただし効率が問題となる通信において, network byte order への変換は
1478: おおきなボトルネックとなることがあることを了解しておくべきである.
1479:
1480: \begin{verbatim}
1481: #define OX_BYTE_NETWORK_BYTE_ORDER 0
1482: #define OX_BYTE_LITTLE_INDIAN 1
1483: #define OX_BYTE_BIG_INDIAN 0xff
1484: \end{verbatim}
1485:
1486:
1487: \section{ オブジェクトの文字列表現 }
1488:
1489: 文字列表現は, システム xxx のマニュアルに記述されている一次元的入出力形式に
1490: したがう.
1491:
1492:
1493: \section{ 数, 多項式 の CMO 表現 }
1494:
1495:
1496: タグの種類.
1497: @../SSkan/plugin/cmotag.h
1498: \begin{verbatim}
1499: #define CMO_MONOMIAL32 19
1500: #define CMO_ZZ 20
1501: /* #define CMO_ZZ 32 */
1502: #define CMO_QQ 21
1503: #define CMO_ZERO 22
1504: /* #define CMO_DMS 23 Distributed monomial system */
1505: #define CMO_DMS_GENERIC 24
1506: #define CMO_DMS_OF_N_VARIABLES 25
1507: #define CMO_RING_BY_NAME 26
1508: #define CMO_DISTRIBUTED_POLYNOMIAL 31
1509: #define CMO_RATIONAL 34
1510:
1511:
1512: #define CMO_INDETERMINATE 60
1513: #define CMO_TREE 61
1514: #define CMO_LAMBDA 62 /* for function definition */
1515: \end{verbatim}
1516:
1517: 以下, グループ CMObject/Basic1, CMObject/Tree
1518: および CMObject/DistributedPolynomial
1519: に属する CMObject の形式を説明する.
1520: \noroa{ tagged list を導入すべきか? cf. SSkan/plugin/cmo.txt }
1521:
1522: 拡張 BNF 記法と CMOexpression をまぜた記法で定義する.
1523: --- ではじまる文はコメントである.
1524:
1525: \bigbreak
1526: \noindent
1527: Group CMObject/Basic1 requires CMObject/Basic0. \\
1528: ZZ, QQ, Zero, Rational, Indeterminate,$\in$ CMObject/Basic1. \\
1529: \begin{eqnarray*}
1530: \mbox{Zero} &:& ({\tt CMO\_ZERO}) \\
1531: & & \mbox{ --- ユニバーサルな ゼロを表す. } \\
1532: \mbox{ZZ} &:& ({\tt CMO\_ZZ},{\sl int32}\, f, {\sl byte}\, \mbox{a[1]}, \ldots
1533: {\sl byte}\, \mbox{a[m]} ) \\
1534: &:& \mbox{ --- bignum をあらわす. a[i] についてはあとで説明}\\
1535: \mbox{QQ} &:& ({\tt CMO\_QQ}, {\sl ZZ}\, a, {\sl ZZ}\, b) \\
1536: & & \mbox{ --- 有理数 $a/b$ を表す. } \\
1537: \mbox{Rational} &:& ({\tt CMO\_RATIONAL}, {\sl object}\, a, {\sl object}\, b) \\
1538: & & \mbox{ --- $a/b$ を表す. } \\
1539: \mbox{Indeterminate} &:& ({\tt CMO\_INDETERMINATE}, {\sl Cstring}\, v) \\
1540: & & \mbox{ --- 変数名 $v$ . } \\
1541: \end{eqnarray*}
1542:
1543: Indeterminate は変数名をあらわす.
1544: v はバイト列であればなにを用いてもよいが,
1545: システム毎に変数名として用いられるバイト列は制限がある.
1546: 各システム xxx は任意の文字列を各システム固有の変数名へ1対1に変換できるように
1547: 実装しないといけない.
1548: (これを
1549: {\tt Dx} は {\tt \#dx} と変換するなどの
1550: escape sequence を用いて実現するのは, 無理があるようである.
1551: テーブルを作成する必要があるであろう.)
1552:
1553: \noindent
1554: Group CMObject/Tree requires CMObject/Basic1. \\
1555: Tree, Lambda $\in$ CMObject/Basic1. \\
1556: \begin{eqnarray*}
1557: \mbox{Tree} &:& ({\tt CMO\_TREE}, {\sl Cstring}\, name,
1558: {\sl Cstring}\, cdname, {\sl List}\, leaves) \\
1559: & & \mbox{ --- 名前 name の定数または関数. 関数の評価はおこなわない. } \\
1560: & & \mbox{ --- cdname は空文字列でなければ name の意味が説明されている
1561: OpenMath CD (content dictionary) の名前. } \\
1562: \mbox{Lambda} &:& ({\tt CMO\_LAMBDA}, {\sl List}\, args,
1563: {\sl Tree} body) \\
1564: & & \mbox{ --- body を args を引数とする関数とする. } \\
1565: & & \mbox{ --- optional な引数が必要なときは, leaves の後へつづける.} \\
1566: \end{eqnarray*}
1567:
1568: 数式を処理するシステムでは, Tree 構造が一般にもちいられる.
1569: たとえば, $\sin(x+e)$ は,
1570: {\tt (sin, (plus, x, e))}
1571: なる Tree であらわすのが一般的である.
1572: Tree の表現を スタックマシンのレベルでおこなうとすると,
1573: {\tt ox\_BEGIN\_BLOCK}, {\tt ox\_END\_BLOCK} で評価を抑制するのが
1574: 一つの方法である (cf. Postscript の {\tt \{ }, {\tt \} }).
1575: たとえば上の方法では
1576: {\tt x, e, plus, sin } を begin block, end block でかこめばよろしい.
1577: われわれはスタックマシンの実装をなるべく簡単にするという立場をとりたい,
1578: また数学オブジェクトを OX スタックマシンと CMObject を混在して表現したく
1579: ない.
1580: したがって,
1581: Tree 構造は Open Math 風の表現をもちいた CMO を導入することにした.
1582: またこのほうが, われわれの想定するシステム xxx において, Open XM 対応が
1583: はるかに容易である.
1584: なお, Tree は, Open Math では, Symbol, Application のメカニズムに相当する.
1585:
1586: Lambda は関数を定義するための関数である.
1587: Lisp の Lambda 表現と同じ.
1588:
1589:
1590: \bigbreak
1591: 次に, 分散表現多項式に関係するグループを定義しよう.
1592:
1593: \medbreak
1594: \noindent
1595: Group CMObject/DistributedPolynomials requires CMObject/Basic0,
1596: CMObject/Basic1. \\
1597: Monomial, Monomial32, Coefficient, Dpolynomial, DringDefinition,
1598: Generic DMS ring, RingByName, DMS of N variables $\in$
1599: CMObject/DistributedPolynomials. \\
1600: \begin{eqnarray*}
1601: \mbox{Monomial} &:& \mbox{Monomial32}\, |\, \mbox{Zero} \\
1602: \mbox{Monomial32}&:& ({\tt CMO\_MONOMIAL32}, {\sl int32}\, n,
1603: {\sl int32}\, \mbox{e[1]}, \ldots,
1604: {\sl int32}\, \mbox{e[n]}, \\
1605: & & \ \mbox{Coefficient}) \\
1606: & & \mbox{ --- e[i] で, $n$ 変数 monomial
1607: $x^e = x_1^{e_1} \cdots x_n^{e_n}$ の各指数 $e_i$
1608: をあらわす.} \\
1609: \mbox{Coefficient}&:& \mbox{ZZ} | \mbox{Integer32} \\
1610: \mbox{Dpolynomial}&:& \mbox{Zero} \\
1611: & & |\ ({\tt CMO\_DISTRIBUTED\_POLYNOMIAL},{\sl int32} m, \\
1612: & & \ \ \mbox{DringDefinition},
1613: [\mbox{Monomial32}|\mbox{Zero}], \\
1614: & &\ \
1615: \{\mbox{Monomial32}\}) \\
1616: & &\mbox{--- m はモノミアルの個数である.}\\
1617: \mbox{DringDefinition}
1618: &:& \mbox{DMS of N variables} \\
1619: & & |\ \mbox{RingByName} \\
1620: & & |\ \mbox{Generic DMS ring} \\
1621: & & \mbox{ --- 分散表現多項式環の定義. } \\
1622: \mbox{Generic DMS ring}
1623: &:& ({\tt CMO\_DMS\_GENERIC})\ 新版はこちら\\
1624: \mbox{RingByName}&:& ({\tt CMO\_RING\_BY\_NAME}, {\sl Cstring} s) \\
1625: & & \mbox{ --- 名前 s で, 格納された ring 定義.} \\
1626: \mbox{DMS of N variables}
1627: &:& ({\tt CMO\_DMS\_OF\_N\_VARIABLES}, \\
1628: & & \ ({\tt CMO\_LIST}, {\sl int32}\, \mbox{m},
1629: {\sl Integer32}\, \mbox{n}, {\sl Integer32}\,\mbox{p} \\
1630: & & \ \ [,{\sl object}\,\mbox{s}, {\sl Cstring}\,\mbox{c},
1631: {\sl List}\, \mbox{vlist},
1632: {\sl List}\, \mbox{wvec}, {\sl List}\, \mbox{outord}]) \\
1633: & & \mbox{ --- m はあとに続く要素の数} \\
1634: & & \mbox{ --- n は変数の数, p は 標数} \\
1635: & & \mbox{ --- s は ring の名前} \\
1636: & & \mbox{ --- c は係数環, QQ, ZZ の場合は文字列で QQ, ZZ と書く.} \\
1637: & & \mbox{ --- vlist は Indeterminate のリスト(新版)} \\
1638: & & \mbox{ --- wvec は order をきめる weight vector,} \\
1639: & & \mbox{ --- outord は出力するときの変数順序.} \\
1640: \end{eqnarray*}
1641:
1642: 以下, 以上の CMObject にたいする,
1643: xxx = asir, kan の振舞いを記述する.
1644:
1645: \subsection{ Zero}
1646: CMO では ゼロの表現法がなんとうりもあるが,
1647: どのようなゼロをうけとっても,
1648: システムのゼロに変換できるべきである.
1649: (たとえば, asir は 0 はただ一つ.)
1650:
1651:
1652:
1653: \subsection{ 整数 ZZ }
1654:
1655: \begin{verbatim}
1656: #define CMO_ZZ 20
1657: \end{verbatim}
1658:
1659:
1660: この節ではOpen xxx 規約における任意の大きさの整数(bignum)の扱いについて
1661: 説明する.
1662: Open XM 規約における多重精度整数を表すデータ型 CMO\_ZZ は GNU MPライブ
1663: ラリなどを参考にして設計されていて, 符号付き絶対値表現を用いている.
1664: (cf. {\tt kan/sm1} の配布ディレクトリのなかの {\tt plugin/cmo-gmp.c})
1665: CMO\_ZZ は次の形式をとる.\\
1666: \begin{tabular}{|c|c|c|c|c|}
1667: \hline
1668: {\tt int32 CMO\_ZZ} & {\tt int32 $f$} & {\tt int32 $b_0$} & $\cdots$ &
1669: {\tt int32 $b_{n}$} \\
1670: \hline
1671: \end{tabular} \\
1672: $f$ は32bit整数である.
1673: $b_0, \ldots, b_n$ は unsigned int32 である.
1674: $|f|$ は $n+1$ である.
1675: この CMO の符号は $f$ の符号で定める.
1676: 前述したように, 32bit整数の負数は 2 の補数表現で表される.
1677:
1678: Open xxx 規約では上の CMO は以下の整数を意味する.
1679: \[
1680: \mbox{sgn}(f)\times (b_0 R^{0}+ b_1 R^{1} + \cdots + b_{n-1}R^{n-1} + b_n R^n).
1681: \]
1682: ここで $R = 2^{32}$ である.
1683: {\tt int32} を network byte order で表現しているとすると,
1684: 例えば, 整数 $14$ は CMO\_ZZ で表わすと,
1685: \[
1686: \mbox{(CMO\_ZZ, 1, 0, 0, 0, e)},
1687: \]
1688: と表わす.
1689: これはバイト列では
1690: \[
1691: \mbox{\tt 00 00 00 14 00 00 00 01 00 00 00 0e}
1692: \]
1693: となる.
1694:
1695:
1696: なお ZZ の 0 ( (ZZ) 0 と書く ) は,
1697: {\tt (CMO\_ZZ, 00,00,00,00)}
1698: と表現する.
1699:
1700:
1701: \subsection{ 分散表現多項式 Dpolynomial }
1702:
1703: 環とそれに属する多項式は次のような考えかたであつかう.
1704:
1705: Generic DMS ring に属する元は,
1706: 変数を $n$ 個持つ 適当な係数集合 $K$ を持つ多項式環 $K[x_1, \ldots, x_n]$
1707: の元である.
1708: 係数集合 $K$ がなにかは, 実際データを読み込み, Coefficient を見た段階で
1709: わかる.
1710: この環に属する多項式を CMO 形式でうけとった場合, 各サーバはその
1711: サーバの対応する Object に変換しないといけない.
1712: この変換の仕方は, 各サーバ毎にきめる.
1713:
1714: Asir の場合は, $K[x_1, \ldots, x_n]$ の元は分散表現多項式に変換される.
1715: \noroa{ でも, order はどうなるの? }
1716:
1717: {\tt kan/sm1} の場合は事情は複雑である.
1718: {\tt kan/sm1} は, Generic DMS ring にあたる クラスをもたない.
1719: つまり, Default で存在する, $n$ 変数の分散表現多項式環は存在しないわけである.
1720: したがって, {\tt kan/sm1} では, DMS of N variables が来た場合,
1721: これを CurrentRing の元として読み込む. CurrentRing の変数の数が $n'$
1722: で, $n' < n$ だと新しい多項式環を生成してデータを読み込む.
1723: Order その他の optional 情報はすべて無視する.
1724:
1725: DMS の 2 番目のフィールドで,
1726: Ring by Name を用いた場合, 現在の名前空間で変数 yyy に格納された ring object
1727: の元として, この多項式を変換しなさいという意味になる.
1728: {\tt kan/sm1} の場合, 環の定義は ring object として格納されており,
1729: この ring object を 変数 yyy で参照することにより CMO としてうけとった
1730: 多項式をこの ring の元として格納できる.
1731:
1732:
1733:
1734:
1735:
1736: \medbreak \noindent
1737: {\bf Example}:
1738: (すべての数の表記は 16 進表記)
1739: {\footnotesize \begin{verbatim}
1740: Z/11Z [6 variables]
1741: (kxx/cmotest.sm1) run
1742: [(x,y) ring_of_polynomials ( ) elimination_order 11 ] define_ring ;
1743: (3x^2 y). cmo /ff set ;
1744: [(cmoLispLike) 1] extension ;
1745: ff ::
1746: Class.CMO CMO StandardEncoding: size = 52, size/sizeof(int) = 13,
1747: tag=CMO_DISTRIBUTED_POLYNOMIAL
1748:
1749: 0 0 0 1f 0 0 0 1 0 0 0 18 0 0 0 13 0 0 0 6
1750: 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1
1751: 0 0 0 0 0 0 0 2 0 0 0 3
1752:
1753: ff omc ::
1754: (CMO_DISTRIBUTED_POLYNOMIAL[1f],[size=]1,(CMO_DMS_GENERIC[18],),
1755: (CMO_MONOMIAL32[13],3*x^2*y),),
1756: \end{verbatim} }
1757: length は, monomial の数$+2$ である.
1758: $ 3 x^2 y$ は 6 変数の多項式環の元としてみなされている.
1759: %%Prog: (3x^2 y). cmosave ===> debug/cmodata1.cmo
1760: %%\\ 反省: 分散多項式の定義で,
1761: %%{\tt CMO\_LIST} でなく, {\tt CMO\_DMS} がはじめにくるべきだったのでは?
1762: %%あたらしい 分散多項式の定義は次のようにすべき:
1763: %% 修正済み. 1999, 9/13
1764:
1765:
1766:
1767: \section{再帰表現多項式の定義} %% From this/noro/rp.tex
1768:
1769: \begin{verbatim}
1770: #define CMO_RECURSIVE_POLYNOMIAL 27
1771: #define CMO_POLYNOMIAL_IN_ONE_VARIABLE 33
1772: \end{verbatim}
1773:
1774: Group CMObject/RecursivePolynomial requires CMObject/Basic0, CMObject/Basic1.\\
1775: Polynomial in 1 variable, Coefficient, Name of the main variable,
1776: Recursive Polynomial, Ring definition for recursive polynomials
1777: $\in$ CMObject/RecursivePolynomial \\
1778:
1779: \begin{eqnarray*}
1780: \mbox{Polynomial in 1 variable} &:&
1781: \mbox{({\tt CMO\_POLYNOMIAL\_IN\_ONE\_VARIABLE},\, {\sl int32}\, m, } \\
1782: & & \quad \mbox{ Name of the main variable }, \\
1783: & & \quad \mbox{ \{ {\sl int32} e, Coefficient \}} \\
1784: & & \mbox{ --- m はモノミアルの個数. } \\
1785: & & \mbox{ --- e, Coefficieint はモノミアルを表現している. } \\
1786: & & \mbox{ --- 順序の高い順にならべる. 普通は巾の高い順.} \\
1787: & & \mbox{ --- e は 1変数多項式の巾をあらわす. } \\
1788: \mbox{Coefficient} &:& \mbox{ ZZ} \,|\, \mbox{ QQ } \,|\,
1789: \mbox{ integer32 } \,|\,
1790: \mbox{ Polynomial in 1 variable } \\
1791: & & \quad \,|\, \mbox{Tree} \,|\, \mbox{Zero} \,|\,\mbox{Dpolynomial}\\
1792: \mbox{Name of the main variable } &:&
1793: \mbox{ {\sl int32} v } \\
1794: & & \mbox{ --- v は 変数番号 (0 からはじまる) を表す. } \\
1795: \mbox{Recursive Polynomial} &:&
1796: \mbox{ ( {\tt CMO\_RECURSIVE\_POLYNOMIAL}, } \\
1797: & & \quad \mbox{ Ring definition for
1798: recursive polynomials, } \\
1799: & & \quad
1800: \mbox{ Polynomial in 1 variable}\, | \, \mbox{Coefficient} \\
1801: \mbox{Ring definition for recursive polynomials }
1802: & : & \mbox{ {\sl List} v } \\
1803: & & \quad \mbox{ --- v は, 変数名(indeterminate) のリスト. } \\
1804: & & \quad \mbox{ --- 順序の高い順. } \\
1805: \end{eqnarray*}
1806:
1807: \bigbreak
1808: \noindent
1809: 実例:
1810: \begin{verbatim}
1811: (CMO_RECURSIEVE_POLYNOMIAL, ("x","y"),
1812: (CMO_POLYNOMIAL_IN_ONE_VARIABLE, 2, 0, <--- "x"
1813: 3, (CMO_POLYNOMIAL_IN_ONE_VARIABLE, 2, 1, <--- "y"
1814: 5, 1234,
1815: 0, 17),
1816: 1, (CMO_POLYNOMIAL_IN_ONE_VARIABLE, 2, 1, <--- "y"
1817: 10, 1,
1818: 5, 31)))
1819: \end{verbatim}
1820: これは,
1821: $$ x^3 (1234 y^5 + 17 ) + x^1 (y^10 + 31 y^5) $$
1822: をあらわす.
1823: 非可換多項式もこの形式であらわしたいので, 積の順序を上のように
1824: すること. つまり, 主変数かける係数の順番.
1825:
1826: int32 と Integer32 の違い.
1827: 次にくるデータがかならず int32 とわかっておれば,
1828: int32 を用いる.
1829: 次のデータ型がわからないとき Integer32 を用いる.
1830:
1831:
1832: \section{CPU依存の double }
1833:
1834: \begin{verbatim}
1835: #define CMO_64BIT_MACHINE_DOUBLE 40
1836: #define CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE 41
1837: #define CMO_128BIT_MACHINE_DOUBLE 42
1838: #define CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE 43
1839: \end{verbatim}
1840:
1841: \noindent
1842: Group CMObject/MachineDouble requires CMObject/Basic0.\\
1843: 64bit machine double, Array of 64bit machine double
1844: 128bit machine double, Array of 128bit machine double
1845: $\in$ CMObject/MachineDouble \\
1846:
1847: \begin{eqnarray*}
1848: \mbox{64bit machine double} &:&
1849: \mbox{({\tt CMO\_64BIT\_MACHINE\_DOUBLE}, } \\
1850: & & \quad \mbox{ {\sl byte} s1 , \ldots , {\sl byte}} s8)\\
1851: & & \mbox{ --- s1, $\ldots$, s8 は {\tt double} (64bit). } \\
1852: & & \mbox{ --- この表現はCPU依存である.}\\
1853: && \mbox{\quad\quad mathcap に CPU 情報を付加しておく.} \\
1854: \mbox{Array of 64bit machine double} &:&
1855: \mbox{({\tt CMO\_ARRAY\_OF\_64BIT\_MACHINE\_DOUBLE}, {\sl int32} m, } \\
1856: & & \quad \mbox{ {\sl byte} s1[1] , \ldots , {\sl byte}}\, s8[1], \ldots , {\sl byte}\, s8[m])\\
1857: & & \mbox{ --- s*[1], $\ldots$ s*[m] は m 個の double (64bit) である. } \\
1858: & & \mbox{ --- この表現はCPU依存である.}\\
1859: & & \mbox{ \quad\quad mathcap に CPU 情報を付加しておく.} \\
1860: \mbox{128bit machine double} &:&
1861: \mbox{({\tt CMO\_128BIT\_MACHINE\_DOUBLE}, } \\
1862: & & \quad \mbox{ {\sl byte} s1 , \ldots , {\sl byte}} s16)\\
1863: & & \mbox{ --- s1, $\ldots$, s16 は {\tt long double} (128bit). } \\
1864: & & \mbox{ --- この表現はCPU依存である.}\\
1865: && \mbox{\quad\quad mathcap に CPU 情報を付加しておく.} \\
1866: \mbox{Array of 128bit machine double} &:&
1867: \mbox{({\tt CMO\_ARRAY\_OF\_128BIT\_MACHINE\_DOUBLE}, {\sl int32} m, } \\
1868: & & \quad \mbox{ {\sl byte} s1[1] , \ldots , {\sl byte}} s16[1], \ldots , {\sl byte} s16[m])\\
1869: & & \mbox{ --- s*[1], $\ldots$ s*[m] は m 個の long double (128bit) である. } \\
1870: & & \mbox{ --- この表現はCPU依存である.}\\
1871: & & \mbox{ \quad\quad mathcap に CPU 情報を付加しておく.}
1872: \end{eqnarray*}
1873:
1874: \bigbreak
1875: 次に IEEE 準拠の float および Big float を定義しよう.
1876: \begin{verbatim}
1877: #define CMO_BIGFLOAT 50
1878: #define CMO_IEEE_DOUBLE_FLOAT 51
1879: \end{verbatim}
1880:
1881: IEEE 準拠の float については,
1882: IEEE 754 double precision floating-point format
1883: (64 bit) の定義を見よ.
1884:
1885: \noindent
1886: Group CMObject/Bigfloat requires CMObject/Basic0, CMObject/Basic1.\\
1887: Bigfloat
1888: $\in$ CMObject/Bigfloat \\
1889:
1890: \begin{eqnarray*}
1891: \mbox{Bigfloat} &:&
1892: \mbox{({\tt CMO\_BIGFLOAT}, } \\
1893: & & \quad \mbox{ {\sl ZZ} a , {\sl ZZ} e})\\
1894: & & \mbox{ --- $a \times 2^e$ をあらわす. } \\
1895: \end{eqnarray*}
1896:
1897:
1898:
1899: \section{ OX Local Data }
1900:
1901: システム固有の Object の内部表現は,
1902: \begin{verbatim}
1903: #define OX_LOCAL_OBJECT 0x7fcdef30
1904: \end{verbatim}
1905: より増えていく数でタグづけする.
1906: 0x200000 の領域をわりふることとする.
1907: タグはシステムごとに割り振る.
1908: \begin{verbatim}
1909: #define OX_LOCAL_OBJECT_ASIR (OX_LOCAL_OBJECT+0)
1910: #define OX_LOCAL_OBJECT_SM1 (OX_LOCAL_OBJECT+1)
1911: \end{verbatim}
1912: これらは, {\tt OX\_DATA} の代わりとして使用できる.
1913:
1914: \section{ CMO ERROR2 }
1915:
1916: エラー番号 (共通番号)
1917: \begin{verbatim}
1918: #define Broken_cmo 1
1919: #define mathcap_violation 2
1920: \end{verbatim}
1921:
1922:
1923: \section{メンバの再定義に関する注意}
1924:
1925: われわれは,
1926: Coefficient を Group DistributedPolynomials の メンバとして定義した.
1927: これを新しい group のメンバーとして定義を拡張することができる.
1928: たとえば, Coefficient を, 再帰表現多項式のメンバとしても定義できる.
1929: この場合副作用として, DistributedPolynomials のメンバとしての Coeffients
1930: の意味も拡張される.
1931: システムがそのあたらしい DistributedPolynomials をすくなくとも CMO としては
1932: 理解できないといけないが, それを実際にそのシステムのローカルな Object に
1933: 変換できるかはシステム依存である.
1934: このような再定義をゆるすのは, 一般的な実装法がやはりこのような仕組みだから
1935: である.
1936: mathcap にデータ転送の保護機能はこのような再帰的表現もチェックできないと
1937: いけない.
1938:
1939:
1940:
1941: \section{ 実装, デバッグ, 検証 }
1942:
1943: \subsection{ 実装の手順 }
1944:
1945: ソフト xxx を, open XM 対応にするのには以下のような
1946: 手順をふむと開発が容易であろう.
1947: \begin{enumerate}
1948: \item[Step 1.]
1949: {\tt executeStringByLocalParser}
1950: および {\tt popString} の機能を実現して,
1951: xxx をライブラリとしてまとめ, 他のソフトとリンクして
1952: 使用できるかテストする.
1953: C での実現の場合 割り込みの取扱に注意を要する.
1954: これだけの実現でも, サンプルサーバ
1955: ({\tt nullserver00.c}) とリンクすれば,
1956: open XM 対応のクライアントと通信できる.
1957: クライアント側では, このシステムに対応した機能呼び出し
1958: プログラムを書く.
1959: \item[Step 2.]
1960: 次に, CMO を可能な限り実装する.
1961: open sm1 や open asir で, CMO 形式のデータを
1962: 作成して, 読み込めるかテストする.
1963: \item[Step 2'.]
1964: {\tt kan/sm1} の plugin として組み込むとサーバの開発が楽かもしれない.
1965: {\tt kan/sm1} のソースファイルのディレクトリ {\tt plugin} を見よ.
1966: \item[Step 3.]
1967: CMO の stream への転送, stream よりの転送は,
1968: 巨大データの送信受信にきわめて大切である.
1969: これを実装しサンプルサーバとリンクする.
1970: \end{enumerate}
1971:
1972:
1973: kan -- asir 間でも以上のように開発がすすんだ.
1974:
1975: Risa/Asir の開発が沼津の富士フォーラムでおこなわれていた
1976: ころ, 私が沼津を, 1996年, 1月19日に訪問し,
1977: {\tt Asir\_executeString()}
1978: の機能を野呂さんに書いてもらって, kan より asir を文字列で呼び出す
1979: 機能およびその逆を実現したのがことの発端である.
1980: たとえば, asir より kan/sm1 の機能を呼び出すには,
1981: \begin{verbatim}
1982: F = x; G = y;
1983: Ans = kan("(%p). (%p). mul toString",F,G)
1984: \end{verbatim}
1985: と入力すればよい.
1986: {\tt x} と {\tt y} の積が kan で解釈実行されて, 結果を
1987: もどす.
1988: このレベルの結合では kan/sm1 は, 内蔵インタプリタ付の
1989: ライブラリとして利用できてずいぶん便利である.
1990: この関数 {\tt kan} は {\tt builtin/parif.c} に組み込んだ.
1991: {\tt asir} は {\tt pari} の関数を組み込んでいるが, この組み込みの
1992: メカニズムを利用すると容易にリンクできた.
1993: 参照: {\tt noro/src/Old1/parif.c}.
1994:
1995: 次に, CMO Basic0 の機能を
1996: 1997, 5 月, 6 月に実現した.
1997: その後, 1997年 7 月に, SMObject/Basic1 の実装,
1998: 1997年 7 月には, 野呂がイタリアの CoCoA のワークショップにおいて,
1999: 大阿久の b-function を stratification 込みで計算する計算プログラムを
2000: asir, kan を連係してデモした. このときは, {\tt Sm1\_executeStringByLocalParser}
2001: 関数を用いて, ライブラリとしてリンクしてつかった.
2002: 1997 年 11 月に TCP/IP による, サーバスタックマシン間の通信の
2003: 実装をおこなっている.
2004: 通信の実装テストのために, Java および C で null server , null client
2005: を作成した. 以下, これにつき述べる.
2006:
2007:
2008: \subsection{ サンプルサーバ, クライアント }
2009:
2010: Open XM では, 現在のところ,
2011: サンプルサーバとして {\tt oxserver00.c} を提供している.
2012: このサーバをもとにして, {\tt asir} および {\tt kan/sm1}
2013: の open XM サーバを試験中である ({\tt ox\_asir}, {\tt ox\_sm1}).
2014: {\tt ox\_sm1} では, {\tt sm1stackmachine.c} が
2015: open XM スタックマシンを実現している.
2016: サンプルクライアントは, ネットワークにデータを送出および
2017: 受信する機能のみをもつ, {\tt testclient.c} を提供
2018: している.
2019: {\tt asir} および {\tt kan/sm1} には本格的な
2020: クライアント機能(open XM サーバを呼び出す
2021: 機能)を組み込んである.
2022: サーバを起動するプログラムは, {\tt kan/sm1} グループでは,
2023: {\tt ox} なる名前で, {\tt asir} グループでは,
2024: {\tt ox\_lauch} なる名前であるが, 機能は同じである.
2025: {\tt ox} のソースは {\tt oxmain.c} である.
2026:
2027:
2028: \subsubsection{ ox\_null }
2029:
2030: Basic0 のスタックマシンのソケットによる実装.
2031: スタックマシンは {\tt nullstackmachine.c} に実装されており,
2032: {\tt oxserver00.c} にリンクしてサーバとなる.
2033: サンプルサーバであり, これに CMO Basic0 仕様の関数を結合すれば,
2034: 一応 サーバが動作するはずである.
2035: スタックには,CMO の Basic0 の object へのポインタがそのまま push される.
2036: コントロール機能なし. 1997/11/29 版よりコントロール機能追加.
2037: @Old/nullserver00.c.19971122c,
2038: @Old/mytcpip.c.19971122c
2039:
2040: 現在はこのサーバはメンテナンスされていない
2041: (object 関係の関数を追加しないとコンパイルできない.)
2042:
2043: \subsubsection{ testclient }
2044:
2045:
2046: Java による実装:
2047: @Old/client.java.19971122c
2048: これも現在はふるい.
2049: OX パケットのシリアル番号に対応していない.
2050: ちかいうちに改訂する予定.
2051: {\tt executeString} および {\tt popString} を要請する能力しか持たない.
2052: 受信は スレッド {\tt listner} がおこなっている.
2053: 受信は byte データを表示するのみである.
2054: スレッドの優先度をうまくバランスとらないと, 受信データがあるのに
2055: 表示しなかったりする.
2056:
2057: C による {\tt testclient}
2058: 同じような機能をもつプログラムの実装もある.
2059: {\footnotesize \begin{verbatim}
2060: ./ox -ox ox_sm1 -host localhost -data 1300 -control 1200 (サーバの立ち上げ)
2061: ./testclient (testclient の立ち上げ)
2062: \end{verbatim}}
2063: これも現在はふるい.
2064:
2065: 田村 ({\tt tamura@math.kobe-u.ac.jp}) による Java への新しい実装がある
2066: (1999, 3月, 神戸大学修士論文).
2067:
2068: \subsubsection{ {\tt ox} }
2069: {\tt ox} は ox サーバをたちあげるためのプログラムである.
2070: クライアントよりサーバへ接続するには二つの方法がある.
2071: 一つは {\tt ox} で データとコントロール用の二つの
2072: ポート番号を明示的に起動し, クライアントがこのポートへつなぎに
2073: いく方法である.
2074: もう一つは, クライアント側でまず, 空いているポートを二つ
2075: さがし, それから {\tt ox} を {\tt -reverse} で起動して
2076: サーバ側がクライアントにつなぎにくる方法である.
2077: この場合, {\tt ox} はたとえば次のように起動される.
2078: {\footnotesize \begin{verbatim}
2079: /home/nobuki/kxx/ox -reverse -ox /home/nobuki/kxx/ox_sm1
2080: -data 1172 -control 1169 -pass 1045223078
2081: \end{verbatim} }
2082:
2083: {\tt ox} は, 子どもプロセスとして, {\tt ox\_asir}, {\tt ox\_sm1}
2084: などを起動するのであるが,
2085: これらのプロセスは
2086: 3 よりOX データ, コマンドを読み込み, 4 へ OX データを書き出す.
2087: 現在の実装では 3 と 4 は dup して同一視してしまっている.
2088: {\tt ox} はTCP/IP のデータ転送のポートを, 3, 4 へわりあてて,
2089: 子どもプロセスを起動する.
2090: {\footnotesize \begin{verbatim}
2091: close(fdControl); /* close(0); dup(fdStream); */
2092: dup2(fdStream,3);
2093: dup2(fdStream,4);
2094: \end{verbatim}}
2095:
2096:
2097: \subsubsection{ {\tt ox\_asir} phrase book}
2098:
2099: [ この節の記述は古い]
2100: CMObject と asir の object は次の規則にしたがって変換される.
2101: なお asir の object のタグをみるには関数 {\tt type} を用いる.
2102: \begin{enumerate}
2103: \item Null : 0 として使用される.
2104: \item Integer32 : 内部的にのみ使用される. 送出は, ZZ に変換される.
2105: -1 は (unsigned int) -1 に変換されてから, ZZ に変換されるので,
2106: 正の数となる.
2107: \item Cstring : 文字列 (type = 7) に変換される.
2108: \item ZZ : 数 (type = 1 ) に変換される.
2109: \item QQ : 数 (type = 1 ) に変換される.
2110: \item List : リスト (type = 4) に変換される.
2111: \item Dpolynomial : 分散表現多項式 (type = 9) に変換される.
2112: order はうけとったモノミアルのリストと同じ order である.
2113: \item RecursivePolynomial : 再帰表現多項式に変換される.
2114: 内部順序に自動変換される.
2115: \item Indeterminate : 不定元に変換される.
2116: \end{enumerate}
2117: 記述のない CMObject に関しては, 利用できない (cf. mathcap ).
2118:
2119: \noindent
2120: 問題点: 0 の扱いの仕様がまださだまっていない.
2121: Null が数 (type = 1) の 0 に変換される版もある.
2122:
2123: \medbreak
2124: \noindent
2125: 例:
2126: 分散表現多項式の $x^2-1$ の因数分解を asir にやってもらう
2127: OXexpression の列をあげる.
2128: {\footnotesize
2129: \begin{verbatim}
2130: (OX_DATA, (CMO_LIST, 4, CMO_DMS,CMO_DMS_GENERIC,
2131: (CMO_MONOMIAL32,1,2,(CMO_ZZ,1)),
2132: (CMO_MONOMIAL32,1,0,(CMO_ZZ,-1)))),
2133: (OX_DATA, (CMO_INT32,1))
2134: (OX_DATA, (CMO_STRING,"ox_dtop"))
2135: (OX_COMMAND,(SM_executeString))
2136:
2137: (OX_DATA, (CMO_INT32,1))
2138: (OX_DATA, (CMO_STRING,"fctr"))
2139: (OX_COMMAND,(SM_executeString))
2140:
2141:
2142: (OX_DATA, (CMO_INT32,1))
2143: (OX_DATA, (CMO_STRING,"ox_ptod"))
2144: (OX_COMMAND,(SM_executeString))
2145:
2146: (OX_COMMAND,(SM_popCMO))
2147: \end{verbatim}}
2148:
2149: ここで, ZZ の元を普通の整数表記であらわした.
2150: {\tt dtop1} および {\tt ptod1} はそれぞれ, 分散表現多項式を, Asir の再帰表現
2151: 多項式に, 逆に, Asir の再帰表現多項式を, 分散表現多項式に変換する,
2152: ユーザ定義の 1 引数関数である. %% kxx/oxasir.sm1
2153: これらの関数は Asir の リストにも作用させることが可能であり, その場合は
2154: 要素としてでてくる, 分散表現多項式 または Asir の再帰表現多項式
2155: を必要な形に変換する.
2156: {\tt fctr} は因数分解をする組み込み関数である.
2157:
2158: {\tt kxx/oxasir.asir} のソース.
2159: {\footnotesize \begin{verbatim}
2160: OxVlist = [x,y,z]$
2161:
2162: def ox_ptod(F) {
2163: extern OxVlist;
2164: if (type(F) == 4) return(map(ox_ptod,F));
2165: else if (type(F) == 2) return(dp_ptod(F,OxVlist));
2166: else return(F);
2167: }
2168:
2169: def ox_dtop(F) {
2170: extern OxVlist;
2171: if (type(F) == 4) return(map(ox_dtop,F));
2172: else if (type(F) == 9) return(dp_dtop(F,OxVlist));
2173: else return(F);
2174: }
2175:
2176: end$
2177: \end{verbatim}}
2178:
2179: \subsubsection{ {\tt ox\_sm1} phrase book }
2180:
2181: [ この節の記述は古い]
2182: CMObject と kan/sm1 の object は次の規則にしたがい変換される.
2183: なお, kan/sm1 の object のタグをみるには, {\tt tag} または {\tt etag}
2184: を用いる.
2185: \begin{enumerate}
2186: %% \item Error : Error (etag = 257) に変換される.
2187: \item Error2 : Error (etag = 257) に変換される.
2188: \item Null : null (tag = 0) に変換される.
2189: \item Integer32 : integer (tag = 1) に変換される.
2190: \item Cstring : 文字列 (type = 5) に変換される.
2191: \item ZZ : universalNumber (type = 15 ) に変換される.
2192: \item QQ : rational (tag = 16 ) に変換される.
2193: \item List : array (tag = 6) に変換される.
2194: \item Dpolynomial : 多項式 (tag = 9) に変換される.
2195: \end{enumerate}
2196:
2197:
2198: \noroa{ {\tt SS475/memo1.txt} も見よ.}
2199:
2200: 注意: {\tt ReverseOutputOrder = 1} (標準)
2201: のとき, {\tt xn, ..., x0, dn, ..., d0} の順番で
2202: ({\tt show\_ring} の形式) Dpolynomial に変換される
2203: (印刷形式だと,
2204: {\tt xn} は {\tt e}, {\tt d0} は {\tt h},
2205: {\tt x0} は {\tt E}, {\tt dn} は {\tt H}).
2206: たとえば,
2207: {\tt ox\_send\_cmo(id,<<1,0,0,0,0,0>>)} は,
2208: {\tt x2} に変換される.
2209: {\tt ox\_send\_cmo(id,<<0,0,1,0,0,0>>)} は,
2210: {\tt x0} に変換される.
2211:
2212: {\tt OxVersion} 変数で openXM のプロトコルの version を表す.
2213:
2214: \subsection{ 最小の TCP/IP クライアントの例 }
2215:
2216: Java または M2 によるソースコードを掲載の予定.
2217:
2218: \subsection{ クライアント asir, sm1 }
2219:
2220: sm1 については, ox.sm1 , oxasir.sm1 がクライアントパッケージ.
2221: {\tt ox}, {\tt ox\_asir}, {\tt ox\_sm1} の存在するパス,
2222: および sm1 より呼び出すための asir の関数定義である
2223: {\tt oxasir.asir} のあるパスを
2224: これらのパッケージに書き込んでおく必要がある.
2225:
2226: {\tt ox\_asir} は, {\tt asir} なる名前でよばれると
2227: asir として動作し, {\tt ox\_asir} なる名前でよばれると,
2228: open XM サーバとして動作する.
2229: {\tt /usr/local/lib/asir} または
2230: {\tt ASIR\_LIBDIR} へ {\tt ox\_asir} 実体をおき,
2231: {\tt ox\_launch} をおなじディレクトリへ {\tt ox\_asir} へのシンボリックリンク
2232: として作成する.
2233: コマンドサーチパスにあるディレクトリへ {\tt asir} を {\tt ox\_asir}
2234: へのシンボリックリンクとして作成する.
2235: {\footnotesize
2236: \begin{verbatim}
2237:
2238: This is Asir, Version 990413.
2239: Copyright (C) FUJITSU LABORATORIES LIMITED.
2240: 3 March 1994. All rights reserved.
2241: 0
2242: [324] ox_launch(0,"/usr/local/lib/asir/ox_asir");
2243: 1 <=== これがサーバの番号.
2244: [326] ox_execute_string(1,"fctr(x^10-1);");
2245: 0
2246: [327] ox_pop_local(1);
2247: [[1,1],[x-1,1],[x+1,1],[x^4+x^3+x^2+x+1,1],[x^4-x^3+x^2-x+1,1]]
2248: [328] ox_execute_string(1,"dp_ptod((x+y)^5,[x,y]);");
2249: 0
2250: [329] ox_pop_cmo(1);
2251: (1)*<<5,0>>+(5)*<<4,1>>+(10)*<<3,2>>+(10)*<<2,3>>+(5)*<<1,4>>+(1)*<<0,5>>
2252: [330] ox_rpc(1,"fctr",x^10-y^10);
2253: 0
2254: [331] ox_pop_local(1);
2255: [[1,1],[x^4-y*x^3+y^2*x^2-y^3*x+y^4,1],[x^4+y*x^3+y^2*x^2+y^3*x+y^4,1],[x+y,1],[x-y,1]]
2256: [332] ox_rpc(1,"fctr",x^1000-y^1000); ox_cmo_rpc もあり.
2257: 0
2258: [333] ox_flush(1);
2259: 1
2260: [334] ox_pop_local(1);
2261: 0
2262:
2263: ox_sync(1); --- sync ball を送る.
2264:
2265: \end{verbatim}}
2266:
2267: \subsection{開発中のサーバ, クランアント}
2268:
2269: Mathematica サーバ, クライアント : 小原.
2270: Java クライアント, Open Math proxy : 田村.
2271: Gnuplot サーバ, Macaulay 2 クライアント, サーバ,
2272: その他小さいソフト (Toric GB, Grobner fan)のサーバ,
2273: Algebraic equation solver by numerical method: 高山.
2274: Open Asir マニュアル, サンプル: 小原, 高山.
2275:
2276: 数学的におもしろい問題を実際にあつかってみないと
2277: わからない問題点もおおくあると思う.
2278: 現在, ${\cal A}$-超幾何関数の解のグラフ表示,
2279: パラメータ付積分のグラフ表示のソフトをかくことで
2280: さらに問題点をさぐることを
2281: 計画している.
2282: グレブナdeformation による多項式解の導出(線形および非線形方程式)
2283: は OpenXM 的なプログラムのおもしろい練習問題.
2284: Java の並列計算記述能力をつかって ox サーバを使うのもおもしろい.
2285:
2286: 世界中の人につかってもらえる規格にするには
2287: まだまだ実験と経験をかさねないといけない.
2288: Free Mathematical Software Initiative を作るべきだろう.
2289:
2290: \subsection{ Change log }
2291: \begin{enumerate}
2292: \item 1999/07 : {\tt CMO\_ZZ} の形式を変えた.
2293: \item 1999/09/7, 9/8 : 分散表現多項式, Mathcap, RecursivePolynomial,
2294: の形式を変えた. asir, sm1 に実装した. エラー処理のために,
2295: dupErrors, getsp を SM コマンドに加えた.
2296: \end{enumerate}
2297:
2298: \subsection{ }
2299: Java で sm1 サーバをすべて書いてみるか?
2300:
2301: \section{ どのように協調機能にすぐれた Math Soft を書くのか? }
2302:
2303: いくつかの経験的なプログラム作法をメモとしてまとめておく.
2304: \begin{enumerate}
2305: \item 文字列を読み込み, 計算して, また文字列を結果として出力する
2306: プログラムおよび関数は協調機能にすぐれたプログラムの基本である.
2307: グラフィカルインターフェースのみのプログラムは他のソフトと協調
2308: させるのがむずかしい.
2309: \item Output を読むのは人間とは限らない.
2310: Output の読者は, 他のソフトかもしれない.
2311: したがって, Output もやはり, 文法にしたがって出力すべきである.
2312: エラー出力も文法にしたがうべきである.
2313: \end{enumerate}
2314:
2315: \subsection{open gnuplot の実装}
2316: 書いてない.
2317:
2318: \subsection{open phc の実装}
2319: 書いてない.
2320:
2321: \subsection{open M2 の実装}
2322: 書いてない.
2323:
2324: この節の補足は,
2325: {\tt this/open/ohp} を見よ (Open XM day, 1999, 7/12 Mon の原稿)
2326:
2327: \section{ 新しい CMO の登録 }
2328:
2329: \subsection{新しい CMO を作るときの約束}
2330:
2331: CMO では, 再帰的なデータ表現をゆるしているので,
2332: Object を増やした場合, もとからある CMO の動作も拡張される.
2333: そのシステムが正しく動作するのか確認する必要がある.
2334: 計算することはできなくても, 通信の中断なしに,
2335: データの受渡しをできないといけない.
2336:
2337: \subsection{Open XM プロジェクトに参加するには?}
2338:
2339: Open XM にパッケージを加えてくれるのは大歓迎です.
2340: takayama@math.kobe-u.ac.jpに連絡下さい.
2341: 新しい CMO を必要なら加えて下さい.
2342: 加えた場合は
2343: \begin{enumerate}
2344: \item 定義した CMObject の形式的な定義と説明.
2345: \item システム xxx が, この CMObject に関してどのように振舞うかの説明.
2346: \item この CMObject, システム xxx に関する URL.
2347: \end{enumerate}
2348: をおくって下さい.
2349: 必要ならディスカッションをおこない, 確定版の仕様を作成し, 確定した段階で
2350: CMO のタグを発行し, この CMObject に関連する URL を
2351: Open XM ホームページ \cite{openxxx} よりリンクします.
2352:
2353:
2354:
2355: \section{Appendix: English translation}
2356:
2357: \noindent
2358: (This section has not been updated.)
2359:
2360: \subsection{Common Mathematical Object format}
2361:
2362: \begin{verbatim}
2363: #define LARGEID 0x7f000000
2364: #define CMO_ERROR2 (LARGEID+2)
2365: #define CMO_NULL 1
2366: #define CMO_INT32 2
2367: #define CMO_DATUM 3
2368: #define CMO_STRING 4
2369: #define CMO_LIST 17
2370: \end{verbatim}
2371:
2372: \bigbreak
2373: \noindent
2374: Group CMObject/Basic0 requires nothing. \\
2375: Error2, Null, Integer32, Datum, Cstring, List $\in$ CMObject/Basic0. \\
2376: Document of CMObject/Basic0 is at {\tt http://www.math.kobe-u.ac.jp/openxxx}
2377: (in Japanese) \\
2378: \begin{eqnarray*}
2379: \mbox{Error2}&:& ({\tt CMO\_ERROR2}, {\sl CMObject}\, \mbox{ob}) \\
2380: \mbox{Null} &:& ({\tt CMO\_NULL}) \\
2381: \mbox{Integer32}
2382: &:& ({\tt CMO\_INT32}, {\sl int32}\ \mbox{n}) \\
2383: \mbox{Datum} &:& ({\tt CMO\_DATUM}, {\sl int32}\, \mbox{n}, {\sl byte}\,
2384: \mbox{data[0]},
2385: \ldots , {\sl byte}\, \mbox{data[n-1]}) \\
2386: \mbox{Cstring}&:& ({\tt CMO\_STRING},{\sl int32}\, \mbox{n},
2387: {\sl string}\, \mbox{s}) \\
2388: \mbox{List} &:&
2389: \mbox{({\tt CMO\_LIST}, {\sl int32}\, m, {\sl CMObject}\, ob[1], $\ldots$,
2390: {\sl CMObject}\, ob[m])} \\
2391: & & \mbox{--- m is the length of the list.} \\
2392: \end{eqnarray*}
2393:
2394: In the definition of ``Cstring'', if we decompose ``{\sl string} s'' into
2395: bytes, then ``Cstring'' should be defined as
2396: \begin{eqnarray*}
2397: \mbox{Cstring}&:& ({\tt CMO\_STRING},{\sl int32}\, n,
2398: {\sl byte}\, \mbox{s[0]},
2399: \ldots, {\sl byte}\ \mbox{s[n-1]})
2400: \end{eqnarray*}
2401:
2402: \noindent
2403: Example:
2404: \begin{center}
2405: ({\tt CMO\_INT32}, 1234)
2406: \end{center}
2407: Example:
2408: \begin{center}
2409: ({\tt CMO\_STRING}, 5, "Hello")
2410: \end{center}
2411:
2412: \begin{verbatim}
2413: #define CMO_MONOMIAL32 19
2414: #define CMO_ZZ 20
2415: #define CMO_QQ 21
2416: #define CMO_ZERO 22
2417: #define CMO_DMS 23 /* Distributed monomial system */
2418: #define CMO_DMS_GENERIC 24
2419: #define CMO_DMS_OF_N_VARIABLES 25
2420: #define CMO_RING_BY_NAME 26
2421: \end{verbatim}
2422: \bigbreak
2423: \noindent
2424: Group CMObject/Basic1 requires CMObject/Basic0. \\
2425: ZZ, QQ, Zero $\in$ CMObject/Basic1. \\
2426: \begin{eqnarray*}
2427: \mbox{Zero} &:& ({\tt CMO\_ZERO}) \\
2428: & & \mbox{ --- universal zero } \\
2429: \mbox{ZZ} &:& ({\tt CMO\_ZZ},{\sl int32}\, f, {\sl byte}\, \mbox{a[1]}, \ldots
2430: {\sl byte}\, \mbox{a[m]} ) \\
2431: &:& \mbox{ --- bignum }\\
2432: \mbox{QQ} &:& ({\tt CMO\_QQ}, {\sl ZZ}\, a, {\sl ZZ}\, b) \\
2433: & & \mbox{ --- rational number $a/b$. } \\
2434: \end{eqnarray*}
2435:
2436: \bigbreak
2437: Let us define a group for distributed polynomials.
2438:
2439: \medbreak
2440: \noindent
2441: Group CMObject/DistributedPolynomials requires CMObject/Basic0,
2442: CMObject/Basic1. \\
2443: Monomial, Monomial32, Coefficient, Dpolynomial, DringDefinition,
2444: Generic DMS ring, RingByName, DMS of N variables $\in$
2445: CMObject/DistributedPolynomials. \\
2446: \begin{eqnarray*}
2447: \mbox{Monomial} &:& \mbox{Monomial32}\, |\, \mbox{Zero} \\
2448: \mbox{Monomial32}&:& ({\tt CMO\_MONOMIAL32}, {\sl int32}\, n,
2449: {\sl int32}\, \mbox{e[1]}, \ldots,
2450: {\sl int32}\, \mbox{e[n]}, \\
2451: & & \ \mbox{Coefficient}) \\
2452: & & \mbox{ --- e[i] is the exponent $e_i$ of the monomial
2453: $x^e = x_1^{e_1} \cdots x_n^{e_n}$. } \\
2454: \mbox{Coefficient}&:& \mbox{ZZ} | \mbox{Integer32} \\
2455: \mbox{Dpolynomial}&:& \mbox{Zero} \\
2456: & & |\ ({\tt CMO\_LIST},{\sl int32} m, \\
2457: & & \ \ {\tt CMO\_DMS}, \mbox{DringDefinition},
2458: [\mbox{Monomial32}|\mbox{Zero}], \\
2459: & &\ \
2460: \{\mbox{Monomial32}\}) \\
2461: & &\mbox{--- Distributed polynomial is a sum of monomials}\\
2462: & &\mbox{--- m is equal to the number of monomials $+2$.}\\
2463: \mbox{DringDefinition}
2464: &:& \mbox{DMS of N variables} \\
2465: & & |\ \mbox{RingByName} \\
2466: & & |\ \mbox{Generic DMS ring} \\
2467: & & \mbox{ --- definition of the ring of distributed polynomials. } \\
2468: \mbox{Generic DMS ring}
2469: &:& ({\tt CMO\_INT32, CMO\_DMS\_GENERIC}) \\
2470: \mbox{RingByName}&:& ({\tt CMO\_RING\_BY\_NAME}, {\sl Cstring} s) \\
2471: & & \mbox{ --- The ring definition refered by the name ``s''.} \\
2472: \mbox{DMS of N variables}
2473: &:& ({\tt CMO\_DMS\_OF\_N\_VARIABLES}, \\
2474: & & \ ({\tt CMO\_LIST}, {\sl int32}\, \mbox{m},
2475: {\sl Integer32}\, \mbox{n}, {\sl Integer32}\,\mbox{p} \\
2476: & & \ \ [,{\sl Cstring}\,\mbox{s}, {\sl List}\, \mbox{vlist},
2477: {\sl List}\, \mbox{wvec}, {\sl List}\, \mbox{outord}]) \\
2478: & & \mbox{ --- m is the number of elements.} \\
2479: & & \mbox{ --- n is the number of variables, p is the characteristic} \\
2480: & & \mbox{ --- s is the name of the ring, vlist is the list of variables.} \\
2481: & & \mbox{ --- wvec is the weight vector.} \\
2482: & & \mbox{ --- outord is the order of variables to output.} \\
2483: \end{eqnarray*}
2484:
2485:
2486: \subsection{ Stackmachine commands}
2487:
2488: \begin{verbatim}
2489: #define SM_popSerializedLocalObject 258
2490: #define SM_popCMO 262
2491: #define SM_popString 263
2492:
2493: #define SM_mathcap 264
2494: #define SM_pops 265
2495: #define SM_setName 266
2496: #define SM_evalName 267
2497: #define SM_executeStringByLocalParser 268
2498: #define SM_executeFunction 269
2499: #define SM_beginBlock 270
2500: #define SM_endBlock 271
2501: #define SM_shutdown 272
2502:
2503:
2504: #define SM_control_kill 1024
2505: #define SM_control_reset_connection 1030
2506: \end{verbatim}
2507:
2508:
2509: \subsection{OX messages}
2510:
2511: Top level messages are OX messages.
2512: These messages start with one of the following tags.
2513:
2514: \begin{verbatim}
2515: #define OX_COMMAND 513 // for stackmachine commands
2516: #define OX_DATA 514 // for CMO
2517: #define OX_SECURED_DATA 521
2518:
2519: #define OX_SYNC_BALL 515
2520: \end{verbatim}
2521:
2522: \noindent
2523: Example:
2524: \begin{center}
2525: (OX\_COMMAND, SM\_popCMO)
2526: \end{center}
2527:
2528: \noindent
2529: Example:
2530: \begin{center}
2531: (OX\_DATA, ({\tt CMO\_STRING}, 5, "Hello"))
2532: \end{center}
2533:
2534:
2535:
2536: \begin{thebibliography}{99}
2537: \bibitem{openmath} {\tt http://www.openmath.org}
2538: \bibitem{openxxx} {\tt http://www.math.kobe-u.ac.jp/openxxx/ まだです.}
2539: \bibitem{openasir-intro} 小原, 高山, 野呂: Open Asir 入門, 1999,
2540: 数式処理, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG 出版, Tokyo). \\
2541: {\tt http://www.math.kobe-u.ac.jp/openxxx/}
2542: \end{thebibliography}
2543:
2544: \bigbreak
2545: \bigbreak
2546: \bigbreak
2547:
2548: \small{
2549: \noindent
2550: \rightline{ Masayuki Noro,}
2551: \rightline{ Fujitsu Laboratory, Kawasaki, Japan;}
2552: \rightline{{\tt noro@para.flab.fujitsu.co.jp}}
2553:
2554: \vskip .5cm
2555:
2556: \noindent
2557: \rightline{ Nobuki Takayama,}
2558: \rightline{Department of Mathematics, Kobe University,
2559: Rokko, Kobe, 657-8501, Japan;}
2560: \rightline{{\tt takayama@math.kobe-u.ac.jp}}
2561: }
2562:
2563: \end{document}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>