Re: [tsvwg] I-D Action: draft-ietf-tsvwg-rlc-fec-scheme-10.txt

Vincent Roca <vincent.roca@inria.fr> Tue, 05 March 2019 16:49 UTC

Return-Path: <vincent.roca@inria.fr>
X-Original-To: tsvwg@ietfa.amsl.com
Delivered-To: tsvwg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 8D1FD126D00; Tue, 5 Mar 2019 08:49:28 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.899
X-Spam-Level:
X-Spam-Status: No, score=-6.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id RNA_bIPS-9Bf; Tue, 5 Mar 2019 08:49:25 -0800 (PST)
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 977A91200D8; Tue, 5 Mar 2019 08:49:24 -0800 (PST)
X-IronPort-AV: E=Sophos;i="5.58,444,1544482800"; d="scan'208,217";a="298211535"
Received: from moucherotte.inrialpes.fr ([194.199.28.14]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Mar 2019 17:49:22 +0100
From: Vincent Roca <vincent.roca@inria.fr>
Message-Id: <B4A68644-78E5-483C-B0DB-8979F40D4B25@inria.fr>
Content-Type: multipart/alternative; boundary="Apple-Mail=_EE6108FE-3B8E-480C-A116-F6854BA29955"
Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\))
Date: Tue, 5 Mar 2019 17:49:21 +0100
In-Reply-To: <20190212003042.GN56447@kduck.mit.edu>
Cc: Vincent Roca <vincent.roca@inria.fr>, tsvwg@ietf.org, The IESG <iesg@ietf.org>, Emmanuel Baccelli <emmanuel.baccelli@inria.fr>, Belkacem TEIBI <belkacem.teibi@gmail.com>, =?utf-8?B?5paO6Jek44CA552m5aSr?= <sai10@hiroshima-u.ac.jp>, m-mat@math.sci.hiroshima-u.ac.jp
To: Benjamin Kaduk <kaduk@MIT.EDU>
References: <154775953855.10322.13019924919889018658@ietfa.amsl.com> <4A1F8C46-9E3A-4F0C-B1CF-E2582100349F@inria.fr> <A01E6A3C-A970-43B0-8B4A-2FFD9BBE3ECB@inria.fr> <20190212003042.GN56447@kduck.mit.edu>
X-Mailer: Apple Mail (2.3445.102.3)
Archived-At: <https://mailarchive.ietf.org/arch/msg/tsvwg/pYOOOU6h5XMqF424yRABXDjjOY8>
Subject: Re: [tsvwg] I-D Action: draft-ietf-tsvwg-rlc-fec-scheme-10.txt
X-BeenThere: tsvwg@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Transport Area Working Group <tsvwg.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tsvwg>, <mailto:tsvwg-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tsvwg/>
List-Post: <mailto:tsvwg@ietf.org>
List-Help: <mailto:tsvwg-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tsvwg>, <mailto:tsvwg-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 05 Mar 2019 16:49:29 -0000

Hello Benjamin,

Thank you for your explanations. I have removed all parts that require no action from us.


>>> (More details on almost all of these in the COMMENT section.)
>>> 
>>> =====================================================================
>>> Comment (2018-10-10) 
>>> 
>>>                                                               For
>>>      instance, at session start, upon receiving new source ADUs, the
>>>      ew_size progressively increases until it reaches its maximum
>>>      value, ew_max_size.  [...]
>>> 
>>> This seems to preclude the window shrinking due to ADUs aging out.  Under
>>> the constant bitrate assumption this is justified, but a somewhat
>>> artificial limitation.
>> 
>> [VR] Yes, I agree, but as explained above we give non normative hints that
>> could also be totally absent from the doc.
> 
> I don't really read this as non-normative, though.  Even though it starts
> with "For instance," that could just mean that we are considering one
> way to think about the behavior, but the rest of the text is written as if
> it is a statement of fact, unqualified to a specific example trace.  I
> think it would be better to say something like "For example, in the common
> case at session start, […]"

[VR] Yes, I understand and agree. This sentence has been changed in version -13
that I’ve just uploaded.


