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