/*
 * \brief   Kernel backend for execution contexts in userland
 * \author  Martin Stein
 * \date    2012-11-30
 */

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

#ifndef _CORE__KERNEL__THREAD_H_
#define _CORE__KERNEL__THREAD_H_

/* core includes */
#include <kernel/configuration.h>
#include <kernel/scheduler.h>
#include <kernel/signal_receiver.h>
#include <kernel/ipc_node.h>
#include <kernel/irq_receiver.h>
#include <kernel/pd.h>
#include <cpu.h>

namespace Genode
{
	class Platform_thread;
}

namespace Kernel
{
	class Thread;

	typedef Genode::Cpu         Cpu;
	typedef Genode::Pagefault   Pagefault;
	typedef Genode::Native_utcb Native_utcb;

	unsigned core_id();
	void     handle_interrupt(void);
	void     reset_lap_time();

	/**
	 * Kernel backend for userland execution-contexts
	 */
	class Thread;

	class Thread_ids : public Id_allocator<MAX_THREADS> { };
	typedef Object_pool<Thread> Thread_pool;

	Thread_ids  * thread_ids();
	Thread_pool * thread_pool();
}

class Kernel::Thread
:
	public Cpu::User_context,
	public Object<Thread, MAX_THREADS, Thread_ids, thread_ids, thread_pool>,
	public Execution_context,
	public Ipc_node,
	public Irq_receiver,
	public Signal_context_killer,
	public Signal_receiver_killer,
	public Signal_handler
{
	private:

		enum { START_VERBOSE = 0 };

		enum State
		{
			SCHEDULED                   = 1,
			AWAITS_START                = 2,
			AWAITS_IPC                  = 3,
			AWAITS_RESUME               = 4,
			AWAITS_PAGER                = 5,
			AWAITS_PAGER_IPC            = 6,
			AWAITS_IRQ                  = 7,
			AWAITS_SIGNAL               = 8,
			AWAITS_SIGNAL_CONTEXT_KILL  = 9,
			AWAITS_SIGNAL_RECEIVER_KILL = 10,
			STOPPED                     = 11,
		};

		Platform_thread * const _platform_thread;
		State                   _state;
		Pagefault               _pagefault;
		Thread *                _pager;
		unsigned                _pd_id;
		Native_utcb *           _phys_utcb;
		Native_utcb *           _virt_utcb;
		Signal_receiver *       _signal_receiver;

		/**
		 * Resume execution
		 */
		void _schedule()
		{
			cpu_scheduler()->insert(this);
			_state = SCHEDULED;
		}


		/***************************
		 ** Signal_context_killer **
		 ***************************/

		void _signal_context_kill_pending()
		{
			assert(_state == SCHEDULED);
			_state = AWAITS_SIGNAL_CONTEXT_KILL;
			cpu_scheduler()->remove(this);
		}

		void _signal_context_kill_done()
		{
			assert(_state == AWAITS_SIGNAL_CONTEXT_KILL);
			user_arg_0(0);
			_schedule();
		}


		/****************************
		 ** Signal_receiver_killer **
		 ****************************/

		void _signal_receiver_kill_pending()
		{
			assert(_state == SCHEDULED);
			_state = AWAITS_SIGNAL_RECEIVER_KILL;
			cpu_scheduler()->remove(this);
		}

		void _signal_receiver_kill_done()
		{
			assert(_state == AWAITS_SIGNAL_RECEIVER_KILL);
			user_arg_0(0);
			_schedule();
		}


		/********************
		 ** Signal_handler **
		 ********************/

		void _await_signal(Signal_receiver * const receiver)
		{
			cpu_scheduler()->remove(this);
			_state = AWAITS_SIGNAL;
			_signal_receiver = receiver;
		}

		void _receive_signal(void * const base, size_t const size)
		{
			assert(_state == AWAITS_SIGNAL && size <= phys_utcb()->size());
			Genode::memcpy(phys_utcb()->base(), base, size);
			_schedule();
		}


		/**************
		 ** Ipc_node **
		 **************/

		void _received_ipc_request(size_t const s)
		{
			switch (_state) {
			case SCHEDULED:
				user_arg_0(s);
				return;
			default:
				PERR("wrong thread state to receive IPC");
				stop();
				return;
			}
		}

		void _await_ipc()
		{
			switch (_state) {
			case SCHEDULED:
				cpu_scheduler()->remove(this);
				_state = AWAITS_IPC;
			case AWAITS_PAGER:
				return;
			default:
				PERR("wrong thread state to await IPC");
				stop();
				return;
			}
		}

		void _await_ipc_succeeded(bool const reply, size_t const s)
		{
			switch (_state) {
			case AWAITS_IPC:
				/* FIXME: return error codes on all IPC transfers */
				if (reply) {
					phys_utcb()->ipc_msg_size(s);
					user_arg_0(0);
					_schedule();
				} else {
					user_arg_0(s);
					_schedule();
				}
				return;
			case AWAITS_PAGER_IPC:
				_schedule();
				return;
			case AWAITS_PAGER:
				_state = AWAITS_RESUME;
				return;
			default:
				PERR("wrong thread state to receive IPC");
				stop();
				return;
			}
		}

		void _await_ipc_failed(bool const reply)
		{
			switch (_state) {
			case AWAITS_IPC:
				/* FIXME: return error codes on all IPC transfers */
				if (reply) {
					user_arg_0(-1);
					_schedule();
				} else {
					PERR("failed to receive IPC");
					stop();
				}
				return;
			case SCHEDULED:
				PERR("failed to receive IPC");
				stop();
				return;
			case AWAITS_PAGER_IPC:
				PERR("failed to get pagefault resolved");
				stop();
				return;
			case AWAITS_PAGER:
				PERR("failed to get pagefault resolved");
				stop();
				return;
			default:
				PERR("wrong thread state to cancel IPC");
				stop();
				return;
			}
		}


		/***************
		 ** Irq_owner **
		 ***************/

		void _received_irq()
		{
			assert(_state == AWAITS_IRQ);
			_schedule();
		}

		void _awaits_irq()
		{
			cpu_scheduler()->remove(this);
			_state = AWAITS_IRQ;
		}

		/**
		 * Handle syscall request of this thread
		 */
		void _syscall();


		/***************************************************
		 ** Syscall backends, for details see 'syscall.h' **
		 ***************************************************/

		void _syscall_new_pd();
		void _syscall_kill_pd();
		void _syscall_new_thread();
		void _syscall_delete_thread();
		void _syscall_start_thread();
		void _syscall_pause_thread();
		void _syscall_resume_thread();
		void _syscall_resume_faulter();
		void _syscall_yield_thread();
		void _syscall_current_thread_id();
		void _syscall_get_thread();
		void _syscall_wait_for_request();
		void _syscall_request_and_wait();
		void _syscall_reply();
		void _syscall_set_pager();
		void _syscall_update_pd();
		void _syscall_update_region();
		void _syscall_allocate_irq();
		void _syscall_free_irq();
		void _syscall_await_irq();
		void _syscall_print_char();
		void _syscall_read_thread_state();
		void _syscall_write_thread_state();
		void _syscall_new_signal_receiver();
		void _syscall_new_signal_context();
		void _syscall_await_signal();
		void _syscall_signal_pending();
		void _syscall_submit_signal();
		void _syscall_ack_signal();
		void _syscall_kill_signal_context();
		void _syscall_kill_signal_receiver();
		void _syscall_new_vm();
		void _syscall_run_vm();
		void _syscall_pause_vm();

	public:

		/**
		 * Constructor
		 *
		 * \param platform_thread  userland backend of execution context
		 */
		Thread(Platform_thread * const platform_thread);

		/**
		 * Return wether the thread is a core thread
		 */
		bool core() { return pd_id() == core_id(); }

		/**
		 * Return kernel backend of protection domain the thread is in
		 */
		Pd * pd() { return Pd::pool()->object(pd_id()); }

		/**
		 * Return user label of the thread
		 */
		char const * label();

		/**
		 * return user label of the protection domain the thread is in
		 */
		char const * pd_label();

		/**
		 * Suspend the thread unrecoverably
		 */
		void stop()
		{
			if (_state == SCHEDULED) { cpu_scheduler()->remove(this); }
			_state = STOPPED;
		}

		/**
		 * Prepare thread to get scheduled the first time
		 *
		 * \param ip         initial instruction pointer
		 * \param sp         initial stack pointer
		 * \param cpu_id     target cpu
		 * \param pd_id      target protection-domain
		 * \param utcb_phys  physical UTCB pointer
		 * \param utcb_virt  virtual UTCB pointer
		 * \param main       wether the thread is the first one in its PD
		 */
		void prepare_to_start(void * const        ip,
		                      void * const        sp,
		                      unsigned const      cpu_id,
		                      unsigned const      pd_id,
		                      Native_utcb * const utcb_phys,
		                      Native_utcb * const utcb_virt,
		                      bool const          main);

		/**
		 * Start this thread
		 *
		 * \param ip      initial instruction pointer
		 * \param sp      initial stack pointer
		 * \param cpu_id  target cpu
		 * \param pd_id   target protection-domain
		 * \param utcb_p  physical UTCB pointer
		 * \param utcb_v  virtual UTCB pointer
		 * \param main    wether the thread is the first one in its PD
		 */
		void start(void * const        ip,
		           void * const        sp,
		           unsigned const      cpu_id,
		           unsigned const      pd_id,
		           Native_utcb * const utcb_p,
		           Native_utcb * const utcb_v,
		           bool const          main)
		{
			prepare_to_start(ip, sp, cpu_id, pd_id, utcb_p, utcb_v, main);
			_schedule();
		}

		/**
		 * Pause this thread
		 */
		void pause()
		{
			assert(_state == AWAITS_RESUME || _state == SCHEDULED);
			cpu_scheduler()->remove(this);
			_state = AWAITS_RESUME;
		}

		/**
		 * Resume this thread
		 */
		int resume()
		{
			switch (_state) {
			case AWAITS_RESUME:
				_schedule();
				return 0;
			case AWAITS_PAGER:
				_state = AWAITS_PAGER_IPC;
				return 0;
			case AWAITS_PAGER_IPC:
				Ipc_node::cancel_waiting();
				return 0;
			case SCHEDULED:
				return 1;
			case AWAITS_IPC:
				Ipc_node::cancel_waiting();
				return 0;
			case AWAITS_IRQ:
				Irq_receiver::cancel_waiting();
				return 0;
			case AWAITS_SIGNAL:
				Signal_handler::cancel_waiting();
				return 0;
			case AWAITS_SIGNAL_CONTEXT_KILL:
				Signal_context_killer::cancel_waiting();
				return 0;
			case AWAITS_SIGNAL_RECEIVER_KILL:
				Signal_receiver_killer::cancel_waiting();
				return 0;
			case AWAITS_START:
			case STOPPED:;
			}
			PERR("failed to resume thread");
			return -1;
		}

		/**
		 * Send a request and await the reply
		 */
		void request_and_wait(Thread * const dest, size_t const size)
		{
			Ipc_node::send_request_await_reply(
				dest, phys_utcb()->base(), size,
				phys_utcb()->ipc_msg_base(),
			    phys_utcb()->max_ipc_msg_size());
		}

		/**
		 * Wait for any request
		 */
		void wait_for_request()
		{
			Ipc_node::await_request(phys_utcb()->base(), phys_utcb()->size());
		}

		/**
		 * Reply to the last request
		 */
		void reply(size_t const size, bool const await_request)
		{
			Ipc_node::send_reply(phys_utcb()->base(), size);
			if (await_request) {
				Ipc_node * const ipc = static_cast<Ipc_node *>(this);
				ipc->await_request(phys_utcb()->base(), phys_utcb()->size());
			}
			else { user_arg_0(0); }
		}

		/**
		 * Handle an exception thrown by the MMU
		 */
		void handle_mmu_exception()
		{
			/* pause thread */
			cpu_scheduler()->remove(this);
			_state = AWAITS_PAGER;

			/* check out cause and attributes */
			addr_t va = 0;
			bool   w  = 0;
			if (!pagefault(va, w)) {
				PERR("unknown MMU exception");
				return;
			}
			/* inform pager */
			_pagefault = Pagefault(id(), (Tlb *)tlb(), ip, va, w);
			void * const base = &_pagefault;
			size_t const size = sizeof(_pagefault);
			Ipc_node::send_request_await_reply(_pager, base, size, base, size);
		}

		/**
		 * Get unique thread ID, avoid method ambiguousness
		 */
		unsigned id() const { return Object::id(); }

		/**
		 * Notice that another thread yielded the CPU to us
		 */
		void receive_yielded_cpu()
		{
			if (_state == AWAITS_RESUME) { _schedule(); }
			else { PERR("failed to receive yielded CPU"); }
		}


		/***********************
		 ** Execution_context **
		 ***********************/

		void handle_exception()
		{
			switch(cpu_exception) {
			case SUPERVISOR_CALL:
				_syscall();
				return;
			case PREFETCH_ABORT:
				handle_mmu_exception();
				return;
			case DATA_ABORT:
				handle_mmu_exception();
				return;
			case INTERRUPT_REQUEST:
				handle_interrupt();
				return;
			case FAST_INTERRUPT_REQUEST:
				handle_interrupt();
				return;
			default:
				PERR("unknown exception");
				stop();
				reset_lap_time();
			}
		}

		void proceed()
		{
			mtc()->continue_user(static_cast<Cpu::Context *>(this));
		}


		/***************
		 ** Accessors **
		 ***************/

		Platform_thread * platform_thread() const { return _platform_thread; }

		void pager(Thread * const p) { _pager = p; }

		unsigned pd_id() const { return _pd_id; }

		Native_utcb * phys_utcb() const { return _phys_utcb; }
};

#endif /* _CORE__KERNEL__THREAD_H_ */