#define _FRSH_CONFIGURATION_PARAMETERS_H_
#include <unistd.h>
+#include <limits.h>
#include <frsh_cpp_macros.h>
FRSH_CPP_BEGIN_DECLS
/* Default memory pool's size in Kbytes */
#define FRSH_DYNAMIC_MEMORY_POOL_SIZE 6670
+/**
+ * Maximum synchronized workload period number. After this value any
+ * increments will be set to zero.
+ **/
+#define FRSH_MAX_SYNCHRONIZED_PERIOD_NUMBER LONG_MAX
+
+
/*@}*/
/*@}*/
* frsh_vresperiod_wait()
*
* Suspend the calling thread until the start of the specified virtual
- * resource period, for a synchronized workload.
+ * resource period of a vres_id, for a synchronized workload.
*
* Virtual resource periods are numbered. The number of the current
* period can be obtained through the frsh_vres_get_period_number()
* operation.
**/
-int frsh_vresperiod_wait
- (const frsh_vres_id_t vres,
- long period_num);
+int frsh_vresperiod_wait(unsigned long period_num,
+ frsh_rel_time_t *next_budget,
+ frsh_rel_time_t *next_period,
+ bool *was_deadline_missed,
+ bool *was_budget_overran);
/**
#define FRSH_TRACE_REPLENISHMENTS false
#define FRSH_TRACE_ROUND_ROBIN false
#define FRSH_TRACE_BOUNDED_JOB false
-
+#define FRSH_TRACE_SYNCHRONIZE_WORKLOAD false
#define FRSH_TRACE_ADMISSION_TEST false
#define FRSH_TRACE_ADMISSION_RESULT false