Project

General

Profile

Task #3406

CFG extraction from guarded atomic actions (GAA) set.

Added by Sergey Smolov about 8 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
-
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.

History

#1

Updated by Sergey Smolov almost 8 years ago

В качестве метода построения CFG предлагается разработать набор процедур, упрощающих DFG (Data Flow Graph).

Процедура 1 (схлопывание "звезд")
------------

Если в DFG присутствует сильно связный подграф(SCS) типа "звезда", то можно попробовать трансформировать его в SCS со всего лишь 2 вершинами, одна из которых имеет guard, зависящий от clock, а в другой guard и action являются комбинированными.

Идею данной процедуры нужно развить и оценить её корректность.

#2

Updated by Alexander Kamkin over 7 years ago

  • Project changed from CFG Extractor to Retrascope
#3

Updated by Sergey Smolov over 7 years ago

  • Status changed from New to Closed

Тикет устарел.

Also available in: Atom PDF