traceobj.h

/*
 * Copyright (C) 2008 Philippe Gerum <rpm@xenomai.org>.
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA.
 */
 
#ifndef _COPPERPLATE_TRACEOBJ_H
#define _COPPERPLATE_TRACEOBJ_H
 
#include <pthread.h>
 
struct threadobj;
 
struct traceobj {
        pthread_mutex_t lock;
        pthread_cond_t join;
        const char *label;
        int nr_marks;
        int cur_mark;
        struct tracemark *marks;
        int nr_threads;
};
 
#define traceobj_assert(trobj, cond)                                    \
do {                                                                    \
        int __ret = (cond);                                             \
        if (!__ret)                                                     \
                __traceobj_assert_failed(trobj, __FILE__, __LINE__, __STRING(cond)); \
} while(0)
 
#define traceobj_check(__trobj, __status, __expected)                   \
do {                                                                    \
        if (__status != __expected)                                     \
                __traceobj_check_abort(__trobj, __FILE__, __LINE__,     \
                                       __status, __expected);           \
} while(0)
 
#define traceobj_check_warn(__trobj, __status, __expected)              \
do {                                                                    \
        if (__status != __expected)                                     \
                __traceobj_check_warn(__trobj, __FILE__, __LINE__,      \
                                      __status, __expected);            \
} while(0)
 
#define traceobj_mark(trobj, mark)      \
        __traceobj_mark(trobj, __FILE__, __LINE__, mark)
 
#ifdef __cplusplus
extern "C" {
#endif
 
int traceobj_init(struct traceobj *trobj,
                  const char *label, int nr_marks);
 
void traceobj_verify(struct traceobj *trobj, int tseq[], int nr_seq);
 
void traceobj_destroy(struct traceobj *trobj);
 
void traceobj_enter(struct traceobj *trobj);
 
void traceobj_exit(struct traceobj *trobj);
 
void traceobj_unwind(struct traceobj *trobj);
 
void traceobj_join(struct traceobj *trobj);
 
void __traceobj_assert_failed(struct traceobj *trobj,
                              const char *file, int line, const char *cond);
 
void __traceobj_check_abort(struct traceobj *trobj,
                            const char *file, int line,
                            int received, int expected);
 
void __traceobj_check_warn(struct traceobj *trobj,
                           const char *file, int line,
                           int received, int expected);
        
void __traceobj_mark(struct traceobj *trobj,
                     const char *file, int line, int mark);
 
#ifdef __cplusplus
}
#endif
 
#endif /* _COPPERPLATE_TRACEOBJ_H */