#27, #32 - Added some instrumentation to understand the nature of a

failed invocation of timer_cancel() against a recurring timer in Verifier. It seems that when timer_cancel() returns a failing return code when invoked against a recurring timer the recurring timer continues firing. This is odd, as the expectation is that a failing return code indicates that at most a single event is already in flight when the timer is cancelled, but in any case, the recurring timer is cancelled.
xtuml · Jun 13, 2014 · 0652e89 · 0652e89
1 parent 5f54d8b
commit 0652e89
Show file tree

Hide file tree

Showing 2 changed files with 96 additions and 85 deletions.
diff --git a/...rtRateMonitor/HeartRateMonitor/HeartRateMonitor/ClassStateMachine/ClassStateMachine.xtuml b/...rtRateMonitor/HeartRateMonitor/HeartRateMonitor/ClassStateMachine/ClassStateMachine.xtuml
@@ -242,7 +242,12 @@ INSERT INTO SM_ACT
 	"8ca672ac-4c8d-4785-c037-63b1fec94f59",
 	1,
 	'select any monitor from instances of HeartRateMonitor;
-res = TIM::timer_cancel(timer_inst_ref: monitor.timer);',
+res = TIM::timer_cancel(timer_inst_ref: monitor.timer);
+if ( res )
+  LOG::LogSuccess( message: "Heart Rate Monitor: timer_cancel() succeeded." );
+else
+  LOG::LogFailure( message: "Heart Rate Monitor: timer_cancel() failed." );
+end if;',
 	'');
 INSERT INTO SM_TAH
 	VALUES ("3b92c017-5c77-40c3-ba52-ca9a72f7db4a",
@@ -322,11 +327,11 @@ INSERT INTO GD_SHP
 INSERT INTO GD_NCS
 	VALUES ("3ca48cfe-469c-4e9b-a866-5878112234d9");
 INSERT INTO DIM_ND
-	VALUES (200.000000,
+	VALUES (444.000000,
 	150.000000,
 	"3ca48cfe-469c-4e9b-a866-5878112234d9");
 INSERT INTO DIM_GE
-	VALUES (4656.000000,
+	VALUES (4608.000000,
 	3156.000000,
 	"3ca48cfe-469c-4e9b-a866-5878112234d9",
 	"00000000-0000-0000-0000-000000000000");
@@ -336,23 +341,23 @@ INSERT INTO DIM_ELE
 	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_CON
 	VALUES ("43829238-04cc-4dd1-92c9-612f0e183a2d",
-	4656.000000,
+	4608.000000,
 	3186.000000,
 	"3ca48cfe-469c-4e9b-a866-5878112234d9");
 INSERT INTO DIM_CON
 	VALUES ("b4c5179c-4fd6-4589-bb50-2d4c766c5728",
-	4656.000000,
+	4608.000000,
 	3270.000000,
 	"3ca48cfe-469c-4e9b-a866-5878112234d9");
 INSERT INTO DIM_CON
 	VALUES ("83800495-d075-4d9b-82ae-d2d5842de096",
-	4856.000000,
-	3186.000000,
+	4860.000000,
+	3306.000000,
 	"3ca48cfe-469c-4e9b-a866-5878112234d9");
 INSERT INTO DIM_CON
 	VALUES ("8a152b63-ab00-4e5a-84d6-a228ecf03f14",
-	4856.000000,
-	3276.000000,
+	4680.000000,
+	3306.000000,
 	"3ca48cfe-469c-4e9b-a866-5878112234d9");
 INSERT INTO GD_GE
 	VALUES ("449739f8-6411-4ed5-8f4e-148394e77bf1",
@@ -394,7 +399,7 @@ INSERT INTO DIM_ND
 	24.000000,
 	"792977ed-98b1-40e6-8b9d-943cf9d75dc0");
 INSERT INTO DIM_GE
-	VALUES (4446.000000,
+	VALUES (4377.000000,
 	3164.000000,
 	"792977ed-98b1-40e6-8b9d-943cf9d75dc0",
 	"00000000-0000-0000-0000-000000000000");
@@ -436,7 +441,7 @@ INSERT INTO DIM_WAY
 	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_WAY
 	VALUES ("c2ab64ce-9fa9-44b2-8fc8-10c398510ed1",
-	4656.000000,
+	4608.000000,
 	3186.000000,
 	"449739f8-6411-4ed5-8f4e-148394e77bf1",
 	"00000000-0000-0000-0000-000000000000",
@@ -494,8 +499,8 @@ INSERT INTO DIM_ND
 	38.000000,
 	"e70cdec8-9d89-464b-9500-6347173af75c");
 INSERT INTO DIM_GE
-	VALUES (4439.000000,
-	3242.000000,
+	VALUES (4467.000000,
+	3247.000000,
 	"e70cdec8-9d89-464b-9500-6347173af75c",
 	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_ELE
@@ -529,7 +534,7 @@ INSERT INTO GD_LS
 	"3017367f-0155-4ed7-bccb-dfc684949240");
 INSERT INTO DIM_WAY
 	VALUES ("2d1319ae-0391-42c2-9c95-35ba27c1da14",
-	4656.000000,
+	4608.000000,
 	3270.000000,
 	"3ae13a1b-f448-4ae4-9a3c-02a5ad60d626",
 	"00000000-0000-0000-0000-000000000000",
@@ -594,8 +599,8 @@ INSERT INTO DIM_ND
 	38.000000,
 	"041b8114-6926-4693-9a3c-dbb1b91d409c");
 INSERT INTO DIM_GE
-	VALUES (4909.000000,
-	3206.000000,
+	VALUES (4706.000000,
+	3378.000000,
 	"041b8114-6926-4693-9a3c-dbb1b91d409c",
 	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_ELE
@@ -626,47 +631,47 @@ INSERT INTO GD_LS
 	"726a2084-98f9-46fe-8c4f-20128780a5d3",
 	"00000000-0000-0000-0000-000000000000",
 	"f846868f-f0ae-4115-934d-345cb9694f4c",
-	"f0b43a4f-c6a8-4d07-9319-7ecab0c0e3b6");
+	"e32b1d16-e0ba-457b-9661-8f1d6824bcfb");
 INSERT INTO GD_LS
-	VALUES ("65e0cf83-b472-470f-87e3-3d56a99b8c29",
+	VALUES ("0f5939e9-4d11-4bcf-829e-a0e9d4e0b5b7",
 	"726a2084-98f9-46fe-8c4f-20128780a5d3",
 	"90d2af27-6511-4a03-b13a-ea37932fb284",
-	"f0b43a4f-c6a8-4d07-9319-7ecab0c0e3b6",
-	"5a87f5da-9c04-4d3c-9654-a29f006a4ad3");
+	"e32b1d16-e0ba-457b-9661-8f1d6824bcfb",
+	"a43c3040-06ae-484a-a10c-eb10b4938d76");
 INSERT INTO GD_LS
-	VALUES ("431062b4-0eeb-40bc-8e7f-0b4c261988e0",
+	VALUES ("3d327d78-3a79-4062-a5d3-cbc2a38505b4",
 	"726a2084-98f9-46fe-8c4f-20128780a5d3",
-	"65e0cf83-b472-470f-87e3-3d56a99b8c29",
-	"5a87f5da-9c04-4d3c-9654-a29f006a4ad3",
-	"91e8d0a3-cc78-4aeb-9652-2f7587a0a7ed");
+	"0f5939e9-4d11-4bcf-829e-a0e9d4e0b5b7",
+	"a43c3040-06ae-484a-a10c-eb10b4938d76",
+	"a0434124-e64c-4004-8ffa-90b348648780");
 INSERT INTO DIM_WAY
 	VALUES ("f846868f-f0ae-4115-934d-345cb9694f4c",
-	4856.000000,
-	3186.000000,
+	4860.000000,
+	3306.000000,
 	"726a2084-98f9-46fe-8c4f-20128780a5d3",
 	"00000000-0000-0000-0000-000000000000",
 	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_WAY
-	VALUES ("f0b43a4f-c6a8-4d07-9319-7ecab0c0e3b6",
-	4902.000000,
-	3186.000000,
+	VALUES ("a0434124-e64c-4004-8ffa-90b348648780",
+	4680.000000,
+	3306.000000,
 	"726a2084-98f9-46fe-8c4f-20128780a5d3",
 	"00000000-0000-0000-0000-000000000000",
-	"f846868f-f0ae-4115-934d-345cb9694f4c");
+	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_WAY
-	VALUES ("5a87f5da-9c04-4d3c-9654-a29f006a4ad3",
-	4902.000000,
-	3276.000000,
+	VALUES ("e32b1d16-e0ba-457b-9661-8f1d6824bcfb",
+	4860.000000,
+	3371.000000,
 	"726a2084-98f9-46fe-8c4f-20128780a5d3",
 	"00000000-0000-0000-0000-000000000000",
-	"f0b43a4f-c6a8-4d07-9319-7ecab0c0e3b6");
+	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_WAY
-	VALUES ("91e8d0a3-cc78-4aeb-9652-2f7587a0a7ed",
-	4856.000000,
-	3276.000000,
+	VALUES ("a43c3040-06ae-484a-a10c-eb10b4938d76",
+	4680.000000,
+	3371.000000,
 	"726a2084-98f9-46fe-8c4f-20128780a5d3",
 	"00000000-0000-0000-0000-000000000000",
-	"5a87f5da-9c04-4d3c-9654-a29f006a4ad3");
+	"00000000-0000-0000-0000-000000000000");
 INSERT INTO DIM_GE
 	VALUES (0.000000,
 	0.000000,