2012-05-30 20:13:09 +02:00
|
|
|
/*
|
2015-12-09 12:02:00 +01:00
|
|
|
* \brief Kernel entrypoint
|
2012-05-30 20:13:09 +02:00
|
|
|
* \author Martin Stein
|
hw: restrict processor broadcast to TLB flushing
Removes the generic processor broadcast function call. By now, that call
was used for cross processor TLB maintance operations only. When core/kernel
gets its memory mapped on demand, and unmapped again, the previous cross
processor flush routine doesn't work anymore, because of a hen-egg problem.
The previous cross processor broadcast is realized using a thread constructed
by core running on top of each processor core. When constructing threads in
core, a dataspace for its thread context is constructed. Each constructed
RAM dataspace gets attached, zeroed out, and detached again. The detach
routine requires a TLB flush operation executed on each processor core.
Instead of executing a thread on each processor core, now a thread waiting
for a global TLB flush is removed from the scheduler queue, and gets attached
to a TLB flush queue of each processor. The processor local queue gets checked
whenever the kernel is entered. The last processor, which executed the TLB
flush, re-attaches the blocked thread to its scheduler queue again.
To ease uo the above described mechanism, a platform thread is now directly
associated with a platform pd object, instead of just associate it with the
kernel pd's id.
Ref #723
2014-04-28 20:36:00 +02:00
|
|
|
* \author Stefan Kalkowski
|
2012-05-30 20:13:09 +02:00
|
|
|
* \date 2011-10-20
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2015-05-19 14:18:40 +02:00
|
|
|
* Copyright (C) 2011-2015 Genode Labs GmbH
|
2012-05-30 20:13:09 +02:00
|
|
|
*
|
|
|
|
* This file is part of the Genode OS framework, which is distributed
|
|
|
|
* under the terms of the GNU General Public License version 2.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* core includes */
|
2015-12-09 12:02:00 +01:00
|
|
|
#include <kernel/cpu.h>
|
2013-12-18 16:18:16 +01:00
|
|
|
|
|
|
|
|
|
|
|
extern "C" void kernel()
|
|
|
|
{
|
2015-12-09 12:02:00 +01:00
|
|
|
using namespace Kernel;
|
|
|
|
|
|
|
|
Cpu * const cpu = cpu_pool()->cpu(Cpu::executing_id());
|
|
|
|
cpu->scheduled_job().exception(cpu->id());
|
|
|
|
cpu->schedule().proceed(cpu->id());
|
2012-05-30 20:13:09 +02:00
|
|
|
}
|