末尾呼び出し最適化 - 版の履歴

2014年10月27日 (月) 02:20にimported>Mono Bookによる

2014-10-27T02:20:51Z

← 古い版		2014年10月27日 (月) 02:20時点における版
1行目:		1行目:
	'''末尾呼び出し最適化'''~~（Tail~~ Call ~~Optimization、TCO）とは、ある~~[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。		'''末尾呼び出し最適化'''（[[英語]]：Tail Call Optimization、略称：[[TCO]]）とは、ある[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。

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

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

	末尾呼び出し最適化のなかでも、最強に威力を発揮するのは[[再帰]]であり、[[末尾再帰最適化]]という言葉まである。やってることは基本的に末尾呼び出し最適化と同じである。		末尾呼び出し最適化のなかでも、最強に威力を発揮するのは[[再帰]]であり、[[末尾再帰最適化]]という言葉まである。やってることは基本的に末尾呼び出し最適化と同じである。
10行目:		11行目:
	[[.NET Framework]]の[[CIL]]では末尾呼び出しを明示するtail命令があり、これを使うと現在の関数の[[フレームスタック]]を削除して（続く関数の引数は残す）、続く関数の呼び出しを行う。		[[.NET Framework]]の[[CIL]]では末尾呼び出しを明示するtail命令があり、これを使うと現在の関数の[[フレームスタック]]を削除して（続く関数の引数は残す）、続く関数の呼び出しを行う。

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

	== 関連項目 ==		== 関連項目 ==
16行目:		17行目:

	== 参考文献 ==		== 参考文献 ==
	~~<references/>~~		{{reflist}}

	~~== 外部リンク ==~~

	{{stub}}		{{stub}}

2012年5月30日 (水) 05:42にimported>Administratorによる

2012-05-30T05:42:39Z

← 古い版		2012年5月30日 (水) 05:42時点における版
1行目:		1行目:
	'''末尾呼び出し最適化'''（Tail Call Optimization、TCO）とは、ある[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。		'''末尾呼び出し最適化'''（Tail Call Optimization、TCO）とは、ある[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。

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

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

imported>Administrator: /* .NET Framework */

2012-05-30T05:39:48Z

.NET Framework

← 古い版		2012年5月30日 (水) 05:39時点における版
10行目:		10行目:
	[[.NET Framework]]の[[CIL]]では末尾呼び出しを明示するtail命令があり、これを使うと現在の関数の[[フレームスタック]]を削除して（続く関数の引数は残す）、続く関数の呼び出しを行う。		[[.NET Framework]]の[[CIL]]では末尾呼び出しを明示するtail命令があり、これを使うと現在の関数の[[フレームスタック]]を削除して（続く関数の引数は残す）、続く関数の呼び出しを行う。

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

	== 関連項目 ==		== 関連項目 ==

2012年5月28日 (月) 01:31にimported>Administratorによる

2012-05-28T01:31:53Z

← 古い版		2012年5月28日 (月) 01:31時点における版
6行目:		6行目:

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

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

			関数呼び出し自体は消えないのでそれに伴うオーバーヘッドは残るが、そこへたどり着くまでのスタックは消去されるため、スタックオーバーフローは容易に回避できるようになる。

	== 関連項目 ==		== 関連項目 ==

imported>Administrator: ページの作成：「'''末尾呼び出し最適化'''（Tail Call Optimization、TCO）とは、ある関数の最後の処理が、別の関数呼び出しであれば、コストの...」

2012-05-15T02:04:39Z

ページの作成：「'''末尾呼び出し最適化'''（Tail Call Optimization、TCO）とは、ある関数の最後の処理が、別の関数呼び出しであれば、コストの...」

新規ページ

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

たとえば、[[x86]]の[[ニーモニック]]や[[.NET]]の[[CIL]]であればCALLとなっている部分をJMPなどに置き換えれる。

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

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

== 関連項目 ==
* [[末尾再帰最適化]]

== 参考文献 ==
<references/>

== 外部リンク ==

{{stub}}