From e1598a616db1e9dadfd74abeb20b1f1ec5daaa7f Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 4 Apr 2014 10:56:36 +0200 Subject: score: Static scheduler configuration Do not allocate the scheduler control structures from the workspace. This is a preparation step for configuration of clustered/partitioned schedulers on SMP. --- cpukit/score/src/schedulercbsgetexecutiontime.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'cpukit/score/src/schedulercbsgetexecutiontime.c') diff --git a/cpukit/score/src/schedulercbsgetexecutiontime.c b/cpukit/score/src/schedulercbsgetexecutiontime.c index 325c7598f6..ee139e640d 100644 --- a/cpukit/score/src/schedulercbsgetexecutiontime.c +++ b/cpukit/score/src/schedulercbsgetexecutiontime.c @@ -33,25 +33,25 @@ int _Scheduler_CBS_Get_execution_time ( if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; - if ( !_Scheduler_CBS_Server_list[server_id] ) + if ( !_Scheduler_CBS_Server_list[server_id].initialized ) return SCHEDULER_CBS_ERROR_NOSERVER; - if ( _Scheduler_CBS_Server_list[server_id]->task_id == -1 ) { + if ( _Scheduler_CBS_Server_list[server_id].task_id == -1 ) { *exec_time = 0; return SCHEDULER_CBS_OK; } the_thread = _Thread_Get( - _Scheduler_CBS_Server_list[server_id]->task_id, + _Scheduler_CBS_Server_list[server_id].task_id, &location ); /* The routine _Thread_Get may disable dispatch and not enable again. */ if ( the_thread ) { - *exec_time = _Scheduler_CBS_Server_list[server_id]->parameters.budget - + *exec_time = _Scheduler_CBS_Server_list[server_id].parameters.budget - the_thread->cpu_time_budget; _Objects_Put( &the_thread->Object ); } else { - *exec_time = _Scheduler_CBS_Server_list[server_id]->parameters.budget; + *exec_time = _Scheduler_CBS_Server_list[server_id].parameters.budget; } return SCHEDULER_CBS_OK; } -- cgit v1.2.3