/// Blocks from which contracts are composed
module block {
-
+ /// Contract label
struct label {
char label[32];
};
-
+
+ /// Resource for which this contract is
struct resource {
frsh_resource_type_t resource_type;
frsh_resource_id_t resource_id;
};
+
+ /// Basic contract parameters
struct basic {
// forb_contract_params_type == FORB_CONTRACT_PARAMS_BASIC
fosa_rel_time_t budget;
frsh_workload_t workload;
frsh_contract_type_t contract_type;
};
+
+ /// Timing requirements
struct timing_reqs {
boolean d_equals_t;
fosa_rel_time_t deadline;
// frsh_signal_t deadline_miss_signal;
// frsh_signal_info_t deadline_miss_siginfo;
};
-
+
+ /// Spare capacity
struct spare_capacity {
frsh_granularity_t granularity;
long importance;