OS-level session interfaces

Report session interface

Report sessions (Section Report) allow a component to propagate internal state to the outside. The most prominent use case is the realization of publisher-subscriber communication schemes as discussed in Section Publishing and subscribing.

Report::Session

Report::Connection

The client-side Reporter is a convenient front end for the use of a report connection to propagate XML-formed data.

Genode::Reporter

The Expanding_reporter further streamlines the generation of reports by eliminating the burden of handling Buffer_exceeded exceptions as thrown by the Xml_generator from components that generate reports. Such exceptions are easy to miss because reports are often small at testing time but become larger in complex scenarios. Whenever the report exceeds the current buffer size, the expanding reporter automatically upgrades the report session as needed. Note that such an upgrade consumes RAM quota. For components that strictly account RAM consumption to clients, the regular Reporter is preferable. However, in most cases - where reports are not accounted per client but to the component itself - the Expanding_reporter should better be used. Besides the builtin support for growing the report buffer, the expanding reporter alleviates the need to explicitly enable reports. In contrast to the Reporter, it is implicitly enabled at construction time.

Genode::Expanding_reporter

Terminal and UART session interfaces

A terminal session (Section Terminal and UART) is a bi-directional communication channel. The UART session interface supplements the terminal session interface with a facility to parametrize UART configuration parameters

Terminal::Session

Terminal::Connection

Uart::Session

Uart::Connection

Input session interface

An input session (Section Input) represents a stream of user-input events.

Input::Session

Input::Connection

Framebuffer session interface

Framebuffer::Mode

Framebuffer::Session

Framebuffer::Connection

Nitpicker session interface

Nitpicker::Session

Nitpicker::Connection

Platform session interface

Platform::Device

Platform::Session

Block session interface

Block::Packet_descriptor

Block::Session

Block::Connection

Regulator session interface

Regulator::Session

Regulator::Connection

Timer session interface

Timer::Session

Timer::Connection

The Periodic_timeout and One_shot_timeout classes provide a convenient API for implementing timeout handlers, following the same pattern as used for signal handlers (Section Signalling).

Timer::Periodic_timeout

Timer::One_shot_timeout

NIC session interface

Nic::Session

Nic::Connection

Audio-out session interface

Audio_out::Session

Audio_out::Connection

File-system session interface

The file-system session (Section File system) interface provides to store and retrieve data in the form of files organized in a hierarchic directory structure. Directory operations are performed via a synchronous RPC interface whereas the actual read and write operations are performed asynchronously using a packet stream.

repos/os/include/file_system_session/file_system_session.h

A file-system client issues read or write requests by submitting packet descriptors to the file-system session's packet stream. Each packet descriptor contains all parameters of the transaction including the type of operation, the seek offset, and the length.

File_system::Packet_descriptor

File_system::Session

File_system::Connection

The file-system session's status and control operations use the compound structures Status and Control as arguments. The format of the data retrieved by reading a directory node is defined by the Directory_entry.

File_system::Status

File_system::Control

File_system::Directory_entry