GNUnet is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published
- by the Free Software Foundation; either version 2, or (at your
+ by the Free Software Foundation; either version 3, or (at your
option) any later version.
GNUnet is distributed in the hope that it will be useful, but
#define GNUNET_SERVICE_SET_H_PRIVATE
#include "platform.h"
-#include "gnunet_common.h"
+#include "gnunet_util_lib.h"
#include "gnunet_protocols.h"
#include "gnunet_applications.h"
-#include "gnunet_util_lib.h"
#include "gnunet_core_service.h"
-#include "gnunet_mesh2_service.h"
+#include "gnunet_mesh_service.h"
#include "gnunet_set_service.h"
#include "set.h"
-/* FIXME: cfuchs */
-struct IntersectionState;
-
-
-/* FIXME: cfuchs */
-struct IntersectionOperation;
-
-
/**
- * Extra state required for set union.
+ * Implementation-specific set state.
+ * Used as opaque pointer, and specified further
+ * in the respective implementation.
*/
-struct UnionState;
-
-/**
- * State of a union operation being evaluated.
- */
-struct UnionEvaluateOperation;
-
+struct SetState;
/**
- * A set that supports a specific operation
- * with other peers.
+ * Implementation-specific set operation.
+ * Used as opaque pointer, and specified further
+ * in the respective implementation.
*/
-struct Set
-{
- /**
- * Client that owns the set.
- * Only one client may own a set.
- */
- struct GNUNET_SERVER_Client *client;
-
- /**
- * Message queue for the client
- */
- struct GNUNET_MQ_Handle *client_mq;
-
- /**
- * Type of operation supported for this set
- */
- uint32_t operation; // use enum from API
-
- /**
- * Sets are held in a doubly linked list.
- */
- struct Set *next;
+struct OperationState;
- /**
- * Sets are held in a doubly linked list.
- */
- struct Set *prev;
- /**
- * Appropriate state for each type of
- * operation.
- */
- union {
- struct IntersectionState *i;
- struct UnionState *u;
- } state;
-};
+/* forward declarations */
+struct Set;
+struct TunnelContext;
+struct ElementEntry;
/**
};
+
+
+/**
+ * Signature of functions that create the implementation-specific
+ * state for a set supporting a specific operation.
+ *
+ * @return a set state specific to the supported operation
+ */
+typedef struct SetState *(*CreateImpl) (void);
+
+
+/**
+ * Signature of functions that implement the add/remove functionality
+ * for a set supporting a specific operation.
+ *
+ * @param set implementation-specific set state
+ * @param msg element message from the client
+ */
+typedef void (*AddRemoveImpl) (struct SetState *state, struct ElementEntry *ee);
+
+
+/**
+ * Signature of functions that handle disconnection
+ * of the remote peer.
+ *
+ * @param op the set operation, contains implementation-specific data
+ */
+typedef void (*PeerDisconnectImpl) (struct OperationState *op);
+
+
+/**
+ * Signature of functions that implement the destruction of the
+ * implementation-specific set state.
+ *
+ * @param state the set state, contains implementation-specific data
+ */
+typedef void (*DestroySetImpl) (struct SetState *state);
+
+
+/**
+ * Signature of functions that implement the creation of set operations
+ * (currently evaluate and accept).
+ *
+ * @param spec specification of the set operation to be created
+ * @param tunnel the tunnel with the other peer
+ * @param tc tunnel context
+ */
+typedef void (*OpCreateImpl) (struct OperationSpecification *spec,
+ struct GNUNET_MESH_Tunnel *tunnel,
+ struct TunnelContext *tc);
+
+
+/**
+ * Signature of functions that implement the message handling for
+ * the different set operations.
+ *
+ * @param op operation state
+ * @param msg received message
+ * @return GNUNET_OK on success, GNUNET_SYSERR to
+ * destroy the operation and the tunnel
+ */
+typedef int (*MsgHandlerImpl) (struct OperationState *op,
+ const struct GNUNET_MessageHeader *msg);
+
+typedef void (*CancelImpl) (struct SetState *set,
+ uint32_t request_id);
+
+
+/**
+ * Signature of functions that implement sending all the set's
+ * elements to the client.
+ *
+ * @param set set that should be iterated over
+ */
+typedef void (*IterateImpl) (struct Set *set);
+
+
/**
- * A listener is inhabited by a client, and
- * waits for evaluation requests from remote peers.
+ * Dispatch table for a specific set operation.
+ * Every set operation has to implement the callback
+ * in this struct.
*/
-struct Listener
+struct SetVT
{
/**
- * Listeners are held in a doubly linked list.
+ * Callback for the set creation.
*/
- struct Listener *next;
+ CreateImpl create;
/**
- * Listeners are held in a doubly linked list.
+ * Callback for element insertion
*/
- struct Listener *prev;
+ AddRemoveImpl add;
/**
- * Client that owns the listener.
- * Only one client may own a listener.
+ * Callback for element removal.
*/
- struct GNUNET_SERVER_Client *client;
+ AddRemoveImpl remove;
/**
- * Message queue for the client
+ * Callback for accepting a set operation request
*/
- struct GNUNET_MQ_Handle *client_mq;
+ OpCreateImpl accept;
/**
- * The type of the operation.
+ * Callback for starting evaluation with a remote peer.
*/
- enum GNUNET_SET_OperationType operation;
+ OpCreateImpl evaluate;
/**
- * Application ID for the operation, used to distinguish
- * multiple operations of the same type with the same peer.
+ * Callback for destruction of the set state.
*/
- struct GNUNET_HashCode app_id;
-};
-
-
-/**
- * Peer that has connected to us, but is not yet evaluating a set operation.
- * Once the peer has sent a request, and the client has
- * accepted or rejected it, this information will be deleted.
- */
-struct Incoming;
+ DestroySetImpl destroy_set;
+ /**
+ * Callback for handling operation-specific messages.
+ */
+ MsgHandlerImpl msg_handler;
-/**
- * Different types a tunnel can be.
- */
-enum TunnelContextType
-{
/**
- * Tunnel is waiting for a set request from the tunnel,
- * or for the ack/nack of the client for a received request.
+ * Callback for handling the remote peer's
+ * disconnect.
*/
- CONTEXT_INCOMING,
+ PeerDisconnectImpl peer_disconnect;
/**
- * The tunnel performs a union operation.
+ * Callback for canceling an operation by
+ * its ID.
*/
- CONTEXT_OPERATION_UNION,
+ CancelImpl cancel;
/**
- * The tunnel performs an intersection operation.
+ * Callback for iterating over all set elements.
*/
- CONTEXT_OPERATION_INTERSECTION,
+ IterateImpl iterate;
};
/**
- * State associated with the tunnel, dependent on
- * tunnel type.
+ * Information about an element element in the set.
+ * All elements are stored in a hash-table
+ * from their hash-code to their 'struct Element',
+ * so that the remove and add operations are reasonably
+ * fast.
*/
-union TunnelContextData
+struct ElementEntry
{
/**
- * Valid for tag 'CONTEXT_INCOMING'
+ * The actual element. The data for the element
+ * should be allocated at the end of this struct.
*/
- struct Incoming *incoming;
+ struct GNUNET_SET_Element element;
/**
- * Valid for tag 'CONTEXT_OPERATION_UNION'
+ * Hash of the element.
+ * Will be used to derive the different IBF keys
+ * for different salts.
*/
- struct UnionEvaluateOperation *union_op;
+ struct GNUNET_HashCode element_hash;
/**
- * Valid for tag 'CONTEXT_OPERATION_INTERSECTION'
+ * Generation the element was added by the client.
+ * Operations of earlier generations will not consider the element.
*/
- struct IntersectionEvaluateOperation *intersection_op;
-};
+ unsigned int generation_added;
+ /**
+ * GNUNET_YES if the element has been removed in some generation.
+ */
+ int removed;
-/**
- * Information about a tunnel we are connected to.
- * Used as tunnel context with mesh.
- */
-struct TunnelContext
-{
/**
- * Type of the tunnel.
+ * Generation the element was removed by the client.
+ * Operations of later generations will not consider the element.
+ * Only valid if is_removed is GNUNET_YES.
*/
- enum TunnelContextType type;
+ unsigned int generation_removed;
/**
- * State associated with the tunnel, dependent on
- * tunnel type.
+ * GNUNET_YES if the element is a remote element, and does not belong
+ * to the operation's set.
*/
- union TunnelContextData data;
+ int remote;
};
-
/**
- * Configuration of the local peer.
- */
-extern const struct GNUNET_CONFIGURATION_Handle *configuration;
-
-/**
- * Handle to the mesh service.
+ * A set that supports a specific operation
+ * with other peers.
*/
-extern struct GNUNET_MESH_Handle *mesh;
-
+struct Set
+{
+ /**
+ * Client that owns the set.
+ * Only one client may own a set.
+ */
+ struct GNUNET_SERVER_Client *client;
-/**
- * Create a new set supporting the union operation
- *
- * @return the newly created set
- */
-struct Set *
-_GSS_union_set_create (void);
+ /**
+ * Message queue for the client
+ */
+ struct GNUNET_MQ_Handle *client_mq;
+ /**
+ * Type of operation supported for this set
+ */
+ enum GNUNET_SET_OperationType operation;
-/**
- * Evaluate a union operation with
- * a remote peer.
- *
- * @param spec specification of the operation the evaluate
- * @param tunnel tunnel already connected to the partner peer
- * @return a handle to the operation
- */
-struct UnionEvaluateOperation *
-_GSS_union_evaluate (struct OperationSpecification *spec,
- struct GNUNET_MESH_Tunnel *tunnel);
+ /**
+ * Virtual table for this set.
+ * Determined by the operation type of this set.
+ */
+ const struct SetVT *vt;
+ /**
+ * Sets are held in a doubly linked list.
+ */
+ struct Set *next;
-/**
- * Add the element from the given element message to the set.
- *
- * @param m message with the element
- * @param set set to add the element to
- */
-void
-_GSS_union_add (struct GNUNET_SET_ElementMessage *m, struct Set *set);
+ /**
+ * Sets are held in a doubly linked list.
+ */
+ struct Set *prev;
+ /**
+ * Implementation-specific state.
+ */
+ struct SetState *state;
-/**
- * Remove the element given in the element message from the set.
- * Only marks the element as removed, so that older set operations can still exchange it.
- *
- * @param m message with the element
- * @param set set to remove the element from
- */
-void
-_GSS_union_remove (struct GNUNET_SET_ElementMessage *m, struct Set *set);
+ /**
+ * Current state of iterating elements for the client.
+ * NULL if we are not currently iterating.
+ */
+ struct GNUNET_CONTAINER_MultiHashMapIterator *iter;
+ /**
+ * Maps 'struct GNUNET_HashCode' to 'struct ElementEntry'.
+ */
+ struct GNUNET_CONTAINER_MultiHashMap *elements;
-/**
- * Destroy a set that supports the union operation
- *
- * @param set the set to destroy, must be of type GNUNET_SET_OPERATION_UNION
- */
-void
-_GSS_union_set_destroy (struct Set *set);
+ /**
+ * Current generation, that is, number of
+ * previously executed operations on this set
+ */
+ unsigned int current_generation;
+};
/**
- * Accept an union operation request from a remote peer
- *
- * @param spec all necessary information about the operation
- * @param tunnel open tunnel to the partner's peer
- * @return operation
+ * Information about a tunnel we are connected to.
+ * Used as tunnel context with mesh.
*/
-struct UnionEvaluateOperation *
-_GSS_union_accept (struct OperationSpecification *spec,
- struct GNUNET_MESH_Tunnel *tunnel);
-
+struct TunnelContext
+{
+ /**
+ * V-Table for the operation belonging
+ * to the tunnel contest.
+ */
+ const struct SetVT *vt;
-/**
- * Destroy a union operation, and free all resources
- * associated with it.
- *
- * @param eo the union operation to destroy
- */
-void
-_GSS_union_operation_destroy (struct UnionEvaluateOperation *eo);
+ /**
+ * Implementation-specific operation state.
+ */
+ struct OperationState *op;
+};
/**
- * Dispatch messages for a union operation.
- *
- * @param cls closure
- * @param tunnel mesh tunnel
- * @param tunnel_ctx tunnel context
- * @param mh message to process
- * @return GNUNET_SYSERR if the tunnel should be disconnected,
- * GNUNET_OK otherwise
+ * Get the table with implementing functions for
+ * set union.
*/
-int
-_GSS_union_handle_p2p_message (void *cls,
- struct GNUNET_MESH_Tunnel *tunnel,
- void **tunnel_ctx,
- const struct GNUNET_MessageHeader *mh);
+const struct SetVT *
+_GSS_union_vt (void);
#endif