Tsuguo MOGAMI <mogami brain.riken.go.jp> writes:

> たまたま見つけた、こちらでは
> http://www.kt.rim.or.jp/~tyamamot/forthj/threaded-codej.html

これ(の原文http://www.complang.tuwien.ac.at/forth/threaded-code.html)
が，switch threading, call threading等の用語を使いはじめた本家だと思い
ます．
 
> コール命令を並べたマシンコードを生成する：サブルーチンスレッディング
> 仮想機械命令の代わりにコール先のアドレスを並べる：直接スレッディング
> 仮想機械命令からコール先をテーブル引き：トークンスレッディング
> switch-case文をつかう：スイッチスレッディング
> 
> となっていて、「直接スレッディング」の用法が違うようで混乱しています。

ささださんも同じ意味で使っていると思います．先のメールでは，
 switch threading (Cでポータブルに書ける)
 call threading (Cでポータブルに書ける)
 direct threading (GCC拡張を使う)
の3つの比較をしていました．

なお(上記のページにもありますが)，もともとの意味では
threaded code = direct threaded code でした．それ以前の技法では，
while (1) {
  switch (*ip++) {
  case ADD:
    ...
    break;
  case ...
  }
}
とやっていたのですが，threaded codeという言葉は，「インタプリタのメ
インループがない(NEXT処理で，直接次の命令ハンドラへ分岐する)」というこ
とから付けられた言葉です．図で書くと，制御の流れが縫うように見えるので
この名があります．

上記のwhile(1)...の手法(switch threading)をthreadingと呼ぶのは，この文
脈からするとおかしい，ということになりますが，「仮想機械の命令デコード
のための分岐の手法はどれもthreadingと呼ぶ」という立場をErtlはとってい
るようです．

また，コンパイラによっては，上のcase ADD:の部分のコードを
  ADD:  (加算の処理)
        *ip++ の値でテーブルを引いてジャンプ
のようにコード生成するかも知れません．これだとthreadingと呼ぶにふさし
いことになります．(そんなコンパイラは多分ないと思いますけど．)

Bellによる最初のthreaded codeの後，Forthコミュニティでindirect
threaded code，すなわち，命令ハンドラルーチンの入口へのポインタへのポ
インタを仮想命令語として書き並べる手法が使われるようになりました．
1978年のFIG-Forthでは既に使われていたと思います．

(indirect threaded codeについては，もし興味がある方がいらしたら，また
お尋ね下さい．)

これと対比して，オリジナルのBellの技法はdirect threaded codeと呼ばれる
ようになりました．

また，APPLE-Forthではsubroutine threadingが使われていましたが，
threaded codeとは呼んでいなかったと思います．(実際，threaded codeでは
なく，原始的なネイティブコードと言ってよいと思います．)

伝統的な用語法として確立しているのは，direct threaded codeとindirect
threaded codeだけだと思います．その他のswitch threading, subroutine
threadingなどの用語については，「Ertlの分類による用語」として使うのが
よいと思います．

				前田敦司

--
ML: langsmith quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml