Re: [Gen-art] Gen-art telechat review - draft-ietf-lisp-19.txt

Dino Farinacci <dino@cisco.com> Sat, 21 January 2012 19:08 UTC

Return-Path: <dino@cisco.com>
X-Original-To: gen-art@ietfa.amsl.com
Delivered-To: gen-art@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 803AE21F84D2 for <gen-art@ietfa.amsl.com>; Sat, 21 Jan 2012 11:08:21 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 2.231
X-Spam-Level: **
X-Spam-Status: No, score=2.231 tagged_above=-999 required=5 tests=[AWL=-8.442, BAYES_50=0.001, FM_MAKE_MONEY_HOME=10.357, GB_I_INVITATION=-2, GB_SUMOF=5, HTML_COMMENT_SAVED_URL=0.114, HTML_MESSAGE=0.001, J_CHICKENPOX_42=0.6, J_CHICKENPOX_43=0.6, RCVD_IN_DNSWL_MED=-4]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id MP-HJ3VAfgBp for <gen-art@ietfa.amsl.com>; Sat, 21 Jan 2012 11:08:10 -0800 (PST)
Received: from mtv-iport-2.cisco.com (mtv-iport-2.cisco.com [173.36.130.13]) by ietfa.amsl.com (Postfix) with ESMTP id C73E121F8487 for <gen-art@ietf.org>; Sat, 21 Jan 2012 11:08:05 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cisco.com; i=dino@cisco.com; l=239936; q=dns/txt; s=iport; t=1327172885; x=1328382485; h=subject:mime-version:from:in-reply-to:date:cc:message-id: references:to; bh=3HShTMQzwzDlWXteqNbk+qp/o9V7n5nt9H/PEHgA6nE=; b=GiFZ0jEvTXomQmSIxNDL5uxr5Rcbje2gL9lsqtlp2MeaFpzvlPPa6k0Z L2UJbPpfnaSvSDf5Wv39b6WG0pWB2TQyUR1C+ypKdfKn6gBgeO9yu9f28 Pj/kxosZlv/if5yHkVx6V+aXzIecfUG33cQfzVxMzrOGbd5WqaD1LcJy/ k=;
X-Files: rfcdiff-ietf-lisp-19-to-20.html : 217681
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgEFAOELG0+rRDoI/2dsb2JhbAA4AQkWrgOBBYFyAQEBAwEOBAEFAgEMBjgCBQIIAwULCxICBCABDUkOBhMJEgQDh1oImT4BnXSIaQGCWWMEiDuFeoMIg1uFKIVdh2k
X-IronPort-AV: E=Sophos; i="4.71,548,1320624000"; d="html'217?scan'217,208,217"; a="26539348"
Received: from mtv-core-3.cisco.com ([171.68.58.8]) by mtv-iport-2.cisco.com with ESMTP; 21 Jan 2012 19:08:01 +0000
Received: from sjc-vpn2-1091.cisco.com (sjc-vpn2-1091.cisco.com [10.21.116.67]) by mtv-core-3.cisco.com (8.14.3/8.14.3) with ESMTP id q0LJ7nlr010653; Sat, 21 Jan 2012 19:07:59 GMT
Mime-Version: 1.0 (Apple Message framework v1251.1)
Content-Type: multipart/mixed; boundary="Apple-Mail=_E8F1385E-861A-4F4F-9710-9351E47F0133"
From: Dino Farinacci <dino@cisco.com>
In-Reply-To: <4F18AA47.5020604@dial.pipex.com>
Date: Sat, 21 Jan 2012 11:07:59 -0800
Message-Id: <0B04B20F-711A-4B68-A7CD-5DEAAF0ACB5D@cisco.com>
References: <1326652051.4790.1231.camel@mightyatom.folly.org.uk> <1413A7D9-03E0-4746-AE07-21BA75469269@cisco.com> <4F18AA47.5020604@dial.pipex.com>
To: Elwyn Davies <elwynd@dial.pipex.com>
X-Mailer: Apple Mail (2.1251.1)
Cc: gen-art@ietf.org, Terry Manderson <terry.manderson@icann.org>, Joel Halpern <joel.halpern@ericsson.com>, draft-ietf-lisp.all@tools.ietf.org
Subject: Re: [Gen-art] Gen-art telechat review - draft-ietf-lisp-19.txt
X-BeenThere: gen-art@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "GEN-ART: General Area Review Team" <gen-art.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/gen-art>, <mailto:gen-art-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/gen-art>
List-Post: <mailto:gen-art@ietf.org>
List-Help: <mailto:gen-art-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/gen-art>, <mailto:gen-art-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 21 Jan 2012 19:08:21 -0000

