|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Sigma0 request interface defintions. More...
#include "sigma0/consumer.h"#include "service/helper.h"#include "nul/message.h"#include "nul/baseprogram.h"#include "nul/error.h"#include "nul/config.h"Classes | |
| class | Sigma0Base |
| This class defines the legacy call interface to sigma0 services. More... | |
| struct | Sigma0Base::PutsRequest |
Typedefs | |
| typedef Consumer< MessageInput, STDIN_SIZE > | StdinConsumer |
| Stdin push interface. | |
| typedef Producer< MessageInput, STDIN_SIZE > | StdinProducer |
| typedef Consumer < MessageDiskCommit, DISKS_SIZE > | DiskConsumer |
| Disk push interface. | |
| typedef Producer < MessageDiskCommit, DISKS_SIZE > | DiskProducer |
| typedef PacketConsumer < NETWORK_SIZE > | NetworkConsumer |
| Network push interface. | |
| typedef PacketProducer < NETWORK_SIZE > | NetworkProducer |
Enumerations | |
| enum | { STDIN_SIZE = 32, DISKS_SIZE = 32, TIMER_SIZE = 32, NETWORK_SIZE = 1 << (20 - 2) } |
| Push interface sizes. More... | |
Sigma0 request interface defintions.
Copyright (C) 2008-2010, Bernhard Kauer bk@vmmon.org Economic rights: Technische Universitaet Dresden (Germany)
This file is part of Vancouver.
Vancouver.nova is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License version 2 as published by the Free Software Foundation.
Vancouver.nova is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License version 2 for more details.
| typedef Consumer<MessageDiskCommit, DISKS_SIZE> DiskConsumer |
Disk push interface.
| typedef Producer<MessageDiskCommit, DISKS_SIZE> DiskProducer |
| typedef PacketConsumer<NETWORK_SIZE> NetworkConsumer |
Network push interface.
| typedef PacketProducer<NETWORK_SIZE> NetworkProducer |
| typedef Consumer<MessageInput, STDIN_SIZE> StdinConsumer |
Stdin push interface.
| typedef Producer<MessageInput, STDIN_SIZE> StdinProducer |