Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17

From version 14.1
edited by cmot
on 2014/02/10 21:01
Change comment: There is no comment for this version
To version 16.1
edited by cmot
on 2014/02/10 21:32
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -112,4 +112,56 @@
112 112  
113 113  [[image:attach:kieler14.png]]
114 114  
115 +Now generate the Sequentially Constructive Graph (SCG) from the normalized form. You do this also in the context menu of the Project Explorer by selecting the *.normalized.sct and choosing Generate SCG:
116 +
117 +[[image:attach:kieler15.png]]
118 +
119 +When selecting the abo.normalized.scg file the SCG diagram will be automatically synthesized (you may also want to re-arrange the KLigD view by dragging in to the right side again):
120 +
121 +[[image:attach:kieler16.png]]
122 +
123 +You can now populate the SCG automatically with dependency data. Choose Transform SCG -> SCG with Dependency Data from the context menu:
124 +
125 +[[image:attach:kieler17.png]]
126 +
127 +This will result in the following SCG:
128 +
129 +[[image:attach:kieler18.png]]
130 +
131 +Now populate the SCG with basic block information:
132 +
133 +[[image:attach:kieler19.png]]
134 +
135 +The SCG with calculated basic blocks will look like this:
136 +
137 +[[image:attach:kieler20.png]]
138 +
139 +The next step in compilation is the (more fine grained) calculate of scheduling blocks:
140 +
141 +[[image:attach:kieler21.png]]
142 +
143 +The populated SCG with scheduling information looks like this:
144 +
145 +[[image:attach:kieler22.png]]
146 +
147 +The SCG is now ready to be sequentialized. A primitive scheduler currently is included in KIELER but more elaborate ones are already in the pipe line:
148 +
149 +[[image:attach:kieler23.png]]
150 +
151 +The sequentialized SCG looks like this:
152 +
153 +[[image:attach:kieler24.png]]
154 +
155 +From here its only a short hop to C code. Transform the sequentialized SCG into an S Tick Function:
156 +
157 +[[image:attach:kieler25.png]]
158 +
159 +When opening the S file (abo.normalized.seq.s) this already is very c like code. Selecting Generate SC
160 +
115 115  
162 +
163 +
164 +
165 +
166 +
167 +
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651725
1 +8651729
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651725/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651729/PLDI'14 Artifact on SCCharts