Sporadic scheduler: Fix budget computations when replenishment intervals are nested

2026-06-07 01:05:54 +08:00 · 2015-07-27 09:35:52 -06:00
parent 5052e19563
commit cc1c7731da
2 changed files with 17 additions and 21 deletions
@@ -253,6 +253,7 @@ struct replenishment_s
 {
  FAR struct tcb_s *tcb;            /* The parent TCB structure                 */
  struct wdog_s timer;              /* Timer dedicated to this interval         */
+  uint32_t budget;                  /* Current budget time                      */
  bool active;                      /* True: replenishment instance is busy     */
 };

@@ -271,7 +272,6 @@ struct sporadic_s
  uint8_t  nrepls;                  /* Number of active replenishments          */
  uint32_t repl_period;             /* Sporadic replenishment period            */
  uint32_t budget;                  /* Sporadic execution budget period         */
-  uint32_t current;                 /* Unrealized, current budget time          */
  uint32_t pending;                 /* Unrealized, pending execution budget     */

 #ifdef CONFIG_SCHED_TICKLESS