Skip to content

Commit

Permalink
Began using this model to test tasking/threading. Looking at the
Browse files Browse the repository at this point in the history 
mutexing code.  Added some OAL to include transient sets, which
use the dynamic containers (containoids).  #1
  • Loading branch information
Cortland Starrett authored and Cortland Starrett committed Dec 6, 2012
1 parent 5a3cc1c commit 9ffda0b
Show file tree
Hide file tree
Showing 21 changed files with 2,403 additions and 27 deletions.
6 changes: 3 additions & 3 deletions VandMC_testing/ttt/.externalToolBuilders/Model Compiler.launch
View file
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><launchConfiguration type="org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType">
<booleanAttribute key="org.eclipse.debug.core.ATTR_REFRESH_RECURSIVE" value="true"/>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;&#13;&#10;&lt;launchConfigurationWorkingSet factoryID=&quot;org.eclipse.ui.internal.WorkingSetFactory&quot; id=&quot;1354201701147_2&quot; label=&quot;working set&quot; name=&quot;working set&quot;&gt;&#13;&#10;&lt;item factoryID=&quot;org.eclipse.ui.internal.model.ResourceFactory&quot; path=&quot;/ttt&quot; type=&quot;4&quot;/&gt;&#13;&#10;&lt;/launchConfigurationWorkingSet&gt;}"/>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;&#13;&#10;&lt;resources&gt;&#13;&#10;&lt;item path=&quot;/ttt&quot; type=&quot;4&quot;/&gt;&#13;&#10;&lt;/resources&gt;}"/>
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
<mapAttribute key="org.eclipse.debug.core.environmentVariables">
<mapEntry key="MGLS_ATTR_DISPLAY" value="_1244"/>
<mapEntry key="MGLS_ATTR_DISPLAY" value="_3432"/>
</mapAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CAPTURE_IN_FILE" value="${workspace_loc:/ttt}/mcout.txt"/>
<booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/>
<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_BUILDER_ENABLED" value="true"/>
<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="C:/MentorGraphics/BridgePoint/eclipse_extensions/BridgePoint/eclipse/plugins/com.mentor.nucleus.bp.mc.c.source_3.6.3/mc3020/bin/xtumlmc_build.exe"/>
Expand Down
1 change: 1 addition & 0 deletions VandMC_testing/ttt/gen/system.mark
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
.invoke MarkSystemConfigurationPackage( "system" )
.invoke EnableTasking( "POSIX", "", 4 )
.invoke TagDynamicMemoryAllocationOn( 10 )
.//============================================================================
.// File: system.mark
.//
Expand Down
55 changes: 55 additions & 0 deletions VandMC_testing/ttt/mcout.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,55 @@
Wed Dec 5 23:18:50 2012
xtumlmc_build -home C:/MentorGraphics/BridgePoint/eclipse_extensions/BridgePoint/eclipse/plugins/com.mentor.nucleus.bp.mc.c.source_3.6.3/ -l3s -e -d code_generation -O ../../src/
Upgrading translation workspace: code_generation
NOTE: Domain code 0 allocated for this import.
NOTE: The domain code you have entered has already been used/allocated, but will allow this import to proceed normally.
m.system.arc: 27: INFO: EnableTasking( POSIX, , 4 )
q.mc_metamodel.populate.arc: 362: INFO: Marked configuration package system found.
m.domain.arc: 97: INFO: Function test marked as initialization function.
m.domain.arc: 173: INFO: Enabling state transition tracing for component(s) *.
m.domain.arc: 200: INFO: Action statement tracing enabled for component c1.
m.domain.arc: 200: INFO: Action statement tracing enabled for component c2.
m.domain.arc: 200: INFO: Action statement tracing enabled for component c3.
m.domain.arc: 213: INFO: Enabling detection of empty handles for component(s) *.
sys.arc: 151: INFO: System level marking complete.
q.domain.analyze.arc: 23: INFO: Analyzing model and making optimizations....
q.domain.analyze.arc: 48: INFO: Nonself queue is needed.
q.domain.analyze.arc: 51: INFO: Attributes read is 5.
q.domain.analyze.arc: 52: INFO: Attributes written is 5.
q.domain.analyze.arc: 54: INFO: 2 attributes got optimized out.
q.oal.translate.arc: 106: INFO: translating values
q.oal.translate.arc: 110: INFO: translating control statements
q.oal.translate.arc: 112: INFO: translating other statements
q.oal.translate.arc: 114: INFO: done translating statements
q.domain.bridges.arc: 29: INFO: File '_ch/ARCH_bridge.h' CREATED.
q.domain.bridges.arc: 35: INFO: File '_ch/ARCH_bridge.c' CREATED.
q.domain.bridges.arc: 29: INFO: File '_ch/LOG_bridge.h' CREATED.
q.domain.bridges.arc: 35: INFO: File '_ch/LOG_bridge.c' CREATED.
q.classes.arc: 31: INFO: File '_ch/c1_PING_class.h' CREATED.
q.classes.arc: 36: INFO: File '_ch/c1_PING_class.c' CREATED.
q.classes.arc: 31: INFO: File '_ch/c1_PONG_class.h' CREATED.
q.classes.arc: 36: INFO: File '_ch/c1_PONG_class.c' CREATED.
q.classes.arc: 31: INFO: File '_ch/c2_TAC_A_class.h' CREATED.
q.classes.arc: 36: INFO: File '_ch/c2_TAC_A_class.c' CREATED.
q.classes.arc: 31: INFO: File '_ch/c3_TOE_A_class.h' CREATED.
q.classes.arc: 36: INFO: File '_ch/c3_TOE_A_class.c' CREATED.
q.components.arc: 38: INFO: File '_ch/c1.h' CREATED.
q.components.arc: 92: INFO: File '_ch/c1_classes.h' CREATED.
q.components.arc: 99: INFO: File '_ch/c1.c' CREATED.
q.components.arc: 38: INFO: File '_ch/c2.h' CREATED.
q.components.arc: 92: INFO: File '_ch/c2_classes.h' CREATED.
q.components.arc: 99: INFO: File '_ch/c2.c' CREATED.
q.components.arc: 38: INFO: File '_ch/c3.h' CREATED.
q.components.arc: 92: INFO: File '_ch/c3_classes.h' CREATED.
q.components.arc: 99: INFO: File '_ch/c3.c' CREATED.
sys.arc: 251: INFO: File '_ch/ttt_sys_main.c' CREATED.
sys.arc: 289: INFO: File '_ch/sys_thread.c' CREATED.
sys.arc: 312: INFO: File '_ch/sys_xtuml.h' CREATED.
sys.arc: 319: INFO: File '_ch/sys_xtuml.c' CREATED.
sys.arc: 352: INFO: File '_ch/ttt_sys_types.h' CREATED.
sys.arc: 358: INFO: File '_ch/sys_user_co.h' CREATED.
sys.arc: 364: INFO: File '_ch/sys_user_co.c' CREATED.
sys.arc: 370: INFO: File '_ch/TIM_bridge.h' CREATED.
sys.arc: 376: INFO: File '_ch/TIM_bridge.c' CREATED.
Code generation complete.
Wed Dec 5 23:18:53 2012
2 changes: 2 additions & 0 deletions VandMC_testing/ttt/models/ttt/cp1/c1/c1.xtuml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -554,6 +554,8 @@ INSERT INTO SPR_PS
's1',
'',
's = "tic catch";
select any pong from instances of PONG;
generate PONG1 to pong;
if ( 3 != param.sp1 )
LOG::LogFailure( message:"tic catch did not get 3" );
else
Expand Down
8 changes: 7 additions & 1 deletion VandMC_testing/ttt/models/ttt/cp1/c1/fp1/fp1.xtuml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,13 @@ INSERT INTO S_SYNC
"00000000-0000-0000-0000-000000000000",
'test',
'',
's = "tic function test";
'create object instance ping of PING;
create object instance pong of PONG;
relate ping to pong across R1;
ping.i = 0;
pong.s = "pong";

s = "tic function test";
send toss::s1( sp1:1 );


Expand Down
Loading

0 comments on commit 9ffda0b

Please sign in to comment.