stk_arch_x86-win32.h

Go to the documentation of this file.

/*
 * SuperTinyKernel(TM) RTOS: Lightweight High-Performance Deterministic C++ RTOS for Embedded Systems.
 *
 * Source: https://github.com/SuperTinyKernel-RTOS
 *
 * Copyright (c) 2022-2026 Neutron Code Limited <stk@neutroncode.com>. All Rights Reserved.
 * License: MIT License, see LICENSE for a full text.
 */
 
#ifndef STK_ARCH_X86_WIN32_H_
#define STK_ARCH_X86_WIN32_H_
 
#include "stk_common.h"

 
namespace stk {

class PlatformX86Win32 : public IPlatform
{
public:
    ~PlatformX86Win32()
    {}
 
    void Initialize(IEventHandler *event_handler, IKernelService *service, uint32_t resolution_us, Stack *exit_trap);
    void Start();
    void Stop();
    bool InitStack(EStackType stack_type, Stack *stack, IStackMemory *stack_memory, ITask *user_task);
    uint32_t GetTickResolution() const;
    void SwitchToNext();
    void Sleep(Timeout ticks);
    void SleepUntil(Ticks timestamp);
    IWaitObject *Wait(ISyncObject *sync_obj, IMutex *mutex, Timeout timeout);
    void ProcessTick();
    void ProcessHardFault();
    void SetEventOverrider(IEventOverrider *overrider);
    Word GetCallerSP() const;
    TId GetTid() const;
};

typedef PlatformX86Win32 PlatformDefault;
 
} // namespace stk

#if defined(_MSC_VER)
    #include <intrin.h>
    #if defined(_M_IX86) || defined(_M_X64)
        // x86/x64: full hardware serializing fence
        #define __stk_dmb() _mm_mfence()
    #elif defined(_M_ARM) || defined(_M_ARM64)
        // ARM/ARM64: Data Memory Barrier (Inner Shareable)
        #define __stk_dmb() __dmb(_ARM_BARRIER_ISH)
    #endif
#elif defined(__GNUC__) || defined(__clang__)
    #define __stk_dmb() __sync_synchronize()
#else
    #error "__stk_dmb() is not implemented for this compiler."
#endif
 
#endif /* STK_ARCH_X86_WIN32_H_ */