//
rpc get_identifier(out uint64 id);
rpc identify(in uint64 id, in binding_type type);
-
-
+
+
//
// Get/Set API
//
/**
* \param query Records to find.
* \param t Additional trigger to watch for future events.
- * \param output Comma separated string of record names or NULL on error.
+ * \param output Comma separated String of record names or NULL on error.
* \param tid Id of registered trigger (0 in case no trigger registered).
* \param error_code Error value of request.
*/
- rpc get_names(in string query, in trigger t, out string output,
+ rpc get_names(in String query[8192], in trigger t, out String output[8192],
out trigger_id tid, out errval error_code);
-
+
/**
* \param query Record to find.
* \param t Additional trigger to watch for future events.
* \param tid Id of registered trigger (0 in case no trigger registered).
* \param error_code Error value of request.
*/
- rpc get(in string query, in trigger t, out string output,
+ rpc get(in String query[8192], in trigger t, out String output[8192],
out trigger_id tid, out errval error_code);
-
+
/**
* \param query Record to set.
* \param mode Set mode (see getset.h).
* \param t Additional trigger to watch for future events.
* \param get Return record if it has been set.
- * \param record In case get is true and no error_code is ok
+ * \param record In case get is true and no error_code is ok
* contains record, otherwise NULL
* \param tid Id of registered trigger (0 in case no trigger registered).
* \param error_code Error value of request
*/
- rpc set(in string query, in uint64 mode, in trigger t, in bool get,
- out string record, out trigger_id tid, out errval error_code);
+ rpc set(in String query[8192], in uint64 mode, in trigger t, in bool get,
+ out String record[8192], out trigger_id tid, out errval error_code);
/**
* Find a record using an ID capability as the key/name of the record.
* \param tid Id of registered trigger (0 in case no trigger registered).
* \param error_code Error value of request.
*/
- rpc get_with_idcap(in cap idcap, in trigger t, out string output,
+ rpc get_with_idcap(in cap idcap, in trigger t, out String output[8192],
out trigger_id tid, out errval error_code);
/**
* \param tid Id of registered trigger (0 in case no trigger registered).
* \param error_code Error value of request
*/
- rpc set_with_idcap(in cap idcap, in string attributes, in uint64 mode,
- in trigger t, in bool get, out string record,
+ rpc set_with_idcap(in cap idcap, in String attributes[2048], in uint64 mode,
+ in trigger t, in bool get, out String record[2048],
out trigger_id tid, out errval error_code);
-
+
/**
* \param query Record(s) to delete.
* \param t Additional trigger to watch for future events.
* \param tid Id of registered trigger (0 in case no trigger registered).
* \param error_code Error value of request
*/
- rpc del(in string query, in trigger t, out trigger_id tid,
+ rpc del(in String query[8192], in trigger t, out trigger_id tid,
out errval error_code);
-
+
/**
* \param query
* \param t Additional trigger to watch for future events.
* \param tid Id of registered trigger (0 in case no trigger registered).
* \param error_code Error value of request.
*/
- rpc exists(in string query, in trigger t, out trigger_id tid,
+ rpc exists(in String query[8192], in trigger t, out trigger_id tid,
out errval error_code);
-
+
/**
* \brief Blocks until a record matching the provided query is registered.
*
* \param record
* \param error_code
*/
- rpc wait_for(in string query, out string record, out errval error_code);
-
+ rpc wait_for(in String query[8192], out String record[2048], out errval error_code);
+
/**
* \brief Used to remove Triggers in case they are not needed anymore.
*
- * Note that non persistent trigger are removed automatically after
+ * Note that non persistent trigger are removed automatically after
* they have fired. For persistent triggers be aware that you might
* still get a notification after the trigger has been removed because
* trigger events are sent over another binding.
* \param error_code Error of operation
*/
rpc remove_trigger(in uint64 id, out errval error_code);
-
+
//
// Publish/Subscribe API
//
-
+
/**
* \param query
* \param client_state Additional state supplied by client.
* \param id Identifier for this subscription supplied by server.
* \param error_code Status of request.
*/
- rpc subscribe(in string query, in uint64 trigger_fn, in uint64 state,
+ rpc subscribe(in String query[8192], in uint64 trigger_fn, in uint64 state,
out uint64 id, out errval error_code);
-
+
/**
* \param id Id for the subscription
* \param error_code Status of request
*/
rpc unsubscribe(in uint64 id, out errval error_code);
-
+
/**
* \param record Message to publish.
* \param error_code Status of request.
*/
- rpc publish(in string record, out errval error_code);
+ rpc publish(in String record[2048], out errval error_code);
//
// Async events (sent by server to client)
//
- message trigger(trigger_id id, uint64 trigger_fn, mode m, string record,
+ message trigger(trigger_id id, uint64 trigger_fn, mode m, String record[2048],
uint64 state);
message subscription(trigger_id id, uint64 trigger_fn, mode m,
- string record, uint64 state);
-
+ String record[2048], uint64 state);
+
//
// Backward compability with chips
//
-
+
// Simple capability storage
- rpc get_cap(in string key, out cap retcap, out errval reterr);
- rpc put_cap(in string key, in cap storecap, out errval reterr);
- rpc remove_cap(in string key, out errval reterr);
+ rpc get_cap(in String key[256], out cap retcap, out errval reterr);
+ rpc put_cap(in String key[256], in cap storecap, out errval reterr);
+ rpc sput_cap(in String key[256], in cap storecap, out String retkey[256], out errval reterr);
+ rpc remove_cap(in String key[256], out errval reterr);
};
projects / barrelfish / blobdiff