mars/kernel/mars_check.c

348 lines
8.4 KiB
C
Raw Normal View History

2010-08-03 16:03:32 +00:00
// (c) 2010 Thomas Schoebel-Theuer / 1&1 Internet AG
/* Check brick
* checks various semantic properties, uses watchdog to find lost callbacks.
*/
/* FIXME: this code has been unused for a long time, it is unlikly
* to work at all.
*/
/* FIXME: improve this a lot!
* Check really _anything_ in the interface which _could_ go wrong,
* even by the silliest type of accident!
*/
2010-08-03 16:03:32 +00:00
//#define BRICK_DEBUGGING
//#define MARS_DEBUGGING
//#define IO_DEBUGGING
//#define STAT_DEBUGGING
2010-08-03 16:03:32 +00:00
#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/string.h>
#include "mars.h"
///////////////////////// own type definitions ////////////////////////
#include "mars_check.h"
///////////////////////// own helper functions ////////////////////////
2010-08-20 10:58:24 +00:00
#define CHECK_ERR(output,fmt,args...) \
do { \
struct check_input *input = (output)->brick->inputs[0]; \
struct generic_output *other = (void*)input->connect; \
if (other) { \
MARS_ERR("instance %d/%s/%s: " fmt, \
(output)->instance_nr, \
other->type->type_name, \
other->output_name, \
##args); \
} else { \
MARS_ERR("instance %d: " fmt, \
(output)->instance_nr, \
##args); \
} \
} while (0)
static void check_endio(struct generic_callback *cb)
2010-08-03 16:03:32 +00:00
{
2010-12-15 12:13:18 +00:00
struct check_mref_aspect *mref_a;
struct mref_object *mref;
2010-08-10 17:39:30 +00:00
struct check_output *output;
struct check_input *input;
2010-08-03 16:03:32 +00:00
unsigned long flags;
2010-08-10 17:39:30 +00:00
mref_a = cb->cb_private;
2010-08-23 05:06:06 +00:00
CHECK_PTR(mref_a, fatal);
_CHECK(&mref_a->cb == cb, fatal);
2010-08-10 17:39:30 +00:00
mref = mref_a->object;
2010-08-23 05:06:06 +00:00
CHECK_PTR(mref, fatal);
2010-08-10 17:39:30 +00:00
output = mref_a->output;
2010-08-23 05:06:06 +00:00
CHECK_PTR(output, fatal);
2010-08-10 17:39:30 +00:00
input = output->brick->inputs[0];
2010-08-23 05:06:06 +00:00
CHECK_PTR(input, fatal);
2010-08-05 08:36:36 +00:00
2010-08-09 16:57:56 +00:00
if (atomic_dec_and_test(&mref_a->callback_count)) {
atomic_set(&mref_a->callback_count, 1);
2010-08-20 10:58:24 +00:00
CHECK_ERR(output, "too many callbacks on %p\n", mref);
2010-08-05 08:36:36 +00:00
}
2010-08-08 09:03:42 +00:00
#ifdef CHECK_LOCK
traced_lock(&output->check_lock, flags);
2010-08-05 15:54:48 +00:00
if (list_empty(&mref_a->mref_head)) {
2010-08-20 10:58:24 +00:00
CHECK_ERR(output, "list entry missing on %p\n", mref);
2010-08-03 16:03:32 +00:00
}
2010-08-05 15:54:48 +00:00
list_del_init(&mref_a->mref_head);
2010-08-05 08:36:36 +00:00
2010-08-07 07:59:34 +00:00
traced_unlock(&output->check_lock, flags);
2010-08-09 16:57:56 +00:00
#else
(void)flags;
2010-08-08 09:03:42 +00:00
#endif
2010-08-03 16:03:32 +00:00
2010-08-05 15:54:48 +00:00
mref_a->last_jiffies = jiffies;
2010-08-08 14:02:54 +00:00
NEXT_CHECKED_CALLBACK(cb, fatal);
2010-08-10 17:39:30 +00:00
return;
fatal:
brick_msleep(60000);
2010-08-10 17:39:30 +00:00
return;
2010-08-03 16:03:32 +00:00
}
2010-08-09 16:57:56 +00:00
#ifdef CHECK_LOCK
2010-08-04 17:32:04 +00:00
static void dump_mem(void *data, int len)
{
int i;
char *tmp;
2011-08-25 10:16:32 +00:00
char *buf = brick_string_alloc(0);
2011-03-01 18:00:14 +00:00
if (!buf)
return;
2010-08-04 17:32:04 +00:00
for (i = 0, tmp = buf; i < len; i++) {
unsigned char byte = ((unsigned char*)data)[i];
if (!(i % 8)) {
if (tmp != buf) {
say(-1, "%4d: %s\n", i, buf);
2010-08-04 17:32:04 +00:00
}
tmp = buf;
}
2011-07-20 13:11:44 +00:00
tmp += snprintf(tmp, 1024 - i * 3, " %02x", byte);
2010-08-04 17:32:04 +00:00
}
if (tmp != buf) {
say(-1, "%4d: %s\n", i, buf);
2010-08-04 17:32:04 +00:00
}
2011-08-12 11:09:48 +00:00
brick_string_free(buf);
2010-08-04 17:32:04 +00:00
}
2010-08-03 16:03:32 +00:00
static int check_watchdog(void *data)
{
struct check_output *output = data;
MARS_INF("watchdog has started.\n");
while (!brick_thread_should_stop()) {
2010-08-03 16:03:32 +00:00
struct list_head *h;
unsigned long flags;
unsigned long now;
brick_msleep(5000);
2010-08-03 16:03:32 +00:00
2010-08-07 07:59:34 +00:00
traced_lock(&output->check_lock, flags);
2010-08-03 16:03:32 +00:00
now = jiffies;
2010-08-05 15:54:48 +00:00
for (h = output->mref_anchor.next; h != &output->mref_anchor; h = h->next) {
2010-08-07 07:59:34 +00:00
static int limit = 1;
const int timeout = 30;
2010-12-15 12:13:18 +00:00
struct check_mref_aspect *mref_a;
struct mref_object *mref;
2010-08-03 16:03:32 +00:00
unsigned long elapsed;
2010-12-15 12:13:18 +00:00
mref_a = container_of(h, struct check_mref_aspect, mref_head);
2010-08-05 15:54:48 +00:00
mref = mref_a->object;
elapsed = now - mref_a->last_jiffies;
2010-08-07 07:59:34 +00:00
if (elapsed > timeout * HZ && limit-- > 0) {
2010-08-04 17:32:04 +00:00
struct generic_object_layout *object_layout;
2010-08-05 15:54:48 +00:00
mref_a->last_jiffies = now + 600 * HZ;
2010-08-20 10:58:24 +00:00
MARS_INF("================================\n");
CHECK_ERR(output, "mref %p callback is missing for more than %d seconds.\n", mref, timeout);
2012-02-02 15:25:43 +00:00
object_layout = mref->object_layout;
dump_mem(mref, object_layout->size_hint);
2010-08-20 10:58:24 +00:00
MARS_INF("================================\n");
2010-08-03 16:03:32 +00:00
}
}
2010-08-08 09:03:42 +00:00
2010-08-07 07:59:34 +00:00
traced_unlock(&output->check_lock, flags);
2010-08-03 16:03:32 +00:00
}
return 0;
}
2010-08-09 16:57:56 +00:00
#endif
2010-08-03 16:03:32 +00:00
////////////////// own brick / input / output operations //////////////////
static int check_get_info(struct check_output *output, struct mars_info *info)
{
struct check_input *input = output->brick->inputs[0];
return GENERIC_INPUT_CALL(input, mars_get_info, info);
}
2010-12-15 12:13:18 +00:00
static int check_ref_get(struct check_output *output, struct mref_object *mref)
2010-08-03 16:03:32 +00:00
{
struct check_input *input = output->brick->inputs[0];
2010-12-15 12:13:18 +00:00
return GENERIC_INPUT_CALL(input, mref_get, mref);
2010-08-03 16:03:32 +00:00
}
2010-12-15 12:13:18 +00:00
static void check_ref_put(struct check_output *output, struct mref_object *mref)
2010-08-03 16:03:32 +00:00
{
struct check_input *input = output->brick->inputs[0];
2010-12-15 12:13:18 +00:00
GENERIC_INPUT_CALL(input, mref_put, mref);
2010-08-03 16:03:32 +00:00
}
2010-12-15 12:13:18 +00:00
static void check_ref_io(struct check_output *output, struct mref_object *mref)
2010-08-03 16:03:32 +00:00
{
struct check_input *input = output->brick->inputs[0];
struct check_mref_aspect *mref_a = check_mref_get_aspect(output->brick, mref);
2010-08-03 16:03:32 +00:00
unsigned long flags;
2010-08-05 08:36:36 +00:00
2010-08-23 05:06:06 +00:00
CHECK_PTR(mref_a, fatal);
2010-08-05 08:36:36 +00:00
2010-08-09 16:57:56 +00:00
if (atomic_dec_and_test(&mref_a->call_count)) {
atomic_set(&mref_a->call_count, 1);
2010-08-20 10:58:24 +00:00
CHECK_ERR(output, "multiple parallel calls on %p\n", mref);
2010-08-05 08:36:36 +00:00
}
2010-08-09 16:57:56 +00:00
atomic_set(&mref_a->callback_count, 2);
2010-08-08 09:03:42 +00:00
#ifdef CHECK_LOCK
traced_lock(&output->check_lock, flags);
2010-08-10 17:39:30 +00:00
2010-08-05 15:54:48 +00:00
if (!list_empty(&mref_a->mref_head)) {
2010-08-20 10:58:24 +00:00
CHECK_ERR(output, "list head not empty on %p\n", mref);
2010-08-10 17:39:30 +00:00
list_del(&mref_a->mref_head);
2010-08-03 16:03:32 +00:00
}
2010-08-05 15:54:48 +00:00
list_add_tail(&mref_a->mref_head, &output->mref_anchor);
2010-08-10 17:39:30 +00:00
2010-08-08 09:03:42 +00:00
traced_unlock(&output->check_lock, flags);
2010-08-09 16:57:56 +00:00
#else
(void)flags;
2010-08-08 09:03:42 +00:00
#endif
mref_a->last_jiffies = jiffies;
2010-08-10 17:39:30 +00:00
if (!mref_a->installed) {
mref_a->installed = true;
mref_a->output = output;
INSERT_CALLBACK(mref, &mref_a->cb, check_endio, mref_a);
2010-08-03 16:03:32 +00:00
}
2010-08-05 08:36:36 +00:00
2010-12-15 12:13:18 +00:00
GENERIC_INPUT_CALL(input, mref_io, mref);
2010-08-09 16:57:56 +00:00
atomic_inc(&mref_a->call_count);
2010-08-23 05:06:06 +00:00
fatal: ;
2010-08-03 16:03:32 +00:00
}
//////////////// object / aspect constructors / destructors ///////////////
static int check_mref_aspect_init_fn(struct generic_aspect *_ini)
2010-08-03 16:03:32 +00:00
{
2010-12-15 12:13:18 +00:00
struct check_mref_aspect *ini = (void*)_ini;
2010-08-08 09:03:42 +00:00
#ifdef CHECK_LOCK
2010-08-05 15:54:48 +00:00
INIT_LIST_HEAD(&ini->mref_head);
2010-08-08 09:03:42 +00:00
#endif
ini->last_jiffies = jiffies;
2010-08-09 16:57:56 +00:00
atomic_set(&ini->call_count, 2);
atomic_set(&ini->callback_count, 1);
2010-08-10 17:39:30 +00:00
ini->installed = false;
2010-08-03 16:03:32 +00:00
return 0;
}
static void check_mref_aspect_exit_fn(struct generic_aspect *_ini)
2010-08-08 09:03:42 +00:00
{
2010-12-15 12:13:18 +00:00
struct check_mref_aspect *ini = (void*)_ini;
2010-08-08 09:03:42 +00:00
(void)ini;
#ifdef CHECK_LOCK
2010-08-20 10:58:24 +00:00
if (!list_empty(&ini->mref_head)) {
struct check_output *output = ini->output;
if (output) {
CHECK_ERR(output, "list head not empty on %p\n", ini->object);
INIT_LIST_HEAD(&ini->mref_head);
} else {
CHECK_HEAD_EMPTY(&ini->mref_head);
}
}
2010-08-08 09:03:42 +00:00
#endif
}
2010-08-03 16:03:32 +00:00
MARS_MAKE_STATICS(check);
////////////////////// brick constructors / destructors ////////////////////
static int check_brick_construct(struct check_brick *brick)
{
return 0;
}
static int check_output_construct(struct check_output *output)
{
static int count = 0;
2010-08-09 16:57:56 +00:00
#ifdef CHECK_LOCK
2010-08-05 08:36:36 +00:00
2010-08-08 09:03:42 +00:00
spin_lock_init(&output->check_lock);
2010-08-05 15:54:48 +00:00
INIT_LIST_HEAD(&output->mref_anchor);
output->watchdog = brick_thread_create(check_watchdog, output, "check_watchdog%d", output->instance_nr);
2010-08-09 16:57:56 +00:00
#endif
output->instance_nr = ++count;
2010-08-03 16:03:32 +00:00
return 0;
}
///////////////////////// static structs ////////////////////////
static struct check_brick_ops check_brick_ops = {
};
static struct check_output_ops check_output_ops = {
.mars_get_info = check_get_info,
2010-12-15 12:13:18 +00:00
.mref_get = check_ref_get,
.mref_put = check_ref_put,
.mref_io = check_ref_io,
2010-08-03 16:03:32 +00:00
};
2010-08-10 17:39:30 +00:00
const struct check_input_type check_input_type = {
2010-08-03 16:03:32 +00:00
.type_name = "check_input",
.input_size = sizeof(struct check_input),
};
static const struct check_input_type *check_input_types[] = {
&check_input_type,
};
2010-08-10 17:39:30 +00:00
const struct check_output_type check_output_type = {
2010-08-03 16:03:32 +00:00
.type_name = "check_output",
.output_size = sizeof(struct check_output),
.master_ops = &check_output_ops,
.output_construct = &check_output_construct,
};
static const struct check_output_type *check_output_types[] = {
&check_output_type,
};
const struct check_brick_type check_brick_type = {
.type_name = "check_brick",
.brick_size = sizeof(struct check_brick),
.max_inputs = 1,
.max_outputs = 1,
.master_ops = &check_brick_ops,
.aspect_types = check_aspect_types,
2010-08-03 16:03:32 +00:00
.default_input_types = check_input_types,
.default_output_types = check_output_types,
.brick_construct = &check_brick_construct,
};
EXPORT_SYMBOL_GPL(check_brick_type);
////////////////// module init stuff /////////////////////////
int __init init_mars_check(void)
2010-08-03 16:03:32 +00:00
{
MARS_INF("init_check()\n");
2010-08-03 16:03:32 +00:00
return check_register_brick_type();
}
void __exit exit_mars_check(void)
2010-08-03 16:03:32 +00:00
{
MARS_INF("exit_check()\n");
2010-08-03 16:03:32 +00:00
check_unregister_brick_type();
}
#ifndef CONFIG_MARS_HAVE_BIGMODULE
2010-08-03 16:03:32 +00:00
MODULE_DESCRIPTION("MARS check brick");
MODULE_AUTHOR("Thomas Schoebel-Theuer <tst@1und1.de>");
MODULE_LICENSE("GPL");
module_init(init_mars_check);
module_exit(exit_mars_check);
#endif