2011-12-22 15:19:25 +00:00
|
|
|
/*
|
|
|
|
* \brief Block-driver interface
|
|
|
|
* \author Christian Helmuth
|
|
|
|
* \author Sebastian Sumpf
|
2013-12-03 14:41:14 +00:00
|
|
|
* \author Stefan kalkowski
|
2011-12-22 15:19:25 +00:00
|
|
|
* \date 2011-05-23
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2013-01-10 20:44:47 +00:00
|
|
|
* Copyright (C) 2011-2013 Genode Labs GmbH
|
2011-12-22 15:19:25 +00: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 _INCLUDE__BLOCK__DRIVER_H_
|
|
|
|
#define _INCLUDE__BLOCK__DRIVER_H_
|
|
|
|
|
|
|
|
#include <base/exception.h>
|
|
|
|
#include <base/stdint.h>
|
2013-12-03 14:41:14 +00:00
|
|
|
#include <base/signal.h>
|
2011-12-22 15:19:25 +00:00
|
|
|
|
2013-02-18 09:30:29 +00:00
|
|
|
#include <ram_session/ram_session.h>
|
2014-02-06 14:23:17 +00:00
|
|
|
#include <block_session/rpc_object.h>
|
2011-12-22 15:19:25 +00:00
|
|
|
|
|
|
|
namespace Block {
|
2016-12-23 13:53:30 +00:00
|
|
|
class Driver_session_base;
|
2014-02-06 14:23:17 +00:00
|
|
|
class Driver_session;
|
|
|
|
class Driver;
|
2013-12-03 14:41:14 +00:00
|
|
|
struct Driver_factory;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2016-12-23 13:53:30 +00:00
|
|
|
struct Block::Driver_session_base
|
|
|
|
{
|
|
|
|
/**
|
|
|
|
* Acknowledges a packet processed by the driver to the client
|
|
|
|
*
|
|
|
|
* \param packet the packet to acknowledge
|
|
|
|
* \param success indicated whether the processing was successful
|
|
|
|
*
|
|
|
|
* \throw Ack_congestion
|
|
|
|
*/
|
|
|
|
virtual void ack_packet(Packet_descriptor &packet,
|
|
|
|
bool success) = 0;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
class Block::Driver_session : public Driver_session_base,
|
|
|
|
public Block::Session_rpc_object
|
2014-02-06 14:23:17 +00:00
|
|
|
{
|
|
|
|
public:
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructor
|
|
|
|
*
|
2017-01-09 14:18:49 +00:00
|
|
|
* \param rm region map of local address space, used to attach
|
|
|
|
* the packet-stream buffer to the local address space
|
2014-02-06 14:23:17 +00:00
|
|
|
* \param tx_ds dataspace used as communication buffer
|
|
|
|
* for the tx packet stream
|
|
|
|
* \param ep entry point used for packet-stream channel
|
|
|
|
*/
|
2017-01-09 14:18:49 +00:00
|
|
|
Driver_session(Genode::Region_map &rm,
|
|
|
|
Genode::Dataspace_capability tx_ds,
|
|
|
|
Genode::Rpc_entrypoint &ep)
|
|
|
|
: Session_rpc_object(rm, tx_ds, ep) { }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructor
|
|
|
|
*
|
|
|
|
* \deprecated
|
|
|
|
*/
|
2014-02-06 14:23:17 +00:00
|
|
|
Driver_session(Genode::Dataspace_capability tx_ds,
|
2017-01-09 14:18:49 +00:00
|
|
|
Genode::Rpc_entrypoint &ep) __attribute__((deprecated))
|
|
|
|
: Session_rpc_object(*Genode::env_deprecated()->rm_session(), tx_ds, ep) { }
|
2014-02-06 14:23:17 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2013-12-03 14:41:14 +00:00
|
|
|
/**
|
|
|
|
* Interface to be implemented by the device-specific driver code
|
|
|
|
*/
|
2014-02-06 14:23:17 +00:00
|
|
|
class Block::Driver
|
2013-12-03 14:41:14 +00:00
|
|
|
{
|
2014-02-06 14:23:17 +00:00
|
|
|
private:
|
|
|
|
|
2016-12-23 13:53:30 +00:00
|
|
|
Driver_session_base *_session = nullptr;
|
2014-02-06 14:23:17 +00:00
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Exceptions
|
|
|
|
*/
|
|
|
|
class Io_error : public ::Genode::Exception { };
|
|
|
|
class Request_congestion : public ::Genode::Exception { };
|
|
|
|
|
2015-01-06 14:02:26 +00:00
|
|
|
/**
|
|
|
|
* Destructor
|
|
|
|
*/
|
|
|
|
virtual ~Driver() { }
|
|
|
|
|
2014-02-06 14:23:17 +00:00
|
|
|
/**
|
|
|
|
* Request block size for driver and medium
|
|
|
|
*/
|
|
|
|
virtual Genode::size_t block_size() = 0;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Request capacity of medium in blocks
|
|
|
|
*/
|
|
|
|
virtual Block::sector_t block_count() = 0;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Request operations supported by the device
|
|
|
|
*/
|
|
|
|
virtual Session::Operations ops() = 0;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Read from medium
|
|
|
|
*
|
|
|
|
* \param block_number number of first block to read
|
|
|
|
* \param block_count number of blocks to read
|
|
|
|
* \param buffer output buffer for read request
|
|
|
|
* \param packet packet descriptor from the client
|
|
|
|
*
|
|
|
|
* \throw Request_congestion
|
|
|
|
*
|
|
|
|
* Note: should be overridden by DMA non-capable devices
|
|
|
|
*/
|
|
|
|
virtual void read(sector_t block_number,
|
|
|
|
Genode::size_t block_count,
|
|
|
|
char * buffer,
|
|
|
|
Packet_descriptor &packet) {
|
|
|
|
throw Io_error(); }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Write to medium
|
|
|
|
*
|
|
|
|
* \param block_number number of first block to write
|
|
|
|
* \param block_count number of blocks to write
|
|
|
|
* \param buffer buffer for write request
|
|
|
|
* \param packet packet descriptor from the client
|
|
|
|
*
|
|
|
|
* \throw Request_congestion
|
|
|
|
*
|
|
|
|
* Note: should be overridden by DMA non-capable, non-ROM devices
|
|
|
|
*/
|
|
|
|
virtual void write(sector_t block_number,
|
|
|
|
Genode::size_t block_count,
|
|
|
|
const char * buffer,
|
|
|
|
Packet_descriptor &packet) {
|
|
|
|
throw Io_error(); }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Read from medium using DMA
|
|
|
|
*
|
|
|
|
* \param block_number number of first block to read
|
|
|
|
* \param block_count number of blocks to read
|
|
|
|
* \param phys phyiscal address of read buffer
|
|
|
|
* \param packet packet descriptor from the client
|
|
|
|
*
|
|
|
|
* \throw Request_congestion
|
|
|
|
*
|
|
|
|
* Note: should be overridden by DMA capable devices
|
|
|
|
*/
|
|
|
|
virtual void read_dma(sector_t block_number,
|
|
|
|
Genode::size_t block_count,
|
|
|
|
Genode::addr_t phys,
|
|
|
|
Packet_descriptor &packet) {
|
|
|
|
throw Io_error(); }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Write to medium using DMA
|
|
|
|
*
|
|
|
|
* \param block_number number of first block to write
|
|
|
|
* \param block_count number of blocks to write
|
|
|
|
* \param phys physical address of write buffer
|
|
|
|
* \param packet packet descriptor from the client
|
|
|
|
*
|
|
|
|
* \throw Request_congestion
|
|
|
|
*
|
|
|
|
* Note: should be overridden by DMA capable, non-ROM devices
|
|
|
|
*/
|
|
|
|
virtual void write_dma(sector_t block_number,
|
|
|
|
Genode::size_t block_count,
|
|
|
|
Genode::addr_t phys,
|
|
|
|
Packet_descriptor &packet) {
|
|
|
|
throw Io_error(); }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Check if DMA is enabled for driver
|
|
|
|
*
|
|
|
|
* \return true if DMA is enabled, false otherwise
|
|
|
|
*
|
|
|
|
* Note: has to be overriden by DMA-capable devices
|
|
|
|
*/
|
|
|
|
virtual bool dma_enabled() { return false; }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Allocate buffer which is suitable for DMA.
|
|
|
|
*
|
|
|
|
* Note: has to be overriden by DMA-capable devices
|
|
|
|
*/
|
|
|
|
virtual Genode::Ram_dataspace_capability
|
|
|
|
alloc_dma_buffer(Genode::size_t size) {
|
|
|
|
return Genode::env()->ram_session()->alloc(size); }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Free buffer which is suitable for DMA.
|
|
|
|
*
|
|
|
|
* Note: has to be overriden by DMA-capable devices
|
|
|
|
*/
|
|
|
|
virtual void free_dma_buffer(Genode::Ram_dataspace_capability c) {
|
|
|
|
return Genode::env()->ram_session()->free(c); }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Synchronize with device.
|
|
|
|
*
|
|
|
|
* Note: should be overriden by (e.g. intermediate) components,
|
|
|
|
* which cache data
|
|
|
|
*/
|
|
|
|
virtual void sync() {}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Informs the driver that the client session was closed
|
|
|
|
*
|
|
|
|
* Note: drivers with state (e.g. asynchronously working)
|
2015-03-20 16:50:41 +00:00
|
|
|
* should override this method, and reset their internal state
|
2014-02-06 14:23:17 +00:00
|
|
|
*/
|
|
|
|
virtual void session_invalidated() { }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Set single session component of the driver
|
|
|
|
*
|
|
|
|
* Session might get used to acknowledge requests.
|
|
|
|
*/
|
2016-12-23 13:53:30 +00:00
|
|
|
void session(Driver_session_base *session) {
|
2014-02-06 14:23:17 +00:00
|
|
|
if (!(_session = session)) session_invalidated(); }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Acknowledge a packet after processing finished to the client
|
|
|
|
*
|
|
|
|
* \param p packet to acknowledge
|
|
|
|
*/
|
|
|
|
void ack_packet(Packet_descriptor &p, bool success = true) {
|
|
|
|
if (_session) _session->ack_packet(p, success); }
|
2013-12-03 14:41:14 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Interface for constructing the driver object
|
|
|
|
*/
|
|
|
|
struct Block::Driver_factory
|
|
|
|
{
|
|
|
|
/**
|
|
|
|
* Construct new driver
|
|
|
|
*/
|
|
|
|
virtual Driver *create() = 0;
|
2011-12-22 15:19:25 +00:00
|
|
|
|
|
|
|
/**
|
2013-12-03 14:41:14 +00:00
|
|
|
* Destroy driver
|
2011-12-22 15:19:25 +00:00
|
|
|
*/
|
2013-12-03 14:41:14 +00:00
|
|
|
virtual void destroy(Driver *driver) = 0;
|
|
|
|
};
|
2011-12-22 15:19:25 +00:00
|
|
|
|
|
|
|
#endif /* _BLOCK__DRIVER_H_ */
|