This HTML5 document contains 32 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Global_value_numbering
rdf:type
yago:Action100037396 yago:Change100191142 yago:Event100029378 yago:ChangeOfState100199130 yago:WikicatCompilerOptimizations yago:YagoPermanentlyLocatedEntity yago:Improvement100248977 yago:Optimization100260051 yago:Act100030358 yago:Abstraction100002137 yago:PsychologicalFeature100023100
rdfs:label
大域値番号付け Global value numbering Нумерация значений
rdfs:comment
大域的値番号付け（英: Global value numbering, GVN）とは、静的単一代入中間表現に基づくコンパイラ最適化手法の一つである。 GVN は共通部分式除去 (CSE) によっても取り除くことができない冗長なコードを取り除くことができる。一方、CSE は GVN で除去できないコードを取り除くことができ、両者はいずれも現代的なコンパイラに採用されている。大域的値番号付けは、値と番号の関連付けをブロックの境界を越えて行うことができ、また関連付けのアルゴリズムを計算する方法が異なるという点でとは区別される。 大域的値番号付けは、値番号を変数や式に割り当てることで動作する。等価な変数や式には同じ値番号を割り当てる。例えば下記のコードでは、 w := 3x := 3y := x + 4z := w + 4 優秀な GVN のルーチンはw 、 x と y 、z にそれぞれ同じ値番号を割り当てる。たとえば、 の割り当てはこのブロックに関して最適な値と番号の対応関係である。この情報を用いることで、上のコードは下記のコードに安全に変換できる。 w := 3x := wy := w + 4z := y これ以降のコードしだいで、コピーの伝播によって x および z に対する割り当てを除去できる可能性がある。 a := c × de := cf := e × d Нумерация значений (англ. Value Numbering) — один из видов , применяемый оптимизирующим компилятором с целью обнаружения избыточных вычислений в коде программы. Результатами анализа могут воспользоваться оптимизации: , , удаление общих подвыражений, оптимизация условий (англ. If Optimization), . Анализ разбивает множество всех рассматриваемых операций, вырабатывающих какой-либо результат (число или предикат), на подмножества операций, в каждом из которых все операции вырабатывают одинаковый результат не зависимо от ввода. Такие подмножества (а так же, иногда, номера этих подмножеств) называют классами конгруэнтности или классами эквивалентности. Классы конгруэнтности пронумерованы, номер класса конгруэнтности называют номером значения. Таким образом, задачу нумерации значений можно сфор
dbo:wikiPageID
547807
dbo:wikiPageRevisionID
1058565482
dbo:wikiPageWikiLink
dbr:Value_numbering
dbo:wikiPageRedirects
dbr:Value_numbering
owl:sameAs
wikidata:Q5570914 dbpedia-ja:大域値番号付け dbpedia-ru:Нумерация_значений n15:4kcxq yago-res:Global_value_numbering freebase:m.02nvcm
dbp:wikiPageUsesTemplate
dbt:R_from_merge
dbo:abstract
大域的値番号付け（英: Global value numbering, GVN）とは、静的単一代入中間表現に基づくコンパイラ最適化手法の一つである。 GVN は共通部分式除去 (CSE) によっても取り除くことができない冗長なコードを取り除くことができる。一方、CSE は GVN で除去できないコードを取り除くことができ、両者はいずれも現代的なコンパイラに採用されている。大域的値番号付けは、値と番号の関連付けをブロックの境界を越えて行うことができ、また関連付けのアルゴリズムを計算する方法が異なるという点でとは区別される。 大域的値番号付けは、値番号を変数や式に割り当てることで動作する。等価な変数や式には同じ値番号を割り当てる。例えば下記のコードでは、 w := 3x := 3y := x + 4z := w + 4 優秀な GVN のルーチンはw 、 x と y 、z にそれぞれ同じ値番号を割り当てる。たとえば、 の割り当てはこのブロックに関して最適な値と番号の対応関係である。この情報を用いることで、上のコードは下記のコードに安全に変換できる。 w := 3x := wy := w + 4z := y これ以降のコードしだいで、コピーの伝播によって x および z に対する割り当てを除去できる可能性がある。 GVN が CSE より強力なのは、CSE は字句的に同一な式をマッチさせるのに対して GVN はその背後の等価性を特定しようとする点である。例えば、 a := c × de := cf := e × d というコードで、CSE は f に割り当てられた再計算のコードを除去しないが、GVN はごく初歩的なアルゴリズムでもこれを発見し、冗長性を除去することができる。 GVN を実行するためには、変数名と値名の間に偽の対応関係が作られないよう、静的単一代入形式が必要である。 Нумерация значений (англ. Value Numbering) — один из видов , применяемый оптимизирующим компилятором с целью обнаружения избыточных вычислений в коде программы. Результатами анализа могут воспользоваться оптимизации: , , удаление общих подвыражений, оптимизация условий (англ. If Optimization), . Анализ разбивает множество всех рассматриваемых операций, вырабатывающих какой-либо результат (число или предикат), на подмножества операций, в каждом из которых все операции вырабатывают одинаковый результат не зависимо от ввода. Такие подмножества (а так же, иногда, номера этих подмножеств) называют классами конгруэнтности или классами эквивалентности. Классы конгруэнтности пронумерованы, номер класса конгруэнтности называют номером значения. Таким образом, задачу нумерации значений можно сформулировать следующим образом: присвоить уникальный номер каждому значению, вырабатываемому внутри рассматриваемого участка программы. Для осуществления нумерации значений может потребоваться построенный Def-Use-граф или SSA-форма. Нумерация значений может быть локальной (в пределах одного базового блока), глобальной (в пределах CFG-графа одной процедуры) и межпроцедурной.
prov:wasDerivedFrom
wikipedia-en:Global_value_numbering?oldid=1058565482&ns=0
dbo:wikiPageLength
48
foaf:isPrimaryTopicOf
wikipedia-en:Global_value_numbering