/*
 * \brief  Linux-specific platform thread implementation
 * \author Norman Feske
 * \date   2007-10-15
 */

/*
 * Copyright (C) 2007-2017 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU Affero General Public License version 3.
 */

/* Genode includes */
#include <util/token.h>
#include <util/misc_math.h>
#include <base/log.h>

/* local includes */
#include "platform_thread.h"
#include <linux_syscalls.h>

using namespace Genode;


typedef Token<Scanner_policy_identifier_with_underline> Tid_token;


/*******************************
 ** Platform_thread::Registry **
 *******************************/

void Platform_thread::Registry::insert(Platform_thread *thread)
{
	Mutex::Guard guard(_mutex);
	_list.insert(thread);
}


void Platform_thread::Registry::remove(Platform_thread *thread)
{
	Mutex::Guard guard(_mutex);
	_list.remove(thread);
}


void Platform_thread::Registry::submit_exception(unsigned long pid)
{
	Mutex::Guard guard(_mutex);

	/* traverse list to find 'Platform_thread' with matching PID */
	for (Platform_thread *curr = _list.first(); curr; curr = curr->next()) {

		if (curr->_tid == pid) {
			Signal_context_capability sigh = curr->_pager._sigh;

			if (sigh.valid())
				Signal_transmitter(sigh).submit();

			return;
		}
	}
}


Platform_thread::Registry &Platform_thread::_registry()
{
	static Platform_thread::Registry registry;
	return registry;
}


/*********************
 ** Platform_thread **
 *********************/

Platform_thread::Platform_thread(size_t, const char *name, unsigned,
                                 Affinity::Location, addr_t)
{
	copy_cstring(_name, name, min(sizeof(_name), strlen(name) + 1));

	_registry().insert(this);
}


Platform_thread::~Platform_thread()
{
	_registry().remove(this);
}


void Platform_thread::pause()
{
	warning(__func__, "not implemented");
}


void Platform_thread::resume()
{
	warning(__func__, "not implemented");
}

