64 lines
2.1 KiB
C
64 lines
2.1 KiB
C
#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
|