sapi_appmanager.h

Go to the documentation of this file.

 
#ifndef SAFEAPI_APPMANAGER_H
#define SAFEAPI_APPMANAGER_H
 
#include <stdint.h>
#include "safeapi/utils/status/sapi_status.h"
#include "safeapi/utils/types/sapi_types.h"
#include "safeapi/redundancy/voter/sapi_voter.h"
#include "safeapi/redundancy/watchdog/sapi_watchdog.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* ============================================================================
 * Application Manager Interface
 * ========================================================================== */

typedef enum {
    SAPI_APP_STATE_UNINITIALIZED = 0,  
    SAPI_APP_STATE_INITIALIZING = 1,   
    SAPI_APP_STATE_RUNNING = 2,        
    SAPI_APP_STATE_SHUTTING_DOWN = 3,  
    SAPI_APP_STATE_SHUTDOWN = 4,       
    SAPI_APP_STATE_ERROR = 5           
} sapi_app_state_t;

typedef struct {
    sapi_status_t (*init)(void *context);

    sapi_status_t (*pre_execute)(void *context);

    sapi_status_t (*execute)(void *context);

    sapi_status_t (*post_execute)(void *context);

    sapi_status_t (*on_checkpoint_result)(void *context, bool committed);

    sapi_status_t (*shutdown)(void *context);

    const char *(*get_name)(void);

    const char *(*get_version)(void);
} sapi_appmanager_operations_t;

typedef struct {
    sapi_voter_t *voter;                   
    sapi_duration_ms_t max_delay_ms;       
    uint32_t expected_node_count;          
    sapi_watchdog_t watchdog;              
} sapi_appmanager_checkpoint_config_t;

typedef struct {
    const sapi_appmanager_operations_t *ops;  
    void *context;                            
    uint32_t max_iterations;                  
    uint32_t error_threshold;                 
    const sapi_appmanager_checkpoint_config_t *checkpoint; 
} sapi_appmanager_config_t;

typedef struct {
    sapi_app_state_t state;         
    uint32_t iteration_count;       
    uint32_t error_count;           
    sapi_status_t last_error;       
} sapi_appmanager_state_t;
 
/* ============================================================================
 * Checkpoint marks (ADR-034)
 * ========================================================================== */

#define SAPI_APPMANAGER_CHECKPOINT_SIGNATURE_SEED ((uint64_t)0xFFFFFFFFFFFFFFFFULL)

uint32_t sapi_appmanager_checkpoint_fold_signature(uint64_t signature);

void sapi_appmanager_checkpoint_mark(const char *file, int32_t line, const char *label);

#define SAPI_CHECKPOINT_MARK() sapi_appmanager_checkpoint_mark(__FILE__, (int32_t)__LINE__, NULL)

#define SAPI_CHECKPOINT_MARK_LABEL(label_str) sapi_appmanager_checkpoint_mark(__FILE__, (int32_t)__LINE__, (label_str))
 
/* ============================================================================
 * Application Manager API
 * ========================================================================== */

int sapi_appmanager_run(const sapi_appmanager_config_t *config);

sapi_app_state_t sapi_appmanager_get_state(void);

sapi_status_t sapi_appmanager_get_stats(sapi_appmanager_state_t *state);

void sapi_appmanager_request_shutdown(void);

sapi_status_t sapi_appmanager_install_default_signal_handlers(void);

void sapi_appmanager_reset_state(void);
 
#ifdef __cplusplus
}
#endif
 
#endif /* SAFEAPI_APPMANAGER_H */
 /* APPMANAGER */