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,48 +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 . 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).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 116 117 -[[image:attach:kieler15.png]] [[image:attach:kieler16.png]]117 +[[image:attach:kieler15.png]] 118 118 119 - 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 120 121 - You can now populate the SCG automatically with dependency data. Choose Transform SCG -> SCG with Dependency Data from thecontext menu (left side). This will result in thefollowing SCG (right side).121 +[[image:attach:kieler16.png]] 122 122 123 - [[image:attach:kieler17.png]][[image:attach:kieler18.png]]123 +You can now populate the SCG automatically with dependency data. Choose Transform SCG -> SCG with Dependency Data from the context menu: 124 124 125 - 125 +[[image:attach:kieler17.png]] 126 126 127 - Now populate the SCG with basicblockinformation (leftside).The SCG withcalculatedbasic blocks willlook like this (rightside).127 +This will result in the following SCG: 128 128 129 -[[image:attach:kieler1 9.png]][[image:attach:kieler20.png]]129 +[[image:attach:kieler18.png]] 130 130 131 - 131 +Now populate the SCG with basic block information: 132 132 133 - The next stepin compilation is the (more finegrained) calculate of scheduling blocks (left side). The populated SCG with scheduling informationlooks like this (right side).133 +[[image:attach:kieler19.png]] 134 134 135 - [[image:attach:kieler21.png]][[image:attach:kieler22.png]]135 +The SCG with calculated basic blocks will look like this: 136 136 137 - 137 +[[image:attach:kieler20.png]] 138 138 139 -The SCG isnow readytobesequentialized.Aprimitive scheduler currentlyisincludedin KIELER butmoreelaborate onesarealreadyinthepipeline (leftside). ThesequentializedSCGlookslike this (right side).139 +The next step in compilation is the (more fine grained) calculate of scheduling blocks: 140 140 141 -[[image:attach:kieler2 3.png]][[image:attach:kieler24.png]]141 +[[image:attach:kieler21.png]] 142 142 143 - 143 +The populated SCG with scheduling information looks like this: 144 144 145 - From hereits onlyashort hop to C code. Transformthe sequentialized SCG into an S TickFunction (left side).When openingthe S file (abo.normalized.seq.s) this already is very c like code (right side).145 +[[image:attach:kieler22.png]] 146 146 147 - [[image:attach:kieler25.png]][[image:attach:kieler26.png]]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 148 149 - 149 +[[image:attach:kieler23.png]] 150 150 151 - SelectingGenerate SCwill producea C file:151 +The sequentialized SCG looks like this: 152 152 153 -[[image:attach:kieler2 7.png]][[image:attach:kieler28.png]]153 +[[image:attach:kieler24.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 + 155 155 156 156 157 157 158 158 159 159 166 + 167 +
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -86517 331 +8651729 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/86517 33/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651729/PLDI'14 Artifact on SCCharts