Re: [spring] We don't seem to be following our processes (Re: Network Programming - Penultimate Segment Popping)

Brian E Carpenter <brian.e.carpenter@gmail.com> Sat, 07 December 2019 22:06 UTC

Return-Path: <brian.e.carpenter@gmail.com>
X-Original-To: spring@ietfa.amsl.com
Delivered-To: spring@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 37F0B12083A; Sat, 7 Dec 2019 14:06:35 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.999
X-Spam-Level:
X-Spam-Status: No, score=-1.999 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 E2HxTO_sW83P; Sat, 7 Dec 2019 14:06:33 -0800 (PST)
Received: from mail-pf1-x42e.google.com (mail-pf1-x42e.google.com [IPv6:2607:f8b0:4864:20::42e]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 97527120834; Sat, 7 Dec 2019 14:06:33 -0800 (PST)
Received: by mail-pf1-x42e.google.com with SMTP id s18so5205224pfd.8; Sat, 07 Dec 2019 14:06:33 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=WGZfTqNKsx33K8NRxwbS4UJjPQVZgps8yHnopJKIX5g=; b=kLMMIe1MPcv6U/hPuwjnHno6i+kSvv+48reEPxbIkJuC5LAnOMDw1TdLJxqosYK1eW Dvtaj8FC03Pc6QiLPUlVlaIXUtIah+8nAOXusbxF0Uan5xzmZdeNlCtiaqsCGxaEVYOB KM1e+DqedqUvIN67LL9soDmghGsS0465smZrC8jZJf74Us0Ia2jYV6miOlDd55Kg802L qhBnlHc2wgANd6ETZwlIK+b8pnTbXXbXDu95HRnN/aZ6eJYD12TNW2CqFwp1lFXfHcl1 sjc21LOVQLOFoA+hHDm6cgsmDCF5I447Fmah7db7HDPzSIcNyYoh12XPzsmNnfN3rHEo f23A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=WGZfTqNKsx33K8NRxwbS4UJjPQVZgps8yHnopJKIX5g=; b=ZJBf6GtJfq4955kaAi27u7qtNqa1Iah4gTxAJgYyhMYFL8da9otBnAbkuis6NRNJ1M SN9um+/Wdum/Z7S4Ce9Z1K36alRz1tTjBoMbYZYa0YFrJPfTwsnlYdOGZFe7+3BapXqP PTMMeBvqAqIx+o1i6GA3BTR2KsfqpbhetR+F1KORE0aoyUkJeY63eTd0hrhNMJCh5ps2 j2EKb5trYoriz3j7EHzrTjuRDvNv7dtXghRyP1hcST9ErYR6bD2gBzXUkdOTwwSsLf3L PIyVqMkowyjqy2C0hzwt+N7Dlgi9cmqAmlT5j3cmBjhBURf6Es6bVBW4C3NyY0aO68XQ GUXg==
X-Gm-Message-State: APjAAAX/BdysfDPklNZLUv44ThxTQiAwYKzw6fPX4ybbsJiE4zyU9C8E LDuhrf8wJmzLlkvzahxvB7s=
X-Google-Smtp-Source: APXvYqzX0a5dLv0vycaLEPtBkLoQ0qCBM7Sb7G4GrquE2C3PzW/an92PsStrGKDC+L2Fb0P4bAqAnQ==
X-Received: by 2002:a65:41cd:: with SMTP id b13mr11157147pgq.385.1575756393081; Sat, 07 Dec 2019 14:06:33 -0800 (PST)
Received: from [192.168.178.30] (228.147.69.111.dynamic.snap.net.nz. [111.69.147.228]) by smtp.gmail.com with ESMTPSA id p124sm21694411pfb.52.2019.12.07.14.06.28 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 07 Dec 2019 14:06:31 -0800 (PST)
To: Robert Raszuk <robert@raszuk.net>, Fernando Gont <fgont@si6networks.com>
Cc: Andrew Alston <Andrew.Alston@liquidtelecom.com>, Ole Troan <otroan@employees.org>, Ron Bonica <rbonica=40juniper.net@dmarc.ietf.org>, SPRING WG <spring@ietf.org>, 6man <6man@ietf.org>, "int-ads@ietf.org" <int-ads@ietf.org>, rtg-ads <rtg-ads@ietf.org>, Bob Hinden <bob.hinden@gmail.com>
References: <f2a0ad13-0eba-6f5a-1d3c-e45e2780f201@si6networks.com> <D666EA6E-E8E9-439A-9CDE-20857F03CB65@employees.org> <4255AD3B-379C-45BF-96E1-D3D9141A684F@liquidtelecom.com> <d59de54e-c7f8-be67-1e77-b051735d40a6@gmail.com> <3bce7b18-ea45-d29f-5dfb-1d3258b07d1e@si6networks.com> <c6e1f690-b0bf-9f45-8fa7-92ed182c5b04@gmail.com> <a2cc5cbd-ac06-e193-307c-3ffe5b21b0b1@si6networks.com> <CAOj+MMGaSooQbsRzJC2yCrFeHYFvbQgLY=merdwzjBFNXAj17g@mail.gmail.com>
From: Brian E Carpenter <brian.e.carpenter@gmail.com>
Message-ID: <ccee7f15-f994-afd5-3ab6-3bbd492751f0@gmail.com>
Date: Sun, 8 Dec 2019 11:06:25 +1300
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.9.1
MIME-Version: 1.0
In-Reply-To: <CAOj+MMGaSooQbsRzJC2yCrFeHYFvbQgLY=merdwzjBFNXAj17g@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/spring/pCX-7MZPk0gEpbt3bHc9zpoooSk>
Subject: Re: [spring] We don't seem to be following our processes (Re: Network Programming - Penultimate Segment Popping)
X-BeenThere: spring@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Source Packet Routing in NetworkinG \(SPRING\)" <spring.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/spring>, <mailto:spring-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/spring/>
List-Post: <mailto:spring@ietf.org>
List-Help: <mailto:spring-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/spring>, <mailto:spring-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 07 Dec 2019 22:06:35 -0000

On 08-Dec-19 00:47, Robert Raszuk wrote:
...
> Besides the pseudocode says it black and white "S14.1.   If (updated SL == 0) 

As I already pointed out, "updated SL" is undefined in the text and may in fact simply mean "Segments Left" after executing S14. Pseudocode really should be unambiguous.

Regards
   Brian