モジュール結合 - JAIST Repository

5. そののち、今回組み込んだモジュール^big-numについての呼びだしがおこなわれる。

今回は、条件式^(num? ^v)が偽なので、なにも起こらない。

6. 次に、残りの計算に入るまえに、^rest操作の呼びだしをおこなう。ここにおいても何ら影響はない。

7. 6の結果として得られた^bas^eを、残りの計算を示すクロージャに渡す。その結果は、

この例題では^compo ^uⁿな^d ^c ^o ^mp^u^t ^aであり、こうして得られた^t ⁱ ^oⁿ ^co^m^p^u^ta^ti^on に対して現在の^co^ntrol-^ob^jectを渡す。

8. 続きの計算は、ここまで述べてきた操作の繰り返しで、最終的に、残りの計算が^com

-putationを返さなくなった時点^(g1 ^g2 ^g3)の評価結果を^bas^eにバインドして、その^co^ntrol^-^ob^j^ectを変えす。その際、^saveには、計算に使われた値⁽途中経過は含まない⁾の最大値が保存されている。

な計算における残りの計算^(rest)の呼びだし方法である。^rest-call^erは、完全に^{con tro}^l

-object の^re^st のなかに完全に組み込まれており、^coⁿ^trol-o^b^j^ec^tはその内容に関しては何ら考慮する必要はない。^rest-ca^l^l^erは^ree^ctiv^e-modul^eとの関連のみを扱う。

このように、各モジュールの安全な結合は、各モジュールの実現する構造を、それぞれ独立したものに制限することによって実現されている⁽本章で示した各モジュールの関係は章末の図^4.17に示す⁾。さらに、^Fl^ec^tの有利な点は、モジュールの組み込みを、プログラム実行のある特定の範囲を指定しておこなうことが可能という点である。すなわち、ユーザーはモジュール同士の相性を考慮して、同時に組み込まれるべきモジュールを使い分けることが可能である。

ここでモジュール間の結合のうち、特に困難な例が、制御構造と他の計算状態との関連である。そこで以降では、こうした結合が問題となる例を示し、^Fl ^e^cにおける解決方法に^t ついて述べる。

4.7.1 control-mo dule

と

^re^ective-^m^o ^d^u^l^e

の結合

control-objectは、常に制御に関する計算状態として現在アクティブな^re^ectiv^e-m^o ^d^u^l^e の集合を保持している。これは、モジュールの有効範囲がプログラム実行時の時間的な範囲として与えられているため、その状態⁽アクティブなモジュールの列⁾が実行の流れに依存して変化するからである。

たとえば、^im^p ^o^r^t^-r^e^e^c^t^iv ^eによって形成された範囲から、^cal^l^/ccを使って脱出する場合、組み込まれた^re^ectiv^e^-m^o ^d^u^le は、モジュール組み込みの影響範囲の定義から無効にされるべきである。たとえば以下のような例がある。

1: (define compose

2: (lambda ()

3: (import-reflective cost-counter ((ticks 0))

4: (import-control cps ((cc '()))

5: (fact 5)

6: (call/cc (lambda (k)

7: (import-reflective cost-counter ((ticks 0))

9: (get-ticks)))))

ここでは、２重にcost-coun terを組み込んでいる。^Flectの設計では、このような適用は、

それぞれの範囲について各モジュールが独立してコストの計算をおこなう。問題は、ふたつめの^impor^t^-^r^eect^e(7ⁱ^v 行目⁾の範囲から^cal^l^/ccをもちいた脱出をおこなっている部分である。この範囲から脱出する場合、²番目のモジュール組み込みは除去されてしかるべきである。

そのため、^ca^l^l^/ccの実装においては、残りの計算を示す構造^(cc⁾ のみではなく、アクティブな^re^e^cti^v^e-m^o ^du^l^eの集合もまた、復帰させる必要がある。

Flect では、こうした問題を解決するため、制御に関する状態の一つとしてアクティブな

reective-mo dule の集合^(o^b^js)をユーザーから参照可能とした。ユーザーは、^ca^l^l^/cc以前のアクティブな^re^ec^ti^v^e-m^o ^d^u^l^e を参照^(reify)、保存しておき、継続が呼ばれた際に復帰

(reect) するような記述をあたえることができる。

このような構造は、^re^e^cti^v^e-m^o ^d^u^l^e に対してなんらかの影響を与えているかのように見えるが、実際には純粋に制御に関する状態操作であり、^re^ectiv^e-m^o ^d^u^l^e の内容については一切影響を与えない。例えば今回の例では、外側の^cost-^cou^nterの内容は、計算の全過程において保護されており、^get^-^ti^c^ksによってその最終的な値を得ることができる。³このことだけでも、^control^-^m^od^u^l^eが制御に関する状態変化のみを実現していることがいえる。つまり安全な結合のための機構を提供しているといってよい。

get-ticksは最も新しい、アクティブな^cost-^coun^terの計算状態^(ti^c^k^s) を参照するものである

図 ^4.17: 各モジュールの結合

第

⁵

章

ドキュメント内 JAIST Repository (ページ 58-62)