Actions
Task #3406
closedCFG extraction from guarded atomic actions (GAA) set.
Start date:
09/05/2012
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
1. Реализация на Java;
1.1 Визуализация CFG;
2. Апробация на plasma.
Updated by Sergey Smolov over 11 years ago
В качестве метода построения CFG предлагается разработать набор процедур, упрощающих DFG (Data Flow Graph).
Процедура 1 (схлопывание "звезд")
------------
Если в DFG присутствует сильно связный подграф(SCS) типа "звезда", то можно попробовать трансформировать его в SCS со всего лишь 2 вершинами, одна из которых имеет guard, зависящий от clock, а в другой guard и action являются комбинированными.
Идею данной процедуры нужно развить и оценить её корректность.
Updated by Alexander Kamkin about 11 years ago
- Project changed from 82 to Retrascope
Actions