Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -8,4 +8,63 @@
8	8
9	9	= SCL Transformation Optimization =
10	10
11		-//coming soon...//
	11	+The (naive) generated SCL code can be optimized. Several optimizations are implemented or planned.
	12	+
	13	+For the following optimizations two assuptions are made:
	14	+
	15	+* A transition does not require an explizit goto instruction
	16	+* A thread terminates, iff its parallel block is exited (via the next par statement or join)
	17	+
	18	+The optimization level can be specified in the CoreToSCLTransformation class.
	19	+
	20	+|=(((
	21	+Optimization
	22	+)))|=(((
	23	+Description
	24	+)))
	25	+|(((
	26	+OPTIMIZE_GOTO
	27	+)))|(((
	28	+Removes all goto instructions, that target a label, that follows that goto.
	29	+)))
	30	+|(% colspan="1" %)(% colspan="1" %)
	31	+(((
	32	+OPTIMIZE_LABEL
	33	+)))|(% colspan="1" %)(% colspan="1" %)
	34	+(((
	35	+Removes all unreferenced labels.
	36	+)))
	37	+|(% colspan="1" %)(% colspan="1" %)
	38	+(((
	39	+OPTIMIZE_SELFLOOP
	40	+)))|(% colspan="1" %)(% colspan="1" %)
	41	+(((
	42	+If a state has only one outgoing non-default transition, the expression of that transition is negated, the transition target is changed to itself and the implizit selfloop is deleted. So, if the original expression is true, the sequential control flow is used to proceed and no goto jump is necessary.
	43	+)))
	44	+|(% colspan="1" %)(% colspan="1" %)
	45	+(((
	46	+OPTIMIZE_STATEPOSITION
	47	+
	48	+(temporary deactivated)
	49	+)))|(% colspan="1" %)(% colspan="1" %)
	50	+(((
	51	+In some cases label and goto instructions can be removed, if the states in a region are ordered differently. This optimization checks for redundant jumps and changes the order of the states if possible and necessary.
	52	+)))
	53	+|(% colspan="1" %)(% colspan="1" %)
	54	+(((
	55	+OPTIMIZE_SINGLETRANSITIONS
	56	+
	57	+(planned)
	58	+)))|(% colspan="1" %)(% colspan="1" %)
	59	+(((
	60	+
	61	+)))
	62	+|(% colspan="1" %)(% colspan="1" %)
	63	+(((
	64	+OPTIMIZE_WTOTRANSITIONS
	65	+
	66	+(planned)
	67	+)))|(% colspan="1" %)(% colspan="1" %)
	68	+(((
	69	+
	70	+)))

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-6750235
	1	+6750236

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750235/SCL Transformation
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750236/SCL Transformation