WebSVN - shark - Path Comparison - /shark/trunk/ports/first/ Rev 339 and /shark/trunk/ports/first/ Rev 340

Ignore whitespace Rev 339 → Rev 340

/shark/trunk/ports/first/include/grubstar.h
94,5 → 94,7

int GRUBSTAR_get_last_reclaiming(LEVEL l, PID p);

int GRUBSTAR_get_remain_capacity(LEVEL l, int budget);

#endif

 /shark/trunk/ports/first/include/mpegstar.h
 ,7 → 49,8
 int MPEGSTAR_getbudget(LEVEL l, PID p);
 int MPEGSTAR_budget_has_thread(LEVEL l, int budget);
-int MPEGSTAR_rescale(LEVEL l, TIME Q, TIME T);
+int MPEGSTAR_rescale(int budget, TIME Q, TIME T);
+int MPEGSTAR_get_remain_capacity(int budget);
 #endif

/shark/trunk/ports/first/include/fsf_server.h
32,6 → 32,7
#define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid
#define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo
#define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming
#define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity

#endif

 /shark/trunk/ports/first/modules/mpegstar.c
 ,3 → 274,13
   return 0;
 }
+int MPEGSTAR_get_remain_capacity(int budget)
+{
+  LEVEL l = SERVER_get_local_scheduler_level_from_budget(fsf_get_server_level(),budget);
+  MPEGSTAR_level_des *lev = (MPEGSTAR_level_des *)(level_table[l]);
+  SERVER_get_remain_capacity(lev->scheduling_level,budget);
+  return 0;
+}

 /shark/trunk/ports/first/modules/grubstar.c
 ,6 → 689,15
 }
+int GRUBSTAR_get_remain_capacity(LEVEL l, int budget)
+{
+  GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]);
+  return lev->b[budget].avail;
+}
 int GRUBSTAR_get_local_scheduler_level_from_budget(LEVEL l, int budget)
 {
   GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]);