Rodrigo Arias Mallo
24324ae734
All task-related events now require the body id as argument. Additionally, in nOS-V, nested tasks require the parents to be paused.
58 lines
1.6 KiB
C
58 lines
1.6 KiB
C
/* Copyright (c) 2021-2024 Barcelona Supercomputing Center (BSC)
|
|
* SPDX-License-Identifier: GPL-3.0-or-later */
|
|
|
|
#ifndef INSTR_NOSV_H
|
|
#define INSTR_NOSV_H
|
|
|
|
#include "instr.h"
|
|
|
|
#include "task.h"
|
|
|
|
static inline void
|
|
instr_nosv_init(void)
|
|
{
|
|
instr_require("nosv");
|
|
}
|
|
|
|
static inline uint32_t
|
|
instr_nosv_type_create(int32_t typeid)
|
|
{
|
|
struct ovni_ev ev = {0};
|
|
|
|
ovni_ev_set_mcv(&ev, "VYc");
|
|
ovni_ev_set_clock(&ev, get_clock());
|
|
|
|
char buf[256];
|
|
char *p = buf;
|
|
|
|
size_t nbytes = 0;
|
|
memcpy(buf, &typeid, sizeof(typeid));
|
|
p += sizeof(typeid);
|
|
nbytes += sizeof(typeid);
|
|
sprintf(p, "testtype%d", typeid);
|
|
nbytes += strlen(p) + 1;
|
|
|
|
ovni_ev_jumbo_emit(&ev, (uint8_t *) buf, nbytes);
|
|
|
|
return task_get_type_gid(p);
|
|
}
|
|
|
|
INSTR_2ARG(instr_nosv_task_create, "VTc", uint32_t, taskid, uint32_t, typeid)
|
|
INSTR_2ARG(instr_nosv_task_create_par, "VTC", uint32_t, taskid, uint32_t, typeid)
|
|
INSTR_2ARG(instr_nosv_task_execute, "VTx", uint32_t, taskid, uint32_t, bodyid)
|
|
INSTR_2ARG(instr_nosv_task_pause, "VTp", uint32_t, taskid, uint32_t, bodyid)
|
|
INSTR_2ARG(instr_nosv_task_resume, "VTr", uint32_t, taskid, uint32_t, bodyid)
|
|
INSTR_2ARG(instr_nosv_task_end, "VTe", uint32_t, taskid, uint32_t, bodyid)
|
|
|
|
INSTR_0ARG(instr_nosv_submit_enter, "VAs")
|
|
INSTR_0ARG(instr_nosv_submit_exit, "VAS")
|
|
INSTR_0ARG(instr_nosv_attach_enter, "VAa")
|
|
INSTR_0ARG(instr_nosv_attach_exit, "VAA")
|
|
INSTR_0ARG(instr_nosv_detach_enter, "VAe")
|
|
INSTR_0ARG(instr_nosv_detach_exit, "VAE")
|
|
INSTR_0ARG(instr_nosv_attached, "VHa") /* deprecated */
|
|
INSTR_0ARG(instr_nosv_detached, "VHA") /* deprecated */
|
|
|
|
|
|
#endif /* INSTR_NOSV_H */
|