Annotation of OpenXM/src/kxx/openxxx.tex, Revision 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>