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 300727c1f9SSergey Makeev TaskScheduler::TaskScheduler(uint32 workerThreadsCount, IProfilerEventListener* listener) 310727c1f9SSergey Makeev #else 3234a394c3SSergey Makeev TaskScheduler::TaskScheduler(uint32 workerThreadsCount) 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; 402f0964abSSergey Makeev webServerPort = profilerWebServer.Serve(8080, 8090); 41aac5f829SSergey Makeev //initialize start time 42aac5f829SSergey Makeev startTime = MT::GetTimeMicroSeconds(); 43ff5c86b0SSergey Makeev #endif 44ff5c86b0SSergey Makeev 4534a394c3SSergey Makeev if (workerThreadsCount != 0) 4634a394c3SSergey Makeev { 4743c41d5cSSergey Makeev threadsCount = MT::Clamp(workerThreadsCount, (uint32)1, (uint32)MT_MAX_THREAD_COUNT); 4834a394c3SSergey Makeev } else 4934a394c3SSergey Makeev { 5034a394c3SSergey Makeev //query number of processor 511e8563ffSSergey Makeev threadsCount = (uint32)MT::Clamp(Thread::GetNumberOfHardwareThreads() - 2, 1, (int)MT_MAX_THREAD_COUNT); 5234a394c3SSergey Makeev } 5334a394c3SSergey Makeev 5458964d0bSSergey Makeev // create fiber pool 5558964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_FIBERS_COUNT; i++) 5658964d0bSSergey Makeev { 5758964d0bSSergey Makeev FiberContext& context = fiberContext[i]; 5858964d0bSSergey Makeev context.fiber.Create(MT_FIBER_STACK_SIZE, FiberMain, &context); 5958964d0bSSergey Makeev availableFibers.Push( &context ); 6058964d0bSSergey Makeev } 6158964d0bSSergey Makeev 62754cb997SSergey Makeev for (uint32 i = 0; i < TaskGroup::MT_MAX_GROUPS_COUNT; i++) 63806ef292SSergey Makeev { 64754cb997SSergey Makeev if (i != TaskGroup::DEFAULT) 65806ef292SSergey Makeev { 66754cb997SSergey Makeev availableGroups.Push( TaskGroup(i) ); 67806ef292SSergey Makeev } 68806ef292SSergey Makeev } 69806ef292SSergey Makeev 70754cb997SSergey Makeev groupStats[TaskGroup::DEFAULT].debugIsFree = false; 71806ef292SSergey Makeev 7258964d0bSSergey Makeev // create worker thread pool 7358964d0bSSergey Makeev for (uint32 i = 0; i < threadsCount; i++) 7458964d0bSSergey Makeev { 752b4df162SSergey Makeev threadContext[i].SetThreadIndex(i); 7658964d0bSSergey Makeev threadContext[i].taskScheduler = this; 7758964d0bSSergey Makeev threadContext[i].thread.Start( MT_SCHEDULER_STACK_SIZE, ThreadMain, &threadContext[i] ); 7858964d0bSSergey Makeev } 7958964d0bSSergey Makeev } 8058964d0bSSergey Makeev 8158964d0bSSergey Makeev TaskScheduler::~TaskScheduler() 8258964d0bSSergey Makeev { 8358964d0bSSergey Makeev for (uint32 i = 0; i < threadsCount; i++) 8458964d0bSSergey Makeev { 8581ec7369SSergey Makeev threadContext[i].state.Store(internal::ThreadState::EXIT); 8658964d0bSSergey Makeev threadContext[i].hasNewTasksEvent.Signal(); 8758964d0bSSergey Makeev } 8858964d0bSSergey Makeev 8958964d0bSSergey Makeev for (uint32 i = 0; i < threadsCount; i++) 9058964d0bSSergey Makeev { 9158964d0bSSergey Makeev threadContext[i].thread.Stop(); 9258964d0bSSergey Makeev } 9358964d0bSSergey Makeev } 9458964d0bSSergey Makeev 9558964d0bSSergey Makeev FiberContext* TaskScheduler::RequestFiberContext(internal::GroupedTask& task) 9658964d0bSSergey Makeev { 9758964d0bSSergey Makeev FiberContext *fiberContext = task.awaitingFiber; 9858964d0bSSergey Makeev if (fiberContext) 9958964d0bSSergey Makeev { 10058964d0bSSergey Makeev task.awaitingFiber = nullptr; 10158964d0bSSergey Makeev return fiberContext; 10258964d0bSSergey Makeev } 10358964d0bSSergey Makeev 104d6661c78SSergey Makeev if (!availableFibers.TryPopBack(fiberContext)) 10558964d0bSSergey Makeev { 106*6bbc0262SSergey Makeev MT_REPORT_ASSERT("Fibers pool is empty. Too many fibers running simultaneously."); 10758964d0bSSergey Makeev } 10858964d0bSSergey Makeev 10958964d0bSSergey Makeev fiberContext->currentTask = task.desc; 11058964d0bSSergey Makeev fiberContext->currentGroup = task.group; 11158964d0bSSergey Makeev fiberContext->parentFiber = task.parentFiber; 11258964d0bSSergey Makeev return fiberContext; 11358964d0bSSergey Makeev } 11458964d0bSSergey Makeev 11558964d0bSSergey Makeev void TaskScheduler::ReleaseFiberContext(FiberContext* fiberContext) 11658964d0bSSergey Makeev { 11734a394c3SSergey Makeev MT_ASSERT(fiberContext != nullptr, "Can't release nullptr Fiber"); 11858964d0bSSergey Makeev fiberContext->Reset(); 11958964d0bSSergey Makeev availableFibers.Push(fiberContext); 12058964d0bSSergey Makeev } 12158964d0bSSergey Makeev 12258964d0bSSergey Makeev FiberContext* TaskScheduler::ExecuteTask(internal::ThreadContext& threadContext, FiberContext* fiberContext) 12358964d0bSSergey Makeev { 12434a394c3SSergey Makeev MT_ASSERT(threadContext.thread.IsCurrentThread(), "Thread context sanity check failed"); 12558964d0bSSergey Makeev 12634a394c3SSergey Makeev MT_ASSERT(fiberContext, "Invalid fiber context"); 12734a394c3SSergey Makeev MT_ASSERT(fiberContext->currentTask.IsValid(), "Invalid task"); 12858964d0bSSergey Makeev 12958964d0bSSergey Makeev // Set actual thread context to fiber 13058964d0bSSergey Makeev fiberContext->SetThreadContext(&threadContext); 13158964d0bSSergey Makeev 13258964d0bSSergey Makeev // Update task status 13358964d0bSSergey Makeev fiberContext->SetStatus(FiberTaskStatus::RUNNED); 13458964d0bSSergey Makeev 13534a394c3SSergey Makeev MT_ASSERT(fiberContext->GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 13658964d0bSSergey Makeev 13711d67161SSergey Makeev void * poolUserData = fiberContext->currentTask.userData; 13811d67161SSergey Makeev TPoolTaskDestroy poolDestroyFunc = fiberContext->currentTask.poolDestroyFunc; 13911d67161SSergey Makeev 14058964d0bSSergey Makeev // Run current task code 14158964d0bSSergey Makeev Fiber::SwitchTo(threadContext.schedulerFiber, fiberContext->fiber); 14258964d0bSSergey Makeev 14358964d0bSSergey Makeev // If task was done 14458964d0bSSergey Makeev FiberTaskStatus::Type taskStatus = fiberContext->GetStatus(); 14558964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::FINISHED) 14658964d0bSSergey Makeev { 14711d67161SSergey Makeev //destroy task (call dtor) for "fire and forget" type of task from TaskPool 14811d67161SSergey Makeev if (poolDestroyFunc != nullptr) 14911d67161SSergey Makeev { 15011d67161SSergey Makeev poolDestroyFunc(poolUserData); 15111d67161SSergey Makeev } 15211d67161SSergey Makeev 15311d67161SSergey Makeev 154806ef292SSergey Makeev TaskGroup taskGroup = fiberContext->currentGroup; 15531bebe6fSSergey Makeev 156806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = threadContext.taskScheduler->GetGroupDesc(taskGroup); 15758964d0bSSergey Makeev 15858964d0bSSergey Makeev // Update group status 159806ef292SSergey Makeev int groupTaskCount = groupDesc.Dec(); 16034a394c3SSergey Makeev MT_ASSERT(groupTaskCount >= 0, "Sanity check failed!"); 16158964d0bSSergey Makeev if (groupTaskCount == 0) 16258964d0bSSergey Makeev { 16358964d0bSSergey Makeev // Restore awaiting tasks 16458964d0bSSergey Makeev threadContext.RestoreAwaitingTasks(taskGroup); 165806ef292SSergey Makeev 166806ef292SSergey Makeev // All restored tasks can be already finished on this line. 167806ef292SSergey 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. 168806ef292SSergey Makeev 169806ef292SSergey Makeev // Signal pending threads that group work is finished. Group can be destroyed after this call. 170806ef292SSergey Makeev groupDesc.Signal(); 171806ef292SSergey Makeev 172754cb997SSergey Makeev fiberContext->currentGroup = TaskGroup::INVALID; 17358964d0bSSergey Makeev } 17458964d0bSSergey Makeev 17558964d0bSSergey Makeev // Update total task count 176806ef292SSergey Makeev int allGroupTaskCount = threadContext.taskScheduler->allGroups.Dec(); 177806ef292SSergey Makeev MT_ASSERT(allGroupTaskCount >= 0, "Sanity check failed!"); 178806ef292SSergey Makeev if (allGroupTaskCount == 0) 17958964d0bSSergey Makeev { 18058964d0bSSergey Makeev // Notify all tasks in all group finished 1812a2464ccSSergey Makeev threadContext.taskScheduler->allGroups.Signal(); 18258964d0bSSergey Makeev } 18358964d0bSSergey Makeev 18458964d0bSSergey Makeev FiberContext* parentFiberContext = fiberContext->parentFiber; 18558964d0bSSergey Makeev if (parentFiberContext != nullptr) 18658964d0bSSergey Makeev { 18781ec7369SSergey Makeev int childrenFibersCount = parentFiberContext->childrenFibersCount.DecFetch(); 18834a394c3SSergey Makeev MT_ASSERT(childrenFibersCount >= 0, "Sanity check failed!"); 18958964d0bSSergey Makeev 19058964d0bSSergey Makeev if (childrenFibersCount == 0) 19158964d0bSSergey Makeev { 19258964d0bSSergey Makeev // This is a last subtask. Restore parent task 19334a394c3SSergey Makeev MT_ASSERT(threadContext.thread.IsCurrentThread(), "Thread context sanity check failed"); 19434a394c3SSergey Makeev MT_ASSERT(parentFiberContext->GetThreadContext() == nullptr, "Inactive parent should not have a valid thread context"); 19558964d0bSSergey Makeev 19658964d0bSSergey Makeev // WARNING!! Thread context can changed here! Set actual current thread context. 19758964d0bSSergey Makeev parentFiberContext->SetThreadContext(&threadContext); 19858964d0bSSergey Makeev 19934a394c3SSergey Makeev MT_ASSERT(parentFiberContext->GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 20058964d0bSSergey Makeev 20158964d0bSSergey Makeev // All subtasks is done. 20258964d0bSSergey Makeev // Exiting and return parent fiber to scheduler 20358964d0bSSergey Makeev return parentFiberContext; 20458964d0bSSergey Makeev } else 20558964d0bSSergey Makeev { 20658964d0bSSergey Makeev // Other subtasks still exist 20758964d0bSSergey Makeev // Exiting 20858964d0bSSergey Makeev return nullptr; 20958964d0bSSergey Makeev } 21058964d0bSSergey Makeev } else 21158964d0bSSergey Makeev { 21258964d0bSSergey Makeev // Task is finished and no parent task 21358964d0bSSergey Makeev // Exiting 21458964d0bSSergey Makeev return nullptr; 21558964d0bSSergey Makeev } 21658964d0bSSergey Makeev } 21758964d0bSSergey Makeev 21834a394c3SSergey Makeev MT_ASSERT(taskStatus != FiberTaskStatus::RUNNED, "Incorrect task status") 21958964d0bSSergey Makeev return nullptr; 22058964d0bSSergey Makeev } 22158964d0bSSergey Makeev 22258964d0bSSergey Makeev 22358964d0bSSergey Makeev void TaskScheduler::FiberMain(void* userData) 22458964d0bSSergey Makeev { 22558964d0bSSergey Makeev FiberContext& fiberContext = *(FiberContext*)(userData); 22658964d0bSSergey Makeev for(;;) 22758964d0bSSergey Makeev { 22834a394c3SSergey Makeev MT_ASSERT(fiberContext.currentTask.IsValid(), "Invalid task in fiber context"); 22934a394c3SSergey Makeev MT_ASSERT(fiberContext.GetThreadContext(), "Invalid thread context"); 23034a394c3SSergey Makeev MT_ASSERT(fiberContext.GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 23158964d0bSSergey Makeev 23258964d0bSSergey Makeev fiberContext.currentTask.taskFunc( fiberContext, fiberContext.currentTask.userData ); 23358964d0bSSergey Makeev 23458964d0bSSergey Makeev fiberContext.SetStatus(FiberTaskStatus::FINISHED); 23558964d0bSSergey Makeev 2368112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 2378112dedfSSergey Makeev fiberContext.GetThreadContext()->NotifyTaskFinished(fiberContext.currentTask); 2388112dedfSSergey Makeev #endif 2398112dedfSSergey Makeev 24058964d0bSSergey Makeev Fiber::SwitchTo(fiberContext.fiber, fiberContext.GetThreadContext()->schedulerFiber); 24158964d0bSSergey Makeev } 24258964d0bSSergey Makeev 24358964d0bSSergey Makeev } 24458964d0bSSergey Makeev 24558964d0bSSergey Makeev 246a1626843SSergey Makeev bool TaskScheduler::TryStealTask(internal::ThreadContext& threadContext, internal::GroupedTask & task, uint32 workersCount) 2472b4df162SSergey Makeev { 2482b4df162SSergey Makeev if (workersCount <= 1) 2492b4df162SSergey Makeev { 2502b4df162SSergey Makeev return false; 2512b4df162SSergey Makeev } 2522b4df162SSergey Makeev 253a1626843SSergey Makeev uint32 victimIndex = threadContext.random.Get(); 254a1626843SSergey Makeev 255a1626843SSergey Makeev for (uint32 attempt = 0; attempt < workersCount; attempt++) 2562b4df162SSergey Makeev { 257a1626843SSergey Makeev uint32 index = victimIndex % workersCount; 258a1626843SSergey Makeev if (index == threadContext.workerIndex) 259a1626843SSergey Makeev { 260a1626843SSergey Makeev victimIndex++; 261a1626843SSergey Makeev index = victimIndex % workersCount; 2622b4df162SSergey Makeev } 2632b4df162SSergey Makeev 264a1626843SSergey Makeev internal::ThreadContext& victimContext = threadContext.taskScheduler->threadContext[index]; 265d6661c78SSergey Makeev if (victimContext.queue.TryPopFront(task)) 266a1626843SSergey Makeev { 267a1626843SSergey Makeev return true; 268a1626843SSergey Makeev } 269a1626843SSergey Makeev 270a1626843SSergey Makeev victimIndex++; 271a1626843SSergey Makeev } 272a1626843SSergey Makeev return false; 2732b4df162SSergey Makeev } 2742b4df162SSergey Makeev 27558964d0bSSergey Makeev void TaskScheduler::ThreadMain( void* userData ) 27658964d0bSSergey Makeev { 27758964d0bSSergey Makeev internal::ThreadContext& context = *(internal::ThreadContext*)(userData); 27834a394c3SSergey Makeev MT_ASSERT(context.taskScheduler, "Task scheduler must be not null!"); 2790727c1f9SSergey Makeev 2800727c1f9SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 2810727c1f9SSergey Makeev context.NotifyThreadCreate(context.workerIndex); 2820727c1f9SSergey Makeev #endif 2830727c1f9SSergey Makeev 28458964d0bSSergey Makeev context.schedulerFiber.CreateFromThread(context.thread); 28558964d0bSSergey Makeev 286a1626843SSergey Makeev uint32 workersCount = context.taskScheduler->GetWorkerCount(); 287a1626843SSergey Makeev 28881ec7369SSergey Makeev context.taskScheduler->startedThreadsCount.IncFetch(); 28943c41d5cSSergey Makeev 29043c41d5cSSergey Makeev //Spinlock until all threads started and initialized 291*6bbc0262SSergey Makeev for(;;) 29243c41d5cSSergey Makeev { 29381ec7369SSergey Makeev if (context.taskScheduler->startedThreadsCount.Load() == (int)context.taskScheduler->threadsCount) 29443c41d5cSSergey Makeev { 29543c41d5cSSergey Makeev break; 29643c41d5cSSergey Makeev } 29743c41d5cSSergey Makeev Thread::Sleep(1); 29843c41d5cSSergey Makeev } 29943c41d5cSSergey Makeev 3000727c1f9SSergey Makeev 3010727c1f9SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 3020727c1f9SSergey Makeev context.NotifyThreadStart(context.workerIndex); 3030727c1f9SSergey Makeev #endif 3040727c1f9SSergey Makeev 30581ec7369SSergey Makeev while(context.state.Load() != internal::ThreadState::EXIT) 30658964d0bSSergey Makeev { 30758964d0bSSergey Makeev internal::GroupedTask task; 308d6661c78SSergey Makeev if (context.queue.TryPopBack(task) || TryStealTask(context, task, workersCount) ) 30958964d0bSSergey Makeev { 31058964d0bSSergey Makeev // There is a new task 31158964d0bSSergey Makeev FiberContext* fiberContext = context.taskScheduler->RequestFiberContext(task); 31234a394c3SSergey Makeev MT_ASSERT(fiberContext, "Can't get execution context from pool"); 31334a394c3SSergey Makeev MT_ASSERT(fiberContext->currentTask.IsValid(), "Sanity check failed"); 31458964d0bSSergey Makeev 31558964d0bSSergey Makeev while(fiberContext) 31658964d0bSSergey Makeev { 3178112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 318a1626843SSergey Makeev context.NotifyTaskResumed(fiberContext->currentTask); 3198112dedfSSergey Makeev #endif 3208112dedfSSergey Makeev 32158964d0bSSergey Makeev // prevent invalid fiber resume from child tasks, before ExecuteTask is done 32281ec7369SSergey Makeev fiberContext->childrenFibersCount.IncFetch(); 32358964d0bSSergey Makeev 32458964d0bSSergey Makeev FiberContext* parentFiber = ExecuteTask(context, fiberContext); 32558964d0bSSergey Makeev 32658964d0bSSergey Makeev FiberTaskStatus::Type taskStatus = fiberContext->GetStatus(); 32758964d0bSSergey Makeev 32858964d0bSSergey Makeev //release guard 32981ec7369SSergey Makeev int childrenFibersCount = fiberContext->childrenFibersCount.DecFetch(); 33058964d0bSSergey Makeev 33158964d0bSSergey Makeev // Can drop fiber context - task is finished 33258964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::FINISHED) 33358964d0bSSergey Makeev { 33434a394c3SSergey Makeev MT_ASSERT( childrenFibersCount == 0, "Sanity check failed"); 33558964d0bSSergey Makeev context.taskScheduler->ReleaseFiberContext(fiberContext); 33658964d0bSSergey Makeev 33758964d0bSSergey Makeev // If parent fiber is exist transfer flow control to parent fiber, if parent fiber is null, exit 33858964d0bSSergey Makeev fiberContext = parentFiber; 33958964d0bSSergey Makeev } else 34058964d0bSSergey Makeev { 34134a394c3SSergey Makeev MT_ASSERT( childrenFibersCount >= 0, "Sanity check failed"); 34258964d0bSSergey Makeev 34358964d0bSSergey Makeev // No subtasks here and status is not finished, this mean all subtasks already finished before parent return from ExecuteTask 34458964d0bSSergey Makeev if (childrenFibersCount == 0) 34558964d0bSSergey Makeev { 34634a394c3SSergey Makeev MT_ASSERT(parentFiber == nullptr, "Sanity check failed"); 34758964d0bSSergey Makeev } else 34858964d0bSSergey Makeev { 34958964d0bSSergey Makeev // If subtasks still exist, drop current task execution. task will be resumed when last subtask finished 35058964d0bSSergey Makeev break; 35158964d0bSSergey Makeev } 35258964d0bSSergey Makeev 35358964d0bSSergey Makeev // If task is in await state drop execution. task will be resumed when RestoreAwaitingTasks called 35458964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::AWAITING_GROUP) 35558964d0bSSergey Makeev { 35658964d0bSSergey Makeev break; 35758964d0bSSergey Makeev } 35858964d0bSSergey Makeev } 35958964d0bSSergey Makeev } //while(fiberContext) 36058964d0bSSergey Makeev 36158964d0bSSergey Makeev } else 36258964d0bSSergey Makeev { 363a1626843SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 3640727c1f9SSergey Makeev uint64 waitFrom = context.taskScheduler->GetTimeStamp(); 365a1626843SSergey Makeev #endif 366a1626843SSergey Makeev 3672b4df162SSergey Makeev // Queue is empty and stealing attempt failed 3682b4df162SSergey Makeev // Wait new events 36958964d0bSSergey Makeev context.hasNewTasksEvent.Wait(2000); 370a1626843SSergey Makeev 371a1626843SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 3720727c1f9SSergey Makeev uint64 waitTo = context.taskScheduler->GetTimeStamp(); 3730727c1f9SSergey Makeev context.NotifyThreadAwait(waitFrom, waitTo, context.workerIndex); 374a1626843SSergey Makeev #endif 375a1626843SSergey Makeev 37658964d0bSSergey Makeev } 37758964d0bSSergey Makeev 37858964d0bSSergey Makeev } // main thread loop 3790727c1f9SSergey Makeev 3800727c1f9SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 3810727c1f9SSergey Makeev context.NotifyThreadStop(context.workerIndex); 3820727c1f9SSergey Makeev #endif 3830727c1f9SSergey Makeev 38458964d0bSSergey Makeev } 38558964d0bSSergey Makeev 38656aa031bSSergey Makeev void TaskScheduler::RunTasksImpl(ArrayView<internal::TaskBucket>& buckets, FiberContext * parentFiber, bool restoredFromAwaitState) 38758964d0bSSergey Makeev { 388806ef292SSergey Makeev // This storage is necessary to calculate how many tasks we add to different groups 389754cb997SSergey Makeev int newTaskCountInGroup[TaskGroup::MT_MAX_GROUPS_COUNT]; 390806ef292SSergey Makeev 391806ef292SSergey Makeev // Default value is 0 392806ef292SSergey Makeev memset(&newTaskCountInGroup[0], 0, sizeof(newTaskCountInGroup)); 393806ef292SSergey Makeev 39458964d0bSSergey Makeev // Set parent fiber pointer 39558964d0bSSergey Makeev // Calculate the number of tasks per group 39658964d0bSSergey Makeev // Calculate total number of tasks 39758964d0bSSergey Makeev size_t count = 0; 398a101e543SSergey Makeev for (size_t i = 0; i < buckets.Size(); ++i) 39958964d0bSSergey Makeev { 40058964d0bSSergey Makeev internal::TaskBucket& bucket = buckets[i]; 40158964d0bSSergey Makeev for (size_t taskIndex = 0; taskIndex < bucket.count; taskIndex++) 40258964d0bSSergey Makeev { 40358964d0bSSergey Makeev internal::GroupedTask & task = bucket.tasks[taskIndex]; 40458964d0bSSergey Makeev 40558964d0bSSergey Makeev task.parentFiber = parentFiber; 406754cb997SSergey Makeev 407754cb997SSergey Makeev int idx = task.group.GetValidIndex(); 408754cb997SSergey Makeev MT_ASSERT(idx >= 0 && idx < TaskGroup::MT_MAX_GROUPS_COUNT, "Invalid index"); 409754cb997SSergey Makeev newTaskCountInGroup[idx]++; 41031bebe6fSSergey Makeev } 41131bebe6fSSergey Makeev 41258964d0bSSergey Makeev count += bucket.count; 41358964d0bSSergey Makeev } 41458964d0bSSergey Makeev 41558964d0bSSergey Makeev // Increments child fibers count on parent fiber 41658964d0bSSergey Makeev if (parentFiber) 41758964d0bSSergey Makeev { 41881ec7369SSergey Makeev parentFiber->childrenFibersCount.AddFetch((int)count); 41958964d0bSSergey Makeev } 42058964d0bSSergey Makeev 42158964d0bSSergey Makeev if (restoredFromAwaitState == false) 42258964d0bSSergey Makeev { 423806ef292SSergey Makeev // Increase the number of active tasks in the group using data from temporary storage 424754cb997SSergey Makeev for (size_t i = 0; i < TaskGroup::MT_MAX_GROUPS_COUNT; i++) 425806ef292SSergey Makeev { 426806ef292SSergey Makeev int groupNewTaskCount = newTaskCountInGroup[i]; 427806ef292SSergey Makeev if (groupNewTaskCount > 0) 428806ef292SSergey Makeev { 429806ef292SSergey Makeev groupStats[i].Reset(); 430806ef292SSergey Makeev groupStats[i].Add((uint32)groupNewTaskCount); 431806ef292SSergey Makeev } 432806ef292SSergey Makeev } 433806ef292SSergey Makeev 43458964d0bSSergey Makeev // Increments all task in progress counter 4352a2464ccSSergey Makeev allGroups.Reset(); 4362a2464ccSSergey Makeev allGroups.Add((uint32)count); 43758964d0bSSergey Makeev } else 43858964d0bSSergey Makeev { 43958964d0bSSergey Makeev // If task's restored from await state, counters already in correct state 44058964d0bSSergey Makeev } 44158964d0bSSergey Makeev 44258964d0bSSergey Makeev // Add to thread queue 443a101e543SSergey Makeev for (size_t i = 0; i < buckets.Size(); ++i) 44458964d0bSSergey Makeev { 44581ec7369SSergey Makeev int bucketIndex = roundRobinThreadIndex.IncFetch() % threadsCount; 44658964d0bSSergey Makeev internal::ThreadContext & context = threadContext[bucketIndex]; 44758964d0bSSergey Makeev 44858964d0bSSergey Makeev internal::TaskBucket& bucket = buckets[i]; 44958964d0bSSergey Makeev 45058964d0bSSergey Makeev context.queue.PushRange(bucket.tasks, bucket.count); 45158964d0bSSergey Makeev context.hasNewTasksEvent.Signal(); 45258964d0bSSergey Makeev } 45358964d0bSSergey Makeev } 45458964d0bSSergey Makeev 45558d12dadSSergey Makeev void TaskScheduler::RunAsync(TaskGroup group, TaskHandle* taskHandleArray, uint32 taskHandleCount) 45658d12dadSSergey Makeev { 45758d12dadSSergey Makeev MT_ASSERT(!IsWorkerThread(), "Can't use RunAsync inside Task. Use FiberContext.RunAsync() instead."); 45858d12dadSSergey Makeev 45958d12dadSSergey Makeev ArrayView<internal::GroupedTask> buffer(MT_ALLOCATE_ON_STACK(sizeof(internal::GroupedTask) * taskHandleCount), taskHandleCount); 46058d12dadSSergey Makeev 46158d12dadSSergey Makeev size_t bucketCount = MT::Min(threadsCount, taskHandleCount); 46258d12dadSSergey Makeev ArrayView<internal::TaskBucket> buckets(MT_ALLOCATE_ON_STACK(sizeof(internal::TaskBucket) * bucketCount), bucketCount); 46358d12dadSSergey Makeev 46458d12dadSSergey Makeev internal::DistibuteDescriptions(group, taskHandleArray, buffer, buckets); 46558d12dadSSergey Makeev RunTasksImpl(buckets, nullptr, false); 46658d12dadSSergey Makeev } 46758d12dadSSergey Makeev 468806ef292SSergey Makeev bool TaskScheduler::WaitGroup(TaskGroup group, uint32 milliseconds) 46958964d0bSSergey Makeev { 47034a394c3SSergey Makeev MT_VERIFY(IsWorkerThread() == false, "Can't use WaitGroup inside Task. Use FiberContext.WaitGroupAndYield() instead.", return false); 47158964d0bSSergey Makeev 472806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = GetGroupDesc(group); 473806ef292SSergey Makeev return groupDesc.Wait(milliseconds); 47458964d0bSSergey Makeev } 47558964d0bSSergey Makeev 47658964d0bSSergey Makeev bool TaskScheduler::WaitAll(uint32 milliseconds) 47758964d0bSSergey Makeev { 47834a394c3SSergey Makeev MT_VERIFY(IsWorkerThread() == false, "Can't use WaitAll inside Task.", return false); 47958964d0bSSergey Makeev 4802a2464ccSSergey Makeev return allGroups.Wait(milliseconds); 48158964d0bSSergey Makeev } 48258964d0bSSergey Makeev 48358964d0bSSergey Makeev bool TaskScheduler::IsEmpty() 48458964d0bSSergey Makeev { 48558964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_THREAD_COUNT; i++) 48658964d0bSSergey Makeev { 48758964d0bSSergey Makeev if (!threadContext[i].queue.IsEmpty()) 48858964d0bSSergey Makeev { 48958964d0bSSergey Makeev return false; 49058964d0bSSergey Makeev } 49158964d0bSSergey Makeev } 49258964d0bSSergey Makeev return true; 49358964d0bSSergey Makeev } 49458964d0bSSergey Makeev 49558964d0bSSergey Makeev uint32 TaskScheduler::GetWorkerCount() const 49658964d0bSSergey Makeev { 49758964d0bSSergey Makeev return threadsCount; 49858964d0bSSergey Makeev } 49958964d0bSSergey Makeev 50058964d0bSSergey Makeev bool TaskScheduler::IsWorkerThread() const 50158964d0bSSergey Makeev { 50258964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_THREAD_COUNT; i++) 50358964d0bSSergey Makeev { 50458964d0bSSergey Makeev if (threadContext[i].thread.IsCurrentThread()) 50558964d0bSSergey Makeev { 50658964d0bSSergey Makeev return true; 50758964d0bSSergey Makeev } 50858964d0bSSergey Makeev } 50958964d0bSSergey Makeev return false; 51058964d0bSSergey Makeev } 51158964d0bSSergey Makeev 512806ef292SSergey Makeev TaskGroup TaskScheduler::CreateGroup() 513806ef292SSergey Makeev { 514806ef292SSergey Makeev MT_ASSERT(IsWorkerThread() == false, "Can't use CreateGroup inside Task."); 515806ef292SSergey Makeev 516754cb997SSergey Makeev TaskGroup group; 517d6661c78SSergey Makeev if (!availableGroups.TryPopBack(group)) 518806ef292SSergey Makeev { 519*6bbc0262SSergey Makeev MT_REPORT_ASSERT("Group pool is empty"); 520806ef292SSergey Makeev } 521806ef292SSergey Makeev 522754cb997SSergey Makeev int idx = group.GetValidIndex(); 523754cb997SSergey Makeev 524754cb997SSergey Makeev MT_ASSERT(groupStats[idx].debugIsFree == true, "Bad logic!"); 525754cb997SSergey Makeev groupStats[idx].debugIsFree = false; 526806ef292SSergey Makeev 527806ef292SSergey Makeev return group; 528806ef292SSergey Makeev } 529806ef292SSergey Makeev 530806ef292SSergey Makeev void TaskScheduler::ReleaseGroup(TaskGroup group) 531806ef292SSergey Makeev { 532806ef292SSergey Makeev MT_ASSERT(IsWorkerThread() == false, "Can't use ReleaseGroup inside Task."); 533754cb997SSergey Makeev MT_ASSERT(group.IsValid(), "Invalid group ID"); 534806ef292SSergey Makeev 535754cb997SSergey Makeev int idx = group.GetValidIndex(); 536754cb997SSergey Makeev 537754cb997SSergey Makeev MT_ASSERT(groupStats[idx].debugIsFree == false, "Group already released"); 538754cb997SSergey Makeev groupStats[idx].debugIsFree = true; 539806ef292SSergey Makeev 540806ef292SSergey Makeev availableGroups.Push(group); 541806ef292SSergey Makeev } 542806ef292SSergey Makeev 543806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & TaskScheduler::GetGroupDesc(TaskGroup group) 544806ef292SSergey Makeev { 545754cb997SSergey Makeev MT_ASSERT(group.IsValid(), "Invalid group ID"); 546806ef292SSergey Makeev 547754cb997SSergey Makeev int idx = group.GetValidIndex(); 548754cb997SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = groupStats[idx]; 549806ef292SSergey Makeev 550806ef292SSergey Makeev MT_ASSERT(groupDesc.debugIsFree == false, "Invalid group"); 551806ef292SSergey Makeev return groupDesc; 552806ef292SSergey Makeev } 553806ef292SSergey Makeev 554806ef292SSergey Makeev 5558112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 5568112dedfSSergey Makeev 5578112dedfSSergey Makeev size_t TaskScheduler::GetProfilerEvents(uint32 workerIndex, ProfileEventDesc * dstBuffer, size_t dstBufferSize) 5588112dedfSSergey Makeev { 5598112dedfSSergey Makeev if (workerIndex >= MT_MAX_THREAD_COUNT) 5608112dedfSSergey Makeev { 5618112dedfSSergey Makeev return 0; 5628112dedfSSergey Makeev } 5638112dedfSSergey Makeev 5648112dedfSSergey Makeev size_t elementsCount = threadContext[workerIndex].profileEvents.PopAll(dstBuffer, dstBufferSize); 5658112dedfSSergey Makeev return elementsCount; 5668112dedfSSergey Makeev } 5678112dedfSSergey Makeev 568ff5c86b0SSergey Makeev void TaskScheduler::UpdateProfiler() 569ff5c86b0SSergey Makeev { 570ff5c86b0SSergey Makeev profilerWebServer.Update(*this); 571ff5c86b0SSergey Makeev } 572ff5c86b0SSergey Makeev 5732f0964abSSergey Makeev int32 TaskScheduler::GetWebServerPort() const 5742f0964abSSergey Makeev { 5752f0964abSSergey Makeev return webServerPort; 5762f0964abSSergey Makeev } 5772f0964abSSergey Makeev 5782f0964abSSergey Makeev 579ff5c86b0SSergey Makeev 5808112dedfSSergey Makeev #endif 58158964d0bSSergey Makeev } 582