>>> Section 8.4
>>> 
>>> I found where RFC 6363 Section 9 claims that the following subsections will
>>> define a mandatory-to-implement security scheme, but not where IPsec/ESP
>>> was actually specified as such.  Can you give me a pointer?
>> 
>> [VR] RFC 6363, section 9.5. "Baseline Secure FEC Framework Operation", I quote,
>> "describes a baseline mode of secure FEC Framework operation based on the
>> application of the IPsec protocol".
>> It does not refer to IPsec/ESP explicitly, in this sentence, but this is 
>> largely mentionned before and after. The RFC 6363 "Security Considearations"
>> text could probably be improved (I'm also responsible of it).
>> 
>> The section 8.4 "clarifies" this in a sense but may go beyond what is said
>> in RFC 6363. Is that acceptable?
> 
> Thanks for the pointer.  I guess, the Section 8.4 here is just reiterating
> the intent of RFC 6363, so this document is fine as-is.  It might be worth
> filing an errata report against 6363 to clarify that the "baseline mode" is
> the mandatory-to-implement-but-not-mandatory-to-use functionality indicated
> by the Section 9 (of that document) introductory paragraph.

[VR] I’ve done nothing for the moment but that’s something that should be done
independently.


>>> =====================================================================
>>> Eric Rescorla Discuss 
>>> Discuss (2018-10-09) 
>>> 
>>> Rich version of this review at:
>>> https://mozphab-ietf.devsvcdev.mozaws.net/D3423
>>> 
>>> 
>>> S 12.2.
>>>>       s->status[0] = s->status[1];
>>>>       s->status[1] = s->status[2];
>>>>       s->status[2] = x ^ (y << TINYMT32_SH1);
>>>>       s->status[3] = y;
>>>>       s->status[1] ^= -((int32_t)(y & 1)) & s->mat1;
>>>>       s->status[2] ^= -((int32_t)(y & 1)) & s->mat2;
>>> 
>>> You also can't assume that negative numbers have any particular
>>> representation (e.g., twos complement) so this XOR is not
>>> deterministic.
>> 
>> [VR] Here on the opposite this part of the core PRNG and we cannot change
>> nor remove anything. 
>> We didn't notice determinism problems on our target test platforms, and
>> provide validation tables. If there's an issue in one particular environment,
>> it should be quickly identified and a work-around will have to be found then.
>> I'm sorry but here there's little we can do IMHO.
> 
> C99 is quite clear that both twos-complement, ones-complement, and
> sign+magnitude are permitted representations for signed integers (see,
> e.g., Section 6.2.6.2 paragraph 2 in n1256.pdf, the last public draft
> version before the final spec, which is paywall'd).  Alternately, consult
> n1570.pdf (same section/paragraph), the draft C11 spec with same caveat.
> 
> Wikipedia (https://en.wikipedia.org/wiki/Ones%27_complement) has a small
> list of ones-complement architectures, including the PDP-1 and certain
> UNIVAC series machines.  Just because the authors of this document have not
> encountered any such machines, it does not mean they do not exist; it still
> seems needlessly restrictive to limit the applicability artificially like
> this.

[VR] This is a very good feedback. Sorry for not understanding it immediately.
I don’t know if you followed, but the TinyMT32 PRNG specification has been
moved to a separate document:
	https://datatracker.ietf.org/doc/draft-roca-tsvwg-tinymt32/ <https://datatracker.ietf.org/doc/draft-roca-tsvwg-tinymt32/>
in order to fix copyright/licence issues, with the TinyMT32 inventors as co-authors.
In order to address your comment, we changed the source code as follows:

NEW:
       s->status[0] = s->status[1];
       s->status[1] = s->status[2];
       s->status[2] = x ^ (y << TINYMT32_SH1);
       s->status[3] = y;
       /*
        * The if (y & 1) {...} block below replaces:
        *     s->status[1] ^= -((int32_t)(y & 1)) & s->mat1;
        *     s->status[2] ^= -((int32_t)(y & 1)) & s->mat2;
        * The adopted code is equivalent to the original code
        * but does not depend on the representation of negative
        * integers by 2's complements. It is therefore more
        * portable, but includes an if-branch which may slow
        * down the generation speed.
        */
       if (y & 1) {
            s->status[1] ^= s->mat1;
            s->status[2] ^= s->mat2;
        }

It is still backward compatible (same sequence of pseudo-random numbers)
while removing the dependency on 2’s complement representation.
It may slightly impact the PRNG speed, hence the comment, but nothing
really serious. If ever an implementer falls back to the original non portable
version, and if it is erroneously used on a 1’s complement environment, the
validation criteria won’t succeed. We therefore believe the situation is now safe.

Thanks a lot for your valuable feedback.
Cheers,

  Vincent, on behalf of all co-authors