2011-12-22 16:19:25 +01:00
|
|
|
/*
|
|
|
|
* \brief L4/Fiasco protection domain facility
|
|
|
|
* \author Christian Helmuth
|
|
|
|
* \date 2006-04-11
|
|
|
|
*
|
|
|
|
* Protection domains are L4 tasks under Fiasco and serve as base
|
|
|
|
* container for the platform.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2012-01-03 15:35:05 +01:00
|
|
|
* Copyright (C) 2006-2012 Genode Labs GmbH
|
2011-12-22 16:19:25 +01:00
|
|
|
*
|
|
|
|
* 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__INCLUDE__PLATFORM_PD_H_
|
|
|
|
#define _CORE__INCLUDE__PLATFORM_PD_H_
|
|
|
|
|
|
|
|
#include <platform_thread.h>
|
|
|
|
|
|
|
|
namespace Fiasco {
|
|
|
|
#include <l4/sys/types.h>
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace Genode {
|
|
|
|
|
|
|
|
class Platform_thread;
|
|
|
|
class Platform_pd
|
|
|
|
{
|
|
|
|
private:
|
|
|
|
|
|
|
|
enum {
|
|
|
|
VERSION_BITS = 10,
|
|
|
|
PD_FIRST = 0x10,
|
|
|
|
PD_MAX = (1 << 11) - 1, /* leave 0x7ff free for L4_INVALID_ID */
|
|
|
|
PD_VERSION_MAX = (1 << 10) - 1,
|
|
|
|
PD_INVALID = -1,
|
|
|
|
THREAD_MAX = (1 << 7),
|
|
|
|
};
|
|
|
|
|
|
|
|
unsigned _pd_id; /* plain pd number */
|
|
|
|
unsigned _version; /* version number */
|
|
|
|
|
|
|
|
Fiasco::l4_taskid_t _l4_task_id; /* L4 task ID */
|
|
|
|
|
|
|
|
|
|
|
|
/**********************************************
|
|
|
|
** Threads of this protection domain object **
|
|
|
|
**********************************************/
|
|
|
|
|
|
|
|
Platform_thread *_threads[THREAD_MAX];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Initialize thread allocator
|
|
|
|
*/
|
|
|
|
void _init_threads();
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Thread iteration for one task
|
|
|
|
*/
|
|
|
|
Platform_thread *_next_thread();
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Thread allocation
|
|
|
|
*
|
|
|
|
* Again a special case for Core thread0.
|
|
|
|
*/
|
|
|
|
int _alloc_thread(int thread_id, Platform_thread *thread);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Thread deallocation
|
|
|
|
*
|
|
|
|
* No special case for Core thread0 here - we just never call it.
|
|
|
|
*/
|
|
|
|
void _free_thread(int thread_id);
|
|
|
|
|
|
|
|
|
|
|
|
/******************
|
|
|
|
** PD allocator **
|
|
|
|
******************/
|
|
|
|
|
|
|
|
struct Pd_alloc
|
|
|
|
{
|
|
|
|
unsigned reserved : 1;
|
|
|
|
unsigned free : 1;
|
|
|
|
unsigned version : VERSION_BITS;
|
|
|
|
|
|
|
|
Pd_alloc(bool r, bool f, unsigned v)
|
|
|
|
: reserved(r), free(f), version(v) { }
|
|
|
|
|
|
|
|
Pd_alloc() : reserved(0), free(0), version(0) { }
|
|
|
|
};
|
|
|
|
|
|
|
|
static Pd_alloc *_pds()
|
|
|
|
{
|
|
|
|
static Pd_alloc static_pds[PD_MAX];
|
|
|
|
return static_pds;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Protection-domain creation
|
|
|
|
*
|
|
|
|
* The syscall parameter propagates if any L4 kernel function
|
|
|
|
* should be used. We need the special case for the Core startup.
|
|
|
|
*/
|
|
|
|
void _create_pd(bool syscall);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Protection domain destruction
|
|
|
|
*
|
|
|
|
* No special case for Core here - we just never call it.
|
|
|
|
*/
|
|
|
|
void _destroy_pd();
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Protection domain allocation
|
|
|
|
*
|
|
|
|
* Find free L4 task and use it. We need the special case for Core
|
|
|
|
* startup.
|
|
|
|
*/
|
|
|
|
int _alloc_pd(signed pd_id);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Protection domain deallocation
|
|
|
|
*
|
|
|
|
* No special case for Core here - we just never call it.
|
|
|
|
*/
|
|
|
|
void _free_pd();
|
|
|
|
|
|
|
|
|
|
|
|
/***************
|
|
|
|
** Debugging **
|
|
|
|
***************/
|
|
|
|
|
|
|
|
void _debug_log_pds(void);
|
|
|
|
void _debug_log_threads(void);
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructor
|
|
|
|
*/
|
|
|
|
Platform_pd(signed pd_id = PD_INVALID, bool create = true);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Destructor
|
|
|
|
*/
|
|
|
|
~Platform_pd();
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Initialize L4 task facility
|
|
|
|
*/
|
|
|
|
static void init();
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Bind thread to protection domain
|
|
|
|
*
|
|
|
|
* \return 0 on success or
|
|
|
|
* -1 if thread ID allocation failed.
|
|
|
|
*
|
|
|
|
* This function allocates the physical L4 thread ID.
|
|
|
|
*/
|
|
|
|
int bind_thread(Platform_thread *thread);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Unbind thread from protection domain
|
|
|
|
*
|
|
|
|
* Free the thread's slot and update thread object.
|
|
|
|
*/
|
|
|
|
void unbind_thread(Platform_thread *thread);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Assign parent interface to protection domain
|
|
|
|
*/
|
|
|
|
int assign_parent(Native_capability parent) { return 0; }
|
|
|
|
|
|
|
|
int pd_id() const { return _pd_id; }
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* _CORE__INCLUDE__PLATFORM_PD_H_ */
|