From: David Goulet <dgoulet@efficios.com>
Date: Wed, 30 Jan 2013 16:08:54 +0000 (-0500)
Subject: Fix: change health poll update to entry/exit calls
X-Git-Tag: v2.2.0-rc1~73
X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=a78af745624dfc8bfe90748a1730fecbb4677a17;p=lttng-tools.git

Fix: change health poll update to entry/exit calls

It adds a better semantic to the code flow. Furthermore, the current
counter of the health state is now validated raising an assert() if the
value is unexepected.

Acked-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Signed-off-by: David Goulet <dgoulet@efficios.com>
---

diff --git a/src/bin/lttng-sessiond/health.h b/src/bin/lttng-sessiond/health.h
index 34d2052e5..28d7dc649 100644
--- a/src/bin/lttng-sessiond/health.h
+++ b/src/bin/lttng-sessiond/health.h
@@ -74,11 +74,30 @@ struct health_state {
 extern DECLARE_URCU_TLS(struct health_state, health_state);
 
 /*
- * Update current counter by 1 to indicate that the thread entered or
- * left a blocking state caused by a poll().
+ * Update current counter by 1 to indicate that the thread entered or left a
+ * blocking state caused by a poll(). If the counter's value is not an even
+ * number (meaning a code execution flow), an assert() is raised.
  */
-static inline void health_poll_update(void)
+static inline void health_poll_entry(void)
 {
+	/* Code MUST be in code execution state which is an even number. */
+	assert(!(uatomic_read(&URCU_TLS(health_state).current)
+				& HEALTH_POLL_VALUE));
+
+	uatomic_add(&URCU_TLS(health_state).current, HEALTH_POLL_VALUE);
+}
+
+/*
+ * Update current counter by 1 indicating the exit of a poll or blocking call.
+ * If the counter's value is not an odd number (a poll execution), an assert()
+ * is raised.
+ */
+static inline void health_poll_exit(void)
+{
+	/* Code MUST be in poll execution state which is an odd number. */
+	assert(uatomic_read(&URCU_TLS(health_state).current)
+				& HEALTH_POLL_VALUE);
+
 	uatomic_add(&URCU_TLS(health_state).current, HEALTH_POLL_VALUE);
 }
 
diff --git a/src/bin/lttng-sessiond/main.c b/src/bin/lttng-sessiond/main.c
index 859223a11..74f448a88 100644
--- a/src/bin/lttng-sessiond/main.c
+++ b/src/bin/lttng-sessiond/main.c
@@ -746,9 +746,9 @@ static void *thread_manage_kernel(void *data)
 
 		/* Poll infinite value of time */
 	restart:
-		health_poll_update();
+		health_poll_entry();
 		ret = lttng_poll_wait(&events, -1);
-		health_poll_update();
+		health_poll_exit();
 		if (ret < 0) {
 			/*
 			 * Restart interrupted system call.
@@ -909,14 +909,14 @@ static void *thread_manage_consumer(void *data)
 
 	/* Inifinite blocking call, waiting for transmission */
 restart:
-	health_poll_update();
+	health_poll_entry();
 
 	if (testpoint(thread_manage_consumer)) {
 		goto error;
 	}
 
 	ret = lttng_poll_wait(&events, -1);
-	health_poll_update();
+	health_poll_exit();
 	if (ret < 0) {
 		/*
 		 * Restart interrupted system call.
@@ -1008,9 +1008,9 @@ restart:
 
 	/* Inifinite blocking call, waiting for transmission */
 restart_poll:
-	health_poll_update();
+	health_poll_entry();
 	ret = lttng_poll_wait(&events, -1);
-	health_poll_update();
+	health_poll_exit();
 	if (ret < 0) {
 		/*
 		 * Restart interrupted system call.
@@ -1150,9 +1150,9 @@ static void *thread_manage_apps(void *data)
 
 		/* Inifinite blocking call, waiting for transmission */
 	restart:
-		health_poll_update();
+		health_poll_entry();
 		ret = lttng_poll_wait(&events, -1);
-		health_poll_update();
+		health_poll_exit();
 		if (ret < 0) {
 			/*
 			 * Restart interrupted system call.
@@ -1430,9 +1430,9 @@ static void *thread_registration_apps(void *data)
 
 		/* Inifinite blocking call, waiting for transmission */
 	restart:
-		health_poll_update();
+		health_poll_entry();
 		ret = lttng_poll_wait(&events, -1);
-		health_poll_update();
+		health_poll_exit();
 		if (ret < 0) {
 			/*
 			 * Restart interrupted system call.
@@ -3208,9 +3208,9 @@ static void *thread_manage_clients(void *data)
 
 		/* Inifinite blocking call, waiting for transmission */
 	restart:
-		health_poll_update();
+		health_poll_entry();
 		ret = lttng_poll_wait(&events, -1);
-		health_poll_update();
+		health_poll_exit();
 		if (ret < 0) {
 			/*
 			 * Restart interrupted system call.