347 lines
11 KiB
C
347 lines
11 KiB
C
|
/**
|
||
|
|
* \file
|
||
|
|
* <!--
|
||
|
|
* This file is part of BeRTOS.
|
||
|
|
*
|
||
|
|
* Bertos is free software; you can redistribute it and/or modify
|
||
|
|
* it under the terms of the GNU General Public License as published by
|
||
|
|
* the Free Software Foundation; either version 2 of the License, or
|
||
|
|
* (at your option) any later version.
|
||
|
|
*
|
||
|
|
* This program 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 General Public License for more details.
|
||
|
|
*
|
||
|
|
* You should have received a copy of the GNU General Public License
|
||
|
|
* along with this program; if not, write to the Free Software
|
||
|
|
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
|
||
|
|
*
|
||
|
|
* As a special exception, you may use this file as part of a free software
|
||
|
|
* library without restriction. Specifically, if other files instantiate
|
||
|
|
* templates or use macros or inline functions from this file, or you compile
|
||
|
|
* this file and link it with other files to produce an executable, this
|
||
|
|
* file does not by itself cause the resulting executable to be covered by
|
||
|
|
* the GNU General Public License. This exception does not however
|
||
|
|
* invalidate any other reasons why the executable file might be covered by
|
||
|
|
* the GNU General Public License.
|
||
|
|
*
|
||
|
|
* Copyright 2003, 2004, 2005 Develer S.r.l. (http://www.develer.com/)
|
||
|
|
*
|
||
|
|
* -->
|
||
|
|
*
|
||
|
|
* \defgroup debug Debugging facilities and macros
|
||
|
|
* \ingroup core
|
||
|
|
* \{
|
||
|
|
*
|
||
|
|
* \brief Simple debug facilities for hosted and embedded C/C++ applications.
|
||
|
|
*
|
||
|
|
* Debug output goes to stderr in hosted applications.
|
||
|
|
* Freestanding (AKA embedded) applications use \c drv/kdebug.c to output
|
||
|
|
* diagnostic messages to a serial terminal or a JTAG debugger.
|
||
|
|
*
|
||
|
|
* \author Bernie Innocenti <bernie@codewiz.org>
|
||
|
|
*
|
||
|
|
* $WIZ$ module_name = "debug"
|
||
|
|
* $WIZ$ module_configuration = "bertos/cfg/cfg_debug.h"
|
||
|
|
* $WIZ$ DEBUG = 1
|
||
|
|
* $WIZ$ module_depends = "formatwr"
|
||
|
|
* $WIZ$ module_supports = "not atmega103"
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifndef BERTOS_DEBUG_H
|
||
|
|
#define BERTOS_DEBUG_H
|
||
|
|
|
||
|
|
#include <cfg/os.h>
|
||
|
|
#include <cfg/compiler.h>
|
||
|
|
|
||
|
|
#include "cfg/cfg_debug.h" /* CONFIG_KDEBUG_* */
|
||
|
|
|
||
|
|
/*
|
||
|
|
* Defaults for rarely used config stuff.
|
||
|
|
*/
|
||
|
|
#ifndef CONFIG_KDEBUG_TRACE
|
||
|
|
#define CONFIG_KDEBUG_TRACE 1
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifndef CONFIG_KDEBUG_VERBOSE_ASSERT
|
||
|
|
#define CONFIG_KDEBUG_VERBOSE_ASSERT 1
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifndef CONFIG_KDEBUG_WALLS
|
||
|
|
#define CONFIG_KDEBUG_WALLS 1
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if defined(__doxygen__)
|
||
|
|
/**
|
||
|
|
* Preprocessor symbol defined only for debug builds.
|
||
|
|
*
|
||
|
|
* The build infrastructure must arrange for _DEBUG to
|
||
|
|
* be predefined for all the source files being compiled.
|
||
|
|
*
|
||
|
|
* This is compatible with the MSVC convention for the
|
||
|
|
* default Debug and Release project targets.
|
||
|
|
*/
|
||
|
|
#define _DEBUG 1
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef _DEBUG
|
||
|
|
// STLport specific: enable extra checks
|
||
|
|
#define __STL_DEBUG 1
|
||
|
|
|
||
|
|
// MSVC specific: Enable memory allocation debug
|
||
|
|
#if defined(_MSC_VER)
|
||
|
|
#include <crtdbg.h>
|
||
|
|
#endif
|
||
|
|
|
||
|
|
/*
|
||
|
|
* On UNIX systems the extabilished practice is to define
|
||
|
|
* NDEBUG for release builds and nothing for debug builds.
|
||
|
|
*/
|
||
|
|
#ifdef NDEBUG
|
||
|
|
#undef NDEBUG
|
||
|
|
#endif
|
||
|
|
|
||
|
|
/**
|
||
|
|
* This macro duplicates the old MSVC trick of redefining
|
||
|
|
* THIS_FILE locally to avoid the overhead of many duplicate
|
||
|
|
* strings in ASSERT().
|
||
|
|
*/
|
||
|
|
#ifndef THIS_FILE
|
||
|
|
#define THIS_FILE __FILE__
|
||
|
|
#endif
|
||
|
|
|
||
|
|
/**
|
||
|
|
* This macro can be used to conditionally exclude one or more
|
||
|
|
* statements conditioned on \c _DEBUG, avoiding the clutter
|
||
|
|
* of ifdef/endif pairs.
|
||
|
|
*
|
||
|
|
* \code
|
||
|
|
* struct FooBar
|
||
|
|
* {
|
||
|
|
* int foo;
|
||
|
|
* bool bar;
|
||
|
|
* DB(int ref_count;) // Track number of users
|
||
|
|
*
|
||
|
|
* void release()
|
||
|
|
* {
|
||
|
|
* DB(--ref_count;)
|
||
|
|
* }
|
||
|
|
* };
|
||
|
|
* \endcode
|
||
|
|
*/
|
||
|
|
#define DB(x) x
|
||
|
|
|
||
|
|
#include <cpu/attr.h> /* CPU_HARVARD */
|
||
|
|
|
||
|
|
/* These are implemented in drv/kdebug.c */
|
||
|
|
void kdbg_init(void);
|
||
|
|
void kputchar(char c);
|
||
|
|
int kputnum(int num);
|
||
|
|
void kdump(const void *buf, size_t len);
|
||
|
|
void __init_wall(long *wall, int size);
|
||
|
|
|
||
|
|
#if CPU_HARVARD
|
||
|
|
#include <cpu/pgm.h>
|
||
|
|
void kputs_P(const char *PROGMEM str);
|
||
|
|
void kprintf_P(const char *PROGMEM fmt, ...) FORMAT(__printf__, 1, 2);
|
||
|
|
int __bassert_P(const char *PROGMEM cond, const char *PROGMEM file, int line);
|
||
|
|
void __trace_P(const char *func);
|
||
|
|
void __tracemsg_P(const char *func, const char *PROGMEM fmt, ...);
|
||
|
|
int __invalid_ptr_P(void *p, const char *PROGMEM name, const char *PROGMEM file, int line);
|
||
|
|
int __check_wall_P(long *wall, int size, const char * PGM_ATTR name, const char * PGM_ATTR file, int line);
|
||
|
|
#define kputs(str) kputs_P(PSTR(str))
|
||
|
|
#define kprintf(fmt, ...) kprintf_P(PSTR(fmt) ,## __VA_ARGS__)
|
||
|
|
#define __bassert(cond, file, line) __bassert_P(PSTR(cond), PSTR(file), (line))
|
||
|
|
#define __trace(func) __trace_P(func)
|
||
|
|
#define __tracemsg(func, fmt, ...) __tracemsg_P(func, PSTR(fmt), ## __VA_ARGS__)
|
||
|
|
#define __invalid_ptr(p, name, file, line) __invalid_ptr_P((p), PSTR(name), PSTR(file), (line))
|
||
|
|
#define __check_wall(wall, size, name, file, line) __check_wall_P(wall, size, PSTR(name), PSTR(file), (line))
|
||
|
|
#else /* !CPU_HARVARD */
|
||
|
|
void kputs(const char *str);
|
||
|
|
void kprintf(const char *fmt, ...) FORMAT(__printf__, 1, 2);
|
||
|
|
int __bassert(const char *cond, const char *file, int line);
|
||
|
|
void __trace(const char *func);
|
||
|
|
void __tracemsg(const char *func, const char *fmt, ...) FORMAT(__printf__, 2, 3);
|
||
|
|
int __invalid_ptr(void *p, const char *name, const char *file, int line);
|
||
|
|
int __check_wall(long *wall, int size, const char *name, const char *file, int line);
|
||
|
|
#endif /* !CPU_HARVARD */
|
||
|
|
|
||
|
|
#if CONFIG_KDEBUG_VERBOSE_ASSERT
|
||
|
|
/**
|
||
|
|
* Assert a pre-condition on code.
|
||
|
|
*/
|
||
|
|
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert(#x, THIS_FILE, __LINE__)))
|
||
|
|
/**
|
||
|
|
* Assert a pre-condition and give explanation message when assert fails
|
||
|
|
*/
|
||
|
|
#define ASSERT2(x, help) ((void)(LIKELY(x) ? 0 : __bassert(help " (" #x ")", THIS_FILE, __LINE__)))
|
||
|
|
#else
|
||
|
|
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert("", THIS_FILE, __LINE__)))
|
||
|
|
#define ASSERT2(x, help) ((void)ASSERT(x))
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#define IS_VALID_PTR(p) (LIKELY((void *)(p) >= (void *)CPU_RAM_START))
|
||
|
|
/**
|
||
|
|
* Check that the given pointer is either NULL or pointing to valid memory.
|
||
|
|
*
|
||
|
|
* The assumption here is that valid pointers never point to low
|
||
|
|
* memory regions. This helps catching pointers taken from
|
||
|
|
* struct/class memebers when the struct pointer was NULL.
|
||
|
|
*
|
||
|
|
* \see ASSERT_VALID_PTR_OR_NULL()
|
||
|
|
*/
|
||
|
|
#define ASSERT_VALID_PTR(p) (IS_VALID_PTR(p) \
|
||
|
|
? 0 : __invalid_ptr(p, #p, THIS_FILE, __LINE__))
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Check that the given pointer is not pointing to invalid memory.
|
||
|
|
*
|
||
|
|
* \note The check for invalid memory is architecture specific and
|
||
|
|
* conservative. The current implementation only checks against
|
||
|
|
* a lower bound.
|
||
|
|
*
|
||
|
|
* \see ASSERT_VALID_PTR()
|
||
|
|
*/
|
||
|
|
#define ASSERT_VALID_PTR_OR_NULL(p) ((void)(LIKELY((p == NULL) \
|
||
|
|
|| ((void *)(p) >= (void *)CPU_RAM_START)) \
|
||
|
|
? 0 : __invalid_ptr((p), #p, THIS_FILE, __LINE__)))
|
||
|
|
|
||
|
|
#if CONFIG_KDEBUG_TRACE
|
||
|
|
#define TRACE __trace(__func__)
|
||
|
|
#define TRACEMSG(msg,...) __tracemsg(__func__, msg, ## __VA_ARGS__)
|
||
|
|
#else
|
||
|
|
#define TRACE do {} while(0)
|
||
|
|
#define TRACEMSG(...) do {} while(0)
|
||
|
|
#endif
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Check that the given pointer actually points to an object
|
||
|
|
* of the specified type.
|
||
|
|
*/
|
||
|
|
#define ASSERT_VALID_OBJ(_t, _o) do { \
|
||
|
|
ASSERT_VALID_PTR((_o)); \
|
||
|
|
ASSERT(dynamic_cast<_t>((_o)) != NULL); \
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* \name Debug object creation and destruction.
|
||
|
|
*
|
||
|
|
* These macros help track some kinds of leaks in C++ programs.
|
||
|
|
* Usage is as follows:
|
||
|
|
*
|
||
|
|
* \code
|
||
|
|
* class Foo
|
||
|
|
* {
|
||
|
|
* DECLARE_INSTANCE_TRACKING(Foo)
|
||
|
|
*
|
||
|
|
* Foo()
|
||
|
|
* {
|
||
|
|
* NEW_INSTANCE(Foo);
|
||
|
|
* // ...
|
||
|
|
* }
|
||
|
|
*
|
||
|
|
* ~Foo()
|
||
|
|
* {
|
||
|
|
* DELETE_INSTANCE(Foo);
|
||
|
|
* // ...
|
||
|
|
* }
|
||
|
|
* };
|
||
|
|
*
|
||
|
|
* // Put this in the implementation file of the class
|
||
|
|
* IMPLEMENT_INSTANCE_TRACKING(Foo)
|
||
|
|
*
|
||
|
|
* // Client code
|
||
|
|
* int main(void)
|
||
|
|
* {
|
||
|
|
* Foo *foo = new Foo;
|
||
|
|
* cout << GET_INSTANCE_COUNT(Foo) << endl; // prints "1"
|
||
|
|
* delete foo;
|
||
|
|
* ASSERT_ZERO_INSTANCES(Foo); // OK
|
||
|
|
* }
|
||
|
|
* \endcode
|
||
|
|
* \{
|
||
|
|
*/
|
||
|
|
#define NEW_INSTANCE(CLASS) do { ++CLASS::__instances } while (0)
|
||
|
|
#define DELETE_INSTANCE(CLASS) do { --CLASS::__instances } while (0)
|
||
|
|
#define ASSERT_ZERO_INSTANCES(CLASS) ASSERT(CLASS::__instances == 0)
|
||
|
|
#define GET_INSTANCE_COUNT(CLASS) (CLASS::__instances)
|
||
|
|
#define DECLARE_INSTANCE_TRACKING(CLASS) static int __instances
|
||
|
|
#define IMPLEMENT_INSTANCE_TRACKING(CLASS) int CLASS::__instances = 0
|
||
|
|
/*\}*/
|
||
|
|
|
||
|
|
#else /* !_DEBUG */
|
||
|
|
|
||
|
|
/*
|
||
|
|
* On UNIX systems the extabilished practice is to define
|
||
|
|
* NDEBUG for release builds and nothing for debug builds.
|
||
|
|
*/
|
||
|
|
#ifndef NDEBUG
|
||
|
|
#define NDEBUG 1
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#define DB(x) /* nothing */
|
||
|
|
#ifndef ASSERT
|
||
|
|
#define ASSERT(x) ((void)0)
|
||
|
|
#endif /* ASSERT */
|
||
|
|
#define ASSERT2(x, help) ((void)0)
|
||
|
|
#define IS_VALID_PTR(p) (1)
|
||
|
|
#define ASSERT_VALID_PTR(p) ((void)0)
|
||
|
|
#define ASSERT_VALID_PTR_OR_NULL(p) ((void)0)
|
||
|
|
#define ASSERT_VALID_OBJ(_t, _o) ((void)0)
|
||
|
|
#define TRACE do {} while (0)
|
||
|
|
#if COMPILER_VARIADIC_MACROS
|
||
|
|
#define TRACEMSG(x, ...) do {} while (0)
|
||
|
|
#else
|
||
|
|
INLINE void TRACEMSG(UNUSED_ARG(const char *, msg), ...)
|
||
|
|
{
|
||
|
|
/* NOP */
|
||
|
|
}
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#define NEW_INSTANCE(CLASS) do {} while (0)
|
||
|
|
#define DELETE_INSTANCE(CLASS) do {} while (0)
|
||
|
|
#define ASSERT_ZERO_INSTANCES(CLASS) do {} while (0)
|
||
|
|
#define GET_INSTANCE_COUNT(CLASS) ERROR_ONLY_FOR_DEBUG
|
||
|
|
#define DECLARE_INSTANCE_TRACKING(CLASS)
|
||
|
|
#define IMPLEMENT_INSTANCE_TRACKING(CLASS)
|
||
|
|
|
||
|
|
INLINE void kdbg_init(void) { /* nop */ }
|
||
|
|
INLINE void kputchar(UNUSED_ARG(char, c)) { /* nop */ }
|
||
|
|
INLINE int kputnum(UNUSED_ARG(int, num)) { return 0; }
|
||
|
|
INLINE void kputs(UNUSED_ARG(const char *, str)) { /* nop */ }
|
||
|
|
INLINE void kdump(UNUSED_ARG(const void *, buf), UNUSED_ARG(size_t, len)) { /* nop */ }
|
||
|
|
|
||
|
|
#if defined(__cplusplus) && COMPILER_VARIADIC_MACROS
|
||
|
|
/* G++ can't inline functions with variable arguments... */
|
||
|
|
#define kprintf(fmt,...) do { (void)(fmt); } while(0)
|
||
|
|
#else
|
||
|
|
/* ...but GCC can. */
|
||
|
|
INLINE void kprintf(UNUSED_ARG(const char *, fmt), ...) { /* nop */ }
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#endif /* _DEBUG */
|
||
|
|
|
||
|
|
#if CONFIG_KDEBUG_WALLS
|
||
|
|
/**
|
||
|
|
* \name Walls to detect data corruption
|
||
|
|
* \{
|
||
|
|
*/
|
||
|
|
#define WALL_SIZE 8
|
||
|
|
#define WALL_VALUE (long)0xABADCAFEL
|
||
|
|
#define DECLARE_WALL(name,size) long name[(size) / sizeof(long)];
|
||
|
|
#define FWD_DECLARE_WALL(name,size) extern long name[(size) / sizeof(long)];
|
||
|
|
#define INIT_WALL(name) __init_wall((name), countof(name))
|
||
|
|
#define CHECK_WALL(name) __check_wall((name), countof(name), #name, THIS_FILE, __LINE__)
|
||
|
|
/*\}*/
|
||
|
|
#else
|
||
|
|
#define DECLARE_WALL(name, size) /* nothing */
|
||
|
|
#define FWD_DECLARE_WALL(name, size) /* nothing */
|
||
|
|
#define INIT_WALL(name) do {} while (0)
|
||
|
|
#define CHECK_WALL(name) do {} while (0)
|
||
|
|
#endif
|
||
|
|
|
||
|
|
/** \} */ // defgroup debug
|
||
|
|
|
||
|
|
#endif /* BERTOS_DEBUG_H */
|