#ifndef TASK01_EVENT_GROUPS_H
#define TASK01_EVENT_GROUPS_H

#include <stdint.h>

#include "FreeRTOS.h"
#include "event_groups.h"
#include "task.h"
#include "task01_event_groups_model.h"

#define FC09_READY_A                 ( ( EventBits_t ) 0x01U )
#define FC09_READY_B                 ( ( EventBits_t ) 0x02U )
#define FC09_READY_ALL               ( FC09_READY_A | FC09_READY_B )
#define FC09_SYNC_A                  ( ( EventBits_t ) 0x10U )
#define FC09_SYNC_B                  ( ( EventBits_t ) 0x20U )
#define FC09_SYNC_C                  ( ( EventBits_t ) 0x40U )
#define FC09_SYNC_ALL                ( FC09_SYNC_A | FC09_SYNC_B | FC09_SYNC_C )
#define FC09_TASK_STACK_WORDS        256U
#define FC09_COORDINATOR_PRIORITY    3U
#define FC09_WORKER_A_PRIORITY       2U
#define FC09_WORKER_B_PRIORITY       1U
#define FC09_VERIFIER_PRIORITY       0U
#define FC09_TIMEOUT_TICKS           20U
#define FC09_EVENT_CAPACITY          12U

typedef struct EventGroupExperiment
{
    EventGroupHandle_t group;
    TaskHandle_t coordinator_handle;
    TaskHandle_t worker_a_handle;
    TaskHandle_t worker_b_handle;
    TaskHandle_t verifier_handle;
    EventBits_t ready_result;
    EventBits_t sync_a_result;
    EventBits_t sync_b_result;
    EventBits_t sync_c_result;
    EventBits_t partial_bits;
    EventBits_t final_bits;
    eTaskState worker_a_state_at_partial;
    eTaskState coordinator_state_before_final_sync;
    uintptr_t coordinator_sp;
    uintptr_t worker_a_sp;
    uintptr_t worker_b_sp;
    uint32_t coordinator_done;
    uint32_t worker_a_done;
    uint32_t worker_b_done;
    uint32_t pass;
    uint32_t evidence_digest;
} EventGroupExperiment;

extern EventGroupExperiment g_fc09;
extern EventGroupEvidence g_fc09_events[ FC09_EVENT_CAPACITY ];
extern volatile uint32_t g_fc09_event_count;
extern volatile uint32_t g_fc09_last_checkpoint;
extern volatile uint32_t g_fc09_pass;

void fc09_checkpoint_committed( uint32_t point, const void * subject );
void fc09_coordinator_entry( void * context );
void fc09_worker_a_entry( void * context );
void fc09_worker_b_entry( void * context );
void fc09_verifier_entry( void * context );

#endif