| dbo:abstract
|
- Στο πεδίο των , η ανάλυση διαθέσιμων εκφράσεων (available expressions analysis) είναι ένας αλγόριθμος που εντοπίζει το σύνολο των εκφράσεων που δε χρειάζεται να υπολογιστούν ξανά σε κάθε σημείο ενός προγράμματος. Αυτές οι εκφράσεις τότε λέγεται ότι είναι διαθέσιμες σε αυτό το σημείο. Για να είναι διαθέσιμη μια συνάρτηση σε ένα σημείο του προγράμματος, πρέπει οι τελεστέοι της να μην αλλάζουν από κανένα μονοπάτι μεταξύ της παρουσίας της και του σημείου στο πρόγραμμα. Η ανάλυση αυτή είναι ένα παράδειγμα προβλήματος προς τα εμπρός. Διατηρείται ένα σύνολο από διαθέσιμες εκφράσεις και κάθε εντολή αναλύεται για να βρεθεί αν αλλάζει τους τελεστέους μιας ή περισσότερων διαθέσιμων εκφράσεων. Από αυτό προκύπτουν σύνολα διαθέσιμων εκφράσεων στο τέλος κάθε , γνωστής και σαν αρχή (outset) με όρους ανάλυσης ροής δεδομένων. Μια έκφραση είναι διαθέσιμη στην αρχή μιας βασικής ενότητας αν είναι διαθέσιμη στο τέλος κάθε μιας από τις προηγούμενες ενότητες αυτής. Αυτό δίνει κάποιες εξισώσεις στις οποίες συμμετέχουν τα διαθέσιμα σύνολα, οι οποίες και λύνονται με έναν επαναλητπικό αλγόριθμο. (el)
- In the field of compiler optimizations, available expressions is an analysis algorithm that determines for each point in the program the set of expressions that need not be recomputed. Those expressions are said to be available at such a point. To be available on a program point, the operands of the expression should not be modified on any path from the occurrence of that expression to the program point. The analysis is an example of a forward data flow analysis problem. A set of available expressions is maintained. Each statement is analysed to see whether it changes the operands of one or more available expressions. This yields sets of available expressions at the end of each basic block, known as the outset in data flow analysis terms. An expression is available at the start of a basic block if it is available at the end of each of the basic block's predecessors. This gives a set of equations in terms of available sets, which can be solved by an iterative algorithm. Available expression analysis is used to do global common subexpression elimination (CSE). If an expression is available at a point, there is no need to re-evaluate it. (en)
- Доступні вирази — алгоритм розбору, що визначає для кожної точки програми набір виразів, що не мають бути переобчислені. Кажуть, що в цій точці ці вирази доступні. Щоб бути доступним в точці програми, операнди вирази не повинні бути змінені з часу зустрічі цього виразу до цієї точки. Цей розбір є прикладом задачі вперед. Набір доступних зберігається. Кожне твердження розбирається на питання чи не змінює воно значення операнда одного чи декількох доступних виразів. Отримуємо набір доступних виразів на завершенні кожного базового блоку, відомий як початок (англ. outset) в термінах аналізу потоку даних. Вираз доступний на старті базового блоку, якщо він доступний наприкінці кожного його попередника. Звідки ми можемо отримати набір виразів доступних на початку блока. Розбір доступних виразів використовується в усуненні глобальних загальних виразів. Якщо вираз доступний в точці, немає потреби заново рахувати його. (uk)
- Доступное выражение (англ. Available expression) в теории построения компиляторов — некоторое выражение в точке , если любой путь от входного узла к вычисляет и после последнего вычисления до достижения нет последующих присваиваний переменным и .
* Блок уничтожает выражение , если он присваивает (или может присваивать) и и после этого не вычисляет заново.
* Блок генерирует выражение , если он вычисляет и не выполняет последующих переопределений и . Основное применение информации о доступных выражениях — поиск глобальных общих подвыражений. Можно вычислить множество генерируемых выражений для каждой точки блока, проходя от начала до конца блока. В точке, предшествующей блоку, сгенерированных выражений нет. Если в точке доступно множество выражений , a представляет собой точку после с инструкцией между ними, то мы образуем множество доступных в выражений следующим образом: 1.
* Добавляем к выражение . 2.
* Удаляем из все выражения, включающие переменную . Описанные действия должны выполняться в указанном порядке, так как может совпадать с или . После того как достигнут конец блока, будет представлять собой множество сгенерированных выражений блока. Множество уничтоженных выражений представляет собой множество всех выражений, например, , таких, что или определяется в блоке, и при этом блоком не генерируется. (ru)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1458 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Στο πεδίο των , η ανάλυση διαθέσιμων εκφράσεων (available expressions analysis) είναι ένας αλγόριθμος που εντοπίζει το σύνολο των εκφράσεων που δε χρειάζεται να υπολογιστούν ξανά σε κάθε σημείο ενός προγράμματος. Αυτές οι εκφράσεις τότε λέγεται ότι είναι διαθέσιμες σε αυτό το σημείο. Για να είναι διαθέσιμη μια συνάρτηση σε ένα σημείο του προγράμματος, πρέπει οι τελεστέοι της να μην αλλάζουν από κανένα μονοπάτι μεταξύ της παρουσίας της και του σημείου στο πρόγραμμα. (el)
- In the field of compiler optimizations, available expressions is an analysis algorithm that determines for each point in the program the set of expressions that need not be recomputed. Those expressions are said to be available at such a point. To be available on a program point, the operands of the expression should not be modified on any path from the occurrence of that expression to the program point. Available expression analysis is used to do global common subexpression elimination (CSE). If an expression is available at a point, there is no need to re-evaluate it. (en)
- Доступні вирази — алгоритм розбору, що визначає для кожної точки програми набір виразів, що не мають бути переобчислені. Кажуть, що в цій точці ці вирази доступні. Щоб бути доступним в точці програми, операнди вирази не повинні бути змінені з часу зустрічі цього виразу до цієї точки. Розбір доступних виразів використовується в усуненні глобальних загальних виразів. Якщо вираз доступний в точці, немає потреби заново рахувати його. (uk)
- Доступное выражение (англ. Available expression) в теории построения компиляторов — некоторое выражение в точке , если любой путь от входного узла к вычисляет и после последнего вычисления до достижения нет последующих присваиваний переменным и .
* Блок уничтожает выражение , если он присваивает (или может присваивать) и и после этого не вычисляет заново.
* Блок генерирует выражение , если он вычисляет и не выполняет последующих переопределений и . Основное применение информации о доступных выражениях — поиск глобальных общих подвыражений. (ru)
|
| rdfs:label
|
- Ανάλυση διαθέσιμων εκφράσεων (el)
- Available expression (en)
- Доступное выражение (ru)
- Доступні вирази (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
