分岐最適化

Question

パフォーマンス関数の観点から分岐関数呼び出しの最適な実装は何ですか？

単純なケースでは、バイトコードを解釈し、コードに応じて関数呼び出しを実行するかなり大きなswitch文があります。

普通のケースでは、同じことをするgotosとラベルを計算しました。

これを行うための最善の方法は何ですか？

抽象たとえば、

 
schedule: 
    swap_entity(); 
    goto *entity_start(); 

lb_code1: 
    do_stuff(); 
    goto *next_code_item(); 

lb_code2: 
    do_stuff(); 
    goto *next_code_item(); 

... 

編集：への私の参照おそらくやや誤った「分岐関数が呼び出されます」。分岐コード実行。

Answer 1

ここでスピードブーストをお探しなら、他のバイトコードディスパッチ機構を見てください。 a question which sort-of asked that beforeがありました。

基本的には、毎回間違って予測されている可能性の高いgotoがあり、その後に関数呼び出しがあります。 direct threadingのようなテクニックでは、インタプリタのオーバーヘッドを大幅に減らすことができます。 Inline threadingはより困難ですが、大きなメリットがあります。

私はいくつかの他の質問でfurther resourcesを与えました。

Answer 2

たぶん、関数ポインタの配列は、推測で：

void dispatch(Message* message) 
{ 
    //MessageType is a finite enum 
    MessageType messageType = message->messageType; 
    int index = (int)messageType; 
    //there's an array element for each enum value 
    FunctionPointer functionPointer = arrayOfFunctionPointers[index]; 
    (*functionPointer)(message); 
} 

実際の答えは、ハードウェアに依存しており、問題の大きさとCPUのキャッシュのようなものに依存します。

Answer 3

です。いくつかのテーブル駆動型アプローチは、通常は最速ですが、スイッチのステートメントがどのように実装されているのかが分かります。確かに、あなたは はこのエリアの任意の推奨事項は、 からSOユーザーが読んでいないとする必要があります。何か提案があれば、それを実装し、すべてのコンパイラの最適化を有効にしてビルドのパフォーマンスを測定する必要があります。