> Hi, Dino.
> 
> I have had a look at the attached version -20  docs.  
> 
> Several of the fixes seem to have gone awry, and there are various cases where I think there is still discussion needed.

Okay, I will fix them. See my comments inline.

> I also spotted a couple more issues:
> - I don't know how an ETR can do a return routability check - see discussion below

When it is using a mapping from a received Map-Request, the fact that it verifies it with a Map-Request to the source is doing a route returnability check because the nonce it chooses is echoed back in the Map-Reply.

> - How does an ITR know a locator is anycast - see right at the end.

It doesn't care, it is just an address that it encapsulates to. That is the beauty of anycast, because it is operational solution and not a protocol solution.

> Regards,
> Elwyn

See responses inline.

> On 16/01/12 19:50, Dino Farinacci wrote:
>>> I am the assigned Gen-ART reviewer for this draft. For background on
>>> Gen-ART, please see the FAQ at
>>> 
>>> <http://wiki.tools.ietf.org/area/gen/trac/wiki/GenArtfaq>
>>> .
>>> 
>>> Please wait for direction from your document shepherd
>>> or AD before posting a new version of the draft.
>>> 
>>> Document: draft-ietf-lisp-19.txt
>>> Reviewer: Elwyn Davies
>>> Review Date: 20120115
>>> IETF LC End Date: 20111130
>>> IESG Telechat date: 20120119
>>> 
>>> Summary: This is an updated version of the review I did for Version 16.
>>> The status is STILL 'almost ready'. I noticed one additional minor issue
>>> (s3, ITRs). I did not receive any explicit reponses to the comments in
>>> the previous review although some of the comments have been addressed
>>> and I have removed those comments. So...
>>> 
>>> Given that this document is experimental, there don't appear to be any
>>> showstopping issues.  However, I found that having the functionality
>>> spread over several documents without a really clear overview did not
>>> make it easy to follow. There are a number of areas where topics appear
>>> unannounced in ways that are not immediately meaningful, and may or may
>>> not be clarified later in the document (especially the topics of
>>> multicast and anycast).
>>> 
>>> There are areas of the detailed format description that are very dense 
>>> and difficult to follow, and the split of functionality between this 
>>> document and ALT does not help.  I got the distinct feeling that extra 
>>> bits of functionality had been shoe horned into this section over time 
>>> without really thinking through the system aspects.  However given that 
>>> we are considering an experimental protocol this is not a major issue, 
>>> provided that it is cleaned up before becoming a real standard.
>>> 
>>> Major issues: None.
>>> 
>> This is good to know. Thanks for your comments Elwyn. See responses below. I have a new -20 diff file enclosed to make sure I reflected your comments. Please have a look and comment as soon as you can. Thanks.
>> 
>> 
>>> Minor issues:
>>> s3, Ingress Tunnel Router (ITR): "An ITR is a router which accepts an IP
>>> packet with a single IP header": Technically this rules out a site
>>> attached to an ITR using any form of IP tunneling (such as VPNs or IP
>>> mobility or 6-in-4 tunnels) through the ITR because a tunneled packet
>>> would already have more than one IP header. In practice, I think the
>>> qualifying statement in brackets immediately after the quoted statement
>>> clarifies the situation but this should be rewrittten to avoid
>>> ambiguity.
>>> 
>> Fixed.
>> 
> Hmm.  You have substituted '(more precisely, an IP packet that does not contain a LISP header)' by '(typically, the IP packet that does not contain an IP header)'.  These are definitely not the same.  Are there circumstances where an IP packet coming out of a LISP site would already contain a LISP header.  That was not my understanding.  If this is not correct then what you have now is even more confusing.  Also in the next sentence, the phrase 'this IP     destination address' no longer makes sense. 

