commit 011b65bf65bd6d7461c3ae29fae5fd8aa488913d
parent ce45a60f30d18650e9a45d7945ba1fa8870a93dd
Author: Elias Summermatter <elias.summermatter@seccom.ch>
Date: Sun, 28 Feb 2021 15:51:44 +0100
Improved
Diffstat:
1 file changed, 11 insertions(+), 11 deletions(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
@@ -2004,17 +2004,16 @@ FUNCTION get_bucket_id (key, number_of_buckets_per_element, ibf_size)
<dd>
If an offer for an element that never has been requested by
an inquiry or if an offer is received twice the operation MUST be terminated.
- This requirement can be fulfilled by a table that keeps track of all send inquiries
- and if they already have been answered.
+ This requirement can be fulfilled by saving lists that keeps track of the state of
+ all send inquiries and offers. When answering offers these lists MUST be checked.
<!-- IMPLEMENT: Check to keep track of all send Inquiries -->
</dd>
<dt><xref target="messages_elements" format="title" /></dt>
<dd>
If an element that never has been requested by
- a demand or is already part of the set the connection MUST be dropped.
+ a demand or is received double the operation MUST be terminated.
This requirement can be fulfilled by a simple table that keeps track
- of all send demands and checking for every received elements that
- its not already part of the set.
+ of the state of all send demands.
<!-- IMPLEMENT: Check to keep track of all send demands -->
If an invalid element is received the operation has failed and the
MUST be terminated.
@@ -2023,17 +2022,18 @@ FUNCTION get_bucket_id (key, number_of_buckets_per_element, ibf_size)
<dt><xref target="messages_demand" format="title" /></dt>
<dd>
For every received demand a offer has to be send in advance. If an demand
- for an element is received that never has been offered or already has
- been answered the connection MUST be dropped. Its required to implement
- a list which keeps track of all send and answered offers.
+ for an element is received that never has been offered or the offer already has
+ been answered with a demand the operation MUST be terminated. Its required to implement
+ a list which keeps track of the state of all send offers and received demands.
<!-- IMPLEMENT: Check to keep track of all send demands -->
</dd>
<dt><xref target="messages_done" format="title" /></dt>
<dd>
- The done message SHOULD only be received if the IBF has been finished
- decoding and all offers have been sent. If a done message is received
- before the operation MUST be terminated.
+ The done message is only received if the IBF has been finished
+ decoding and all offers have been sent. If the done message is received before
+ the decoding of the IBF is finished or all open offers and demands
+ have been answered the operation MUST be terminated.
<!-- IMPLEMENT: Check that in active decoding no done message is received before ibf has been decoded-->
</dd>
</dl>
