R.KentDybvigの論文「Schemeの3つの実装モデル」で彼は「FFP言語」と「FFPマシン」について語っています。どうやら、FFPマシンと、複数のプロセッサでの文字列削減との間には何らかの相関関係があります。
グーグルは、説明や例の観点からはあまり明らかにされていません。
誰かがこのトピックに光を当てることができますか？ありがとう。
4 に答える
3
KentDybvigのアドバイザーであるGyulaA.Magoは、1987年にMagoとStanatによる「FFPMachine：TechnicalReport87-014」に詳細な説明を公開しました。
この記事の執筆時点で、PDFは次のURLから無料で入手できます 。http ：//www.cs.unc.edu/techreports/87-014.pdf
于 2017-03-14T15:39:55.263 に答える
3
FFPマシンは、非常にきめ細かい並列コンピューターアーキテクチャです。各プロセッサーは、単一のシンボル/アトム/値を保持します。これは、最も内側の関数アプリケーションが検出され、同等の結果（先行評価）に置き換えられる計算の文字列削減モデルを使用します。結果が複数の場所で使用される場合、グローバルストアにアクセスするコストを負担する代わりに、結果が再評価される傾向があります（ただし、「Operandsのコピーと結果のコピー」に関するMagoの論文、またはMagoの「FFPでのデータ共有」を参照してください。 1982年の関数型プログラミング言語とコンピュータアーキテクチャ会議の「機械」）。
減少しているFFP発現を保持しているL細胞は、T細胞のツリー構造の配置を介して通信します。ICは基本的に2次元であり、配線を使用すると、回路は物理空間で3次元に移行する可能性があることに注意してください。より高い次元を占める相互接続ネットワーク（Hypercube、Omega、Banyan、Starなどのネットワーク）は、最終的には理論上の限界近くで実行できなくなります。
この通信ネットワークは、パケット交換ではなく回線交換されます。データパケットにはアドレスが含まれておらず、ルーティングは必要ありません。個別の削減からのパケットは、互いに会うことも、競合することも、輻輳を経験することもできません。構成アクティビティ（「パーティショニング」と呼ばれる）は、ツリー内で1回のスイープで上向きに実行され、3ビットメッセージに対していくつかのロジック操作を使用して、「エリアマシン」を残し、それぞれが最大で1つのリデューシブルを進めるように作成されます。応用。技術的には時間的に対数ですが、結果として得られるエリアマシンは、分割波の背後でパイプライン方式で通信を開始でき、実質的に一定の時間ペナルティが発生します。（エリアマシンの解体は、時間の対数コストのままです）。
単一の削減内のパケットは、満たす必要があり、満たす必要があり、したがって、しばしば有用な同期を提供します。パケットのシーケンスは、エリア内で上昇するときにソートおよび結合され、エリアマシンのルートからブロードキャストされます。個々の削減可能なアプリケーション内に潜在的なボトルネックが残っているため、ParallelPrefixおよびParallelSuffix操作がエリアトラフィックを削減するために提供されています。これは、Ultracomputer（NYUのJack（Jacob？）Schwartz）で、各通信ノードに個別の対数サイズのキャッシュメモリを表示する必要なしに実現されます。各Tセル（内部ツリーノード）は、ツリーの最上部へのパイプラインパスよりも大きいサイズのFIFOバッファー（効率のため）のみを必要とします。（この後者は私の推測ですが、それは合理的なようです）。ツリーはデータの左から右の順序を維持するため（他の結合ネットワークとは異なり）、システムはセルが線形時間ではなく対数でデータをローテーションできるようにし、エリアマシンのルートでのもっともらしい輻輳を回避します。エリアマシン内の並列処理は、他のエリアマシンの同時並列処理とは独立しており、オペランドのデータ量に比例した数のプロセッサを使用できることに注意してください。
于 2018-05-21T02:19:52.187 に答える
2
これにもう遭遇しましたか？：FFPマシンでの並列実行のためのAPLのコンパイル
于 2010-01-27T15:19:14.933 に答える
1
正式なFP。FPに似ていますが、通常のシュガーレス構文を使用しているため、マシンを実行するために提供できるのはすべてです。
WikiのFpページを参照してください。
于 2010-01-27T15:15:36.220 に答える