Use-define chain (original) (raw)
Eine Def-Use-Kette ist eine Datenstruktur, die aufeinanderfolgende Paare von Schreib- und Lesezugriffen einer Variablen beschreibt. Im Rahmen des Software Engineerings werden beim White-Box-Testing mittels Def-Use-Ketten Datenflusstests durchgeführt, welche das Durchlaufen von Code mittels Testwerten für Variablen ermöglichen.
| Property | Value |
|---|---|
| dbo:abstract | Eine Def-Use-Kette ist eine Datenstruktur, die aufeinanderfolgende Paare von Schreib- und Lesezugriffen einer Variablen beschreibt. Im Rahmen des Software Engineerings werden beim White-Box-Testing mittels Def-Use-Ketten Datenflusstests durchgeführt, welche das Durchlaufen von Code mittels Testwerten für Variablen ermöglichen. (de) Within computer science, a Use-Definition Chain (UD Chain) is a data structure that consists of a use, U, of a variable, and all the definitions, D, of that variable that can reach that use without any other intervening definitions. A UD Chain generally means the assignment of some value to a variable. A counterpart of a UD Chain is a Definition-Use Chain (DU Chain), which consists of a definition, D, of a variable and all the uses, U, reachable from that definition without any other intervening definitions. Both UD and DU chains are created by using a form of static code analysis known as data flow analysis. Knowing the use-def and def-use chains for a program or subprogram is a prerequisite for many compiler optimizations, including constant propagation and common subexpression elimination. (en) DU-цепь (англ. DU chain, def-use chain, definition-use chain — цепь «определение — использование») — структура данных, используемая в анализе потоков данных для нахождения мест использования определяемой переменной или нахождения всех мест определений значений переменных, входящих в выражение. Эта структура ставит в соответствие каждому определению переменной список операторов, достижимых из определения и содержащих переменную. Аналогично, UD-цепь (англ. UD chain, use-def chain, use-definition chain) содержит для каждого случая использования переменной места её определения, из которых место использования достижимо. UD- и DU-цепочки используются в статическом анализе кода, известном как анализ потока данных. Наличие UD- и DU-цепочек для программы является необходимым условием для множества оптимизаций компилятора, среди которых распространение констант и удаление общих подвыражений. Результат анализа потока данных часто можно представить как наложение цепочек на граф потока управления анализируемого кода программы. Одним из улучшений идеи UD/DU-цепочек является форма статического одиночного присваивания (англ. Static Single Assignment, SSA). SSA-форма является промежуточным представлением, при котором каждая переменная имеет только одно определение в программе. Следует заметить, что (статическое) определение может находиться в цикле, выполняемом много раз, поэтому SSA не следует путать с . (ru) |
| dbo:wikiPageID | 1286768 (xsd:integer) |
| dbo:wikiPageLength | 8517 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1092245854 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Variable_(programming) dbr:Register_allocation dbr:Greatest_common_divisor dbr:Left-hand_side_and_right-hand_side_of_an_equation dbr:Static_single_assignment_form dbr:Common_subexpression_elimination dbr:Computer_science dbr:Data_flow_analysis dbc:Compiler_optimizations dbr:Data_structure dbr:Basic_block dbr:Global_variable dbr:Directed_acyclic_graph dbr:Assignment_(computer_science) dbc:Data-flow_analysis dbr:Static_code_analysis dbr:Partial_order dbr:Static_single_assignment dbr:Constant_propagation dbr:Compiler_optimization dbr:Space_complexity_theory dbr:Liveness_analysis dbr:Memory_locality dbr:Access_complexity dbr:Live_range_splitting |
| dbp:wikiPageUsesTemplate | dbt:Code dbt:Confusing_section dbt:Mono dbt:Mvar dbt:Short_description dbt:Tmath dbt:Compiler_optimizations |
| dct:subject | dbc:Compiler_optimizations dbc:Data-flow_analysis |
| gold:hypernym | dbr:Structure |
| rdf:type | yago:WikicatCompilerOptimizations yago:Abstraction100002137 yago:Act100030358 yago:Action100037396 yago:Change100191142 yago:ChangeOfState100199130 yago:Event100029378 yago:Improvement100248977 yago:Optimization100260051 yago:PsychologicalFeature100023100 yago:YagoPermanentlyLocatedEntity dbo:Building |
| rdfs:comment | Eine Def-Use-Kette ist eine Datenstruktur, die aufeinanderfolgende Paare von Schreib- und Lesezugriffen einer Variablen beschreibt. Im Rahmen des Software Engineerings werden beim White-Box-Testing mittels Def-Use-Ketten Datenflusstests durchgeführt, welche das Durchlaufen von Code mittels Testwerten für Variablen ermöglichen. (de) Within computer science, a Use-Definition Chain (UD Chain) is a data structure that consists of a use, U, of a variable, and all the definitions, D, of that variable that can reach that use without any other intervening definitions. A UD Chain generally means the assignment of some value to a variable. A counterpart of a UD Chain is a Definition-Use Chain (DU Chain), which consists of a definition, D, of a variable and all the uses, U, reachable from that definition without any other intervening definitions. (en) DU-цепь (англ. DU chain, def-use chain, definition-use chain — цепь «определение — использование») — структура данных, используемая в анализе потоков данных для нахождения мест использования определяемой переменной или нахождения всех мест определений значений переменных, входящих в выражение. Эта структура ставит в соответствие каждому определению переменной список операторов, достижимых из определения и содержащих переменную. Аналогично, UD-цепь (англ. UD chain, use-def chain, use-definition chain) содержит для каждого случая использования переменной места её определения, из которых место использования достижимо. (ru) |
| rdfs:label | Def-Use-Kette (de) Use-define chain (en) DU-цепь (ru) |
| owl:sameAs | freebase:Use-define chain yago-res:Use-define chain wikidata:Use-define chain dbpedia-de:Use-define chain dbpedia-fa:Use-define chain dbpedia-ru:Use-define chain https://global.dbpedia.org/id/4q5Zb |
| prov:wasDerivedFrom | wikipedia-en:Use-define_chain?oldid=1092245854&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Use-define_chain |
| is dbo:wikiPageRedirects of | dbr:DU_Chain dbr:Use-Definition_Chain dbr:Use-def_chain dbr:Use-def_chains dbr:Def-use_chain dbr:Def-use_chains dbr:Definition-Use_Chain dbr:Definition-use_chain dbr:UD_Chain |
| is dbo:wikiPageWikiLink of | dbr:Compiler dbr:Constant_folding dbr:Data-flow_analysis dbr:DU_Chain dbr:Optimizing_compiler dbr:Static_single-assignment_form dbr:Use-Definition_Chain dbr:Use-def_chain dbr:Use-def_chains dbr:Def-use_chain dbr:Def-use_chains dbr:Definition-Use_Chain dbr:Definition-use_chain dbr:UD_Chain |
| is foaf:primaryTopic of | wikipedia-en:Use-define_chain |