History log of /barrelfish-master/if/octopus.if
Revision Date Author Comments
# 9bd8d1d5 03-Apr-2019 Reto Achermann <reto.achermann@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>


# bce5518c 21-Sep-2017 Roni Häcki <roni.haecki@inf.ethz.ch>

octopus: skb queries increased buffer size

Sometimes tests seem to fail because the buffer length is 4097 bytes
large and we have maximum of 4096.

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>


# 524dcea4 20-Apr-2017 Gerd Zellweger <mail@gerdzellweger.com>

Add functionality to store caps with unique IDs.

This is similar to set_sequential in octopus that
allows to have unique record names generated by
the server.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>


# 2b52263f 22-Aug-2016 Simon Gerber <simon.gerber@inf.ethz.ch>

octopus: Use flounder definitions to specify size of result buffer

Increase response buffer size to 4096 in interface, and use interface
definitions to define size of skb result buffer, this is a stopgap measure
before we figure out a new unlimited interface for querying the SKB (directly
or through octopus) over the new fixed-size buffer flounder infrastructure.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 6992090a 26-Jul-2016 Adam Turowski <adam.turowski@inf.ethz.ch>

Adding maximum size to variable arrays in flounder definitions. Converting
one TArray to normal arguments.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>


# 1af1ade7 25-Jun-2013 Raphael Fuchs <fuchs.raphael@gmail.com>

Octopus: Add ability to set and get records by id capability.

The intent with this patch is that only someone possesing a certain id cap
can retrieve records that were stored with this id cap.

To this end, two new functions were added to the client interface of octopus:

* oct_set_with_idcap(struct capref idcap, const char *attributes, ...)
Sets a record using the id capability as the key/name of the record.

* oct_get_with_idcap(char **data, struct capref idcap)
Retrieves a record using the id capability as the key/name.

Note that octopus and the SKB do not support dedicated namespaces atm.
Therefore a record saved with oct_set_with_idcap() could be retrieved by
oct_get().

Moreover, format octopus.if to 80 columns.


# f287d9ee 16-Mar-2012 Gerd Zellweger <zgerd@student.ethz.ch>

Renaming errors and header defines...

--HG--
branch : octopus.renaming


# c9839567 16-Mar-2012 Gerd Zellweger <zgerd@student.ethz.ch>

rename dist2 interface to octopus

--HG--
branch : octopus.renaming
rename : if/dist2.if => if/octopus.if