PERFORCE change 223023 for review

[Jonathan Anderson]

http://p4web.freebsd.org/@@223023?ac=10

Change 223023 by jonathan at jonathan-on-joe on 2013/03/18 22:03:06

	Update to upstream commit 9ac8889b.
	
	Obtained from:	https://github.com/CTSRD-TESLA/TESLA/commit/9ac8889ba8d19732b347fba935d3b9b0e77a28fd

Affected files ...

.. //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla_notification.c#2 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla_notification.c#2 (text+ko) ====

@@ -48,6 +48,12 @@
 		VERBOSE_PRINT("new    %td: %tx\n",
 		              tip - tcp->ts_table->tt_instances,
 		              tip->ti_state);
+
+		/*
+		 * XXXJA: convince self that we can never "pass" an assertion
+		 *        with an event that creates a new instance
+		 */
+
 		break;
 	}
 }
@@ -72,6 +78,10 @@
 		VERBOSE_PRINT("clone  %td:%tx -> %tx\n",
 		              tip - tcp->ts_table->tt_instances,
 		              tip->ti_state, t->to);
+
+		if (t->flags & TESLA_TRANS_CLEANUP)
+			tesla_state_notify_pass(tcp, tip);
+
 		break;
 	}
 	}
@@ -97,6 +107,10 @@
 		VERBOSE_PRINT("update %td: %tx->%tx\n",
 		              tip - tcp->ts_table->tt_instances,
 		              t->from, t->to);
+
+		if (t->flags & TESLA_TRANS_CLEANUP)
+			tesla_state_notify_pass(tcp, tip);
+
 		break;
 	}
 	}
@@ -128,7 +142,8 @@
 		return;
 
 	default:
-		/* for now, don't do anything */
+		VERBOSE_PRINT("pass '%s': %td\n", tcp->ts_name,
+		    tip - tcp->ts_table->tt_instances);
 		break;
 	}
 }