TimerHandlerRegistry.h

/*
 * Copyright (c) 2026, Pedigree Developers
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted.
 */
 
#ifndef PEDIGREE_KERNEL_MACHINE_TIMERHANDLERREGISTRY_H
#define PEDIGREE_KERNEL_MACHINE_TIMERHANDLERREGISTRY_H
#include "pedigree/kernel/Spinlock.h"
#include "pedigree/kernel/compiler.h"
#include "pedigree/kernel/process/AtomicStateCleanup.h"
#include "pedigree/kernel/process/WaitQueue.h"
#include "pedigree/kernel/processor/types.h"
 
#include <config.h>
 
class TimerHandler;
 
class EXPORTED_PUBLIC TimerHandlerRegistry {
 public:
  TimerHandlerRegistry();
 
  bool registerHandler(TimerHandler* handler);
 
  bool unregisterHandler(TimerHandler* handler);
 
  bool dispatch(uint64_t delta, TimerHandler* onlyHandler = nullptr);
 
  void reset();
 
#if HOSTED && PEDIGREE_HOSTED_SMOKE_TESTS
  using HandlerPinHook = void (*)(TimerHandler*);
  using HandlerPrePinHook = void (*)(TimerHandler*);
  using HandlerHazardClaimHook = void (*)(TimerHandler*);
  using HandlerAtomicDrainHook = void (*)(TimerHandler*);
  using MutationLockHook = void (*)();
 
  void setHandlerPinHook(HandlerPinHook hook);
  void setHandlerPrePinHook(HandlerPrePinHook hook);
  void setHandlerHazardClaimHook(HandlerHazardClaimHook hook);
  void setHandlerAtomicDrainHook(HandlerAtomicDrainHook hook);
  void withMutationLockForTest(MutationLockHook hook);
  size_t activeDispatchCountForTest(TimerHandler* handler);
  size_t claimedDispatchCountForTest();
#endif
 
 private:
  static constexpr size_t MaxHandlerSlots = 32;
  static constexpr size_t MaxActiveDispatches = 64;
 
  enum class SlotMode : size_t {
    Empty = 0,
    Enabled,
    Draining,
    Deferred,
    Retiring,
  };
 
  static constexpr size_t ModeBits = 3;
  static constexpr size_t ModeMask = (1 << ModeBits) - 1;
  static constexpr size_t SelfRemovalBit = 1 << ModeBits;
  static constexpr size_t SynchronousDrainBit = 1 << (ModeBits + 1);
  static constexpr size_t GenerationShift = ModeBits + 2;
 
  struct HandlerSlot;
 
  struct ActiveDispatch {
    ActiveDispatch() : token(nullptr), generation(0), owner(nullptr), slot(nullptr) {}
 
    void* token;
    size_t generation;
    void* owner;
    HandlerSlot* slot;
  };
 
  struct HandlerSlot {
    HandlerSlot() : handler(nullptr), publication(0) {}
 
    TimerHandler* handler;
    size_t publication;
  };
 
  struct DispatchCleanup {
    DispatchCleanup(TimerHandlerRegistry* handlerRegistry, HandlerSlot* handlerSlot,
                    void* dispatchOwner, size_t admittedPublication)
        : registry(handlerRegistry),
          slot(handlerSlot),
          owner(dispatchOwner),
          publication(admittedPublication),
          cleanup() {}
 
    TimerHandlerRegistry* registry;
    HandlerSlot* slot;
    void* owner;
    size_t publication;
    AtomicStateCleanupRecord cleanup;
  };
 
  static size_t makePublication(size_t generation, SlotMode mode, bool selfRemoval = false,
                                bool synchronousDrain = false);
  static size_t generationOf(size_t publication);
  static SlotMode modeOf(size_t publication);
  static bool selfRemovalOf(size_t publication);
  static bool synchronousDrainOf(size_t publication);
 
  bool retireSlot(HandlerSlot& slot, size_t expectedPublication, TimerHandler* expectedHandler);
  ActiveDispatch* publishDispatch(HandlerSlot& slot, void* owner, void* token);
  bool unpublishDispatch(void* token, HandlerSlot& slot, size_t admittedPublication, bool required);
  static void abandonDispatch(void* context);
  bool hasActiveDispatch(HandlerSlot& slot) const;
  bool findCurrentDispatch(void* owner, HandlerSlot* target, bool& callbackContext) const;
  static void* currentDispatchOwner();
 
  HandlerSlot m_Handlers[MaxHandlerSlots];
  ActiveDispatch m_ActiveDispatches[MaxActiveDispatches];
  WaitQueue m_DispatchWaiters;
  Spinlock m_HandlerLock;
 
#if HOSTED && PEDIGREE_HOSTED_SMOKE_TESTS
  HandlerPinHook m_HandlerPinHook;
  HandlerPrePinHook m_HandlerPrePinHook;
  HandlerHazardClaimHook m_HandlerHazardClaimHook;
  HandlerAtomicDrainHook m_HandlerAtomicDrainHook;
#endif
};
 
#endif