Task #3406: CFG extraction from guarded atomic actions (GAA) set. - Retrascope - Open-Source Projects

Actions

Copy link

Task #3406

closed

CFG extraction from guarded atomic actions (GAA) set.

Added by Sergey Smolov over 11 years ago. Updated about 11 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Sergey Smolov

Category:

Target version:

Start date:

09/05/2012

Due date:

% Done:

Estimated time:

Detected in build:

svn

Published in build:

Description

1. Реализация на Java;
1.1 Визуализация CFG;

2. Апробация на plasma.

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

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

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

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

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

Actions

Copy link