Return to project.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Annotation of OpenXM/doc/OpenXM-specs/project.tex, Revision 1.1

1.1     ! noro        1: %% $OpenXM$
        !             2: //&jp \section{現在検討中の機能}
        !             3: //&eg \section{Projects in work in progress} (This part has not been translated.)
        !             4:
        !             5: /*&jp
        !             6: \subsection{ OX DATA with Length の構造 }
        !             7:
        !             8: Digital signature 付の {\tt OX\_DATA} は
        !             9: ヘッダ {\tt OX\_DATA\_WITH\_LENGTH }で, はじまり, CMO がきて,
        !            10: それから, 終りのマークおよびデジタル署名がくる.
        !            11: この形のデータを {\it secured OX DATA} と呼ぶ.
        !            12: \begin{verbatim}
        !            13: #define OX_SECURED_DATA               521
        !            14: \end{verbatim}
        !            15:
        !            16: \noindent
        !            17: \begin{tabular}{|c|c|c|c|c|}  \hline
        !            18: {\tt int32 OX\_DATA\_WITH\_LENGTH} & {\tt int32} {\rm serial}
        !            19: & {\tt int32} {\rm size}
        !            20: & {\sl CMObject} {\rm o} & {\it tail} \\
        !            21: \hline
        !            22: \end{tabular}
        !            23:
        !            24: {\tt size} フィールドに 値 -1 が入っている場合この情報を無視する.
        !            25:
        !            26: {\it tail } は次のように定義する.
        !            27: \\ \noindent
        !            28: \begin{tabular}{|c|c|c|}  \hline
        !            29: {\tt int32 CMO\_START\_SIGNATURE} & {\tt int32} {\rm size}
        !            30: & {\it signature} \\
        !            31: \hline
        !            32: \end{tabular}
        !            33:
        !            34: ここで, {\tt size} はバイト列 {\it signature} 部の長さ.
        !            35: {\it signature} は, Hash 関数を用いた, {\it CMO data}
        !            36: にたいする, デジタル署名をいれ, 不正な serialized object
        !            37: を検出する.
        !            38: Tail の {\tt size} フィールドが 0 の場合, デジタル署名部はない.
        !            39:
        !            40: クライアント, サーバの実装には次の3つの選択がある.
        !            41: \begin{enumerate}
        !            42: \item {\tt OX\_DATA} のみを用いて CMObject を送る (mathcap 付).
        !            43: \item {\tt OX\_SECURED\_DATA} のみを用いて CMObject を送る.
        !            44: \item {\tt OX\_DATA} および
        !            45: {\tt OX\_SECURED\_DATA} を混在して
        !            46: 使用できるようにする.
        !            47: \item {\tt OX\_DATA} のみを用いてかつ mathcap も用いない(一番高速).
        !            48: \end{enumerate}
        !            49: 1 の短所は, mathcap の実装が不十分で,
        !            50: 理解できない CMObject をうけとると,
        !            51: 以後の CMObject は理解できなくなる.
        !            52: 1 の長所は, 長さフィールドの計算を
        !            53: おこなわないため, データを送り出す側に負担がかからないことである.
        !            54: 2 の長所は, mathcap の実装が不十分で,
        !            55: 理解できない CMObject をうけとっても,
        !            56: 長さフィールドを用いて, 通信回線のダウンを
        !            57: 防ぐことができる.
        !            58: 2 の短所は, 長さフィールドの計算を
        !            59: おこなうため, データを送り出す側に負担がかかることである.
        !            60:
        !            61: 現在のすべてのサンプルサーバは, 1, 4 のみを実装している.
        !            62:
        !            63: mathcap の交換はセッションの開始時点で必須という訳ではない
        !            64: ことに注意されたい.
        !            65: たとえば,
        !            66: モード 4 で通信して,
        !            67: それから,
        !            68: mathcap を交換して,
        !            69: モード 1 へ移行することも可能なように実装すべきである.
        !            70:
        !            71:
        !            72: \subsection{サーバスタックマシンはローカルな拡張機能をもってよい}
        !            73:
        !            74: \begin{verbatim}
        !            75: #define  CMO_PRIVATE   0x7fff0000
        !            76: \end{verbatim}
        !            77:
        !            78: {\tt CMO\_PRIVATE} = {\tt OX\_PRIVATE} = {\tt SM\_PRIVATE}
        !            79: よりはじまる, 0x10000 個の ID は, private 領域として予約されている.
        !            80: 各サーバの開発者間で表現方法につきまだ合意がないような, CMObject,
        !            81: OX Message, SMobject を表現するために使用する.
        !            82:
        !            83: \subsection{MathLink や open math などの通信規約の実装}
        !            84:
        !            85: Open asir, open sm1 と Mathematica の用いている MathLink や
        !            86: Open Math (\cite{openmath})
        !            87: プロトコルを変換するための
        !            88: ライブラリやサーバを用意すれば, {\tt asir} や {\tt kan/sm1} の
        !            89: 内部構造を理解することなしに, これらに準拠したシステムと通信できる.
        !            90:
        !            91: \subsection{共通スタックマシン言語}
        !            92:
        !            93: CMO に付随した, たとえば, Integer 32 に対する,
        !            94: add, sub, mul, などの基本的な計算は {\tt SM\_executeFunction}
        !            95: で全てのシステムで実行できるように検討している.
        !            96: スタックマシンの制御構造についても検討している.
        !            97:
        !            98:
        !            99: */
        !           100: