File indexing completed on 2025-05-11 08:24:26
0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013
0014
0015
0016
0017
0018
0019
0020
0021
0022
0023
0024
0025
0026
0027
0028
0029
0030
0031
0032
0033
0034
0035
0036
0037
0038 #ifdef HAVE_CONFIG_H
0039 #include "config.h"
0040 #endif
0041
0042 #include <rtems/score/schedulercbsimpl.h>
0043 #include <rtems/score/statesimpl.h>
0044 #include <rtems/score/threadcpubudget.h>
0045
0046
0047
0048
0049
0050
0051
0052
0053 static void _Scheduler_CBS_Budget_callout( Thread_Control *the_thread )
0054 {
0055 Scheduler_CBS_Node *node;
0056 Scheduler_CBS_Server_id server_id;
0057 Thread_queue_Context queue_context;
0058
0059 node = _Scheduler_CBS_Thread_get_node( the_thread );
0060
0061
0062 _Thread_queue_Context_clear_priority_updates( &queue_context );
0063 _Scheduler_CBS_Cancel_job(
0064 NULL,
0065 the_thread,
0066 node->deadline_node,
0067 &queue_context
0068 );
0069 _Thread_Priority_update( &queue_context );
0070
0071
0072 if ( node->cbs_server->cbs_budget_overrun ) {
0073 _Scheduler_CBS_Get_server_id(
0074 node->cbs_server->task_id,
0075 &server_id
0076 );
0077 node->cbs_server->cbs_budget_overrun( server_id );
0078 }
0079 }
0080
0081 static void _Scheduler_CBS_Budget_at_tick( Thread_Control *the_thread )
0082 {
0083 uint32_t budget_available;
0084
0085 if ( !the_thread->is_preemptible ) {
0086 return;
0087 }
0088
0089 if ( !_States_Is_ready( the_thread->current_state ) ) {
0090 return;
0091 }
0092
0093 budget_available = the_thread->CPU_budget.available;
0094
0095 if ( budget_available == 1 ) {
0096 the_thread->CPU_budget.available = 0;
0097 _Scheduler_CBS_Budget_callout ( the_thread );
0098 } else {
0099 the_thread->CPU_budget.available = budget_available - 1;
0100 }
0101 }
0102
0103 const Thread_CPU_budget_operations _Scheduler_CBS_Budget = {
0104 .at_tick = _Scheduler_CBS_Budget_at_tick,
0105 .at_context_switch = _Thread_CPU_budget_do_nothing,
0106 .initialize = _Thread_CPU_budget_do_nothing
0107 };
0108
0109 int _Scheduler_CBS_Initialize(void)
0110 {
0111 return SCHEDULER_CBS_OK;
0112 }