クアジェクト

コンピュータサイエンスにおいて、クアジェクトは、データとコード（またはコードへのポインタ）の両方を含むオブジェクトのようなデータ構造であり、呼び出しエントリの形式でインターフェースとして公開され、コールバックとコールアウトのために他のクアジェクトへの呼び出しエントリのリストを受け入れることができます。これらは、 1989年にAlexia MassalinによってSynthesisカーネル用に開発され、^{[1] Massalinによって構築された独自のハードウェアプラットフォームである}Qua! Machineにちなんで名付けられました。用語「qua」の起源は明らかではありませんが、Massalinは、コアラの鳴き声であるとユーモラスに主張しています。^[2]

クアジェクトの主な目的は、オブジェクトごとに実行時コードの最適化を可能にすることで、自己変更コードを管理するための抽象化を提供することです。オリジナルの Synthesis カーネルでは、クアジェクトを手動で開発されたアセンブリ言語で記述する必要がありましたが、これは複雑なコンパイラの開発を避けるためでした。Massalin は、LispやSmalltalkなどの実行時コード生成を許可する高水準プログラミング言語のジャストインタイムコンパイル(JIT)でもこのアプローチを適用できると指摘しましたが、そのようなコンパイラの複雑さが法外なものになる可能性が高いとも主張しました。

クアジェクトは、従来のオブジェクトと 2 つの重要な点で異なります。まず、他のクアジェクトへのインターフェイスとクアジェクトからの継続の両方を管理するために、常に依存性注入パターンの形式を使用します。この呼び出しエントリ参照のリストは、クアジェクト作成の一部であり、クアジェクトの有効期間中に更新される可能性があります。2 番目に、より重要な点として、特定のクアジェクトのメソッド セットは、特定のクアジェクトに固有である可能性があります。クアジェクトのタイプまたはクラスのメソッドは、固定コードとしてではなく、1 つ以上のテンプレートとして保存されます。共有メソッドには共通のポインター テーブルを通じてアクセスできますが、個々のクアジェクトには、そのクアジェクトの動作に合わせてパフォーマンスを調整するために特別に生成されたメソッドを含めることもできます。