| http://dbpedia.org/ontology/abstract
|
再実体化（英: Rematerializationあるいは remat）とは、コンパ … 再実体化（英: Rematerializationあるいは remat）とは、コンパイラ最適化手法の一つで、メモリからロードせずに再計算を行うことで実行時間を節約するものである。典型的にレジスタ割り付けと統合した形で用いられ、レジスタに格納しきれずメモリにデータを書き込んでしまうことを避けるために使用される。再実体化は 、、 によって 1992 年に提唱された。 共通部分式除去のような古典的な最適化では無駄な計算を避けることに焦点が置かれる。計算には CPU サイクルが必要であるため、通常これは望ましいことである。しかし、変数の生存時間を増大させ、また新しい変数を多数作成するため、レジスタ割り当ての際にメモリにデータを追い出す必要を生じるという大きな副作用を潜在的に抱えている。再実体化はほぼその逆であり、CPU の計算量を増加させて割り当てるレジスタを減少させる。必要以上の計算量増加を防ぐため、コンパイラが十分有益と確信できる場合、すなわちレジスタがあふれてメモリを使用するような場合のみ行われる。 再実体化は、available expression の考え方を用いて各変数を計算する式を監視することによって動作する。ある値を計算するために用いられる変数は変更されることもあり、その場合にはもはや値の再実体化に使用することができない。このとき、その式は利用可能でないと呼ばれる。もう一つの条件として、例えば値の再実体化を行う式の複雑さの最大値がある。ロードする以上に時間のかかる非常に複雑な計算を行って再実体化を行うのは望ましくない。通常は式に副作用があってはならない。雑な計算を行って再実体化を行うのは望ましくない。通常は式に副作用があってはならない。
, 再具体化（英語：Rematerialization）是一种编译器优化技术，首先由格里高利·柴廷（Gregory J. Chaitin）等人于1981年提出并且被实现于PI.8编译器中。其通过重新计算某个值而不是从内存中加载该值的手段，来缩短程序运行时间。该技术可见于GCC等现代编译器中。
, In computer science, rematerialization or … In computer science, rematerialization or remat is a compiler optimization which saves time by recomputing a value instead of loading it from memory. It is typically tightly integrated with register allocation, where it is used as an alternative to spilling registers to memory. It was conceived by Gregory Chaitin, Marc Auslander, Ashok Chandra, John Cocke, and and implemented in the Pl.8 compiler for the 801 Minicomputer in the late 1970s. Later improvements were made by , Keith D. Cooper, and in 1992. Traditional optimizations such as common subexpression elimination and loop invariant hoisting often focus on eliminating redundant computation. Since computation requires CPU cycles, this is usually a good thing, but it has the potentially devastating side effect that it can increase the live ranges of variables and create many new variables, resulting in spills during register allocation. Rematerialization is nearly the opposite: it decreases register pressure by increasing the amount of CPU computation. To avoid adding more computation time than necessary, rematerialization is done only when the compiler can be confident that it will be of benefit — that is, when a register spill to memory would otherwise occur. Rematerialization works by keeping track of the expression used to compute each variable, using the concept of available expressions. Sometimes the variables used to compute a value are modified, and so can no longer be used to rematerialize that value. The expression is then said to no longer be available. Other criteria must also be fulfilled, for example a maximum complexity on the expression used to rematerialize the value; it would do no good to rematerialize a value using a complex computation that takes more time than a load. Usually the expression must also have no side effects.expression must also have no side effects.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://citeseer.ist.psu.edu/briggs92rematerialization.html +
, https://web.archive.org/web/20050428005246/http:/gcc.fyxm.net/summit/2004/Register%20Rematerialization.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
1770423
|
| http://dbpedia.org/ontology/wikiPageLength
|
3019
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1081015739
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/John_Cocke_%28computer_scientist%29 +
, http://dbpedia.org/resource/Register_allocation +
, http://dbpedia.org/resource/Keith_D._Cooper +
, http://dbpedia.org/resource/Gregory_Chaitin +
, http://dbpedia.org/resource/GNU_Compiler_Collection +
, http://dbpedia.org/resource/CPU +
, http://dbpedia.org/resource/Register_spilling +
, http://dbpedia.org/resource/Side_effect_%28computer_science%29 +
, http://dbpedia.org/resource/Marc_Auslander +
, http://dbpedia.org/resource/Compiler_optimization +
, http://dbpedia.org/resource/Common_subexpression_elimination +
, http://dbpedia.org/resource/Register_pressure +
, http://dbpedia.org/resource/Ashok_Chandra +
, http://dbpedia.org/resource/Peter_Markstein +
, http://dbpedia.org/resource/Preston_Briggs +
, http://dbpedia.org/resource/Martin_Hopkins +
, http://dbpedia.org/resource/Linda_Torczon +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Loop_invariant_hoisting +
, http://dbpedia.org/resource/Available_expression +
, http://dbpedia.org/resource/Category:Compiler_optimizations +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:About +
, http://dbpedia.org/resource/Template:No_footnotes +
, http://dbpedia.org/resource/Template:Compiler_optimizations +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Compiler_optimizations +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Optimization +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Rematerialization?oldid=1081015739&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Rematerialization +
|
| owl:sameAs |
http://dbpedia.org/resource/Rematerialization +
, http://rdf.freebase.com/ns/m.05vmhk +
, http://www.wikidata.org/entity/Q7311551 +
, http://ja.dbpedia.org/resource/%E5%86%8D%E5%AE%9F%E4%BD%93%E5%8C%96 +
, http://yago-knowledge.org/resource/Rematerialization +
, http://zh.dbpedia.org/resource/%E5%86%8D%E5%85%B7%E4%BD%93%E5%8C%96 +
, https://global.dbpedia.org/id/4teoV +
|
| rdf:type |
http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Improvement100248977 +
, http://dbpedia.org/class/yago/YagoPermanentlyLocatedEntity +
, http://dbpedia.org/ontology/Software +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Action100037396 +
, http://dbpedia.org/class/yago/ChangeOfState100199130 +
, http://dbpedia.org/class/yago/Optimization100260051 +
, http://dbpedia.org/class/yago/Act100030358 +
, http://dbpedia.org/class/yago/Change100191142 +
, http://dbpedia.org/class/yago/Event100029378 +
, http://dbpedia.org/class/yago/WikicatCompilerOptimizations +
|
| rdfs:comment |
再具体化（英語：Rematerialization）是一种编译器优化技术，首先由格里高利·柴廷（Gregory J. Chaitin）等人于1981年提出并且被实现于PI.8编译器中。其通过重新计算某个值而不是从内存中加载该值的手段，来缩短程序运行时间。该技术可见于GCC等现代编译器中。
, 再実体化（英: Rematerializationあるいは remat）とは、コンパ … 再実体化（英: Rematerializationあるいは remat）とは、コンパイラ最適化手法の一つで、メモリからロードせずに再計算を行うことで実行時間を節約するものである。典型的にレジスタ割り付けと統合した形で用いられ、レジスタに格納しきれずメモリにデータを書き込んでしまうことを避けるために使用される。再実体化は 、、 によって 1992 年に提唱された。 共通部分式除去のような古典的な最適化では無駄な計算を避けることに焦点が置かれる。計算には CPU サイクルが必要であるため、通常これは望ましいことである。しかし、変数の生存時間を増大させ、また新しい変数を多数作成するため、レジスタ割り当ての際にメモリにデータを追い出す必要を生じるという大きな副作用を潜在的に抱えている。再実体化はほぼその逆であり、CPU の計算量を増加させて割り当てるレジスタを減少させる。必要以上の計算量増加を防ぐため、コンパイラが十分有益と確信できる場合、すなわちレジスタがあふれてメモリを使用するような場合のみ行われる。と確信できる場合、すなわちレジスタがあふれてメモリを使用するような場合のみ行われる。
, In computer science, rematerialization or … In computer science, rematerialization or remat is a compiler optimization which saves time by recomputing a value instead of loading it from memory. It is typically tightly integrated with register allocation, where it is used as an alternative to spilling registers to memory. It was conceived by Gregory Chaitin, Marc Auslander, Ashok Chandra, John Cocke, and and implemented in the Pl.8 compiler for the 801 Minicomputer in the late 1970s. Later improvements were made by , Keith D. Cooper, and in 1992.re made by , Keith D. Cooper, and in 1992.
|
| rdfs:label |
再実体化
, Rematerialization
, 再具体化
|
