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
*/
#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_set_service.h"
#include "gnunet_consensus_service.h"
#include "consensus_protocol.h"
/**
* Log macro that prefixes the local peer and the peer we are in contact with.
+ *
+ * @param kind log level
+ * @param cpi ConsensusPeerInformation of the partner peer
+ * @param m log message
*/
#define LOG_PP(kind, cpi, m,...) GNUNET_log (kind, "P%d for P%d: " m, \
cpi->session->local_peer_idx, (int) (cpi - cpi->session->info),##__VA_ARGS__)
/**
* Number of exponential rounds, used in the exp and completion round.
*/
-#define NUM_EXP_ROUNDS 4
+#define NUM_EXP_REPETITIONS 4
+
/* forward declarations */
*/
CONSENSUS_ROUND_EXCHANGE,
/**
- * Exchange which elements each peer has, but don't
- * transmit the element's data, only their SHA-512 hashes.
- * This round uses the all-to-all scheme.
- */
- CONSENSUS_ROUND_INVENTORY,
- /**
- * Collect and distribute missing values with the exponential scheme.
+ * Collect and distribute missing values.
*/
CONSENSUS_ROUND_COMPLETION,
/**
CONSENSUS_ROUND_FINISH
};
+
+/**
+ * Information about the current round.
+ */
+struct RoundInfo
+{
+ /**
+ * The current main round.
+ */
+ enum ConsensusRound round;
+ /**
+ * The current exp round repetition, valid if
+ * the main round is an exp round.
+ */
+ uint32_t exp_repetition;
+ /**
+ * The current exp subround, valid if
+ * the main round is an exp round.
+ */
+ uint32_t exp_subround;
+};
+
+
/**
* A consensus session consists of one local client and the remote authorities.
*/
/**
* Queued messages to the client.
*/
- struct GNUNET_MQ_MessageQueue *client_mq;
+ struct GNUNET_MQ_Handle *client_mq;
+
+ /**
+ * Time when the conclusion of the consensus should begin.
+ */
+ struct GNUNET_TIME_Absolute conclude_start;
/**
* Timeout for all rounds together, single rounds will schedule a timeout task
* with a fraction of the conclude timeout.
* Only valid once the current round is not CONSENSUS_ROUND_BEGIN.
*/
- struct GNUNET_TIME_Relative conclude_timeout;
-
+ struct GNUNET_TIME_Absolute conclude_deadline;
+
/**
- * Timeout task identifier for the current round.
+ * Timeout task identifier for the current round or subround.
*/
GNUNET_SCHEDULER_TaskIdentifier round_timeout_tid;
/**
* Permutation of peers for the current round,
- * maps logical index (for current round) to physical index (location in info array)
*/
uint32_t *shuffle;
+ /**
+ * Inverse permutation of peers for the current round,
+ */
+ uint32_t *shuffle_inv;
+
/**
* Current round of the exponential scheme.
*/
- uint32_t exp_round;
+ uint32_t exp_repetition;
/**
* Current sub-round of the exponential scheme.
uint32_t exp_subround;
/**
- * The partner for the current exp-round
+ * The partner for the current exp-round.
+ * The local peer will initiate the set reconciliation with the
+ * outgoing peer.
*/
struct ConsensusPeerInformation *partner_outgoing;
/**
* The partner for the current exp-round
+ * The incoming peer will initiate the set reconciliation with
+ * the incoming peer.
*/
struct ConsensusPeerInformation *partner_incoming;
struct ConsensusSession *session;
/**
- * We have finishes the exp-subround with the peer.
+ * Have we finished the set operation for this (sub-)round?
*/
- int exp_subround_finished;
+ int set_op_finished;
/**
* Set operation we are currently executing with this peer.
struct GNUNET_SET_OperationHandle *set_op;
/**
- * Has conclude been called on the set_op?
+ * Set operation we are planning on executing with this peer.
+ */
+ struct GNUNET_SET_OperationHandle *delayed_set_op;
+
+ /**
+ * Info about the round of the delayed set operation.
*/
- int set_op_concluded;
+ struct RoundInfo delayed_round_info;
};
static struct GNUNET_PeerIdentity my_peer;
+/**
+ * Check if the current subround has finished.
+ * Must only be called when an exp-round is the current round.
+ *
+ * @param session session to check for exp-round completion
+ * @return GNUNET_YES if the subround has finished,
+ * GNUNET_NO if not
+ */
static int
have_exp_subround_finished (const struct ConsensusSession *session)
{
int not_finished;
+
+ GNUNET_assert (CONSENSUS_ROUND_EXCHANGE == session->current_round);
+
not_finished = 0;
- if ( (NULL != session->partner_outgoing) &&
- (GNUNET_NO == session->partner_outgoing->exp_subround_finished) )
+ if ( (NULL != session->partner_outgoing) &&
+ (GNUNET_NO == session->partner_outgoing->set_op_finished) )
not_finished++;
if ( (NULL != session->partner_incoming) &&
- (GNUNET_NO == session->partner_incoming->exp_subround_finished) )
+ (GNUNET_NO == session->partner_incoming->set_op_finished) )
not_finished++;
if (0 == not_finished)
return GNUNET_YES;
}
-
-
/**
* Destroy a session, free all resources associated with it.
- *
+ *
* @param session the session to destroy
*/
static void
int i;
GNUNET_CONTAINER_DLL_remove (sessions_head, sessions_tail, session);
+ if (NULL != session->element_set)
+ {
+ GNUNET_SET_destroy (session->element_set);
+ session->element_set = NULL;
+ }
+ if (NULL != session->set_listener)
+ {
+ GNUNET_SET_listen_cancel (session->set_listener);
+ session->set_listener = NULL;
+ }
if (NULL != session->client_mq)
{
GNUNET_MQ_destroy (session->client_mq);
session->client_mq = NULL;
}
+ if (NULL != session->client)
+ {
+ GNUNET_SERVER_client_disconnect (session->client);
+ session->client = NULL;
+ }
if (NULL != session->shuffle)
{
GNUNET_free (session->shuffle);
session->shuffle = NULL;
}
+ if (NULL != session->shuffle_inv)
+ {
+ GNUNET_free (session->shuffle_inv);
+ session->shuffle_inv = NULL;
+ }
if (NULL != session->info)
{
for (i = 0; i < session->num_peers; i++)
{
struct ConsensusPeerInformation *cpi;
cpi = &session->info[i];
- GNUNET_free (cpi);
+ if (NULL != cpi->set_op)
+ {
+ GNUNET_SET_operation_cancel (cpi->set_op);
+ cpi->set_op = NULL;
+ }
}
GNUNET_free (session->info);
session->info = NULL;
}
+/**
+ * Iterator for set elements.
+ *
+ * @param cls closure
+ * @param element the current element, NULL if all elements have been
+ * iterated over
+ * @return GNUNET_YES to continue iterating, GNUNET_NO to stop.
+ */
+static int
+send_to_client_iter (void *cls,
+ const struct GNUNET_SET_Element *element)
+{
+ struct ConsensusSession *session = cls;
+ struct GNUNET_MQ_Envelope *ev;
+
+ if (NULL != element)
+ {
+ struct GNUNET_CONSENSUS_ElementMessage *m;
+
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d: got element for client\n",
+ session->local_peer_idx);
+
+ ev = GNUNET_MQ_msg_extra (m, element->size, GNUNET_MESSAGE_TYPE_CONSENSUS_CLIENT_RECEIVED_ELEMENT);
+ m->element_type = htons (element->type);
+ memcpy (&m[1], element->data, element->size);
+ GNUNET_MQ_send (session->client_mq, ev);
+ }
+ else
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d: finished iterating elements for client\n",
+ session->local_peer_idx);
+ ev = GNUNET_MQ_msg_header (GNUNET_MESSAGE_TYPE_CONSENSUS_CLIENT_CONCLUDE_DONE);
+ GNUNET_MQ_send (session->client_mq, ev);
+ }
+ return GNUNET_YES;
+}
+
+
/**
* Start the next round.
* This function can be invoked as a timeout task, or called manually (tc will be NULL then).
* @param tc task context, for when this task is invoked by the scheduler,
* NULL if invoked for another reason
*/
-static void
+static void
round_over (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
{
struct ConsensusSession *session;
+ unsigned int i;
+ int res;
/* don't kick off next round if we're shutting down */
if ((NULL != tc) && (tc->reason & GNUNET_SCHEDULER_REASON_SHUTDOWN))
return;
session = cls;
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "P%d: round over\n", session->local_peer_idx);
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d: round over\n", session->local_peer_idx);
+
+ if (tc != NULL)
+ session->round_timeout_tid = GNUNET_SCHEDULER_NO_TASK;
if (session->round_timeout_tid != GNUNET_SCHEDULER_NO_TASK)
{
session->round_timeout_tid = GNUNET_SCHEDULER_NO_TASK;
}
+ for (i = 0; i < session->num_peers; i++)
+ {
+ if (NULL != session->info[i].set_op)
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d: canceling stray op with P%d\n",
+ session->local_peer_idx, i);
+ GNUNET_SET_operation_cancel (session->info[i].set_op);
+ session->info[i].set_op = NULL;
+ }
+ /* we're in the new round, nothing finished yet */
+ session->info[i].set_op_finished = GNUNET_NO;
+ }
+
switch (session->current_round)
{
case CONSENSUS_ROUND_BEGIN:
session->current_round = CONSENSUS_ROUND_EXCHANGE;
- session->exp_round = 0;
+ session->exp_repetition = 0;
subround_over (session, NULL);
break;
case CONSENSUS_ROUND_EXCHANGE:
- /* FIXME: send all elements to client */
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d: finished, sending elements to client\n",
+ session->local_peer_idx);
session->current_round = CONSENSUS_ROUND_FINISH;
+ res = GNUNET_SET_iterate (session->element_set, send_to_client_iter, session);
+ if (GNUNET_SYSERR == res)
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "can't iterate set: set invalid\n");
+ }
+ else if (GNUNET_NO == res)
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "can't iterate set: iterator already active\n");
+ }
+ break;
default:
GNUNET_assert (0);
}
if (NULL == session->shuffle)
session->shuffle = GNUNET_malloc (session->num_peers * sizeof (*session->shuffle));
+ if (NULL == session->shuffle_inv)
+ session->shuffle_inv = GNUNET_malloc (session->num_peers * sizeof (*session->shuffle_inv));
- GNUNET_CRYPTO_kdf (randomness, sizeof (randomness),
- &session->exp_round, sizeof (uint32_t),
+ GNUNET_CRYPTO_kdf (randomness, sizeof (randomness),
+ &session->exp_repetition, sizeof (uint32_t),
&session->global_id, sizeof (struct GNUNET_HashCode),
NULL);
{
uint32_t x;
uint32_t tmp;
- x = randomness[i-1];
+ x = randomness[i-1] % session->num_peers;
tmp = session->shuffle[x];
session->shuffle[x] = session->shuffle[i];
session->shuffle[i] = tmp;
}
+
+ /* create the inverse */
+ for (i = 0; i < session->num_peers; i++)
+ session->shuffle_inv[session->shuffle[i]] = i;
}
static void
find_partners (struct ConsensusSession *session)
{
- int arc;
+ unsigned int arc;
+ unsigned int num_ghosts;
+ unsigned int largest_arc;
int partner_idx;
- int largest_arc;
- int num_ghosts;
+
+ /* shuffled local index */
+ int my_idx = session->shuffle[session->local_peer_idx];
/* distance to neighboring peer in current subround */
arc = 1 << session->exp_subround;
- partner_idx = (session->local_peer_idx + arc) % session->num_peers;
largest_arc = 1;
while (largest_arc < session->num_peers)
largest_arc <<= 1;
num_ghosts = largest_arc - session->num_peers;
+ // GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "largest arc: %u\n", largest_arc);
+ // GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "arc: %u\n", arc);
+ // GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "num ghosts: %u\n", num_ghosts);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "num ghosts: %d\n", num_ghosts);
-
- if (0 == (session->local_peer_idx & arc))
+ if (0 == (my_idx & arc))
{
/* we are outgoing */
- session->partner_outgoing = &session->info[session->shuffle[partner_idx]];
+ partner_idx = (my_idx + arc) % session->num_peers;
+ session->partner_outgoing = &session->info[session->shuffle_inv[partner_idx]];
+ GNUNET_assert (GNUNET_NO == session->partner_outgoing->set_op_finished);
/* are we a 'ghost' of a peer that would exist if
* the number of peers was a power of two, and thus have to partner
* with an additional peer?
*/
- if (session->local_peer_idx < num_ghosts)
+ if (my_idx < num_ghosts)
{
int ghost_partner_idx;
- ghost_partner_idx = (session->local_peer_idx - arc) % session->num_peers;
+ // GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "my index %d, arc %d, peers %u\n", my_idx, arc, session->num_peers);
+ ghost_partner_idx = (my_idx - (int) arc) % (int) session->num_peers;
/* platform dependent; modulo sometimes returns negative values */
if (ghost_partner_idx < 0)
- ghost_partner_idx += arc;
- session->partner_incoming = &session->info[session->shuffle[ghost_partner_idx]];
- }
- else
- {
- session->partner_incoming = NULL;
+ ghost_partner_idx += session->num_peers;
+ /* we only need to have a ghost partner if the partner is outgoing */
+ if (0 == (ghost_partner_idx & arc))
+ {
+ // GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "ghost partner is %d\n", ghost_partner_idx);
+ session->partner_incoming = &session->info[session->shuffle_inv[ghost_partner_idx]];
+ GNUNET_assert (GNUNET_NO == session->partner_incoming->set_op_finished);
+ return;
+ }
}
+ session->partner_incoming = NULL;
+ return;
}
- else
- {
- session->partner_outgoing = NULL;
- session->partner_incoming = &session->info[session->shuffle[partner_idx]];
- }
+ /* we only have an incoming connection */
+ partner_idx = (my_idx - (int) arc) % (int) session->num_peers;
+ if (partner_idx < 0)
+ partner_idx += session->num_peers;
+ session->partner_outgoing = NULL;
+ session->partner_incoming = &session->info[session->shuffle_inv[partner_idx]];
+ GNUNET_assert (GNUNET_NO == session->partner_incoming->set_op_finished);
}
* @param element a result element, only valid if status is GNUNET_SET_STATUS_OK
* @param status see enum GNUNET_SET_Status
*/
-static void
+static void
set_result_cb (void *cls,
const struct GNUNET_SET_Element *element,
enum GNUNET_SET_Status status)
{
struct ConsensusPeerInformation *cpi = cls;
+ unsigned int remote_idx = cpi - cpi->session->info;
+ unsigned int local_idx = cpi->session->local_peer_idx;
+
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: set result from P%u with status %u\n",
+ local_idx, remote_idx, (unsigned int) status);
+
+ GNUNET_assert ((cpi == cpi->session->partner_outgoing) ||
+ (cpi == cpi->session->partner_incoming));
switch (status)
{
case GNUNET_SET_STATUS_OK:
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "set result: element\n");
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: set result from P%u: element\n",
+ local_idx, remote_idx);
break;
case GNUNET_SET_STATUS_FAILURE:
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "set result: failure\n");
- break;
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: set result from P%u: failure\n",
+ local_idx, remote_idx);
+ cpi->set_op = NULL;
+ return;
case GNUNET_SET_STATUS_HALF_DONE:
case GNUNET_SET_STATUS_DONE:
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "set result: done\n");
- cpi->exp_subround_finished = GNUNET_YES;
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: set result from P%u: done\n",
+ local_idx, remote_idx);
+ cpi->set_op_finished = GNUNET_YES;
+ cpi->set_op = NULL;
if (have_exp_subround_finished (cpi->session) == GNUNET_YES)
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: all reconciliations of subround done\n",
+ local_idx);
subround_over (cpi->session, NULL);
+ }
+ else
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: waiting for further set results\n",
+ local_idx);
+ }
return;
default:
GNUNET_break (0);
switch (cpi->session->current_round)
{
+ case CONSENSUS_ROUND_COMPLETION:
case CONSENSUS_ROUND_EXCHANGE:
GNUNET_SET_add_element (cpi->session->element_set, element, NULL, NULL);
break;
}
+/**
+ * Compare the round the session is in with the round of the given context message.
+ *
+ * @param session a consensus session
+ * @param ri a round context message
+ * @return 0 if it's the same round, -1 if the session is in an earlier round,
+ * 1 if the session is in a later round
+ */
+static int
+rounds_compare (struct ConsensusSession *session,
+ struct RoundInfo* ri)
+{
+ if (session->current_round < ri->round)
+ return -1;
+ if (session->current_round > ri->round)
+ return 1;
+ if (session->current_round == CONSENSUS_ROUND_EXCHANGE)
+ {
+ if (session->exp_repetition < ri->exp_repetition)
+ return -1;
+ if (session->exp_repetition > ri->exp_repetition)
+ return 1;
+ if (session->exp_subround < ri->exp_subround)
+ return -1;
+ if (session->exp_subround > ri->exp_subround)
+ return 1;
+ return 0;
+ }
+ /* other rounds have no subrounds / repetitions to compare */
+ return 0;
+}
+
+
/**
* Do the next subround in the exp-scheme.
* This function can be invoked as a timeout task, or called manually (tc will be NULL then).
subround_over (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
{
struct ConsensusSession *session;
+ struct GNUNET_TIME_Relative subround_timeout;
int i;
/* don't kick off next subround if we're shutting down */
if ((NULL != tc) && (tc->reason & GNUNET_SCHEDULER_REASON_SHUTDOWN))
return;
+
session = cls;
+
+ GNUNET_assert (CONSENSUS_ROUND_EXCHANGE == session->current_round);
+
+ if (tc != NULL)
+ {
+ session->round_timeout_tid = GNUNET_SCHEDULER_NO_TASK;
+ GNUNET_log (GNUNET_ERROR_TYPE_WARNING, "P%u: consensus subround timed out\n",
+ session->local_peer_idx);
+ }
+
/* cancel timeout */
if (session->round_timeout_tid != GNUNET_SCHEDULER_NO_TASK)
{
GNUNET_SCHEDULER_cancel (session->round_timeout_tid);
session->round_timeout_tid = GNUNET_SCHEDULER_NO_TASK;
}
- if (session->exp_round == 0)
+
+ for (i = 0; i < session->num_peers; i++)
+ {
+ if (NULL != session->info[i].set_op)
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d: canceling stray op with P%d\n",
+ session->local_peer_idx, i);
+ GNUNET_SET_operation_cancel (session->info[i].set_op);
+ session->info[i].set_op = NULL;
+ }
+ /* we're in the new round, nothing finished yet */
+ session->info[i].set_op_finished = GNUNET_NO;
+ }
+
+ if (session->exp_repetition >= NUM_EXP_REPETITIONS)
+ {
+ round_over (session, NULL);
+ return;
+ }
+
+ if (session->exp_repetition == 0)
{
/* initialize everything for the log-rounds */
- session->exp_round = 1;
+ session->exp_repetition = 1;
session->exp_subround = 0;
if (NULL == session->shuffle)
session->shuffle = GNUNET_malloc ((sizeof (int)) * session->num_peers);
+ if (NULL == session->shuffle_inv)
+ session->shuffle_inv = GNUNET_malloc ((sizeof (int)) * session->num_peers);
for (i = 0; i < session->num_peers; i++)
- session->shuffle[i] = i;
+ session->shuffle[i] = session->shuffle_inv[i] = i;
}
else if (session->exp_subround + 1 >= (int) ceil (log2 (session->num_peers)))
{
/* subrounds done, start new log-round */
- session->exp_round++;
+ session->exp_repetition++;
session->exp_subround = 0;
shuffle (session);
}
- else
+ else
{
session->exp_subround++;
}
+ subround_timeout =
+ GNUNET_TIME_relative_divide (GNUNET_TIME_absolute_get_difference (session->conclude_start, session->conclude_deadline),
+ 2 * NUM_EXP_REPETITIONS * ((int) ceil (log2 (session->num_peers))));
+
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "subround timeout: %u ms\n", subround_timeout.rel_value_us / 1000);
+
+ session->round_timeout_tid = GNUNET_SCHEDULER_add_delayed (subround_timeout, subround_over, session);
+
/* determine the incoming and outgoing partner */
find_partners (session);
+ GNUNET_assert (session->partner_outgoing != &session->info[session->local_peer_idx]);
+ GNUNET_assert (session->partner_incoming != &session->info[session->local_peer_idx]);
+
+ /* initiate set operation with the outgoing partner */
if (NULL != session->partner_outgoing)
{
struct GNUNET_CONSENSUS_RoundContextMessage *msg;
msg->header.type = htons (GNUNET_MESSAGE_TYPE_CONSENSUS_P2P_ROUND_CONTEXT);
msg->header.size = htons (sizeof *msg);
msg->round = htonl (session->current_round);
- msg->exp_round = htonl (session->exp_round);
+ msg->exp_repetition = htonl (session->exp_repetition);
msg->exp_subround = htonl (session->exp_subround);
if (NULL != session->partner_outgoing->set_op)
{
+ GNUNET_break (0);
GNUNET_SET_operation_cancel (session->partner_outgoing->set_op);
}
session->partner_outgoing->set_op =
- GNUNET_SET_evaluate (&session->partner_outgoing->peer_id,
- &session->global_id,
- (struct GNUNET_MessageHeader *) msg,
- 0, /* FIXME */
- GNUNET_SET_RESULT_ADDED,
- set_result_cb, session->partner_outgoing);
- GNUNET_SET_conclude (session->partner_outgoing->set_op, session->element_set);
- session->partner_outgoing->set_op_concluded = GNUNET_YES;
+ GNUNET_SET_prepare (&session->partner_outgoing->peer_id,
+ &session->global_id,
+ (struct GNUNET_MessageHeader *) msg,
+ 0, /* FIXME: salt */
+ GNUNET_SET_RESULT_ADDED,
+ set_result_cb, session->partner_outgoing);
+ GNUNET_free (msg);
+ if (GNUNET_OK != GNUNET_SET_commit (session->partner_outgoing->set_op, session->element_set))
+ {
+ GNUNET_break (0);
+ session->partner_outgoing->set_op = NULL;
+ session->partner_outgoing->set_op_finished = GNUNET_YES;
+ }
+ }
+
+ /* commit to the delayed set operation */
+ if ((NULL != session->partner_incoming) && (NULL != session->partner_incoming->delayed_set_op))
+ {
+ int cmp = rounds_compare (session, &session->partner_incoming->delayed_round_info);
+
+ if (NULL != session->partner_incoming->set_op)
+ {
+ GNUNET_break (0);
+ GNUNET_SET_operation_cancel (session->partner_incoming->set_op);
+ session->partner_incoming->set_op = NULL;
+ }
+ if (cmp == 0)
+ {
+ if (GNUNET_OK != GNUNET_SET_commit (session->partner_incoming->delayed_set_op, session->element_set))
+ {
+ GNUNET_break (0);
+ }
+ session->partner_incoming->set_op = session->partner_incoming->delayed_set_op;
+ session->partner_incoming->delayed_set_op = NULL;
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d resumed delayed round with P%d\n",
+ session->local_peer_idx, (int) (session->partner_incoming - session->info));
+ }
+ else
+ {
+ /* this should not happen -- a round has been skipped! */
+ GNUNET_break_op (0);
+ }
}
#ifdef GNUNET_EXTRA_LOGGING
in = -1;
else
in = (int) (session->partner_incoming - session->info);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "P%u: doing exp-round, r=%d, sub=%d, in: %d, out: %d\n", session->local_peer_idx,
- session->exp_round, session->exp_subround, in, out);
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: doing exp-round, r=%d, sub=%d, in: %d, out: %d\n", session->local_peer_idx,
+ session->exp_repetition, session->exp_subround, in, out);
}
#endif /* GNUNET_EXTRA_LOGGING */
* @param session_id local id of the consensus session
*/
static void
-compute_global_id (struct ConsensusSession *session, const struct GNUNET_HashCode *session_id)
+compute_global_id (struct ConsensusSession *session,
+ const struct GNUNET_HashCode *session_id)
{
int i;
struct GNUNET_HashCode tmp;
+ struct GNUNET_HashCode phash;
/* FIXME: use kdf? */
session->global_id = *session_id;
for (i = 0; i < session->num_peers; ++i)
{
- GNUNET_CRYPTO_hash_xor (&session->global_id, &session->info[i].peer_id.hashPubKey, &tmp);
+ GNUNET_CRYPTO_hash (&session->info[i].peer_id, sizeof (struct GNUNET_PeerIdentity), &phash);
+ GNUNET_CRYPTO_hash_xor (&session->global_id, &phash, &tmp);
session->global_id = tmp;
GNUNET_CRYPTO_hash (&session->global_id, sizeof (struct GNUNET_PeerIdentity), &tmp);
session->global_id = tmp;
/**
- * Although GNUNET_CRYPTO_hash_cmp exisits, it does not have
- * the correct signature to be used with e.g. qsort.
- * We use this function instead.
+ * Compare two peer identities.
*
- * @param h1 some hash code
- * @param h2 some hash code
+ * @param h1 some peer identity
+ * @param h2 some peer identity
* @return 1 if h1 > h2, -1 if h1 < h2 and 0 if h1 == h2.
*/
static int
-hash_cmp (const void *h1, const void *h2)
+peer_id_cmp (const void *h1, const void *h2)
{
- return GNUNET_CRYPTO_hash_cmp ((struct GNUNET_HashCode *) h1, (struct GNUNET_HashCode *) h2);
+ return memcmp (h1, h2, sizeof (struct GNUNET_PeerIdentity));
}
/* peers in the join message, may or may not include the local peer */
listed_peers = ntohl (join_msg->num_peers);
-
+
session->num_peers = listed_peers;
msg_peers = (struct GNUNET_PeerIdentity *) &join_msg[1];
peers[session->num_peers - 1] = my_peer;
memcpy (peers, msg_peers, listed_peers * sizeof (struct GNUNET_PeerIdentity));
- qsort (peers, session->num_peers, sizeof (struct GNUNET_PeerIdentity), &hash_cmp);
+ qsort (peers, session->num_peers, sizeof (struct GNUNET_PeerIdentity), &peer_id_cmp);
session->info = GNUNET_malloc (session->num_peers * sizeof (struct ConsensusPeerInformation));
* Called when another peer wants to do a set operation with the
* local peer.
*
+ * @param cls closure
* @param other_peer the other peer
* @param context_msg message with application specific information from
* the other peer
struct ConsensusSession *session = cls;
struct GNUNET_CONSENSUS_RoundContextMessage *msg = (struct GNUNET_CONSENSUS_RoundContextMessage *) context_msg;
struct ConsensusPeerInformation *cpi;
+ struct GNUNET_SET_OperationHandle *set_op;
+ struct RoundInfo round_info;
int index;
+ int cmp;
if (NULL == context_msg)
{
index = get_peer_idx (other_peer, session);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "result from %s\n", GNUNET_h2s (&other_peer->hashPubKey));
-
if (index < 0)
{
GNUNET_break_op (0);
return;
}
+ round_info.round = ntohl (msg->round);
+ round_info.exp_repetition = ntohl (msg->exp_repetition);
+ round_info.exp_subround = ntohl (msg->exp_subround);
+
cpi = &session->info[index];
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "P%d got result from P%d\n", session->local_peer_idx, index);
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d got set request from P%d\n", session->local_peer_idx, index);
switch (session->current_round)
{
+ case CONSENSUS_ROUND_BEGIN:
+ /* we're in the begin round, so requests for the exchange round may
+ * come in, they will be delayed for now! */
case CONSENSUS_ROUND_EXCHANGE:
- if (ntohl (msg->round) != CONSENSUS_ROUND_EXCHANGE)
- {
- GNUNET_break_op (0);
- return;
- }
- if (ntohl (msg->exp_round) < session->exp_round)
- {
- GNUNET_break_op (0);
- return;
- }
- if (ntohl (msg->exp_subround) < session->exp_subround)
+ cmp = rounds_compare (session, &round_info);
+ if (cmp > 0)
{
- GNUNET_break_op (0);
+ /* the other peer is too late */
+ LOG_PP (GNUNET_ERROR_TYPE_DEBUG, cpi, "too late for the current round\n");
return;
}
+ /* kill old request, if any. this is legal,
+ * as the other peer would not make a new request if it would want to
+ * complete the old one! */
if (NULL != cpi->set_op)
+ {
+ LOG_PP (GNUNET_ERROR_TYPE_INFO, cpi, "got new request from same peer, canceling old one\n");
GNUNET_SET_operation_cancel (cpi->set_op);
- cpi->set_op = GNUNET_SET_accept (request, GNUNET_SET_RESULT_ADDED,
- set_result_cb, &session->info[index]);
- if (ntohl (msg->exp_subround) == session->exp_subround)
+ cpi->set_op = NULL;
+ }
+ set_op = GNUNET_SET_accept (request, GNUNET_SET_RESULT_ADDED,
+ set_result_cb, &session->info[index]);
+ if (cmp == 0)
{
- cpi->set_op_concluded = GNUNET_YES;
- GNUNET_SET_conclude (cpi->set_op, session->element_set);
+ /* we're in exactly the right round for the incoming request */
+ if (cpi != cpi->session->partner_incoming)
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "P%u: got request from %u (with matching round), "
+ "but incoming partner is %d\n", cpi->session->local_peer_idx, cpi - cpi->session->info,
+ ((NULL == cpi->session->partner_incoming) ? -1 : (cpi->session->partner_incoming - cpi->session->info)));
+ GNUNET_SET_operation_cancel (set_op);
+ return;
+ }
+ cpi->set_op = set_op;
+ if (GNUNET_OK != GNUNET_SET_commit (set_op, session->element_set))
+ {
+ GNUNET_break (0);
+ }
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d commited to set request from P%d\n", session->local_peer_idx, index);
}
else
{
- cpi->set_op_concluded = GNUNET_NO;
+ /* we still have wait until we have finished the current round,
+ * as the other peer's round is larger */
+ cpi->delayed_set_op = set_op;
+ cpi->delayed_round_info = round_info;
+ /* The current setop is finished, as we canceled the current setop above. */
+ cpi->set_op_finished = GNUNET_YES;
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%d delaying set request from P%d\n", session->local_peer_idx, index);
}
break;
default:
+ GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "P%d got unexpected set request in round %d from P%d\n",
+ session->local_peer_idx, session->current_round, index);
GNUNET_break_op (0);
return;
}
* Initialize the session, continue receiving messages from the owning client
*
* @param session the session to initialize
+ * @param join_msg the join message from the client
*/
static void
initialize_session (struct ConsensusSession *session,
struct ConsensusSession *other_session;
initialize_session_peer_list (session, join_msg);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "session with %u peers\n", session->num_peers);
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "session with %u peers\n", session->num_peers);
compute_global_id (session, &join_msg->session_id);
/* check if some local client already owns the session.
other_session = sessions_head;
while (NULL != other_session)
{
- if ((other_session != session) &&
+ if ((other_session != session) &&
(0 == GNUNET_CRYPTO_hash_cmp (&session->global_id, &other_session->global_id)))
{
if (CONSENSUS_ROUND_FINISH != other_session->current_round)
other_session = other_session->next;
}
+ session->conclude_deadline = GNUNET_TIME_absolute_ntoh (join_msg->deadline);
+ session->conclude_start = GNUNET_TIME_absolute_ntoh (join_msg->start);
+
+ GNUNET_log (GNUNET_ERROR_TYPE_INFO, "consensus with timeout %ums created\n",
+ (GNUNET_TIME_absolute_get_difference (session->conclude_start, session->conclude_deadline)).rel_value_us / 1000);
+
session->local_peer_idx = get_peer_idx (&my_peer, session);
GNUNET_assert (-1 != session->local_peer_idx);
session->element_set = GNUNET_SET_create (cfg, GNUNET_SET_OPERATION_UNION);
session->set_listener = GNUNET_SET_listen (cfg, GNUNET_SET_OPERATION_UNION,
&session->global_id,
set_listen_cb, session);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "%d is the local peer\n", session->local_peer_idx);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "session %s initialized\n", GNUNET_h2s (&session->global_id));
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "%d is the local peer\n", session->local_peer_idx);
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "session %s initialized\n", GNUNET_h2s (&session->global_id));
}
{
struct ConsensusSession *session;
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "join message sent by client\n");
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "join message sent by client\n");
session = get_session_by_client (client);
if (NULL != session)
}
session = GNUNET_new (struct ConsensusSession);
session->client = client;
- GNUNET_SERVER_client_keep (client);
+ session->client_mq = GNUNET_MQ_queue_for_server_client (client);
GNUNET_CONTAINER_DLL_insert (sessions_head, sessions_tail, session);
initialize_session (session, (struct GNUNET_CONSENSUS_JoinMessage *) m);
GNUNET_SERVER_receive_done (client, GNUNET_OK);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "join done\n");
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "join done\n");
}
memcpy (&element[1], &msg[1], element_size);
element->data = &element[1];
GNUNET_SET_add_element (session->element_set, element, NULL, NULL);
+ GNUNET_free (element);
GNUNET_SERVER_receive_done (client, GNUNET_OK);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "P%u: element added\n", session->local_peer_idx);
+ // GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "P%u: element added\n", session->local_peer_idx);
}
const struct GNUNET_MessageHeader *message)
{
struct ConsensusSession *session;
- struct GNUNET_CONSENSUS_ConcludeMessage *cmsg;
-
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "conclude requested\n");
- cmsg = (struct GNUNET_CONSENSUS_ConcludeMessage *) message;
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "conclude requested\n");
session = get_session_by_client (client);
if (NULL == session)
{
}
if (session->num_peers <= 1)
{
- //send_client_conclude_done (session);
+ session->current_round = CONSENSUS_ROUND_FINISH;
+ GNUNET_SET_iterate (session->element_set, send_to_client_iter, session);
}
else
{
- session->conclude_timeout = GNUNET_TIME_relative_ntoh (cmsg->timeout);
/* the 'begin' round is over, start with the next, actual round */
round_over (session, NULL);
}
while (NULL != sessions_head)
destroy_session (sessions_head);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "handled shutdown request\n");
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "handled shutdown request\n");
}
return;
if ((CONSENSUS_ROUND_BEGIN == session->current_round) ||
(CONSENSUS_ROUND_FINISH == session->current_round))
+ {
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "client disconnected, destroying session\n");
destroy_session (session);
+ }
else
GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "client disconnected, but waiting for consensus to finish\n");
}
{
static const struct GNUNET_SERVER_MessageHandler server_handlers[] = {
{&client_conclude, NULL, GNUNET_MESSAGE_TYPE_CONSENSUS_CLIENT_CONCLUDE,
- sizeof (struct GNUNET_CONSENSUS_ConcludeMessage)},
+ sizeof (struct GNUNET_MessageHeader)},
{&client_insert, NULL, GNUNET_MESSAGE_TYPE_CONSENSUS_CLIENT_INSERT, 0},
{&client_join, NULL, GNUNET_MESSAGE_TYPE_CONSENSUS_CLIENT_JOIN, 0},
{NULL, NULL, 0, 0}
cfg = c;
srv = server;
- if (GNUNET_OK != GNUNET_CRYPTO_get_host_identity (cfg, &my_peer))
+ if (GNUNET_OK != GNUNET_CRYPTO_get_peer_identity (cfg, &my_peer))
{
GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "could not retrieve host identity\n");
GNUNET_break (0);
{
int ret;
ret = GNUNET_SERVICE_run (argc, argv, "consensus", GNUNET_SERVICE_OPTION_NONE, &run, NULL);
- GNUNET_log (GNUNET_ERROR_TYPE_INFO, "exit\n");
+ GNUNET_log (GNUNET_ERROR_TYPE_INFO, "exit (%d)\n", GNUNET_OK != ret);
return (GNUNET_OK == ret) ? 0 : 1;
}