I will fix.

>>> s3, EID: "EIDs MUST NOT be used as RLOCs":  But the remainder of the
>>> definition goes on to talk about what must/must not happen when they are
>>> numerically equivalent. This is still somewhat confusing.
>>> 
>> When they are numerically equivaldent does not mean they are the same definition. Remember there are two namespaces so 10.1.1.1 in one namespace serves a different purpose than 10.1.1.1 in the other namespace.
>> 
>> I made no change here because we revised this definition dozens of times to make the working group happy. So this definition is rough concensus.
>> 
> Doubtless it is rough concensus, but the piece we are discussing is not part of the definition as such.  The point is that seen from point of view of the bits on the wire, RLOCs and EIDs are indistinguishable, and the later text implies that the same bit pattern can be either depending on context.  I think what you need to say is 'It is 

This is not true. The destination address in an IP header of a packet that is a UDP packet with destination port 4341 defines that address as an RLOC. Any other address *anywhere* is an EID.

> important that a value specified as an EID is only used in contexts where an EID is required and never in contexts     where an RLOC is required (and vice versa).  Since the same bit pattern could be valid for either as explained later, it is vital that this logical distinction is maintained in implementations.'  I note that there is a context (called out below) where the EID is used in a context where an RLOC would normally be expected.

Yes, but what you state is not specific enough to give enough value to the meaning. It will just raise more questions and we don't want to identify all cases where EIDs are used and RLOCs are used. There are just too many cases and that is what the rest of the spec is for.

The text you provide requires necessary details so by itself it as well creates confusion.

>>> s3, Data Probe: Some clarification/explanation is needed regarding the 
>>> fact that a Data Probe uses an EID as its destination address in the 
>>> core, but EIDs are specifically described as not routable in the core 
>>> earlier in the document. I understand that ALT puts caveats on the 
>>> usability of Data Probes, but still potentially offers routability of 
>>> the EID over the alternative topology. I think some reflection of this 
>>> discussion would be helpful here.
>> 
>> I added to the definition that when Data Probes are used, the underlying routing system must advertise EIDs. This is not desirable but there are rare cases, it may be used.
> I think your new text compounds the problem.  It explicitly contradicts earlier statements that EIDs are not 

No, it speaks the truth.

> globally routable.  ALT moves the EID routing problem to a separated overlay network which sidesteps the problem, but the new words effectively change a MUST NOT into a MAY.  As I said previously, there are words in ALT that probably need to be reproduced here.  

Data Probes are not used in the ALT. So I do not know why you are saying this.

>>> s4.1, item 4: ETR "processes as a control message"... does this imply 
>>> anything about prioritization in the rest of the network?
>> 
>> No different than anything else and doesn't deserve a mention in my opinion.
> Maybe not, but why is that the only traditional use of prioritisation for IP packets was for router control messages.  It strikes me that Map-Requests and Map-Replies need to get quickly to the front of the queues in the routers they arrive at like BGP messages when travelling on the underlying routing topology.

Yes, please suggest text. I do not know what you want.

>>> s5.3, LISP Nonce: What are the consequences of using the same nonce for 
>>> 'too long'.. and how can an implementor decide what is too long?
>> 
>> A possible replay attack if a man-in-the-middle can guess a 24-bit or 128-bit nonce.
> Guidance to implementers is required.  OK, maybe you don't know yet 'cos its an experiment, but the draft ought to state that guidance will be given after experiments, if only as a reminder to somebody turning this into a standard.

