RFC Errata


Errata Search

 
Source of RFC  
Summary Table Full Records

Found 3 records.

Status: Verified (1)

RFC 6846, "RObust Header Compression (ROHC): A Profile for TCP/IP (ROHC-TCP)", January 2013

Source of RFC: IETF - NON WORKING GROUP
Area Assignment: tsv

Errata ID: 4490
Status: Verified
Type: Technical
Publication Format(s) : TEXT

Reported By: Didier Barvaux
Date Reported: 2015-10-04
Verifier Name: Magnus Westerlund
Date Verified: 2019-12-17

Section 8.2 says:

COMPRESSED sack3_irregular {
   discriminator =:= '00000011';
   block_1       =:= sack_block(ack_value);
   block_2       =:= sack_block(block_1.UVALUE && 0xFFFFFFFF);
   block_3       =:= sack_block(block_1.UVALUE && 0xFFFFFFFF);
   ENFORCE(length.UVALUE == 26);
 }

It should say:

COMPRESSED sack3_irregular {
   discriminator =:= '00000011';
   block_1       =:= sack_block(ack_value);
   block_2       =:= sack_block(block_1.UVALUE && 0xFFFFFFFF);
   block_3       =:= sack_block(block_2.UVALUE && 0xFFFFFFFF);
   ENFORCE(length.UVALUE == 26);
 }

Notes:

block_3 should be encoded with block_2.UVALUE as reference instead of block_1.UVALUE. All other sack[1-4]_list_item() and sack[1-4]_irregular() methods are defined this way.

Status: Rejected (2)

RFC 6846, "RObust Header Compression (ROHC): A Profile for TCP/IP (ROHC-TCP)", January 2013

Source of RFC: IETF - NON WORKING GROUP
Area Assignment: tsv

Errata ID: 3669
Status: Rejected
Type: Technical
Publication Format(s) : TEXT

Reported By: Raj Kumar
Date Reported: 2013-06-24
Rejected by: Martin Stiemerling
Date Rejected: 2013-06-24

Section 8.2 says:

 COMPRESSED ipv4_innermost_irregular {
    ENFORCE(is_innermost == 1);
    ip_id          =:=
      ip_id_enc_irreg(ip_id_behavior_innermost.UVALUE) [ 0, 16 ];
    ENFORCE(ip_inner_ecn == ip_ecn_flags.UVALUE);
  }

It should say:

COMPRESSED ipv4_innermost_irregular {
    ENFORCE(is_innermost == 1);
    ip_id          =:=
      ip_id_enc_irreg(ip_id_behavior_innermost.UVALUE) [ 0, 16 ];
    
  }

Notes:

I don't find any reason why IP-ID encoding in ipv4 irregular chain, should be dependent on ECN flags.
--VERIFIER NOTES--
"This errata is invalid. Those bits need to be bound in the format and needs to be done so in the irregular chain for the inner header which does special treatment for these."

Errata ID: 3724
Status: Rejected
Type: Technical
Publication Format(s) : TEXT

Reported By: Raj Kumar
Date Reported: 2013-09-12
Rejected by: Martin Stiemerling
Date Rejected: 2013-09-20

Section 8.2 says:

tcp_opt_eol(nbits)
{
UNCOMPRESSED {
type =:= uncompressed_value(8, 0) [ 8 ];
padding =:=
uncompressed_value(nbits-8, 0) [ nbits-8 ];
}
CONTROL {
pad_len [ 8 ];
}
COMPRESSED eol_list_item {
pad_len =:= compressed_value(8, nbits-8) [ 8 ];
}
COMPRESSED eol_irregular {
pad_len =:= static;
ENFORCE(nbits-8 == pad_len.UVALUE);
}
}

It should say:

tcp_opt_eol(nbits)
{
UNCOMPRESSED {
type =:= uncompressed_value(8, 0) [ 8 ];
padding =:=
uncompressed_value(nbits-8, 0) [ nbits-8 ];
}
CONTROL {
pad_len [ 8 ];
}
COMPRESSED eol_list_item {

}
pad_len can be calculated at De compressor by following formula
pad_len = 4 -(length of uncompressed header formed till EOL byte % 4)

COMPRESSED eol_irregular {
pad_len =:= static;
ENFORCE(nbits-8 == pad_len.UVALUE);
}
}

Notes:

pad_len has the potential to become Inferred field, by doing this we can save one byte in compressed header and can effectively increase the compression efficiency.
--VERIFIER NOTES--
Rejected, as this is not an errata, as the 'corrected text' is in fact a change to the formal definition of the header formats.

Report New Errata



Advanced Search