Fix regression in IntroduceeManager

This was happening when the remote response arrives before the local
response is made and thus the local response needs to be send with the
ACK following. The problem was that we ACK was sent before the response
which is not allowed and resulted in the session being aborted by the
introducee. This was happening, because recursion is hard ;)

The fix is only restarting another protocol engine to send the ACK
after the first run has been completed.

An integration test was added to prevent such regression in the future
and to test this code path.
This commit is contained in:
Torsten Grote
2016-10-04 17:40:50 -03:00
parent 165deebb40
commit 95670937c3
2 changed files with 70 additions and 11 deletions

View File

@@ -32,6 +32,7 @@ import org.briarproject.api.sync.GroupId;
import org.briarproject.api.sync.Message;
import org.briarproject.api.sync.MessageId;
import org.briarproject.api.system.Clock;
import org.jetbrains.annotations.Nullable;
import java.io.IOException;
import java.security.GeneralSecurityException;
@@ -243,7 +244,7 @@ class IntroduceeManager {
result) throws DbException, FormatException {
// perform actions based on new local state
performTasks(txn, result.localState);
BdfDictionary followUpAction = performTasks(txn, result.localState);
// save new local state
MessageId storageId =
@@ -269,13 +270,21 @@ class IntroduceeManager {
db.deleteMessage(txn, messageId);
db.deleteMessageMetadata(txn, messageId);
}
// process follow up action at the end if available
if (followUpAction != null) {
IntroduceeEngine engine = new IntroduceeEngine();
processStateUpdate(txn, null,
engine.onLocalAction(result.localState, followUpAction));
}
}
private void performTasks(Transaction txn, BdfDictionary localState)
@Nullable
private BdfDictionary performTasks(Transaction txn, BdfDictionary localState)
throws FormatException, DbException {
if (!localState.containsKey(TASK) || localState.get(TASK) == NULL_VALUE)
return;
return null;
// remember task and remove it from localState
long task = localState.getLong(TASK);
@@ -285,7 +294,7 @@ class IntroduceeManager {
if (localState.getBoolean(EXISTS)) {
// we have this contact already, so do not perform actions
LOG.info("We have this contact already, do not add");
return;
return null;
}
// figure out who takes which role by comparing public keys
@@ -348,10 +357,9 @@ class IntroduceeManager {
BdfDictionary localAction = new BdfDictionary();
localAction.put(TYPE, TYPE_ACK);
// start engine and process its state update
IntroduceeEngine engine = new IntroduceeEngine();
processStateUpdate(txn, null,
engine.onLocalAction(localState, localAction));
// return follow up action to start engine
// and process its state update again
return localAction;
}
// we sent and received an ACK, so activate contact
@@ -394,6 +402,7 @@ class IntroduceeManager {
contactManager.removeContact(txn, contactId);
}
}
return null;
}
private SecretKey deriveSecretKey(byte[] publicKeyBytes,