source: rtems/cpukit/score/src/schedulercbsgetremainingbudget.c @ 4fc370e

4.115
Last change on this file since 4fc370e was 4fc370e, checked in by Sebastian Huber <sebastian.huber@…>, on Jun 5, 2013 at 10:08:23 AM

score: Move thread dispatch content to new file

Move thread dispatch declarations and inline functions to new header
<rtems/score/threaddispatch.h> to make it independent of the
Thread_Control structure. This avoids a cyclic dependency in case
thread dispatch functions are used for the object implementation.

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