Please provide text.

>>> s6.1: "Implementations MUST be prepared to accept packets when either the
>>> source port or destination UDP port is set to 4342 due to NATs
>>> changing port number values." I (still) don't understand this. My 
>>> understanding was that these UDP packets are generated in the ITR with 
>>> globally routable RLOCs in the headers. Why are they going through NATs?
>>> Does this mean when only one of the ports is 4342? (but the previous
>>> comments still stands).
>> 
>> An ITR could be behind a NAT. And when it is its "local RLOC" is a private address. When the packet traverses a NAT, the source address will be changed to a global address. The outside world believes the source of the packet is the source RLOC which is globally reachable and advertised in the underlying routing system.
> Is the problem a missing 'not'? 

I do not understand what you are saying. Can you please be more specific in your comments. Sigh.

>> when either the
>> source port or destination UDP port is ***not*** (?) set to 4342 due to NATs
>> changing port number values.
> 
>> 
>> NATs also translate/change the source port of the outer header. So the if a LISP control packet is returning a reply to a request that had 4342 in the destination port, then the source port would be translated and the requester would not know the packet is a LISP control packet. So if the source port of the request is 4342, the replier can return that in the destination port of the reply without a NAT touching the port (while it is touching the other port).
>> 
>>> s5.3: Copying of TTL/Hop Count fields and Type of service fields: This 
>>> discussion is somewhat confusing. Initially these are described as 
>>> SHOULD mostly without any description of why one would not. A couple of 
>>> paragraphs later they become MUSTs with some minor and explicit 
>>> exceptions. This should be clarified.
>> 
>> We said should because we were being practical. Some implementations cannot copy the TTL and set it statically. We want those implementations to not violate the spec.
>> 
>> We use MUST later for the Type of Service field. When the TOS is copied, then the sub-parts MUST follow what the text says.
>> 
> OK.  That is correct.   Its possible there is a better wording than 'caveat' but I can't think of a short form.  Caveat tends to make me think of get outs, whereas what you are doing is making it more strict for the ECN case. Leave it be. 

How about the word "exception"?

>>> s6.1, last para: "This main LISP specification is the authoritative 
>>> source for message
>>> format definitions for the Map-Request and Map-Reply messages." So 
>>> what spec is authoritative for Map-Register and Map-Notify? It is later 
>>> stated that this spec defines the message format of these messages 
>>> (first paras of s6.1.6/6.1.7). This seems pretty authoritative. I 
>>> suspect that this para could be dropped wlog.
>> 
>> I will fix this text. Thanks for finding this.
>> 
>>> s6.1.4: S bit: How do I find out how big the Mapping Protocol Data is in 
>>> order to determine where the extra security fields are located?
>> 
>> This was commented on quite a bit and was used for CONS. Since the commenters won the argument to remove references to CONS, we will remove the Mapping Protocol Data part, which actually is not used by any implementations.
> OK.. But, should it go from s6.1.2 as well?

We have removed this from the spec.

>>> s6.1.4: M priority/weight: Multicast suddenly makes an appearance. Not 
>>> sure why?
>> 
>> Because we have to encode multicast priorities. And to get a mapping for an ETR to join an ITR, we use a Map-Request/Map-Reply exchange. I will add a reference to LISP-multicast for each reference to M priority and M weight.
>> 
>>> s10.3: How is a "route-returnability check" performed in LISP?
>> 
>> I added another sentence to the defintion of "Route-returnability".
> The new sentence tells the principle of what messages to send - but where to send them?  The problem in my mind is that it is apparently the ETR performing the check.  Is the check sent to the ITR or the original source (EID)?  If 

The ITR too.

> to the original source, why should that source believe it ought to answer this ETR (which will have to have an EID that the return message is sent) when it has never heard from the ETR and has no idea whether the ETR is a kosher node?  If the source is behind a firewall or NAT there is a good chance the message will never arrive.  This case differs from the standard route returnability case where messages are always end-to-end.   

