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 2934a394c3SSergey Makeev TaskScheduler::TaskScheduler(uint32 workerThreadsCount) 3058964d0bSSergey Makeev : roundRobinThreadIndex(0) 3143c41d5cSSergey Makeev , startedThreadsCount(0) 3258964d0bSSergey Makeev { 33ff5c86b0SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 342f0964abSSergey Makeev webServerPort = profilerWebServer.Serve(8080, 8090); 35ff5c86b0SSergey Makeev 36aac5f829SSergey Makeev //initialize start time 37aac5f829SSergey Makeev startTime = MT::GetTimeMicroSeconds(); 38ff5c86b0SSergey Makeev #endif 39ff5c86b0SSergey Makeev 4034a394c3SSergey Makeev if (workerThreadsCount != 0) 4134a394c3SSergey Makeev { 4243c41d5cSSergey Makeev threadsCount = MT::Clamp(workerThreadsCount, (uint32)1, (uint32)MT_MAX_THREAD_COUNT); 4334a394c3SSergey Makeev } else 4434a394c3SSergey Makeev { 4534a394c3SSergey Makeev //query number of processor 461e8563ffSSergey Makeev threadsCount = (uint32)MT::Clamp(Thread::GetNumberOfHardwareThreads() - 2, 1, (int)MT_MAX_THREAD_COUNT); 4734a394c3SSergey Makeev } 4834a394c3SSergey Makeev 4958964d0bSSergey Makeev // create fiber pool 5058964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_FIBERS_COUNT; i++) 5158964d0bSSergey Makeev { 5258964d0bSSergey Makeev FiberContext& context = fiberContext[i]; 5358964d0bSSergey Makeev context.fiber.Create(MT_FIBER_STACK_SIZE, FiberMain, &context); 5458964d0bSSergey Makeev availableFibers.Push( &context ); 5558964d0bSSergey Makeev } 5658964d0bSSergey Makeev 57*754cb997SSergey Makeev for (uint32 i = 0; i < TaskGroup::MT_MAX_GROUPS_COUNT; i++) 58806ef292SSergey Makeev { 59*754cb997SSergey Makeev if (i != TaskGroup::DEFAULT) 60806ef292SSergey Makeev { 61*754cb997SSergey Makeev availableGroups.Push( TaskGroup(i) ); 62806ef292SSergey Makeev } 63806ef292SSergey Makeev } 64806ef292SSergey Makeev 65*754cb997SSergey Makeev groupStats[TaskGroup::DEFAULT].debugIsFree = false; 66806ef292SSergey Makeev 6758964d0bSSergey Makeev // create worker thread pool 6858964d0bSSergey Makeev for (uint32 i = 0; i < threadsCount; i++) 6958964d0bSSergey Makeev { 702b4df162SSergey Makeev threadContext[i].SetThreadIndex(i); 7158964d0bSSergey Makeev threadContext[i].taskScheduler = this; 7258964d0bSSergey Makeev threadContext[i].thread.Start( MT_SCHEDULER_STACK_SIZE, ThreadMain, &threadContext[i] ); 7358964d0bSSergey Makeev } 7458964d0bSSergey Makeev } 7558964d0bSSergey Makeev 7658964d0bSSergey Makeev TaskScheduler::~TaskScheduler() 7758964d0bSSergey Makeev { 7858964d0bSSergey Makeev for (uint32 i = 0; i < threadsCount; i++) 7958964d0bSSergey Makeev { 8058964d0bSSergey Makeev threadContext[i].state.Set(internal::ThreadState::EXIT); 8158964d0bSSergey Makeev threadContext[i].hasNewTasksEvent.Signal(); 8258964d0bSSergey Makeev } 8358964d0bSSergey Makeev 8458964d0bSSergey Makeev for (uint32 i = 0; i < threadsCount; i++) 8558964d0bSSergey Makeev { 8658964d0bSSergey Makeev threadContext[i].thread.Stop(); 8758964d0bSSergey Makeev } 8858964d0bSSergey Makeev } 8958964d0bSSergey Makeev 9058964d0bSSergey Makeev FiberContext* TaskScheduler::RequestFiberContext(internal::GroupedTask& task) 9158964d0bSSergey Makeev { 9258964d0bSSergey Makeev FiberContext *fiberContext = task.awaitingFiber; 9358964d0bSSergey Makeev if (fiberContext) 9458964d0bSSergey Makeev { 9558964d0bSSergey Makeev task.awaitingFiber = nullptr; 9658964d0bSSergey Makeev return fiberContext; 9758964d0bSSergey Makeev } 9858964d0bSSergey Makeev 9958964d0bSSergey Makeev if (!availableFibers.TryPop(fiberContext)) 10058964d0bSSergey Makeev { 10134a394c3SSergey Makeev MT_ASSERT(false, "Fibers pool is empty"); 10258964d0bSSergey Makeev } 10358964d0bSSergey Makeev 10458964d0bSSergey Makeev fiberContext->currentTask = task.desc; 10558964d0bSSergey Makeev fiberContext->currentGroup = task.group; 10658964d0bSSergey Makeev fiberContext->parentFiber = task.parentFiber; 10758964d0bSSergey Makeev return fiberContext; 10858964d0bSSergey Makeev } 10958964d0bSSergey Makeev 11058964d0bSSergey Makeev void TaskScheduler::ReleaseFiberContext(FiberContext* fiberContext) 11158964d0bSSergey Makeev { 11234a394c3SSergey Makeev MT_ASSERT(fiberContext != nullptr, "Can't release nullptr Fiber"); 11358964d0bSSergey Makeev fiberContext->Reset(); 11458964d0bSSergey Makeev availableFibers.Push(fiberContext); 11558964d0bSSergey Makeev } 11658964d0bSSergey Makeev 11758964d0bSSergey Makeev FiberContext* TaskScheduler::ExecuteTask(internal::ThreadContext& threadContext, FiberContext* fiberContext) 11858964d0bSSergey Makeev { 11934a394c3SSergey Makeev MT_ASSERT(threadContext.thread.IsCurrentThread(), "Thread context sanity check failed"); 12058964d0bSSergey Makeev 12134a394c3SSergey Makeev MT_ASSERT(fiberContext, "Invalid fiber context"); 12234a394c3SSergey Makeev MT_ASSERT(fiberContext->currentTask.IsValid(), "Invalid task"); 12358964d0bSSergey Makeev 12458964d0bSSergey Makeev // Set actual thread context to fiber 12558964d0bSSergey Makeev fiberContext->SetThreadContext(&threadContext); 12658964d0bSSergey Makeev 12758964d0bSSergey Makeev // Update task status 12858964d0bSSergey Makeev fiberContext->SetStatus(FiberTaskStatus::RUNNED); 12958964d0bSSergey Makeev 13034a394c3SSergey Makeev MT_ASSERT(fiberContext->GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 13158964d0bSSergey Makeev 13258964d0bSSergey Makeev // Run current task code 13358964d0bSSergey Makeev Fiber::SwitchTo(threadContext.schedulerFiber, fiberContext->fiber); 13458964d0bSSergey Makeev 13558964d0bSSergey Makeev // If task was done 13658964d0bSSergey Makeev FiberTaskStatus::Type taskStatus = fiberContext->GetStatus(); 13758964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::FINISHED) 13858964d0bSSergey Makeev { 139806ef292SSergey Makeev TaskGroup taskGroup = fiberContext->currentGroup; 14031bebe6fSSergey Makeev 141806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = threadContext.taskScheduler->GetGroupDesc(taskGroup); 14258964d0bSSergey Makeev 14358964d0bSSergey Makeev // Update group status 144806ef292SSergey Makeev int groupTaskCount = groupDesc.Dec(); 14534a394c3SSergey Makeev MT_ASSERT(groupTaskCount >= 0, "Sanity check failed!"); 14658964d0bSSergey Makeev if (groupTaskCount == 0) 14758964d0bSSergey Makeev { 14858964d0bSSergey Makeev // Restore awaiting tasks 14958964d0bSSergey Makeev threadContext.RestoreAwaitingTasks(taskGroup); 150806ef292SSergey Makeev 151806ef292SSergey Makeev // All restored tasks can be already finished on this line. 152806ef292SSergey 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. 153806ef292SSergey Makeev 154806ef292SSergey Makeev // Signal pending threads that group work is finished. Group can be destroyed after this call. 155806ef292SSergey Makeev groupDesc.Signal(); 156806ef292SSergey Makeev 157*754cb997SSergey Makeev fiberContext->currentGroup = TaskGroup::INVALID; 15858964d0bSSergey Makeev } 15958964d0bSSergey Makeev 16058964d0bSSergey Makeev // Update total task count 161806ef292SSergey Makeev int allGroupTaskCount = threadContext.taskScheduler->allGroups.Dec(); 162806ef292SSergey Makeev MT_ASSERT(allGroupTaskCount >= 0, "Sanity check failed!"); 163806ef292SSergey Makeev if (allGroupTaskCount == 0) 16458964d0bSSergey Makeev { 16558964d0bSSergey Makeev // Notify all tasks in all group finished 1662a2464ccSSergey Makeev threadContext.taskScheduler->allGroups.Signal(); 16758964d0bSSergey Makeev } 16858964d0bSSergey Makeev 16958964d0bSSergey Makeev FiberContext* parentFiberContext = fiberContext->parentFiber; 17058964d0bSSergey Makeev if (parentFiberContext != nullptr) 17158964d0bSSergey Makeev { 17258964d0bSSergey Makeev int childrenFibersCount = parentFiberContext->childrenFibersCount.Dec(); 17334a394c3SSergey Makeev MT_ASSERT(childrenFibersCount >= 0, "Sanity check failed!"); 17458964d0bSSergey Makeev 17558964d0bSSergey Makeev if (childrenFibersCount == 0) 17658964d0bSSergey Makeev { 17758964d0bSSergey Makeev // This is a last subtask. Restore parent task 17834a394c3SSergey Makeev #if MT_FIBER_DEBUG 17958964d0bSSergey Makeev 18058964d0bSSergey Makeev int ownerThread = parentFiberContext->fiber.GetOwnerThread(); 18158964d0bSSergey Makeev FiberTaskStatus::Type parentTaskStatus = parentFiberContext->GetStatus(); 18258964d0bSSergey Makeev internal::ThreadContext * parentThreadContext = parentFiberContext->GetThreadContext(); 18358964d0bSSergey Makeev int fiberUsageCounter = parentFiberContext->fiber.GetUsageCounter(); 18434a394c3SSergey Makeev MT_ASSERT(fiberUsageCounter == 0, "Parent fiber in invalid state"); 18558964d0bSSergey Makeev 18658964d0bSSergey Makeev ownerThread; 18758964d0bSSergey Makeev parentTaskStatus; 18858964d0bSSergey Makeev parentThreadContext; 18958964d0bSSergey Makeev fiberUsageCounter; 19058964d0bSSergey Makeev #endif 19158964d0bSSergey Makeev 19234a394c3SSergey Makeev MT_ASSERT(threadContext.thread.IsCurrentThread(), "Thread context sanity check failed"); 19334a394c3SSergey Makeev MT_ASSERT(parentFiberContext->GetThreadContext() == nullptr, "Inactive parent should not have a valid thread context"); 19458964d0bSSergey Makeev 19558964d0bSSergey Makeev // WARNING!! Thread context can changed here! Set actual current thread context. 19658964d0bSSergey Makeev parentFiberContext->SetThreadContext(&threadContext); 19758964d0bSSergey Makeev 19834a394c3SSergey Makeev MT_ASSERT(parentFiberContext->GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 19958964d0bSSergey Makeev 20058964d0bSSergey Makeev // All subtasks is done. 20158964d0bSSergey Makeev // Exiting and return parent fiber to scheduler 20258964d0bSSergey Makeev return parentFiberContext; 20358964d0bSSergey Makeev } else 20458964d0bSSergey Makeev { 20558964d0bSSergey Makeev // Other subtasks still exist 20658964d0bSSergey Makeev // Exiting 20758964d0bSSergey Makeev return nullptr; 20858964d0bSSergey Makeev } 20958964d0bSSergey Makeev } else 21058964d0bSSergey Makeev { 21158964d0bSSergey Makeev // Task is finished and no parent task 21258964d0bSSergey Makeev // Exiting 21358964d0bSSergey Makeev return nullptr; 21458964d0bSSergey Makeev } 21558964d0bSSergey Makeev } 21658964d0bSSergey Makeev 21734a394c3SSergey Makeev MT_ASSERT(taskStatus != FiberTaskStatus::RUNNED, "Incorrect task status") 21858964d0bSSergey Makeev return nullptr; 21958964d0bSSergey Makeev } 22058964d0bSSergey Makeev 22158964d0bSSergey Makeev 22258964d0bSSergey Makeev void TaskScheduler::FiberMain(void* userData) 22358964d0bSSergey Makeev { 22458964d0bSSergey Makeev FiberContext& fiberContext = *(FiberContext*)(userData); 22558964d0bSSergey Makeev for(;;) 22658964d0bSSergey Makeev { 22734a394c3SSergey Makeev MT_ASSERT(fiberContext.currentTask.IsValid(), "Invalid task in fiber context"); 22834a394c3SSergey Makeev MT_ASSERT(fiberContext.GetThreadContext(), "Invalid thread context"); 22934a394c3SSergey Makeev MT_ASSERT(fiberContext.GetThreadContext()->thread.IsCurrentThread(), "Thread context sanity check failed"); 23058964d0bSSergey Makeev 23158964d0bSSergey Makeev fiberContext.currentTask.taskFunc( fiberContext, fiberContext.currentTask.userData ); 23258964d0bSSergey Makeev 23358964d0bSSergey Makeev fiberContext.SetStatus(FiberTaskStatus::FINISHED); 23458964d0bSSergey Makeev 2358112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 2368112dedfSSergey Makeev fiberContext.GetThreadContext()->NotifyTaskFinished(fiberContext.currentTask); 2378112dedfSSergey Makeev #endif 2388112dedfSSergey Makeev 23958964d0bSSergey Makeev Fiber::SwitchTo(fiberContext.fiber, fiberContext.GetThreadContext()->schedulerFiber); 24058964d0bSSergey Makeev } 24158964d0bSSergey Makeev 24258964d0bSSergey Makeev } 24358964d0bSSergey Makeev 24458964d0bSSergey Makeev 245a1626843SSergey Makeev bool TaskScheduler::TryStealTask(internal::ThreadContext& threadContext, internal::GroupedTask & task, uint32 workersCount) 2462b4df162SSergey Makeev { 2472b4df162SSergey Makeev if (workersCount <= 1) 2482b4df162SSergey Makeev { 2492b4df162SSergey Makeev return false; 2502b4df162SSergey Makeev } 2512b4df162SSergey Makeev 252a1626843SSergey Makeev uint32 victimIndex = threadContext.random.Get(); 253a1626843SSergey Makeev 254a1626843SSergey Makeev for (uint32 attempt = 0; attempt < workersCount; attempt++) 2552b4df162SSergey Makeev { 256a1626843SSergey Makeev uint32 index = victimIndex % workersCount; 257a1626843SSergey Makeev if (index == threadContext.workerIndex) 258a1626843SSergey Makeev { 259a1626843SSergey Makeev victimIndex++; 260a1626843SSergey Makeev index = victimIndex % workersCount; 2612b4df162SSergey Makeev } 2622b4df162SSergey Makeev 263a1626843SSergey Makeev internal::ThreadContext& victimContext = threadContext.taskScheduler->threadContext[index]; 264a1626843SSergey Makeev if (victimContext.queue.TryPop(task)) 265a1626843SSergey Makeev { 266a1626843SSergey Makeev return true; 267a1626843SSergey Makeev } 268a1626843SSergey Makeev 269a1626843SSergey Makeev victimIndex++; 270a1626843SSergey Makeev } 271a1626843SSergey Makeev return false; 2722b4df162SSergey Makeev } 2732b4df162SSergey Makeev 27458964d0bSSergey Makeev void TaskScheduler::ThreadMain( void* userData ) 27558964d0bSSergey Makeev { 27658964d0bSSergey Makeev internal::ThreadContext& context = *(internal::ThreadContext*)(userData); 27734a394c3SSergey Makeev MT_ASSERT(context.taskScheduler, "Task scheduler must be not null!"); 27858964d0bSSergey Makeev context.schedulerFiber.CreateFromThread(context.thread); 27958964d0bSSergey Makeev 280a1626843SSergey Makeev uint32 workersCount = context.taskScheduler->GetWorkerCount(); 281a1626843SSergey Makeev 28243c41d5cSSergey Makeev context.taskScheduler->startedThreadsCount.Inc(); 28343c41d5cSSergey Makeev 28443c41d5cSSergey Makeev //Spinlock until all threads started and initialized 28543c41d5cSSergey Makeev while(true) 28643c41d5cSSergey Makeev { 28743c41d5cSSergey Makeev if (context.taskScheduler->startedThreadsCount.Get() == (int)context.taskScheduler->threadsCount) 28843c41d5cSSergey Makeev { 28943c41d5cSSergey Makeev break; 29043c41d5cSSergey Makeev } 29143c41d5cSSergey Makeev Thread::Sleep(1); 29243c41d5cSSergey Makeev } 29343c41d5cSSergey Makeev 29458964d0bSSergey Makeev while(context.state.Get() != internal::ThreadState::EXIT) 29558964d0bSSergey Makeev { 29658964d0bSSergey Makeev internal::GroupedTask task; 297a1626843SSergey Makeev if (context.queue.TryPop(task) || TryStealTask(context, task, workersCount) ) 29858964d0bSSergey Makeev { 29958964d0bSSergey Makeev // There is a new task 30058964d0bSSergey Makeev FiberContext* fiberContext = context.taskScheduler->RequestFiberContext(task); 30134a394c3SSergey Makeev MT_ASSERT(fiberContext, "Can't get execution context from pool"); 30234a394c3SSergey Makeev MT_ASSERT(fiberContext->currentTask.IsValid(), "Sanity check failed"); 30358964d0bSSergey Makeev 30458964d0bSSergey Makeev while(fiberContext) 30558964d0bSSergey Makeev { 3068112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 307a1626843SSergey Makeev context.NotifyTaskResumed(fiberContext->currentTask); 3088112dedfSSergey Makeev #endif 3098112dedfSSergey Makeev 31058964d0bSSergey Makeev // prevent invalid fiber resume from child tasks, before ExecuteTask is done 31158964d0bSSergey Makeev fiberContext->childrenFibersCount.Inc(); 31258964d0bSSergey Makeev 31358964d0bSSergey Makeev FiberContext* parentFiber = ExecuteTask(context, fiberContext); 31458964d0bSSergey Makeev 31558964d0bSSergey Makeev FiberTaskStatus::Type taskStatus = fiberContext->GetStatus(); 31658964d0bSSergey Makeev 31758964d0bSSergey Makeev //release guard 31858964d0bSSergey Makeev int childrenFibersCount = fiberContext->childrenFibersCount.Dec(); 31958964d0bSSergey Makeev 32058964d0bSSergey Makeev // Can drop fiber context - task is finished 32158964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::FINISHED) 32258964d0bSSergey Makeev { 32334a394c3SSergey Makeev MT_ASSERT( childrenFibersCount == 0, "Sanity check failed"); 32458964d0bSSergey Makeev context.taskScheduler->ReleaseFiberContext(fiberContext); 32558964d0bSSergey Makeev 32658964d0bSSergey Makeev // If parent fiber is exist transfer flow control to parent fiber, if parent fiber is null, exit 32758964d0bSSergey Makeev fiberContext = parentFiber; 32858964d0bSSergey Makeev } else 32958964d0bSSergey Makeev { 33034a394c3SSergey Makeev MT_ASSERT( childrenFibersCount >= 0, "Sanity check failed"); 33158964d0bSSergey Makeev 33258964d0bSSergey Makeev // No subtasks here and status is not finished, this mean all subtasks already finished before parent return from ExecuteTask 33358964d0bSSergey Makeev if (childrenFibersCount == 0) 33458964d0bSSergey Makeev { 33534a394c3SSergey Makeev MT_ASSERT(parentFiber == nullptr, "Sanity check failed"); 33658964d0bSSergey Makeev } else 33758964d0bSSergey Makeev { 33858964d0bSSergey Makeev // If subtasks still exist, drop current task execution. task will be resumed when last subtask finished 33958964d0bSSergey Makeev break; 34058964d0bSSergey Makeev } 34158964d0bSSergey Makeev 34258964d0bSSergey Makeev // If task is in await state drop execution. task will be resumed when RestoreAwaitingTasks called 34358964d0bSSergey Makeev if (taskStatus == FiberTaskStatus::AWAITING_GROUP) 34458964d0bSSergey Makeev { 34558964d0bSSergey Makeev break; 34658964d0bSSergey Makeev } 34758964d0bSSergey Makeev } 34858964d0bSSergey Makeev } //while(fiberContext) 34958964d0bSSergey Makeev 35058964d0bSSergey Makeev } else 35158964d0bSSergey Makeev { 352a1626843SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 353a1626843SSergey Makeev int64 waitFrom = MT::GetTimeMicroSeconds(); 354a1626843SSergey Makeev #endif 355a1626843SSergey Makeev 3562b4df162SSergey Makeev // Queue is empty and stealing attempt failed 3572b4df162SSergey Makeev // Wait new events 35858964d0bSSergey Makeev context.hasNewTasksEvent.Wait(2000); 359a1626843SSergey Makeev 360a1626843SSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 361a1626843SSergey Makeev int64 waitTo = MT::GetTimeMicroSeconds(); 362a1626843SSergey Makeev context.NotifyWorkerAwait(waitFrom, waitTo); 363a1626843SSergey Makeev #endif 364a1626843SSergey Makeev 36558964d0bSSergey Makeev } 36658964d0bSSergey Makeev 36758964d0bSSergey Makeev } // main thread loop 36858964d0bSSergey Makeev } 36958964d0bSSergey Makeev 37056aa031bSSergey Makeev void TaskScheduler::RunTasksImpl(ArrayView<internal::TaskBucket>& buckets, FiberContext * parentFiber, bool restoredFromAwaitState) 37158964d0bSSergey Makeev { 372806ef292SSergey Makeev // This storage is necessary to calculate how many tasks we add to different groups 373*754cb997SSergey Makeev int newTaskCountInGroup[TaskGroup::MT_MAX_GROUPS_COUNT]; 374806ef292SSergey Makeev 375806ef292SSergey Makeev // Default value is 0 376806ef292SSergey Makeev memset(&newTaskCountInGroup[0], 0, sizeof(newTaskCountInGroup)); 377806ef292SSergey Makeev 37858964d0bSSergey Makeev // Set parent fiber pointer 37958964d0bSSergey Makeev // Calculate the number of tasks per group 38058964d0bSSergey Makeev // Calculate total number of tasks 38158964d0bSSergey Makeev size_t count = 0; 382a101e543SSergey Makeev for (size_t i = 0; i < buckets.Size(); ++i) 38358964d0bSSergey Makeev { 38458964d0bSSergey Makeev internal::TaskBucket& bucket = buckets[i]; 38558964d0bSSergey Makeev for (size_t taskIndex = 0; taskIndex < bucket.count; taskIndex++) 38658964d0bSSergey Makeev { 38758964d0bSSergey Makeev internal::GroupedTask & task = bucket.tasks[taskIndex]; 38858964d0bSSergey Makeev 38958964d0bSSergey Makeev task.parentFiber = parentFiber; 390*754cb997SSergey Makeev 391*754cb997SSergey Makeev int idx = task.group.GetValidIndex(); 392*754cb997SSergey Makeev MT_ASSERT(idx >= 0 && idx < TaskGroup::MT_MAX_GROUPS_COUNT, "Invalid index"); 393*754cb997SSergey Makeev newTaskCountInGroup[idx]++; 39431bebe6fSSergey Makeev } 39531bebe6fSSergey Makeev 39658964d0bSSergey Makeev count += bucket.count; 39758964d0bSSergey Makeev } 39858964d0bSSergey Makeev 39958964d0bSSergey Makeev // Increments child fibers count on parent fiber 40058964d0bSSergey Makeev if (parentFiber) 40158964d0bSSergey Makeev { 40258964d0bSSergey Makeev parentFiber->childrenFibersCount.Add((uint32)count); 40358964d0bSSergey Makeev } 40458964d0bSSergey Makeev 40558964d0bSSergey Makeev if (restoredFromAwaitState == false) 40658964d0bSSergey Makeev { 407806ef292SSergey Makeev // Increase the number of active tasks in the group using data from temporary storage 408*754cb997SSergey Makeev for (size_t i = 0; i < TaskGroup::MT_MAX_GROUPS_COUNT; i++) 409806ef292SSergey Makeev { 410806ef292SSergey Makeev int groupNewTaskCount = newTaskCountInGroup[i]; 411806ef292SSergey Makeev if (groupNewTaskCount > 0) 412806ef292SSergey Makeev { 413806ef292SSergey Makeev groupStats[i].Reset(); 414806ef292SSergey Makeev groupStats[i].Add((uint32)groupNewTaskCount); 415806ef292SSergey Makeev } 416806ef292SSergey Makeev } 417806ef292SSergey Makeev 41858964d0bSSergey Makeev // Increments all task in progress counter 4192a2464ccSSergey Makeev allGroups.Reset(); 4202a2464ccSSergey Makeev allGroups.Add((uint32)count); 42158964d0bSSergey Makeev } else 42258964d0bSSergey Makeev { 42358964d0bSSergey Makeev // If task's restored from await state, counters already in correct state 42458964d0bSSergey Makeev } 42558964d0bSSergey Makeev 42658964d0bSSergey Makeev // Add to thread queue 427a101e543SSergey Makeev for (size_t i = 0; i < buckets.Size(); ++i) 42858964d0bSSergey Makeev { 42958964d0bSSergey Makeev int bucketIndex = roundRobinThreadIndex.Inc() % threadsCount; 43058964d0bSSergey Makeev internal::ThreadContext & context = threadContext[bucketIndex]; 43158964d0bSSergey Makeev 43258964d0bSSergey Makeev internal::TaskBucket& bucket = buckets[i]; 43358964d0bSSergey Makeev 43458964d0bSSergey Makeev context.queue.PushRange(bucket.tasks, bucket.count); 43558964d0bSSergey Makeev context.hasNewTasksEvent.Signal(); 43658964d0bSSergey Makeev } 43758964d0bSSergey Makeev } 43858964d0bSSergey Makeev 439806ef292SSergey Makeev bool TaskScheduler::WaitGroup(TaskGroup group, uint32 milliseconds) 44058964d0bSSergey Makeev { 44134a394c3SSergey Makeev MT_VERIFY(IsWorkerThread() == false, "Can't use WaitGroup inside Task. Use FiberContext.WaitGroupAndYield() instead.", return false); 44258964d0bSSergey Makeev 443806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = GetGroupDesc(group); 444806ef292SSergey Makeev return groupDesc.Wait(milliseconds); 44558964d0bSSergey Makeev } 44658964d0bSSergey Makeev 44758964d0bSSergey Makeev bool TaskScheduler::WaitAll(uint32 milliseconds) 44858964d0bSSergey Makeev { 44934a394c3SSergey Makeev MT_VERIFY(IsWorkerThread() == false, "Can't use WaitAll inside Task.", return false); 45058964d0bSSergey Makeev 4512a2464ccSSergey Makeev return allGroups.Wait(milliseconds); 45258964d0bSSergey Makeev } 45358964d0bSSergey Makeev 45458964d0bSSergey Makeev bool TaskScheduler::IsEmpty() 45558964d0bSSergey Makeev { 45658964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_THREAD_COUNT; i++) 45758964d0bSSergey Makeev { 45858964d0bSSergey Makeev if (!threadContext[i].queue.IsEmpty()) 45958964d0bSSergey Makeev { 46058964d0bSSergey Makeev return false; 46158964d0bSSergey Makeev } 46258964d0bSSergey Makeev } 46358964d0bSSergey Makeev return true; 46458964d0bSSergey Makeev } 46558964d0bSSergey Makeev 46658964d0bSSergey Makeev uint32 TaskScheduler::GetWorkerCount() const 46758964d0bSSergey Makeev { 46858964d0bSSergey Makeev return threadsCount; 46958964d0bSSergey Makeev } 47058964d0bSSergey Makeev 47158964d0bSSergey Makeev bool TaskScheduler::IsWorkerThread() const 47258964d0bSSergey Makeev { 47358964d0bSSergey Makeev for (uint32 i = 0; i < MT_MAX_THREAD_COUNT; i++) 47458964d0bSSergey Makeev { 47558964d0bSSergey Makeev if (threadContext[i].thread.IsCurrentThread()) 47658964d0bSSergey Makeev { 47758964d0bSSergey Makeev return true; 47858964d0bSSergey Makeev } 47958964d0bSSergey Makeev } 48058964d0bSSergey Makeev return false; 48158964d0bSSergey Makeev } 48258964d0bSSergey Makeev 483806ef292SSergey Makeev TaskGroup TaskScheduler::CreateGroup() 484806ef292SSergey Makeev { 485806ef292SSergey Makeev MT_ASSERT(IsWorkerThread() == false, "Can't use CreateGroup inside Task."); 486806ef292SSergey Makeev 487*754cb997SSergey Makeev TaskGroup group; 488806ef292SSergey Makeev if (!availableGroups.TryPop(group)) 489806ef292SSergey Makeev { 490806ef292SSergey Makeev MT_ASSERT(false, "Group pool is empty"); 491806ef292SSergey Makeev } 492806ef292SSergey Makeev 493*754cb997SSergey Makeev int idx = group.GetValidIndex(); 494*754cb997SSergey Makeev 495*754cb997SSergey Makeev MT_ASSERT(groupStats[idx].debugIsFree == true, "Bad logic!"); 496*754cb997SSergey Makeev groupStats[idx].debugIsFree = false; 497806ef292SSergey Makeev 498806ef292SSergey Makeev return group; 499806ef292SSergey Makeev } 500806ef292SSergey Makeev 501806ef292SSergey Makeev void TaskScheduler::ReleaseGroup(TaskGroup group) 502806ef292SSergey Makeev { 503806ef292SSergey Makeev MT_ASSERT(IsWorkerThread() == false, "Can't use ReleaseGroup inside Task."); 504*754cb997SSergey Makeev MT_ASSERT(group.IsValid(), "Invalid group ID"); 505806ef292SSergey Makeev 506*754cb997SSergey Makeev int idx = group.GetValidIndex(); 507*754cb997SSergey Makeev 508*754cb997SSergey Makeev MT_ASSERT(groupStats[idx].debugIsFree == false, "Group already released"); 509*754cb997SSergey Makeev groupStats[idx].debugIsFree = true; 510806ef292SSergey Makeev 511806ef292SSergey Makeev availableGroups.Push(group); 512806ef292SSergey Makeev } 513806ef292SSergey Makeev 514806ef292SSergey Makeev TaskScheduler::TaskGroupDescription & TaskScheduler::GetGroupDesc(TaskGroup group) 515806ef292SSergey Makeev { 516*754cb997SSergey Makeev MT_ASSERT(group.IsValid(), "Invalid group ID"); 517806ef292SSergey Makeev 518*754cb997SSergey Makeev int idx = group.GetValidIndex(); 519*754cb997SSergey Makeev TaskScheduler::TaskGroupDescription & groupDesc = groupStats[idx]; 520806ef292SSergey Makeev 521806ef292SSergey Makeev MT_ASSERT(groupDesc.debugIsFree == false, "Invalid group"); 522806ef292SSergey Makeev return groupDesc; 523806ef292SSergey Makeev } 524806ef292SSergey Makeev 525806ef292SSergey Makeev 5268112dedfSSergey Makeev #ifdef MT_INSTRUMENTED_BUILD 5278112dedfSSergey Makeev 5288112dedfSSergey Makeev size_t TaskScheduler::GetProfilerEvents(uint32 workerIndex, ProfileEventDesc * dstBuffer, size_t dstBufferSize) 5298112dedfSSergey Makeev { 5308112dedfSSergey Makeev if (workerIndex >= MT_MAX_THREAD_COUNT) 5318112dedfSSergey Makeev { 5328112dedfSSergey Makeev return 0; 5338112dedfSSergey Makeev } 5348112dedfSSergey Makeev 5358112dedfSSergey Makeev size_t elementsCount = threadContext[workerIndex].profileEvents.PopAll(dstBuffer, dstBufferSize); 5368112dedfSSergey Makeev return elementsCount; 5378112dedfSSergey Makeev } 5388112dedfSSergey Makeev 539ff5c86b0SSergey Makeev void TaskScheduler::UpdateProfiler() 540ff5c86b0SSergey Makeev { 541ff5c86b0SSergey Makeev profilerWebServer.Update(*this); 542ff5c86b0SSergey Makeev } 543ff5c86b0SSergey Makeev 5442f0964abSSergey Makeev int32 TaskScheduler::GetWebServerPort() const 5452f0964abSSergey Makeev { 5462f0964abSSergey Makeev return webServerPort; 5472f0964abSSergey Makeev } 5482f0964abSSergey Makeev 5492f0964abSSergey Makeev 550ff5c86b0SSergey Makeev 5518112dedfSSergey Makeev #endif 55258964d0bSSergey Makeev } 553