From: David Goulet Date: Wed, 30 Jan 2013 16:08:54 +0000 (-0500) Subject: Fix: change health poll update to entry/exit calls X-Git-Tag: v2.1.2~15 X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=4e53a12fd2d1fb15f8ed6db2948b27a9714c0b2f;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 Signed-off-by: David Goulet --- 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 157ad1591..461394e44 100644 --- a/src/bin/lttng-sessiond/main.c +++ b/src/bin/lttng-sessiond/main.c @@ -734,9 +734,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. @@ -880,14 +880,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. @@ -979,9 +979,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. @@ -1121,9 +1121,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. @@ -1401,9 +1401,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. @@ -3179,9 +3179,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.