source: rtems/cpukit/score/src/schedulercbsgetremainingbudget.c @ 04bf7cb

4.11
Last change on this file since 04bf7cb was 04bf7cb, checked in by Ralf Corsepius <ralf.corsepius@…>, on Dec 6, 2011 at 7:12:42 AM

2011-12-06 Ralf Corsépius <ralf.corsepius@…>

  • score/src/schedulercbsattachthread.c, score/src/schedulercbsdestroyserver.c, score/src/schedulercbsdetachthread.c, score/src/schedulercbsgetapprovedbudget.c, score/src/schedulercbsgetexecutiontime.c, score/src/schedulercbsgetparameters.c, score/src/schedulercbsgetremainingbudget.c, score/src/schedulercbssetparameters.c: Remove checks for server_id < 0 (server_id is unsigned).
  • Property mode set to 100644
File size: 1.4 KB
Line 
1/*
2 *  Copyright (C) 2011 Petr Benes.
3 *  Copyright (C) 2011 On-Line Applications Research Corporation (OAR).
4 *
5 *  The license and distribution terms for this file may be
6 *  found in the file LICENSE in this distribution or at
7 *  http://www.rtems.com/license/LICENSE.
8 *
9 *  $Id$
10 */
11
12#if HAVE_CONFIG_H
13#include "config.h"
14#endif
15
16#include <rtems/system.h>
17#include <rtems/config.h>
18#include <rtems/score/scheduler.h>
19#include <rtems/score/schedulercbs.h>
20
21int _Scheduler_CBS_Get_remaining_budget (
22  Scheduler_CBS_Server_id  server_id,
23  time_t                  *remaining_budget
24)
25{
26  Objects_Locations location;
27  Thread_Control *the_thread;
28
29  if ( server_id >= _Scheduler_CBS_Maximum_servers )
30    return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
31  if ( !_Scheduler_CBS_Server_list[server_id] )
32    return SCHEDULER_CBS_ERROR_NOSERVER;
33  if ( _Scheduler_CBS_Server_list[server_id]->task_id == -1 ) {
34    *remaining_budget = _Scheduler_CBS_Server_list[server_id]->parameters.budget;
35    return SCHEDULER_CBS_OK;
36  }
37
38  the_thread = _Thread_Get(
39                 _Scheduler_CBS_Server_list[server_id]->task_id,
40                 &location
41               );
42  /* The routine _Thread_Get may disable dispatch and not enable again. */
43  if ( the_thread ) {
44    _Thread_Enable_dispatch();
45    *remaining_budget = the_thread->cpu_time_budget;
46  }
47  else {
48    *remaining_budget = 0;
49  }
50
51  return SCHEDULER_CBS_OK;
52}
Note: See TracBrowser for help on using the repository browser.