When the ITR sends a Map-Request, it expects an answer, when it gets an answer with the nonce it created, it will accept the response. If you want stronger security, the ITR puts a one-time-key in the Map-Request and the ETR will sign the Map-Reply via the procedures in draft-ietf-lisp-sec-01.

>>> Nits/editorial comments:
>>> General: s/bytes/octets/
>> 
>> Changed throughout.
>> 
>>> General: Figures all need titles and numbers.
>> 
>> There are section titles for the figures. There are no figure numbers just like RFC 2460. I don't see the point since there is no text that back references the figures. And I think we wrote the text to sufficiently introduce the figures that are about to come up.
> You can discuss this one with the RFC Editor.
>> 
>>> s3: s/PA addresses are an an address/PA addresses are an address/
>>> 
>>> s3, RLOC: Link to IPv4/v6 specifications needed.
>>> 
>>> s3, EID-to-RLOC Database: "This has no negative implications." 
>>> Justification?
>>> 
>>> s3, Negative Mapping Entry: Needs cross-reference for Negative Map-Reply.
>> 
>> Changed all the above.
>> 
>>> s3, Data Probe: needs cross-reference(s)
>> 
>> I don't think it does because it is being defined here for the first time.
> See discussion above. ALT?

That did not make this a clear comment at all.  ;-)

>>> s3, PITR: The alternative term PTR is now not used at all and can be
>>> removed.
>> 
>> Fixed.
>> 
>>> s4.1, item 7: Needs cross references.
>> 
>> Can you be more specific please. Are you asking for a reference for DNS names or for the Map-Reply or for something else?
> No.  To the piece that tells about the policies (Section 6.5). 

Rather than get this wrong. Can you tell me the exact text that needs a reference to where? I want to avoid the back and forth on this thread.

>> 
>>> s5.1 and s5.2 Need references to base IP specifications and notes about 
>>> the items that are defined in those specifications, and the equivalences 
>>> between source/destination IP addresses and EIDs/RLOCs. (also applies to 
>>> s6.1)
>> 
>> We did this in a later update. We put the references in 5.3 where we describe such fields.
> Fine.
> 
>> 
>>> s5.3: This section should also refer to the various abbreviations used 
>>> in the figures (e.g., OH for Outer Header, etc).
>> 
>> It is expanded in the "Packet header descriptions:" part.
>> 
> True but hardly 'first use'.  All it needs is s/Inner header/Inner Header (IH)/ and similarly for OH in s5.3. Plus a definition of IHL (internet header length).

Done. Thanks for being specific. IHL is covered by the reference to RFC 791.

>>> s5.3, LSB: First mention of anycast addresses here. Needs a cross 
>>> reference or earlier introduction.
>> 
>> I have added a definition for anycast address in the Definition of Terms section.
>> 
>>> s6.x: Encodings of numeric fields not specified.
>> 
>> All fixed. New text enclosed. Please acknowledge. The -20 has not been posted. This is a work in progress -20 waiting Adrian's comments as well.
>> 
>> Dino
>> 
> 
> EXTRA INTRODUCED NIT and EXTRA ISSUE SPOTTED:
> s4, first bullet: "get to destination, which in turn, LISP routers deliver" has got garbled.  I think something like the following was intended:
>     assume packets get to their intended destinations.  In a system where LISP is deployed, LISP routers intercept EID addressed packets and assist in delivering them across the network core where EIDs cannot be routed.

I adde this text. Thanks.

> s5.3, LISP Locator Status Bits, last sentence:    "If the LSB for an anycast locator.." How does the ITR know it is an anycast locator?  They are indistinguishable for any other IP address in most cases.

It is stating what happens if the LSB is for an anycast locator. The ITR doesn't care if it is anycast or anything else because they are indistinguishable.

Thanks,
Dino