stk::test::mutex::BasicLockUnlockTask< _AccessMode > Class Template Reference

Tests basic lock/unlock functionality. More...

Inheritance diagram for stk::test::mutex::BasicLockUnlockTask< _AccessMode >:

Collaboration diagram for stk::test::mutex::BasicLockUnlockTask< _AccessMode >:

Public Types
enum

Public Member Functions
	BasicLockUnlockTask (uint8_t task_id, int32_t iterations)
Word *	GetStack () const
	Get pointer to the stack memory.
size_t	GetStackSize () const
	Get number of elements of the stack memory array.
size_t	GetStackSizeBytes () const
	Get size of the memory in bytes.
EAccessMode	GetAccessMode () const
	Get hardware access mode of the user task.
virtual void	OnDeadlineMissed (uint32_t duration)
	Default no-op handler. Override in subclass to log or handle missed deadlines.
virtual void	OnExit ()
	Default no-op handler. Override to implement join semantics (signal a waiting joiner).
virtual int32_t	GetWeight () const
	Default weight of 1. Override in subclass if custom scheduling weight is needed.
virtual TId	GetId () const
	Get object's own address as its Id. Unique per task instance, requires no manual assignment.
virtual const char *	GetTraceName () const
	Override in subclass to supply a name for SEGGER SystemView tracing. Returns NULL by default.
virtual size_t	GetStackSpace ()
	Get available stack space.

Private Member Functions
void	Run ()
	Entry point of the user task.

Private Attributes
uint8_t	m_task_id
int32_t	m_iterations
StackMemoryDef< _StackSize >::Type	m_stack
	Stack memory region, 16-byte aligned.

Detailed Description

template<EAccessMode _AccessMode>
class stk::test::mutex::BasicLockUnlockTask< _AccessMode >

Tests basic lock/unlock functionality.

Note

Verifies that mutex provides mutual exclusion.

Definition at line 63 of file test_mutex.cpp.

Member Enumeration Documentation

anonymous enum

anonymous enum

inherited

Definition at line 52 of file stk_helper.h.

{ STACK_SIZE = _StackSize }; 

Constructor & Destructor Documentation

BasicLockUnlockTask()

template<EAccessMode _AccessMode>

stk::test::mutex::BasicLockUnlockTask< _AccessMode >::BasicLockUnlockTask ( uint8_t task_id, int32_t iterations )

inline

Definition at line 69 of file test_mutex.cpp.

                                                             : m_task_id(task_id), m_iterations(iterations)
    {}

References m_iterations, and m_task_id.

Member Function Documentation

GetAccessMode()

EAccessMode stk::Task< _StackSize, _AccessMode >::GetAccessMode ( ) const

inlinevirtualinherited

Get hardware access mode of the user task.

Implements stk::ITask.

Definition at line 57 of file stk_helper.h.

{ return _AccessMode; }

GetId()

virtual TId stk::Task< _StackSize, _AccessMode >::GetId ( ) const

inlinevirtualinherited

Get object's own address as its Id. Unique per task instance, requires no manual assignment.

Implements stk::ITask.

Definition at line 77 of file stk_helper.h.

{ return hw::PtrToWord(this); }

GetStack()

Word * stk::Task< _StackSize, _AccessMode >::GetStack ( ) const

inlinevirtualinherited

Get pointer to the stack memory.

Implements stk::IStackMemory.

Definition at line 54 of file stk_helper.h.

{ return const_cast<Word *>(m_stack); }

GetStackSize()

size_t stk::Task< _StackSize, _AccessMode >::GetStackSize ( ) const

inlinevirtualinherited

Get number of elements of the stack memory array.

Implements stk::IStackMemory.

Definition at line 55 of file stk_helper.h.

{ return _StackSize; }

GetStackSizeBytes()

size_t stk::Task< _StackSize, _AccessMode >::GetStackSizeBytes ( ) const

inlinevirtualinherited

Get size of the memory in bytes.

Implements stk::IStackMemory.

Definition at line 56 of file stk_helper.h.

{ return _StackSize * sizeof(Word); }

GetStackSpace()

virtual size_t stk::IStackMemory::GetStackSpace ( )

inlinevirtualinherited

Get available stack space.

Returns

Number of elements of the stack memory array remaining on the stack (computed via the watermark pattern). Returns 0 if the stack has been fully used or the watermark STK_STACK_MEMORY_FILLER was overwritten.

Warning

Stack type: Bottom to Top (index[0]).

Definition at line 252 of file stk_common.h.

    {
        const Word *stack = GetStack();
        const size_t stack_size = GetStackSize();
 
        // count leading Words equal to STK_STACK_MEMORY_FILLER (watermark)
        size_t space = 0U;
        for ( ; (space < stack_size) && (stack[space] == STK_STACK_MEMORY_FILLER); ++space)
        {}
 
        return space;
    }

