[355ee7d] | 1 | /** |
---|
| 2 | * @file |
---|
| 3 | * |
---|
| 4 | * @brief Scheduler CBS Get Remaining Budget |
---|
| 5 | * @ingroup ScoreScheduler |
---|
| 6 | */ |
---|
| 7 | |
---|
[82db8e56] | 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> |
---|
[4fc370e] | 25 | #include <rtems/score/threaddispatch.h> |
---|
[82db8e56] | 26 | |
---|
| 27 | int _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 | |
---|
[04bf7cb] | 35 | if ( server_id >= _Scheduler_CBS_Maximum_servers ) |
---|
[82db8e56] | 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 | } |
---|