Changes for page PLDI'14 Artifact on SCCharts
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -112,56 +112,48 @@ 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 :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. 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). 116 116 117 -[[image:attach:kieler15.png]] 117 +[[image:attach:kieler15.png]][[image:attach:kieler16.png]] 118 118 119 - Whenselecting 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):119 + 120 120 121 - [[image:attach:kieler16.png]]121 +You can now populate the SCG automatically with dependency data. Choose Transform SCG -> SCG with Dependency Data from the context menu (left side). This will result in the following SCG (right side). 122 122 123 - You can now populatethe SCGautomatically withdependency data. Choose Transform SCG -> SCG with Dependency Data from the context menu:123 +[[image:attach:kieler17.png]][[image:attach:kieler18.png]] 124 124 125 - [[image:attach:kieler17.png]]125 + 126 126 127 - Thiswillresult inthefollowingSCG:127 +Now populate the SCG with basic block information (left side). The SCG with calculated basic blocks will look like this (right side). 128 128 129 -[[image:attach:kieler1 8.png]]129 +[[image:attach:kieler19.png]][[image:attach:kieler20.png]] 130 130 131 - Nowpopulate the SCG with basic block information:131 + 132 132 133 - [[image:attach:kieler19.png]]133 +The next step in compilation is the (more fine grained) calculate of scheduling blocks (left side). The populated SCG with scheduling information looks like this (right side). 134 134 135 - The SCG with calculated basicblocks will look likethis:135 +[[image:attach:kieler21.png]][[image:attach:kieler22.png]] 136 136 137 - [[image:attach:kieler20.png]]137 + 138 138 139 -The ne xt stepincompilation isthe(morefinegrained)calculateof schedulingblocks:139 +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 (left side). The sequentialized SCG looks like this (right side). 140 140 141 -[[image:attach:kieler2 1.png]]141 +[[image:attach:kieler23.png]][[image:attach:kieler24.png]] 142 142 143 - Thepopulated SCG with scheduling information looks like this:143 + 144 144 145 - [[image:attach:kieler22.png]]145 +From here its only a short hop to C code. Transform the sequentialized SCG into an S Tick Function (left side). When opening the S file (abo.normalized.seq.s) this already is very c like code (right side). 146 146 147 - The SCGis now readyto be sequentialized. A primitive schedulercurrentlyis included in KIELER butmore elaborateonesare already inthe pipeline:147 +[[image:attach:kieler25.png]][[image:attach:kieler26.png]] 148 148 149 - [[image:attach:kieler23.png]]149 + 150 150 151 - ThesequentializedSCGlookslikethis:151 +Selecting Generate SC will produce a C file: 152 152 153 -[[image:attach:kieler2 4.png]]153 +[[image:attach:kieler27.png]][[image:attach:kieler28.png]] 154 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 - 161 161 162 162 163 163 164 164 165 165 166 - 167 -
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -86517 291 +8651733 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/86517 29/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651733/PLDI'14 Artifact on SCCharts