GetTraceName()

virtual const char * stk::Task< _StackSize, _AccessMode >::GetTraceName ( ) const

inlinevirtualinherited

Override in subclass to supply a name for SEGGER SystemView tracing. Returns NULL by default.

Implements stk::ITask.

Definition at line 81 of file stk_helper.h.

{ return nullptr; }

GetWeight()

virtual int32_t stk::Task< _StackSize, _AccessMode >::GetWeight ( ) const

inlinevirtualinherited

Default weight of 1. Override in subclass if custom scheduling weight is needed.

Note

Only relevant when using SwitchStrategySmoothWeightedRoundRobin. Prefer TaskW for compile-time weight assignment.

Implements stk::ITask.

Definition at line 73 of file stk_helper.h.

{ return 1; }

OnDeadlineMissed()

virtual void stk::Task< _StackSize, _AccessMode >::OnDeadlineMissed ( uint32_t duration )

inlinevirtualinherited

Default no-op handler. Override in subclass to log or handle missed deadlines.

Note

HRT deadline misses are only possible when the kernel is started with KERNEL_HRT.

Implements stk::ITask.

Definition at line 62 of file stk_helper.h.

{ STK_UNUSED(duration); }

OnExit()

virtual void stk::Task< _StackSize, _AccessMode >::OnExit ( )

inlinevirtualinherited

Default no-op handler. Override to implement join semantics (signal a waiting joiner).

Note

Called by the kernel only in KERNEL_DYNAMIC mode.

Implements stk::ITask.

Definition at line 67 of file stk_helper.h.

{}

Run()

template<EAccessMode _AccessMode>

void stk::test::mutex::BasicLockUnlockTask< _AccessMode >::Run ( )

inlineprivatevirtual

Entry point of the user task.

Note

Called by the Kernel when the task is scheduled for execution. Implement this method with the task's main logic.

Warning

If Kernel is configured as KERNEL_STATIC, the body must contain an infinite loop.

void Run()
{
    while (true)
    {
        // task logic here
    }
}

Implements stk::ITask.

Definition at line 73 of file test_mutex.cpp.

    {
        int32_t workload = 0;
 
        for (int32_t i = 0; i < m_iterations; ++i)
        {
            g_TestMutex.Lock();
 
            // Critical section - increment shared counter
            int32_t temp = g_SharedCounter;
            if (++workload % 4 == 0)
                stk::Delay(1); // Small delay to increase chance of race if mutex broken
            g_SharedCounter = temp + 1;
 
            g_TestMutex.Unlock();
 
            stk::Yield(); // Yield to other tasks
        }
 
        ++g_InstancesDone;
 
        // Task 0 acts as verifier: waits for all other tasks to finish then checks
        // that the counter equals exactly tasks_count * iterations, confirming that
        // no increment was lost or doubled due to a broken mutual exclusion.
        if (m_task_id == 0)
        {
            while (g_InstancesDone < _STK_MUTEX_TEST_TASKS_MAX)
                stk::Sleep(_STK_MUTEX_TEST_SHORT_SLEEP);
 
            int32_t expected = _STK_MUTEX_TEST_TASKS_MAX * m_iterations;
 
            printf("basic lock/unlock: counter=%d (expected %d)\n", (int)g_SharedCounter, (int)expected);
 
            if (g_SharedCounter == expected)
                g_TestResult = 1;
        }
    }

References _STK_MUTEX_TEST_SHORT_SLEEP, _STK_MUTEX_TEST_TASKS_MAX, stk::Delay(), stk::test::mutex::g_InstancesDone, stk::test::mutex::g_SharedCounter, stk::test::mutex::g_TestMutex, stk::test::mutex::g_TestResult, m_iterations, m_task_id, stk::Sleep(), and stk::Yield().

Here is the call graph for this function:

Member Data Documentation

m_iterations

template<EAccessMode _AccessMode>

int32_t stk::test::mutex::BasicLockUnlockTask< _AccessMode >::m_iterations

private

Definition at line 66 of file test_mutex.cpp.

Referenced by BasicLockUnlockTask(), and Run().

m_stack

StackMemoryDef<_StackSize>::Type stk::Task< _StackSize, _AccessMode >::m_stack

privateinherited

Stack memory region, 16-byte aligned.

Definition at line 103 of file stk_helper.h.

m_task_id

template<EAccessMode _AccessMode>

uint8_t stk::test::mutex::BasicLockUnlockTask< _AccessMode >::m_task_id

private

Definition at line 65 of file test_mutex.cpp.

Referenced by BasicLockUnlockTask(), and Run().

---

The documentation for this class was generated from the following file:

• test_mutex.cpp