You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
258 lines
7.5 KiB
C
258 lines
7.5 KiB
C
/*
|
|
ChibiOS - Copyright (C) 2006..2018 Giovanni Di Sirio.
|
|
|
|
This file is part of ChibiOS.
|
|
|
|
ChibiOS 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 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
ChibiOS 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, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
/**
|
|
* @file rt/src/chdebug.c
|
|
* @brief Debug support code.
|
|
*
|
|
* @addtogroup checks_assertions
|
|
* @details Debug APIs and services:
|
|
* - Runtime system state and call protocol check. The following
|
|
* panic messages can be generated:
|
|
* - SV#1, misplaced @p chSysDisable().
|
|
* - Called from an ISR.
|
|
* - Called from a critical zone.
|
|
* .
|
|
* - SV#2, misplaced @p chSysSuspend()
|
|
* - Called from an ISR.
|
|
* - Called from a critical zone.
|
|
* .
|
|
* - SV#3, misplaced @p chSysEnable().
|
|
* - Called from an ISR.
|
|
* - Called from a critical zone.
|
|
* .
|
|
* - SV#4, misplaced @p chSysLock().
|
|
* - Called from an ISR.
|
|
* - Called from a critical zone.
|
|
* .
|
|
* - SV#5, misplaced @p chSysUnlock().
|
|
* - Called from an ISR.
|
|
* - Not called from a critical zone.
|
|
* .
|
|
* - SV#6, misplaced @p chSysLockFromISR().
|
|
* - Not called from an ISR.
|
|
* - Called from a critical zone.
|
|
* .
|
|
* - SV#7, misplaced @p chSysUnlockFromISR().
|
|
* - Not called from an ISR.
|
|
* - Not called from a critical zone.
|
|
* .
|
|
* - SV#8, misplaced @p CH_IRQ_PROLOGUE().
|
|
* - Not called at ISR begin.
|
|
* - Called from a critical zone.
|
|
* .
|
|
* - SV#9, misplaced @p CH_IRQ_EPILOGUE().
|
|
* - @p CH_IRQ_PROLOGUE() missing.
|
|
* - Not called at ISR end.
|
|
* - Called from a critical zone.
|
|
* .
|
|
* - SV#10, misplaced I-class function.
|
|
* - I-class function not called from within a critical zone.
|
|
* .
|
|
* - SV#11, misplaced S-class function.
|
|
* - S-class function not called from within a critical zone.
|
|
* - Called from an ISR.
|
|
* .
|
|
* - Parameters check.
|
|
* - Kernel assertions.
|
|
* .
|
|
* @note Stack checks are not implemented in this module but in the port
|
|
* layer in an architecture-dependent way.
|
|
* @{
|
|
*/
|
|
|
|
#include "ch.h"
|
|
|
|
/*===========================================================================*/
|
|
/* Module local definitions. */
|
|
/*===========================================================================*/
|
|
|
|
/*===========================================================================*/
|
|
/* Module exported variables. */
|
|
/*===========================================================================*/
|
|
|
|
/*===========================================================================*/
|
|
/* Module local types. */
|
|
/*===========================================================================*/
|
|
|
|
/*===========================================================================*/
|
|
/* Module local variables. */
|
|
/*===========================================================================*/
|
|
|
|
/*===========================================================================*/
|
|
/* Module local functions. */
|
|
/*===========================================================================*/
|
|
|
|
/*===========================================================================*/
|
|
/* Module exported functions. */
|
|
/*===========================================================================*/
|
|
|
|
#if (CH_DBG_SYSTEM_STATE_CHECK == TRUE) || defined(__DOXYGEN__)
|
|
/**
|
|
* @brief Guard code for @p chSysDisable().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_disable(void) {
|
|
|
|
if ((ch.dbg.isr_cnt != (cnt_t)0) || (ch.dbg.lock_cnt != (cnt_t)0)) {
|
|
chSysHalt("SV#1");
|
|
}
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p chSysSuspend().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_suspend(void) {
|
|
|
|
if ((ch.dbg.isr_cnt != (cnt_t)0) || (ch.dbg.lock_cnt != (cnt_t)0)) {
|
|
chSysHalt("SV#2");
|
|
}
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p chSysEnable().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_enable(void) {
|
|
|
|
if ((ch.dbg.isr_cnt != (cnt_t)0) || (ch.dbg.lock_cnt != (cnt_t)0)) {
|
|
chSysHalt("SV#3");
|
|
}
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p chSysLock().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_lock(void) {
|
|
|
|
if ((ch.dbg.isr_cnt != (cnt_t)0) || (ch.dbg.lock_cnt != (cnt_t)0)) {
|
|
chSysHalt("SV#4");
|
|
}
|
|
_dbg_enter_lock();
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p chSysUnlock().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_unlock(void) {
|
|
|
|
if ((ch.dbg.isr_cnt != (cnt_t)0) || (ch.dbg.lock_cnt <= (cnt_t)0)) {
|
|
chSysHalt("SV#5");
|
|
}
|
|
_dbg_leave_lock();
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p chSysLockFromIsr().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_lock_from_isr(void) {
|
|
|
|
if ((ch.dbg.isr_cnt <= (cnt_t)0) || (ch.dbg.lock_cnt != (cnt_t)0)) {
|
|
chSysHalt("SV#6");
|
|
}
|
|
_dbg_enter_lock();
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p chSysUnlockFromIsr().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_unlock_from_isr(void) {
|
|
|
|
if ((ch.dbg.isr_cnt <= (cnt_t)0) || (ch.dbg.lock_cnt <= (cnt_t)0)) {
|
|
chSysHalt("SV#7");
|
|
}
|
|
_dbg_leave_lock();
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p CH_IRQ_PROLOGUE().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_enter_isr(void) {
|
|
|
|
port_lock_from_isr();
|
|
if ((ch.dbg.isr_cnt < (cnt_t)0) || (ch.dbg.lock_cnt != (cnt_t)0)) {
|
|
chSysHalt("SV#8");
|
|
}
|
|
ch.dbg.isr_cnt++;
|
|
port_unlock_from_isr();
|
|
}
|
|
|
|
/**
|
|
* @brief Guard code for @p CH_IRQ_EPILOGUE().
|
|
*
|
|
* @notapi
|
|
*/
|
|
void _dbg_check_leave_isr(void) {
|
|
|
|
port_lock_from_isr();
|
|
if ((ch.dbg.isr_cnt <= (cnt_t)0) || (ch.dbg.lock_cnt != (cnt_t)0)) {
|
|
chSysHalt("SV#9");
|
|
}
|
|
ch.dbg.isr_cnt--;
|
|
port_unlock_from_isr();
|
|
}
|
|
|
|
/**
|
|
* @brief I-class functions context check.
|
|
* @details Verifies that the system is in an appropriate state for invoking
|
|
* an I-class API function. A panic is generated if the state is
|
|
* not compatible.
|
|
*
|
|
* @api
|
|
*/
|
|
void chDbgCheckClassI(void) {
|
|
|
|
if ((ch.dbg.isr_cnt < (cnt_t)0) || (ch.dbg.lock_cnt <= (cnt_t)0)) {
|
|
chSysHalt("SV#10");
|
|
}
|
|
}
|
|
|
|
/**
|
|
* @brief S-class functions context check.
|
|
* @details Verifies that the system is in an appropriate state for invoking
|
|
* an S-class API function. A panic is generated if the state is
|
|
* not compatible.
|
|
*
|
|
* @api
|
|
*/
|
|
void chDbgCheckClassS(void) {
|
|
|
|
if ((ch.dbg.isr_cnt != (cnt_t)0) || (ch.dbg.lock_cnt <= (cnt_t)0)) {
|
|
chSysHalt("SV#11");
|
|
}
|
|
}
|
|
|
|
#endif /* CH_DBG_SYSTEM_STATE_CHECK == TRUE */
|
|
|
|
/** @} */
|