1f25ce65dSSergey Makeev // The MIT License (MIT) 2f25ce65dSSergey Makeev // 3f25ce65dSSergey Makeev // Copyright (c) 2015 Sergey Makeev, Vadim Slyusarev 4f25ce65dSSergey Makeev // 5f25ce65dSSergey Makeev // Permission is hereby granted, free of charge, to any person obtaining a copy 6f25ce65dSSergey Makeev // of this software and associated documentation files (the "Software"), to deal 7f25ce65dSSergey Makeev // in the Software without restriction, including without limitation the rights 8f25ce65dSSergey Makeev // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9f25ce65dSSergey Makeev // copies of the Software, and to permit persons to whom the Software is 10f25ce65dSSergey Makeev // furnished to do so, subject to the following conditions: 11f25ce65dSSergey Makeev // 12f25ce65dSSergey Makeev // The above copyright notice and this permission notice shall be included in 13f25ce65dSSergey Makeev // all copies or substantial portions of the Software. 14f25ce65dSSergey Makeev // 15f25ce65dSSergey Makeev // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16f25ce65dSSergey Makeev // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17f25ce65dSSergey Makeev // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18f25ce65dSSergey Makeev // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19f25ce65dSSergey Makeev // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20f25ce65dSSergey Makeev // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 21f25ce65dSSergey Makeev // THE SOFTWARE. 22f25ce65dSSergey Makeev 2358964d0bSSergey Makeev #include <MTScheduler.h> 24c73d1551SSergey Makeev #include <string.h> // for memset 2558964d0bSSergey Makeev 2658964d0bSSergey Makeev namespace MT 2758964d0bSSergey Makeev { 2858964d0bSSergey Makeev 290727c1f9SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 30*d7cf17b1Ss.makeev_local TaskScheduler::TaskScheduler(uint32 workerThreadsCount, WorkerThreadParams* workerParameters, IProfilerEventListener* listener) 310727c1f9SSergey Makeev #else 32*d7cf17b1Ss.makeev_local TaskScheduler::TaskScheduler(uint32 workerThreadsCount, WorkerThreadParams* workerParameters) 330727c1f9SSergey Makeev #endif 3458964d0bSSergey Makeev : roundRobinThreadIndex(0) 3543c41d5cSSergey Makeev , startedThreadsCount(0) 3658964d0bSSergey Makeev { 3751901c6bSSergey Makeev 38ff5c86b0SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 390727c1f9SSergey Makeev profilerEventListener = listener; 40ff5c86b0SSergey Makeev #endif 41ff5c86b0SSergey Makeev 4234a394c3SSergey Makeev if (workerThreadsCount != 0) 4334a394c3SSergey Makeev { 44a23fd933SSergey Makeev threadsCount.StoreRelaxed( MT::Clamp(workerThreadsCount, (uint32)1, (uint32)MT_MAX_THREAD_COUNT) ); 4534a394c3SSergey Makeev } else 4634a394c3SSergey Makeev { 4734a394c3SSergey Makeev //query number of processor 48*d7cf17b1Ss.makeev_local threadsCount.StoreRelaxed( (uint32)MT::Clamp(Thread::GetNumberOfHardwareThreads() - 1, 1, (int)MT_MAX_THREAD_COUNT) ); 4934a394c3SSergey Makeev } 5034a394c3SSergey Makeev 51f4db079dSs.makeev // create fiber pool (fibers with standard stack size) 52f4db079dSs.makeev for (uint32 i = 0; i < MT_MAX_STANDART_FIBERS_COUNT; i++) 5358964d0bSSergey Makeev { 54f4db079dSs.makeev FiberContext& context = standartFiberContexts[i]; 55f4db079dSs.makeev context.fiber.Create(MT_STANDART_FIBER_STACK_SIZE, FiberMain, &context); 56f4db079dSs.makeev standartFibersAvailable.Push( &context ); 5758964d0bSSergey Makeev } 5858964d0bSSergey Makeev 59f4db079dSs.makeev // create fiber pool (fibers with extended stack size) 60f4db079dSs.makeev for (uint32 i = 0; i < MT_MAX_EXTENDED_FIBERS_COUNT; i++) 61f4db079dSs.makeev { 62f4db079dSs.makeev FiberContext& context = extendedFiberContexts[i]; 63f4db079dSs.makeev context.fiber.Create(MT_EXTENDED_FIBER_STACK_SIZE, FiberMain, &context); 64f4db079dSs.makeev extendedFibersAvailable.Push( &context ); 65f4db079dSs.makeev } 66f4db079dSs.makeev 67f4db079dSs.makeev 682e846c40SSergey Makeev for (int16 i = 0; i < TaskGroup::MT_MAX_GROUPS_COUNT; i++) 69806ef292SSergey Makeev { 70754cb997SSergey Makeev if (i != TaskGroup::DEFAULT) 71806ef292SSergey Makeev { 72754cb997SSergey Makeev availableGroups.Push( TaskGroup(i) ); 73806ef292SSergey Makeev } 74806ef292SSergey Makeev } 75806ef292SSergey Makeev 762e846c40SSergey Makeev groupStats[TaskGroup::DEFAULT].SetDebugIsFree(false); 77806ef292SSergey Makeev 7858964d0bSSergey Makeev // create worker thread pool 79a23fd933SSergey Makeev int32 totalThreadsCount = GetWorkersCount(); 80a23fd933SSergey Makeev for (int32 i = 0; i < totalThreadsCount; i++) 8158964d0bSSergey Makeev { 822b4df162SSergey Makeev threadContext[i].SetThreadIndex(i); 8358964d0bSSergey Makeev threadContext[i].taskScheduler = this; 84*d7cf17b1Ss.makeev_local 85*d7cf17b1Ss.makeev_local uint32 threadCore = i; 86*d7cf17b1Ss.makeev_local ThreadPriority::Type priority = ThreadPriority::DEFAULT; 87*d7cf17b1Ss.makeev_local if (workerParameters != nullptr) 88*d7cf17b1Ss.makeev_local { 89*d7cf17b1Ss.makeev_local const WorkerThreadParams& params = workerParameters[i]; 90*d7cf17b1Ss.makeev_local 91*d7cf17b1Ss.makeev_local threadCore = params.core; 92*d7cf17b1Ss.makeev_local priority = params.priority; 93*d7cf17b1Ss.makeev_local } 94*d7cf17b1Ss.makeev_local 95*d7cf17b1Ss.makeev_local threadContext[i].thread.Start( MT_SCHEDULER_STACK_SIZE, WorkerThreadMain, &threadContext[i], threadCore, priority); 9658964d0bSSergey Makeev } 9758964d0bSSergey Makeev } 9858964d0bSSergey Makeev 99*d7cf17b1Ss.makeev_local 10058964d0bSSergey Makeev TaskScheduler::~TaskScheduler() 10158964d0bSSergey Makeev { 102a23fd933SSergey Makeev int32 totalThreadsCount = GetWorkersCount(); 103a23fd933SSergey Makeev for (int32 i = 0; i < totalThreadsCount; i++) 10458964d0bSSergey Makeev { 10581ec7369SSergey Makeev threadContext[i].state.Store(internal::ThreadState::EXIT); 10658964d0bSSergey Makeev threadContext[i].hasNewTasksEvent.Signal(); 10758964d0bSSergey Makeev } 10858964d0bSSergey Makeev 109a23fd933SSergey Makeev for (int32 i = 0; i < totalThreadsCount; i++) 11058964d0bSSergey Makeev { 111c7362320Ss.makeev_local threadContext[i].thread.Join(); 11258964d0bSSergey Makeev } 11358964d0bSSergey Makeev } 11458964d0bSSergey Makeev 115f4db079dSs.makeev ConcurrentQueueLIFO<FiberContext*>* TaskScheduler::GetFibersStorage(MT::StackRequirements::Type stackRequirements) 116f4db079dSs.makeev { 117f4db079dSs.makeev ConcurrentQueueLIFO<FiberContext*>* availableFibers = nullptr; 118f4db079dSs.makeev switch(stackRequirements) 119f4db079dSs.makeev { 120f4db079dSs.makeev case MT::StackRequirements::STANDARD: 121f4db079dSs.makeev availableFibers = &standartFibersAvailable; 122f4db079dSs.makeev break; 123f4db079dSs.makeev case MT::StackRequirements::EXTENDED: 124f4db079dSs.makeev availableFibers = &extendedFibersAvailable; 125f4db079dSs.makeev break; 126f4db079dSs.makeev default: 127f4db079dSs.makeev MT_REPORT_ASSERT("Unknown stack requrements"); 128f4db079dSs.makeev } 129f4db079dSs.makeev 130f4db079dSs.makeev return availableFibers; 131f4db079dSs.makeev } 132f4db079dSs.makeev 13358964d0bSSergey Makeev FiberContext* TaskScheduler::RequestFiberContext(internal::GroupedTask& task) 13458964d0bSSergey Makeev { 13558964d0bSSergey Makeev FiberContext *fiberContext = task.awaitingFiber; 13658964d0bSSergey Makeev if (fiberContext) 13758964d0bSSergey Makeev { 13858964d0bSSergey Makeev task.awaitingFiber = nullptr; 13958964d0bSSergey Makeev return fiberContext; 14058964d0bSSergey Makeev } 14158964d0bSSergey Makeev 142f4db079dSs.makeev 143f4db079dSs.makeev MT::StackRequirements::Type stackRequirements = task.desc.stackRequirements; 144f4db079dSs.makeev 145f4db079dSs.makeev ConcurrentQueueLIFO<FiberContext*>* availableFibers = GetFibersStorage(stackRequirements); 146f4db079dSs.makeev MT_VERIFY(availableFibers != nullptr, "Can't find fiber storage", return nullptr;); 147f4db079dSs.makeev 148f4db079dSs.makeev if (!availableFibers->TryPopBack(fiberContext)) 14958964d0bSSergey Makeev { 1506bbc0262SSergey Makeev MT_REPORT_ASSERT("Fibers pool is empty. Too many fibers running simultaneously."); 15158964d0bSSergey Makeev } 15258964d0bSSergey Makeev 15358964d0bSSergey Makeev fiberContext->currentTask = task.desc; 15458964d0bSSergey Makeev fiberContext->currentGroup = task.group; 15558964d0bSSergey Makeev fiberContext->parentFiber = task.parentFiber; 156f4db079dSs.makeev fiberContext->stackRequirements = stackRequirements; 15758964d0bSSergey Makeev return fiberContext; 15858964d0bSSergey Makeev } 15958964d0bSSergey Makeev 16058964d0bSSergey Makeev void TaskScheduler::ReleaseFiberContext(FiberContext* fiberContext) 16158964d0bSSergey Makeev { 162721f8c0bSs.makeev_local MT_ASSERT(fiberContext, "Can't release nullptr Fiber. fiberContext is nullptr"); 163f4db079dSs.makeev 164f4db079dSs.makeev MT::StackRequirements::Type stackRequirements = fiberContext->stackRequirements; 16558964d0bSSergey Makeev fiberContext->Reset(); 166f4db079dSs.makeev 167f4db079dSs.makeev ConcurrentQueueLIFO<FiberContext*>* availableFibers = GetFibersStorage(stackRequirements); 168f4db079dSs.makeev MT_VERIFY(availableFibers != nullptr, "Can't find fiber storage", return;); 169f4db079dSs.makeev 170f4db079dSs.makeev availableFibers->Push(fiberContext); 17158964d0bSSergey Makeev } 17258964d0bSSergey Makeev 17358964d0bSSergey Makeev FiberContext* TaskScheduler::ExecuteTask(internal::ThreadContext& threadContext, FiberContext* fiberContext) 17458964d0bSSergey Makeev { 17534a394c3SSergey Makeev MT_ASSERT(threadContext.thread.IsCurrentThread(), "Thread context sanity check failed"); 17658964d0bSSergey Makeev 17734a394c3SSergey Makeev MT_ASSERT(fiberContext, "Invalid fiber context"); 17834a394c3SSergey Makeev MT_ASSERT(fiberContext->currentTask.IsValid(), "Invalid task"); 17958964d0bSSergey Makeev 18058964d0bSSergey Makeev // Set actual thread context to fiber 18158964d0bSSergey Makeev fiberContext->SetThreadContext(&threadContext); 18258964d0bSSergey Makeev 18358964d0bSSergey Makeev // Update task status 18458964d0bSSergey Makeev fiberContext->SetStatus(FiberTaskStatus::RUNNED); 18558964d0bSSergey Makeev 18634a394c3SSergey Makeev MT_ASSERT(fiberContext->GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 18758964d0bSSergey Makeev 188f4db079dSs.makeev const void* poolUserData = fiberContext->currentTask.userData; 18911d67161SSergey Makeev TPoolTaskDestroy poolDestroyFunc = fiberContext->currentTask.poolDestroyFunc; 19011d67161SSergey Makeev 19158964d0bSSergey Makeev // Run current task code 19258964d0bSSergey Makeev Fiber::SwitchTo(threadContext.schedulerFiber, fiberContext->fiber); 19358964d0bSSergey Makeev 19458964d0bSSergey Makeev // If task was done 19558964d0bSSergey Makeev FiberTaskStatus::Type taskStatus = fiberContext->GetStatus(); 19658964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::FINISHED) 19758964d0bSSergey Makeev { 19811d67161SSergey Makeev //destroy task (call dtor) for "fire and forget" type of task from TaskPool 19911d67161SSergey Makeev if (poolDestroyFunc != nullptr) 20011d67161SSergey Makeev { 20111d67161SSergey Makeev poolDestroyFunc(poolUserData); 20211d67161SSergey Makeev } 20311d67161SSergey Makeev 204806ef292SSergey Makeev TaskGroup taskGroup = fiberContext->currentGroup; 20531bebe6fSSergey Makeev 206806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = threadContext.taskScheduler->GetGroupDesc(taskGroup); 20758964d0bSSergey Makeev 20858964d0bSSergey Makeev // Update group status 209806ef292SSergey Makeev int groupTaskCount = groupDesc.Dec(); 21034a394c3SSergey Makeev MT_ASSERT(groupTaskCount >= 0, "Sanity check failed!"); 21158964d0bSSergey Makeev if (groupTaskCount == 0) 21258964d0bSSergey Makeev { 21358964d0bSSergey Makeev // Restore awaiting tasks 21458964d0bSSergey Makeev threadContext.RestoreAwaitingTasks(taskGroup); 215806ef292SSergey Makeev 216806ef292SSergey Makeev // All restored tasks can be already finished on this line. 217806ef292SSergey Makeev // That's why you can't release groups from worker threads, if worker thread release group, than you can't Signal to released group. 218806ef292SSergey Makeev 219806ef292SSergey Makeev // Signal pending threads that group work is finished. Group can be destroyed after this call. 220806ef292SSergey Makeev groupDesc.Signal(); 221806ef292SSergey Makeev 222754cb997SSergey Makeev fiberContext->currentGroup = TaskGroup::INVALID; 22358964d0bSSergey Makeev } 22458964d0bSSergey Makeev 22558964d0bSSergey Makeev // Update total task count 226806ef292SSergey Makeev int allGroupTaskCount = threadContext.taskScheduler->allGroups.Dec(); 227806ef292SSergey Makeev MT_ASSERT(allGroupTaskCount >= 0, "Sanity check failed!"); 228806ef292SSergey Makeev if (allGroupTaskCount == 0) 22958964d0bSSergey Makeev { 23058964d0bSSergey Makeev // Notify all tasks in all group finished 2312a2464ccSSergey Makeev threadContext.taskScheduler->allGroups.Signal(); 23258964d0bSSergey Makeev } 23358964d0bSSergey Makeev 23458964d0bSSergey Makeev FiberContext* parentFiberContext = fiberContext->parentFiber; 23558964d0bSSergey Makeev if (parentFiberContext != nullptr) 23658964d0bSSergey Makeev { 23781ec7369SSergey Makeev int childrenFibersCount = parentFiberContext->childrenFibersCount.DecFetch(); 23834a394c3SSergey Makeev MT_ASSERT(childrenFibersCount >= 0, "Sanity check failed!"); 23958964d0bSSergey Makeev 24058964d0bSSergey Makeev if (childrenFibersCount == 0) 24158964d0bSSergey Makeev { 24258964d0bSSergey Makeev // This is a last subtask. Restore parent task 24334a394c3SSergey Makeev MT_ASSERT(threadContext.thread.IsCurrentThread(), "Thread context sanity check failed"); 24434a394c3SSergey Makeev MT_ASSERT(parentFiberContext->GetThreadContext() == nullptr, "Inactive parent should not have a valid thread context"); 24558964d0bSSergey Makeev 24658964d0bSSergey Makeev // WARNING!! Thread context can changed here! Set actual current thread context. 24758964d0bSSergey Makeev parentFiberContext->SetThreadContext(&threadContext); 24858964d0bSSergey Makeev 24934a394c3SSergey Makeev MT_ASSERT(parentFiberContext->GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 25058964d0bSSergey Makeev 25158964d0bSSergey Makeev // All subtasks is done. 25258964d0bSSergey Makeev // Exiting and return parent fiber to scheduler 25358964d0bSSergey Makeev return parentFiberContext; 25458964d0bSSergey Makeev } else 25558964d0bSSergey Makeev { 25658964d0bSSergey Makeev // Other subtasks still exist 25758964d0bSSergey Makeev // Exiting 25858964d0bSSergey Makeev return nullptr; 25958964d0bSSergey Makeev } 26058964d0bSSergey Makeev } else 26158964d0bSSergey Makeev { 26258964d0bSSergey Makeev // Task is finished and no parent task 26358964d0bSSergey Makeev // Exiting 26458964d0bSSergey Makeev return nullptr; 26558964d0bSSergey Makeev } 26658964d0bSSergey Makeev } 26758964d0bSSergey Makeev 26834a394c3SSergey Makeev MT_ASSERT(taskStatus != FiberTaskStatus::RUNNED, "Incorrect task status") 26958964d0bSSergey Makeev return nullptr; 27058964d0bSSergey Makeev } 27158964d0bSSergey Makeev 27258964d0bSSergey Makeev 27358964d0bSSergey Makeev void TaskScheduler::FiberMain(void* userData) 27458964d0bSSergey Makeev { 27558964d0bSSergey Makeev FiberContext& fiberContext = *(FiberContext*)(userData); 27658964d0bSSergey Makeev for(;;) 27758964d0bSSergey Makeev { 27834a394c3SSergey Makeev MT_ASSERT(fiberContext.currentTask.IsValid(), "Invalid task in fiber context"); 27934a394c3SSergey Makeev MT_ASSERT(fiberContext.GetThreadContext(), "Invalid thread context"); 28034a394c3SSergey Makeev MT_ASSERT(fiberContext.GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 28158964d0bSSergey Makeev 28258964d0bSSergey Makeev fiberContext.currentTask.taskFunc( fiberContext, fiberContext.currentTask.userData ); 28358964d0bSSergey Makeev 28458964d0bSSergey Makeev fiberContext.SetStatus(FiberTaskStatus::FINISHED); 28558964d0bSSergey Makeev 2868112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 287*d7cf17b1Ss.makeev_local fiberContext.fiber.SetName("_idle"); 2888112dedfSSergey Makeev fiberContext.GetThreadContext()->NotifyTaskFinished(fiberContext.currentTask); 2898112dedfSSergey Makeev #endif 2908112dedfSSergey Makeev 29158964d0bSSergey Makeev Fiber::SwitchTo(fiberContext.fiber, fiberContext.GetThreadContext()->schedulerFiber); 29258964d0bSSergey Makeev } 29358964d0bSSergey Makeev 29458964d0bSSergey Makeev } 29558964d0bSSergey Makeev 29658964d0bSSergey Makeev 297a1626843SSergey Makeev bool TaskScheduler::TryStealTask(internal::ThreadContext& threadContext, internal::GroupedTask & task, uint32 workersCount) 2982b4df162SSergey Makeev { 2992b4df162SSergey Makeev if (workersCount <= 1) 3002b4df162SSergey Makeev { 3012b4df162SSergey Makeev return false; 3022b4df162SSergey Makeev } 3032b4df162SSergey Makeev 304a1626843SSergey Makeev uint32 victimIndex = threadContext.random.Get(); 305a1626843SSergey Makeev 306a1626843SSergey Makeev for (uint32 attempt = 0; attempt < workersCount; attempt++) 3072b4df162SSergey Makeev { 308a1626843SSergey Makeev uint32 index = victimIndex % workersCount; 309a1626843SSergey Makeev if (index == threadContext.workerIndex) 310a1626843SSergey Makeev { 311a1626843SSergey Makeev victimIndex++; 312a1626843SSergey Makeev index = victimIndex % workersCount; 3132b4df162SSergey Makeev } 3142b4df162SSergey Makeev 315a1626843SSergey Makeev internal::ThreadContext& victimContext = threadContext.taskScheduler->threadContext[index]; 316*d7cf17b1Ss.makeev_local if (victimContext.queue.TryPopNewest(task)) 317a1626843SSergey Makeev { 318a1626843SSergey Makeev return true; 319a1626843SSergey Makeev } 320a1626843SSergey Makeev 321a1626843SSergey Makeev victimIndex++; 322a1626843SSergey Makeev } 323a1626843SSergey Makeev return false; 3242b4df162SSergey Makeev } 3252b4df162SSergey Makeev 32602d170cfSs.makeev_local 327c88507a8Ss.makeev_local void TaskScheduler::WorkerThreadMain( void* userData ) 32858964d0bSSergey Makeev { 32958964d0bSSergey Makeev internal::ThreadContext& context = *(internal::ThreadContext*)(userData); 33034a394c3SSergey Makeev MT_ASSERT(context.taskScheduler, "Task scheduler must be not null!"); 331c88507a8Ss.makeev_local 332*d7cf17b1Ss.makeev_local #ifdef MT_INSTRUMENTED_BUILD 333c88507a8Ss.makeev_local const char* threadNames[] = {"worker0","worker1","worker2","worker3","worker4","worker5","worker6","worker7","worker8","worker9","worker10","worker11","worker12"}; 334c88507a8Ss.makeev_local if (context.workerIndex < MT_ARRAY_SIZE(threadNames)) 335c88507a8Ss.makeev_local { 336*d7cf17b1Ss.makeev_local Thread::SetThreadName(threadNames[context.workerIndex]); 337c88507a8Ss.makeev_local } else 338c88507a8Ss.makeev_local { 339*d7cf17b1Ss.makeev_local Thread::SetThreadName("worker_thread"); 340c88507a8Ss.makeev_local } 341*d7cf17b1Ss.makeev_local #endif 342c88507a8Ss.makeev_local 34371198a5eSs.makeev_local context.schedulerFiber.CreateFromCurrentThreadAndRun(context.thread, SchedulerFiberMain, userData); 34402d170cfSs.makeev_local } 34502d170cfSs.makeev_local 34602d170cfSs.makeev_local 34771198a5eSs.makeev_local void TaskScheduler::SchedulerFiberMain( void* userData ) 34802d170cfSs.makeev_local { 34902d170cfSs.makeev_local internal::ThreadContext& context = *(internal::ThreadContext*)(userData); 35002d170cfSs.makeev_local MT_ASSERT(context.taskScheduler, "Task scheduler must be not null!"); 3510727c1f9SSergey Makeev 3520727c1f9SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 3530727c1f9SSergey Makeev context.NotifyThreadCreate(context.workerIndex); 3540727c1f9SSergey Makeev #endif 3550727c1f9SSergey Makeev 356a23fd933SSergey Makeev uint32 workersCount = context.taskScheduler->GetWorkersCount(); 357a23fd933SSergey Makeev int32 totalThreadsCount = context.taskScheduler->threadsCount.LoadRelaxed(); 358a1626843SSergey Makeev 35981ec7369SSergey Makeev context.taskScheduler->startedThreadsCount.IncFetch(); 36043c41d5cSSergey Makeev 361a23fd933SSergey Makeev //Simple spinlock until all threads is started and initialized 3626bbc0262SSergey Makeev for(;;) 36343c41d5cSSergey Makeev { 364a23fd933SSergey Makeev int32 initializedThreadsCount = context.taskScheduler->startedThreadsCount.Load(); 365a23fd933SSergey Makeev if (initializedThreadsCount == totalThreadsCount) 36643c41d5cSSergey Makeev { 36743c41d5cSSergey Makeev break; 36843c41d5cSSergey Makeev } 369*d7cf17b1Ss.makeev_local 370*d7cf17b1Ss.makeev_local // sleep some time until all other thread initialized 37143c41d5cSSergey Makeev Thread::Sleep(1); 37243c41d5cSSergey Makeev } 37343c41d5cSSergey Makeev 374f4db079dSs.makeev HardwareFullMemoryBarrier(); 375f4db079dSs.makeev 3760727c1f9SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 3770727c1f9SSergey Makeev context.NotifyThreadStart(context.workerIndex); 3780727c1f9SSergey Makeev #endif 3790727c1f9SSergey Makeev 38081ec7369SSergey Makeev while(context.state.Load() != internal::ThreadState::EXIT) 38158964d0bSSergey Makeev { 38258964d0bSSergey Makeev internal::GroupedTask task; 383*d7cf17b1Ss.makeev_local if (context.queue.TryPopOldest(task) || TryStealTask(context, task, workersCount) ) 38458964d0bSSergey Makeev { 38558964d0bSSergey Makeev // There is a new task 38658964d0bSSergey Makeev FiberContext* fiberContext = context.taskScheduler->RequestFiberContext(task); 38734a394c3SSergey Makeev MT_ASSERT(fiberContext, "Can't get execution context from pool"); 38834a394c3SSergey Makeev MT_ASSERT(fiberContext->currentTask.IsValid(), "Sanity check failed"); 389f4db079dSs.makeev MT_ASSERT(fiberContext->stackRequirements == task.desc.stackRequirements, "Sanity check failed"); 39058964d0bSSergey Makeev 391*d7cf17b1Ss.makeev_local #ifdef MT_INSTRUMENTED_BUILD 392*d7cf17b1Ss.makeev_local fiberContext->fiber.SetName(task.desc.debugID); 393*d7cf17b1Ss.makeev_local #endif 394*d7cf17b1Ss.makeev_local 39558964d0bSSergey Makeev while(fiberContext) 39658964d0bSSergey Makeev { 3978112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 398a1626843SSergey Makeev context.NotifyTaskResumed(fiberContext->currentTask); 3998112dedfSSergey Makeev #endif 40058964d0bSSergey Makeev // prevent invalid fiber resume from child tasks, before ExecuteTask is done 40181ec7369SSergey Makeev fiberContext->childrenFibersCount.IncFetch(); 40258964d0bSSergey Makeev 40358964d0bSSergey Makeev FiberContext* parentFiber = ExecuteTask(context, fiberContext); 40458964d0bSSergey Makeev 40558964d0bSSergey Makeev FiberTaskStatus::Type taskStatus = fiberContext->GetStatus(); 40658964d0bSSergey Makeev 40758964d0bSSergey Makeev //release guard 40881ec7369SSergey Makeev int childrenFibersCount = fiberContext->childrenFibersCount.DecFetch(); 40958964d0bSSergey Makeev 41058964d0bSSergey Makeev // Can drop fiber context - task is finished 41158964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::FINISHED) 41258964d0bSSergey Makeev { 41334a394c3SSergey Makeev MT_ASSERT( childrenFibersCount == 0, "Sanity check failed"); 41458964d0bSSergey Makeev context.taskScheduler->ReleaseFiberContext(fiberContext); 41558964d0bSSergey Makeev 41658964d0bSSergey Makeev // If parent fiber is exist transfer flow control to parent fiber, if parent fiber is null, exit 41758964d0bSSergey Makeev fiberContext = parentFiber; 41858964d0bSSergey Makeev } else 41958964d0bSSergey Makeev { 42034a394c3SSergey Makeev MT_ASSERT( childrenFibersCount >= 0, "Sanity check failed"); 42158964d0bSSergey Makeev 42258964d0bSSergey Makeev // No subtasks here and status is not finished, this mean all subtasks already finished before parent return from ExecuteTask 42358964d0bSSergey Makeev if (childrenFibersCount == 0) 42458964d0bSSergey Makeev { 42534a394c3SSergey Makeev MT_ASSERT(parentFiber == nullptr, "Sanity check failed"); 42658964d0bSSergey Makeev } else 42758964d0bSSergey Makeev { 42858964d0bSSergey Makeev // If subtasks still exist, drop current task execution. task will be resumed when last subtask finished 42958964d0bSSergey Makeev break; 43058964d0bSSergey Makeev } 43158964d0bSSergey Makeev 43258964d0bSSergey Makeev // If task is in await state drop execution. task will be resumed when RestoreAwaitingTasks called 43358964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::AWAITING_GROUP) 43458964d0bSSergey Makeev { 43558964d0bSSergey Makeev break; 43658964d0bSSergey Makeev } 43758964d0bSSergey Makeev } 43858964d0bSSergey Makeev } //while(fiberContext) 43958964d0bSSergey Makeev 44058964d0bSSergey Makeev } else 44158964d0bSSergey Makeev { 442a1626843SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 4434a90b4a6SSergey Makeev context.NotifyThreadIdleBegin(context.workerIndex); 444a1626843SSergey Makeev #endif 445a1626843SSergey Makeev 4462b4df162SSergey Makeev // Queue is empty and stealing attempt failed 4472b4df162SSergey Makeev // Wait new events 44858964d0bSSergey Makeev context.hasNewTasksEvent.Wait(2000); 449a1626843SSergey Makeev 450a1626843SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 4514a90b4a6SSergey Makeev context.NotifyThreadIdleEnd(context.workerIndex); 452a1626843SSergey Makeev #endif 453a1626843SSergey Makeev 45458964d0bSSergey Makeev } 45558964d0bSSergey Makeev 45658964d0bSSergey Makeev } // main thread loop 4570727c1f9SSergey Makeev 4580727c1f9SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 4590727c1f9SSergey Makeev context.NotifyThreadStop(context.workerIndex); 4600727c1f9SSergey Makeev #endif 4610727c1f9SSergey Makeev 46258964d0bSSergey Makeev } 46358964d0bSSergey Makeev 46456aa031bSSergey Makeev void TaskScheduler::RunTasksImpl(ArrayView<internal::TaskBucket>& buckets, FiberContext * parentFiber, bool restoredFromAwaitState) 46558964d0bSSergey Makeev { 466806ef292SSergey Makeev // This storage is necessary to calculate how many tasks we add to different groups 467754cb997SSergey Makeev int newTaskCountInGroup[TaskGroup::MT_MAX_GROUPS_COUNT]; 468806ef292SSergey Makeev 469806ef292SSergey Makeev // Default value is 0 470806ef292SSergey Makeev memset(&newTaskCountInGroup[0], 0, sizeof(newTaskCountInGroup)); 471806ef292SSergey Makeev 47258964d0bSSergey Makeev // Set parent fiber pointer 47358964d0bSSergey Makeev // Calculate the number of tasks per group 47458964d0bSSergey Makeev // Calculate total number of tasks 47558964d0bSSergey Makeev size_t count = 0; 476a101e543SSergey Makeev for (size_t i = 0; i < buckets.Size(); ++i) 47758964d0bSSergey Makeev { 47858964d0bSSergey Makeev internal::TaskBucket& bucket = buckets[i]; 47958964d0bSSergey Makeev for (size_t taskIndex = 0; taskIndex < bucket.count; taskIndex++) 48058964d0bSSergey Makeev { 48158964d0bSSergey Makeev internal::GroupedTask & task = bucket.tasks[taskIndex]; 48258964d0bSSergey Makeev 48358964d0bSSergey Makeev task.parentFiber = parentFiber; 484754cb997SSergey Makeev 485754cb997SSergey Makeev int idx = task.group.GetValidIndex(); 486754cb997SSergey Makeev MT_ASSERT(idx >= 0 && idx < TaskGroup::MT_MAX_GROUPS_COUNT, "Invalid index"); 487754cb997SSergey Makeev newTaskCountInGroup[idx]++; 48831bebe6fSSergey Makeev } 48931bebe6fSSergey Makeev 49058964d0bSSergey Makeev count += bucket.count; 49158964d0bSSergey Makeev } 49258964d0bSSergey Makeev 49358964d0bSSergey Makeev // Increments child fibers count on parent fiber 49458964d0bSSergey Makeev if (parentFiber) 49558964d0bSSergey Makeev { 49681ec7369SSergey Makeev parentFiber->childrenFibersCount.AddFetch((int)count); 49758964d0bSSergey Makeev } 49858964d0bSSergey Makeev 49958964d0bSSergey Makeev if (restoredFromAwaitState == false) 50058964d0bSSergey Makeev { 501806ef292SSergey Makeev // Increase the number of active tasks in the group using data from temporary storage 502754cb997SSergey Makeev for (size_t i = 0; i < TaskGroup::MT_MAX_GROUPS_COUNT; i++) 503806ef292SSergey Makeev { 504806ef292SSergey Makeev int groupNewTaskCount = newTaskCountInGroup[i]; 505806ef292SSergey Makeev if (groupNewTaskCount > 0) 506806ef292SSergey Makeev { 507806ef292SSergey Makeev groupStats[i].Reset(); 508806ef292SSergey Makeev groupStats[i].Add((uint32)groupNewTaskCount); 509806ef292SSergey Makeev } 510806ef292SSergey Makeev } 511806ef292SSergey Makeev 51258964d0bSSergey Makeev // Increments all task in progress counter 5132a2464ccSSergey Makeev allGroups.Reset(); 5142a2464ccSSergey Makeev allGroups.Add((uint32)count); 51558964d0bSSergey Makeev } else 51658964d0bSSergey Makeev { 51758964d0bSSergey Makeev // If task's restored from await state, counters already in correct state 51858964d0bSSergey Makeev } 51958964d0bSSergey Makeev 52058964d0bSSergey Makeev // Add to thread queue 521a101e543SSergey Makeev for (size_t i = 0; i < buckets.Size(); ++i) 52258964d0bSSergey Makeev { 523a23fd933SSergey Makeev int bucketIndex = roundRobinThreadIndex.IncFetch() % threadsCount.LoadRelaxed(); 52458964d0bSSergey Makeev internal::ThreadContext & context = threadContext[bucketIndex]; 52558964d0bSSergey Makeev 52658964d0bSSergey Makeev internal::TaskBucket& bucket = buckets[i]; 52758964d0bSSergey Makeev 528*d7cf17b1Ss.makeev_local for(;;) 529*d7cf17b1Ss.makeev_local { 530*d7cf17b1Ss.makeev_local bool res = context.queue.Add(bucket.tasks, bucket.count); 531*d7cf17b1Ss.makeev_local if (res == true) 532*d7cf17b1Ss.makeev_local { 533*d7cf17b1Ss.makeev_local break; 534*d7cf17b1Ss.makeev_local } 535*d7cf17b1Ss.makeev_local 536*d7cf17b1Ss.makeev_local //Can't add new tasks onto the queue. Look like the job system is overloaded. Wait some time and try again. 537*d7cf17b1Ss.makeev_local //TODO: implement waiting until workers done using events. 538*d7cf17b1Ss.makeev_local Thread::Sleep(10); 539*d7cf17b1Ss.makeev_local } 540*d7cf17b1Ss.makeev_local 54158964d0bSSergey Makeev context.hasNewTasksEvent.Signal(); 54258964d0bSSergey Makeev } 54358964d0bSSergey Makeev } 54458964d0bSSergey Makeev 545f4db079dSs.makeev void TaskScheduler::RunAsync(TaskGroup group, const TaskHandle* taskHandleArray, uint32 taskHandleCount) 54658d12dadSSergey Makeev { 54758d12dadSSergey Makeev MT_ASSERT(!IsWorkerThread(), "Can't use RunAsync inside Task. Use FiberContext.RunAsync() instead."); 54858d12dadSSergey Makeev 54958d12dadSSergey Makeev ArrayView<internal::GroupedTask> buffer(MT_ALLOCATE_ON_STACK(sizeof(internal::GroupedTask) * taskHandleCount), taskHandleCount); 55058d12dadSSergey Makeev 551a23fd933SSergey Makeev uint32 bucketCount = MT::Min((uint32)GetWorkersCount(), taskHandleCount); 55258d12dadSSergey Makeev ArrayView<internal::TaskBucket> buckets(MT_ALLOCATE_ON_STACK(sizeof(internal::TaskBucket) * bucketCount), bucketCount); 55358d12dadSSergey Makeev 55458d12dadSSergey Makeev internal::DistibuteDescriptions(group, taskHandleArray, buffer, buckets); 55558d12dadSSergey Makeev RunTasksImpl(buckets, nullptr, false); 55658d12dadSSergey Makeev } 55758d12dadSSergey Makeev 558806ef292SSergey Makeev bool TaskScheduler::WaitGroup(TaskGroup group, uint32 milliseconds) 55958964d0bSSergey Makeev { 56034a394c3SSergey Makeev MT_VERIFY(IsWorkerThread() == false, "Can't use WaitGroup inside Task. Use FiberContext.WaitGroupAndYield() instead.", return false); 56158964d0bSSergey Makeev 562806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = GetGroupDesc(group); 5632f083884Ss.makeev_local 564806ef292SSergey Makeev return groupDesc.Wait(milliseconds); 56558964d0bSSergey Makeev } 56658964d0bSSergey Makeev 56758964d0bSSergey Makeev bool TaskScheduler::WaitAll(uint32 milliseconds) 56858964d0bSSergey Makeev { 56934a394c3SSergey Makeev MT_VERIFY(IsWorkerThread() == false, "Can't use WaitAll inside Task.", return false); 57058964d0bSSergey Makeev 5712a2464ccSSergey Makeev return allGroups.Wait(milliseconds); 57258964d0bSSergey Makeev } 57358964d0bSSergey Makeev 57458964d0bSSergey Makeev bool TaskScheduler::IsEmpty() 57558964d0bSSergey Makeev { 57658964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_THREAD_COUNT; i++) 57758964d0bSSergey Makeev { 57858964d0bSSergey Makeev if (!threadContext[i].queue.IsEmpty()) 57958964d0bSSergey Makeev { 58058964d0bSSergey Makeev return false; 58158964d0bSSergey Makeev } 58258964d0bSSergey Makeev } 58358964d0bSSergey Makeev return true; 58458964d0bSSergey Makeev } 58558964d0bSSergey Makeev 586a23fd933SSergey Makeev int32 TaskScheduler::GetWorkersCount() const 58758964d0bSSergey Makeev { 588a23fd933SSergey Makeev return threadsCount.LoadRelaxed(); 58958964d0bSSergey Makeev } 59058964d0bSSergey Makeev 59158964d0bSSergey Makeev bool TaskScheduler::IsWorkerThread() const 59258964d0bSSergey Makeev { 59358964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_THREAD_COUNT; i++) 59458964d0bSSergey Makeev { 59558964d0bSSergey Makeev if (threadContext[i].thread.IsCurrentThread()) 59658964d0bSSergey Makeev { 59758964d0bSSergey Makeev return true; 59858964d0bSSergey Makeev } 59958964d0bSSergey Makeev } 60058964d0bSSergey Makeev return false; 60158964d0bSSergey Makeev } 60258964d0bSSergey Makeev 603806ef292SSergey Makeev TaskGroup TaskScheduler::CreateGroup() 604806ef292SSergey Makeev { 605806ef292SSergey Makeev MT_ASSERT(IsWorkerThread() == false, "Can't use CreateGroup inside Task."); 606806ef292SSergey Makeev 607754cb997SSergey Makeev TaskGroup group; 608d6661c78SSergey Makeev if (!availableGroups.TryPopBack(group)) 609806ef292SSergey Makeev { 6106bbc0262SSergey Makeev MT_REPORT_ASSERT("Group pool is empty"); 611806ef292SSergey Makeev } 612806ef292SSergey Makeev 613754cb997SSergey Makeev int idx = group.GetValidIndex(); 614754cb997SSergey Makeev 6152e846c40SSergey Makeev MT_ASSERT(groupStats[idx].GetDebugIsFree() == true, "Bad logic!"); 6162e846c40SSergey Makeev groupStats[idx].SetDebugIsFree(false); 617806ef292SSergey Makeev 618806ef292SSergey Makeev return group; 619806ef292SSergey Makeev } 620806ef292SSergey Makeev 621806ef292SSergey Makeev void TaskScheduler::ReleaseGroup(TaskGroup group) 622806ef292SSergey Makeev { 623806ef292SSergey Makeev MT_ASSERT(IsWorkerThread() == false, "Can't use ReleaseGroup inside Task."); 624754cb997SSergey Makeev MT_ASSERT(group.IsValid(), "Invalid group ID"); 625806ef292SSergey Makeev 626754cb997SSergey Makeev int idx = group.GetValidIndex(); 627754cb997SSergey Makeev 6282e846c40SSergey Makeev MT_ASSERT(groupStats[idx].GetDebugIsFree() == false, "Group already released"); 6292e846c40SSergey Makeev groupStats[idx].SetDebugIsFree(true); 630806ef292SSergey Makeev 631806ef292SSergey Makeev availableGroups.Push(group); 632806ef292SSergey Makeev } 633806ef292SSergey Makeev 634806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & TaskScheduler::GetGroupDesc(TaskGroup group) 635806ef292SSergey Makeev { 636754cb997SSergey Makeev MT_ASSERT(group.IsValid(), "Invalid group ID"); 637806ef292SSergey Makeev 638754cb997SSergey Makeev int idx = group.GetValidIndex(); 639754cb997SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = groupStats[idx]; 640806ef292SSergey Makeev 6412e846c40SSergey Makeev MT_ASSERT(groupDesc.GetDebugIsFree() == false, "Invalid group"); 642806ef292SSergey Makeev return groupDesc; 643806ef292SSergey Makeev } 64458964d0bSSergey Makeev } 64502d170cfSs.makeev_local 64602d170cfSs.makeev_local 647