eu_decls.h

// Copyright 2021 ETH Zurich and University of Bologna.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#pragma once
 
#include <stdint.h>
 
typedef struct {
    uint32_t workers_in_loop;
    uint32_t exit_flag;
    uint32_t workers_mutex;
    uint32_t workers_wfi;
    struct {
        void (*fn)(void *, uint32_t);  // points to microtask wrapper
        void *data;
        uint32_t argc;
        uint32_t nthreads;
        uint32_t fini_count;
    } e;
} eu_t;
 
inline void eu_init(void);
 
inline void eu_exit(uint32_t core_idx);
 
inline void eu_event_loop(uint32_t cluster_core_idx);
 
inline int eu_dispatch_push(void (*fn)(void *, uint32_t), uint32_t argc,
                            void *data, uint32_t nthreads);
 
inline void eu_run_empty(uint32_t core_idx);
 
inline void eu_print_status();