You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
1.2 KiB
26 lines
1.2 KiB
#pragma once
|
|
|
|
#include <stdint.h>
|
|
|
|
#include "sandbox_request.h"
|
|
|
|
/* Returns pointer back if successful, null otherwise */
|
|
typedef struct sandbox_request *(*global_request_scheduler_add_fn_t)(void *);
|
|
typedef int (*global_request_scheduler_remove_fn_t)(struct sandbox_request **);
|
|
typedef int (*global_request_scheduler_remove_if_earlier_fn_t)(struct sandbox_request **, uint64_t);
|
|
typedef uint64_t (*global_request_scheduler_peek_fn_t)(void);
|
|
|
|
struct global_request_scheduler_config {
|
|
global_request_scheduler_add_fn_t add_fn;
|
|
global_request_scheduler_remove_fn_t remove_fn;
|
|
global_request_scheduler_remove_if_earlier_fn_t remove_if_earlier_fn;
|
|
global_request_scheduler_peek_fn_t peek_fn;
|
|
};
|
|
|
|
|
|
void global_request_scheduler_initialize(struct global_request_scheduler_config *config);
|
|
struct sandbox_request *global_request_scheduler_add(struct sandbox_request *);
|
|
int global_request_scheduler_remove(struct sandbox_request **);
|
|
int global_request_scheduler_remove_if_earlier(struct sandbox_request **, uint64_t targed_deadline);
|
|
uint64_t global_request_scheduler_peek(void);
|