mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 02:28:54 +00:00
cfdbccc5c2
This is a redesign of the root and parent interfaces to eliminate blocking RPC calls. - New session representation at the parent (base/session_state.h) - base-internal root proxy mechanism as migration path - Redesign of base/service.h - Removes ancient 'Connection::KEEP_OPEN' feature - Interface change of 'Child', 'Child_policy', 'Slave', 'Slave_policy' - New 'Slave::Connection' - Changed child-construction procedure to be compatible with the non-blocking parent interface and to be easier to use - The child's initial LOG session, its binary ROM session, and the linker ROM session have become part of the child's envirenment. - Session upgrading must now be performed via 'env.upgrade' instead of performing a sole RPC call the parent. To make RAM upgrades easier, the 'Connection' provides a new 'upgrade_ram' method. Issue #2120
145 lines
3.5 KiB
C++
145 lines
3.5 KiB
C++
/*
|
|
* \brief RAM session interface
|
|
* \author Norman Feske
|
|
* \date 2006-05-11
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2006-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 _INCLUDE__RAM_SESSION__RAM_SESSION_H_
|
|
#define _INCLUDE__RAM_SESSION__RAM_SESSION_H_
|
|
|
|
#include <base/stdint.h>
|
|
#include <base/capability.h>
|
|
#include <base/exception.h>
|
|
#include <base/cache.h>
|
|
#include <dataspace/capability.h>
|
|
#include <ram_session/capability.h>
|
|
#include <session/session.h>
|
|
|
|
namespace Genode {
|
|
|
|
struct Ram_dataspace;
|
|
typedef Capability<Ram_dataspace> Ram_dataspace_capability;
|
|
|
|
struct Ram_session_client;
|
|
struct Ram_session;
|
|
}
|
|
|
|
|
|
struct Genode::Ram_dataspace : Dataspace { };
|
|
|
|
|
|
/**
|
|
* RAM session interface
|
|
*/
|
|
struct Genode::Ram_session : Session
|
|
{
|
|
static const char *service_name() { return "RAM"; }
|
|
|
|
typedef Ram_session_client Client;
|
|
|
|
|
|
/*********************
|
|
** Exception types **
|
|
*********************/
|
|
|
|
class Alloc_failed : public Exception { };
|
|
class Quota_exceeded : public Alloc_failed { };
|
|
class Out_of_metadata : public Alloc_failed { };
|
|
|
|
/**
|
|
* Destructor
|
|
*/
|
|
virtual ~Ram_session() { }
|
|
|
|
/**
|
|
* Allocate RAM dataspace
|
|
*
|
|
* \param size size of RAM dataspace
|
|
* \param cached selects cacheability attributes of the memory,
|
|
* uncached memory, i.e., for DMA buffers
|
|
*
|
|
* \throw Quota_exceeded
|
|
* \throw Out_of_metadata
|
|
* \return capability to new RAM dataspace
|
|
*/
|
|
virtual Ram_dataspace_capability alloc(size_t size,
|
|
Cache_attribute cached = CACHED) = 0;
|
|
|
|
/**
|
|
* Free RAM dataspace
|
|
*
|
|
* \param ds dataspace capability as returned by alloc
|
|
*/
|
|
virtual void free(Ram_dataspace_capability ds) = 0;
|
|
|
|
/**
|
|
* Define reference account for the RAM session
|
|
*
|
|
* \param ram_session reference account
|
|
*
|
|
* \return 0 on success
|
|
*
|
|
* Each RAM session requires another RAM session as reference
|
|
* account to transfer quota to and from. The reference account can
|
|
* be defined only once.
|
|
*/
|
|
virtual int ref_account(Ram_session_capability ram_session) = 0;
|
|
|
|
/**
|
|
* Transfer quota to another RAM session
|
|
*
|
|
* \param ram_session receiver of quota donation
|
|
* \param amount amount of quota to donate
|
|
* \return 0 on success
|
|
*
|
|
* Quota can only be transfered if the specified RAM session is
|
|
* either the reference account for this session or vice versa.
|
|
*/
|
|
virtual int transfer_quota(Ram_session_capability ram_session, size_t amount) = 0;
|
|
|
|
/**
|
|
* Return current quota limit
|
|
*/
|
|
virtual size_t quota() = 0;
|
|
|
|
/**
|
|
* Return used quota
|
|
*/
|
|
virtual size_t used() = 0;
|
|
|
|
/**
|
|
* Return amount of available quota
|
|
*/
|
|
size_t avail()
|
|
{
|
|
size_t q = quota(), u = used();
|
|
return q > u ? q - u : 0;
|
|
}
|
|
|
|
|
|
/*********************
|
|
** RPC declaration **
|
|
*********************/
|
|
|
|
GENODE_RPC_THROW(Rpc_alloc, Ram_dataspace_capability, alloc,
|
|
GENODE_TYPE_LIST(Quota_exceeded, Out_of_metadata),
|
|
size_t, Cache_attribute);
|
|
GENODE_RPC(Rpc_free, void, free, Ram_dataspace_capability);
|
|
GENODE_RPC(Rpc_ref_account, int, ref_account, Ram_session_capability);
|
|
GENODE_RPC(Rpc_transfer_quota, int, transfer_quota, Ram_session_capability, size_t);
|
|
GENODE_RPC(Rpc_quota, size_t, quota);
|
|
GENODE_RPC(Rpc_used, size_t, used);
|
|
|
|
GENODE_RPC_INTERFACE(Rpc_alloc, Rpc_free, Rpc_ref_account,
|
|
Rpc_transfer_quota, Rpc_quota, Rpc_used);
|
|
};
|
|
|
|
#endif /* _INCLUDE__RAM_SESSION__RAM_SESSION_H_ */
|