score: Delete _Assert_Owner_of_giant()

Add _Debug_Is_owner_of_giant().  This makes it possible to assert the
opposite.
This commit is contained in:
Sebastian Huber
2014-03-18 11:56:42 +01:00
parent ff25926701
commit a3dd225b88
3 changed files with 13 additions and 13 deletions

View File

@@ -49,12 +49,14 @@ extern "C" {
#endif
/**
* @brief Asserts that current thread of execution owns the giant lock.
* @brief Returns true if the current thread of execution owns the giant lock.
*/
#if defined( RTEMS_DEBUG ) && defined( RTEMS_SMP )
void _Assert_Owner_of_giant( void );
#else
#define _Assert_Owner_of_giant() ( ( void ) 0 )
#if defined( RTEMS_DEBUG )
#if defined( RTEMS_SMP )
bool _Debug_Is_owner_of_giant( void );
#else
#define _Debug_Is_owner_of_giant() (true)
#endif
#endif
#ifdef __cplusplus

View File

@@ -58,7 +58,7 @@ typedef uint32_t ISR_Level;
#define _ISR_Disable( _level ) \
do { \
_CPU_ISR_Disable( _level ); \
_Assert_Owner_of_giant(); \
_Assert( _Debug_Is_owner_of_giant() ); \
RTEMS_COMPILER_MEMORY_BARRIER(); \
} while (0)
@@ -76,7 +76,7 @@ typedef uint32_t ISR_Level;
#define _ISR_Enable( _level ) \
do { \
RTEMS_COMPILER_MEMORY_BARRIER(); \
_Assert_Owner_of_giant(); \
_Assert( _Debug_Is_owner_of_giant() ); \
_CPU_ISR_Enable( _level ); \
} while (0)
@@ -102,7 +102,7 @@ typedef uint32_t ISR_Level;
#define _ISR_Flash( _level ) \
do { \
RTEMS_COMPILER_MEMORY_BARRIER(); \
_Assert_Owner_of_giant(); \
_Assert( _Debug_Is_owner_of_giant() ); \
_CPU_ISR_Flash( _level ); \
RTEMS_COMPILER_MEMORY_BARRIER(); \
} while (0)

View File

@@ -142,13 +142,11 @@ void _Giant_Release( void )
}
#if defined( RTEMS_DEBUG )
void _Assert_Owner_of_giant( void )
bool _Debug_Is_owner_of_giant( void )
{
Giant_Control *giant = &_Giant;
_Assert(
giant->owner_cpu == _SMP_Get_current_processor()
|| !_System_state_Is_up( _System_state_Get() )
);
return giant->owner_cpu == _SMP_Get_current_processor()
|| !_System_state_Is_up( _System_state_Get() );
}
#endif