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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
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/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
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/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Loop_unswitching
rdf:type
yago:Act100030358 yago:Event100029378 dbo:Software yago:Optimization100260051 yago:WikicatCompilerOptimizations yago:Improvement100248977 yago:PsychologicalFeature100023100 yago:Change100191142 yago:Action100037396 yago:YagoPermanentlyLocatedEntity yago:ChangeOfState100199130 yago:Abstraction100002137
rdfs:label
Размыкание цикла Loop unswitching 迴圈判斷外提
rdfs:comment
迴圈判斷外提（英語：loop unswitching）是一種的方法。迴圈判斷外提將迴圈中的條件式移到迴圈之外，在「若」與「否則」式裡各放置一個原來迴圈的內容。這可以增進迴圈平行處理的可能性。 以下是一個簡單的例子。若程式碼想要將陣列 x、y 相加，並根據變數 w 做別的事，就有這種 C 的程式碼： int i, w, x[1000], y[1000]; for (i = 0; i < 1000; i++) { x[i] = x[i] + y[i]; if (w) y[i] = 0; } 因為有迴圈裡的條件式，要安全的平行處理這個迴圈變得很困難。若進行判斷外提，這個迴圈會變成： int i, w, x[1000], y[1000]; if (w) { for (i = 0; i < 1000; i++) { x[i] = x[i] + y[i]; y[i] = 0; } } else { for (i = 0; i < 1000; i++) { x[i] = x[i] + y[i]; } } 雖然迴圈外提會讓程式碼的量加倍，現在各個迴圈可以分別進行最佳化。 迴圈外提在版本 3.4 引入 GCC。 Loop unswitching is a compiler optimization. It moves a conditional inside a loop outside of it by duplicating the loop's body, and placing a version of it inside each of the if and else clauses of the conditional. This can improve the parallelization of the loop. Since modern processors can operate quickly on vectors, this improvement increases the speed of the program. Here is a simple example. Suppose we want to add the two arrays x and y and also do something depending on the variable w. We have the following C code: Loop unswitching was introduced in gcc in version 3.4. Размыкание цикла (англ. loop unswitching) состоит в вынесении условия за пределы цикла и дублирования тела цикла с помещением соответствующих вариантов в соответствующие ветви условия. Это позволяет улучшить производительность за счёт того, что современные процессоры могут выполнять векторные операции (данное оптимизирующее преобразование может быть выполнено совместно с размоткой цикла, а результатом размотки, в свою очередь, являются несколько операций в итерации, производимые над последовательными участками памяти, которые можно заменить одной векторной, если это позволяет архитектура; так, например, делается в ICC). Кроме того, это позволяет более эффективно выполнить цикл параллельно.
dcterms:subject
dbc:Compiler_optimizations
dbo:wikiPageID
611622
dbo:wikiPageRevisionID
1052686556
dbo:wikiPageWikiLink
dbr:C_(programming_language) dbr:Automatic_parallelization dbr:Compiler_optimization dbc:Compiler_optimizations dbr:GNU_Compiler_Collection
owl:sameAs
dbpedia-zh:迴圈判斷外提 wikidata:Q4043172 dbpedia-ru:Размыкание_цикла yago-res:Loop_unswitching n15:3kAoF freebase:m.02wdnq
dbp:wikiPageUsesTemplate
dbt:Compiler_optimizations dbt:Reflist
dbo:abstract
Размыкание цикла (англ. loop unswitching) состоит в вынесении условия за пределы цикла и дублирования тела цикла с помещением соответствующих вариантов в соответствующие ветви условия. Это позволяет улучшить производительность за счёт того, что современные процессоры могут выполнять векторные операции (данное оптимизирующее преобразование может быть выполнено совместно с размоткой цикла, а результатом размотки, в свою очередь, являются несколько операций в итерации, производимые над последовательными участками памяти, которые можно заменить одной векторной, если это позволяет архитектура; так, например, делается в ICC). Кроме того, это позволяет более эффективно выполнить цикл параллельно. Loop unswitching is a compiler optimization. It moves a conditional inside a loop outside of it by duplicating the loop's body, and placing a version of it inside each of the if and else clauses of the conditional. This can improve the parallelization of the loop. Since modern processors can operate quickly on vectors, this improvement increases the speed of the program. Here is a simple example. Suppose we want to add the two arrays x and y and also do something depending on the variable w. We have the following C code: int i, w, x[1000], y[1000]; for (i = 0; i < 1000; i++) { x[i] += y[i]; if (w) y[i] = 0; } The conditional inside this loop makes it difficult to safely parallelize this loop. When we unswitch the loop, this becomes: int i, w, x[1000], y[1000]; if (w) { for (i = 0; i < 1000; i++) { x[i] += y[i]; y[i] = 0; } } else { for (i = 0; i < 1000; i++) { x[i] += y[i]; } } While the loop unswitching may double the amount of code written, each of these new loops may now be separately optimized. Loop unswitching was introduced in gcc in version 3.4. 迴圈判斷外提（英語：loop unswitching）是一種的方法。迴圈判斷外提將迴圈中的條件式移到迴圈之外，在「若」與「否則」式裡各放置一個原來迴圈的內容。這可以增進迴圈平行處理的可能性。 以下是一個簡單的例子。若程式碼想要將陣列 x、y 相加，並根據變數 w 做別的事，就有這種 C 的程式碼： int i, w, x[1000], y[1000]; for (i = 0; i < 1000; i++) { x[i] = x[i] + y[i]; if (w) y[i] = 0; } 因為有迴圈裡的條件式，要安全的平行處理這個迴圈變得很困難。若進行判斷外提，這個迴圈會變成： int i, w, x[1000], y[1000]; if (w) { for (i = 0; i < 1000; i++) { x[i] = x[i] + y[i]; y[i] = 0; } } else { for (i = 0; i < 1000; i++) { x[i] = x[i] + y[i]; } } 雖然迴圈外提會讓程式碼的量加倍，現在各個迴圈可以分別進行最佳化。 迴圈外提在版本 3.4 引入 GCC。
gold:hypernym
dbr:Optimization
prov:wasDerivedFrom
wikipedia-en:Loop_unswitching?oldid=1052686556&ns=0
dbo:wikiPageLength
1795
foaf:isPrimaryTopicOf
wikipedia-en:Loop_unswitching