* frescan_repl_op_t - a replenishment operation
*
* @when: when the replenishment operation is programmed at
- * @amount: number of frames to add to the current_budget
+ * @amount: number of frames to add to the available budget
* @repl_list: to chain the replenishments for a certain sporadic server
* @pool_pos: to know how to free it from the replenishment pool
*/
* frescan_server_data_t - server data
*
* @params: the fixed parameters (budget, period and priority)
- * @current_budget: the current available capacity
+ * @old_params: a copy of old params for the perceived-commit process
* @current_priority: the current priority (0=background)
* @repl_list: the list of pending replenishment operations
* @repl_timer: the timer for the replenishments associated to this server
typedef struct {
frescan_server_params_t params;
+ frescan_server_params_t old_params;
frescan_network_t net;
frescan_ss_t id;
- frescan_budget_t current_budget;
frescan_prio_t current_priority;
frescan_budget_t pending_packets;
frescan_repl_op_t replenishments;