score/src/schedulercbsgetremainingbudget.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /**
0004  * @file
0005  *
0006  * @ingroup RTEMSScoreSchedulerCBS
0007  *
0008  * @brief This source file contains the implementation of
0009  *   _Scheduler_CBS_Get_remaining_budget().
0010  */
0011
0012 /*
0013  *  Copyright (C) 2011 Petr Benes.
0014  *  Copyright (C) 2011 On-Line Applications Research Corporation (OAR).
0015  *
0016  * Redistribution and use in source and binary forms, with or without
0017  * modification, are permitted provided that the following conditions
0018  * are met:
0019  * 1. Redistributions of source code must retain the above copyright
0020  *    notice, this list of conditions and the following disclaimer.
0021  * 2. Redistributions in binary form must reproduce the above copyright
0022  *    notice, this list of conditions and the following disclaimer in the
0023  *    documentation and/or other materials provided with the distribution.
0024  *
0025  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0026  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0027  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0028  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0029  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0030  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0031  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0032  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0033  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0034  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0035  * POSSIBILITY OF SUCH DAMAGE.
0036  */
0037
0038 #ifdef HAVE_CONFIG_H
0039 #include "config.h"
0040 #endif
0041
0042 #include <rtems/score/schedulercbs.h>
0043 #include <rtems/score/threadimpl.h>
0044
0045 int _Scheduler_CBS_Get_remaining_budget (
0046   Scheduler_CBS_Server_id  server_id,
0047   time_t                  *remaining_budget
0048 )
0049 {
0050   Scheduler_CBS_Server *server;
0051   ISR_lock_Context      lock_context;
0052   Thread_Control       *the_thread;
0053
0054   if ( server_id >= _Scheduler_CBS_Maximum_servers ) {
0055     return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
0056   }
0057
0058   server = &_Scheduler_CBS_Server_list[ server_id ];
0059
0060   if ( !server->initialized ) {
0061     return SCHEDULER_CBS_ERROR_NOSERVER;
0062   }
0063
0064   if ( server->task_id == -1 ) {
0065     *remaining_budget = server->parameters.budget;
0066     return SCHEDULER_CBS_OK;
0067   }
0068
0069   the_thread = _Thread_Get( server->task_id, &lock_context );
0070
0071   if ( the_thread != NULL ) {
0072     *remaining_budget = the_thread->CPU_budget.available;
0073     _ISR_lock_ISR_enable( &lock_context );
0074   } else {
0075     *remaining_budget = 0;
0076   }
0077
0078   return SCHEDULER_CBS_OK;
0079 }