2 * Copyright (C) 2012 - David Goulet <dgoulet@efficios.com>
4 * This program is free software; you can redistribute it and/or modify it
5 * under the terms of the GNU General Public License, version 2 only, as
6 * published by the Free Software Foundation.
8 * This program is distributed in the hope that it will be useful, but WITHOUT
9 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
10 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
13 * You should have received a copy of the GNU General Public License along with
14 * this program; if not, write to the Free Software Foundation, Inc., 51
15 * Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
24 #include <urcu/tls-compat.h>
25 #include <urcu/uatomic.h>
26 #include <urcu/list.h>
29 * These are the value added to the current state depending of the position in
30 * the thread where is either waiting on a poll() or running in the code.
32 #define HEALTH_POLL_VALUE (1UL << 0)
33 #define HEALTH_CODE_VALUE (1UL << 1)
35 #define HEALTH_IS_IN_POLL(x) ((x) & HEALTH_POLL_VALUE)
40 HEALTH_ERROR
= (1U << 0),
45 * last counter and last_time are only read and updated by the health_check
46 * thread (single updater).
49 struct timespec last_time
;
52 * current and flags are updated by multiple threads concurrently.
54 unsigned long current
; /* progress counter, updated atomically */
55 enum health_flags flags
; /* other flags, updated atomically */
56 int type
; /* Indicates the nature of the thread. */
57 /* Node of the global TLS state list. */
58 struct cds_list_head node
;
61 /* Declare TLS health state. */
62 extern DECLARE_URCU_TLS(struct health_state
, health_state
);
65 * Update current counter by 1 to indicate that the thread entered or left a
66 * blocking state caused by a poll(). If the counter's value is not an even
67 * number (meaning a code execution flow), an assert() is raised.
69 static inline void health_poll_entry(void)
71 /* Code MUST be in code execution state which is an even number. */
72 assert(!(uatomic_read(&URCU_TLS(health_state
).current
)
73 & HEALTH_POLL_VALUE
));
75 uatomic_add(&URCU_TLS(health_state
).current
, HEALTH_POLL_VALUE
);
79 * Update current counter by 1 indicating the exit of a poll or blocking call.
80 * If the counter's value is not an odd number (a poll execution), an assert()
83 static inline void health_poll_exit(void)
85 /* Code MUST be in poll execution state which is an odd number. */
86 assert(uatomic_read(&URCU_TLS(health_state
).current
)
89 uatomic_add(&URCU_TLS(health_state
).current
, HEALTH_POLL_VALUE
);
93 * Update current counter by 2 indicates progress in execution of a
96 static inline void health_code_update(void)
98 uatomic_add(&URCU_TLS(health_state
).current
, HEALTH_CODE_VALUE
);
102 * Set health "error" flag.
104 static inline void health_error(void)
106 uatomic_or(&URCU_TLS(health_state
).flags
, HEALTH_ERROR
);
109 struct health_app
*health_app_create(int nr_types
);
110 void health_app_destroy(struct health_app
*ha
);
111 int health_check_state(struct health_app
*ha
, int type
);
112 void health_register(struct health_app
*ha
, int type
);
113 void health_unregister(struct health_app
*ha
);
114 void health_init(struct health_app
*ha
);
116 #endif /* _HEALTH_H */
This page took 0.036824 seconds and 5 git commands to generate.