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