source: rtems/cpukit/score/src/schedulercbsgetexecutiontime.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.5 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_execution_time (
22  Scheduler_CBS_Server_id   server_id,
23  time_t                   *exec_time,
24  time_t                   *abs_time
25)
26{
27  Objects_Locations location;
28  Thread_Control *the_thread;
29
30  if ( server_id >= _Scheduler_CBS_Maximum_servers )
31    return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
32  if ( !_Scheduler_CBS_Server_list[server_id] )
33    return SCHEDULER_CBS_ERROR_NOSERVER;
34  if ( _Scheduler_CBS_Server_list[server_id]->task_id == -1 ) {
35    *exec_time = 0;
36    return SCHEDULER_CBS_OK;
37  }
38
39  the_thread = _Thread_Get(
40                 _Scheduler_CBS_Server_list[server_id]->task_id,
41                 &location
42               );
43  /* The routine _Thread_Get may disable dispatch and not enable again. */
44  if ( the_thread ) {
45    _Thread_Enable_dispatch();
46    *exec_time = _Scheduler_CBS_Server_list[server_id]->parameters.budget -
47      the_thread->cpu_time_budget;
48  }
49  else {
50    *exec_time = _Scheduler_CBS_Server_list[server_id]->parameters.budget;
51  }
52  return SCHEDULER_CBS_OK;
53}
Note: See TracBrowser for help on using the repository browser.