「末尾呼び出し最適化」の版間の差分

提供: MonoBook
ナビゲーションに移動 検索に移動
imported>Administrator
imported>Administrator
1行目: 1行目:
 
'''末尾呼び出し最適化'''(Tail Call Optimization、TCO)とは、ある[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。
 
'''末尾呼び出し最適化'''(Tail Call Optimization、TCO)とは、ある[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。
  
たとえば、[[x86]]の[[ニーモニック]]や[[.NET]]の[[CIL]]であればCALLとなっている部分をJMPなどに置き換えれる。
+
たとえば、最後の処理なので、その処理中に使う引数以外の変数などは破棄できるため、[[x86]]の[[ニーモニック]]や[[.NET]]の[[CIL]]であればCALLとなっている部分をJMPなどに置き換えれる。
  
 
[[プログラマー]]が[[最適化]]と称して[[goto文]]を使いまくり、仕舞にはmain関数一本の[[プログラム]]を作った日には偉い人たちからボロクソ叩かれるが、その半分を[[コンパイラ]]に任せると偉い人たちも怒らないので、コンパイラが容易に最適化ポイントを認識できるように[[プログラム]]の[[ソースコード]]を書くときに留意しておきましょうという話でもある。
 
[[プログラマー]]が[[最適化]]と称して[[goto文]]を使いまくり、仕舞にはmain関数一本の[[プログラム]]を作った日には偉い人たちからボロクソ叩かれるが、その半分を[[コンパイラ]]に任せると偉い人たちも怒らないので、コンパイラが容易に最適化ポイントを認識できるように[[プログラム]]の[[ソースコード]]を書くときに留意しておきましょうという話でもある。

2012年5月30日 (水) 05:42時点における版

末尾呼び出し最適化(Tail Call Optimization、TCO)とは、ある関数の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、インライン展開してしまうことが比較的容易にできるよ、というコンパイラ最適化手法のひとつである。

たとえば、最後の処理なので、その処理中に使う引数以外の変数などは破棄できるため、x86ニーモニック.NETCILであればCALLとなっている部分をJMPなどに置き換えれる。

プログラマー最適化と称してgoto文を使いまくり、仕舞にはmain関数一本のプログラムを作った日には偉い人たちからボロクソ叩かれるが、その半分をコンパイラに任せると偉い人たちも怒らないので、コンパイラが容易に最適化ポイントを認識できるようにプログラムソースコードを書くときに留意しておきましょうという話でもある。

末尾呼び出し最適化のなかでも、最強に威力を発揮するのは再帰であり、末尾再帰最適化という言葉まである。やってることは基本的に末尾呼び出し最適化と同じである。

.NET Framework

.NET FrameworkCILでは末尾呼び出しを明示するtail命令があり、これを使うと現在の関数のフレームスタックを削除して(続く関数の引数は残す)、続く関数の呼び出しを行う。

tail命令の直後の関数呼び出し自体は消えないので、それに伴うコールスタックの消費は発生するため、パフォーマンス的なオーバーヘッドは残るが、そこへたどり着くまでのスタックフレームは消去されるため、スタックオーバーフローは容易に回避できるようになる。

関連項目

参考文献


外部リンク