Re: [Anima-signaling] CDDL mistake

Brian E Carpenter <brian.e.carpenter@gmail.com> Thu, 15 December 2016 22:44 UTC

Return-Path: <brian.e.carpenter@gmail.com>
X-Original-To: anima-signaling@ietfa.amsl.com
Delivered-To: anima-signaling@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E131D1296A4 for <anima-signaling@ietfa.amsl.com>; Thu, 15 Dec 2016 14:44:17 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2
X-Spam-Level:
X-Spam-Status: No, score=-2 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_PASS=-0.001] autolearn=ham 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 I0Hh4mF6-O4r for <anima-signaling@ietfa.amsl.com>; Thu, 15 Dec 2016 14:44:16 -0800 (PST)
Received: from mail-pg0-x236.google.com (mail-pg0-x236.google.com [IPv6:2607:f8b0:400e:c05::236]) (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 57075129668 for <anima-signaling@ietf.org>; Thu, 15 Dec 2016 14:44:16 -0800 (PST)
Received: by mail-pg0-x236.google.com with SMTP id f188so24449750pgc.3 for <anima-signaling@ietf.org>; Thu, 15 Dec 2016 14:44:16 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:cc:from:organization:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=cqDIMrC2d/Tv1Lj5JRFjbSGAa9FRTxBm2D6Cr+H7gQY=; b=pN0jr6SIv5IXvJvbWqcVpaiiagKjk6f8xtZEhj/f/jBfn6VL7D+1j3nr6BDd0vpD9H 7PmuTXZYqegDHXtweAiCSVhzLzcZZGHV5HLfME2B3UpSRPFchl4A2xk2D2xC19ysrkan OAlvlynJ/EW8lqLQaRtKz8YPAmoLPpFiS5NvW0z7qbRlxKQ1ylCruJnvjnvjP3LtCShQ DX+eabwIeNupTFKNpMHQnSK05gRuP5WscZ2EPDn8chmWCGMV7QlTzNBJH6MocHfx/9HW Fk1Hln7ns6o3UmsfCRmXspoVz6Yv5rCI3IDGtoGLmHIPFueMKo1dVfh9vVzxXSeJZsj5 1joQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:cc:from:organization :message-id:date:user-agent:mime-version:in-reply-to :content-transfer-encoding; bh=cqDIMrC2d/Tv1Lj5JRFjbSGAa9FRTxBm2D6Cr+H7gQY=; b=Wf3IQLoicM0p6bvSMnYkZtXA5C2Kk/crcAd7i5FOWS0VWKEoW4ZZq1V5WDa9Xqlkgc k883NjaVoOHevEBudLhtWLC2sDZhwFKJ8SX4mBttAeBHSAgSHSf+I7PHlV1YWtF41Gyy 7Skci0wFdrmx6OKpiMrYJBa4/Hjf3pYLD1oY9F58RqNnZDQstCxOBrnZ6lz7/GgXOyIO 3ESZnQOnyK6Biq37aw3M5iR3ieip/5pl6L05aggpA4+FDmGva9g6RPjuJwL1VLbk2J7x zZXvubYT8QnLyshPRFYe2FX8O/uv4FotD/CSzg/a8Z1jnrJG3PxrxY+WIxwk4fNmPbRN Y0Gw==
X-Gm-Message-State: AKaTC03jNSsyhCBKd3uvRQ+55/l1vqy8MWJPDB+3U01LtT6Yk1PFLH9cRliglls6jyHIJA==
X-Received: by 10.84.143.1 with SMTP id 1mr7007715ply.86.1481841855728; Thu, 15 Dec 2016 14:44:15 -0800 (PST)
Received: from [192.168.178.27] (232.230.69.111.dynamic.snap.net.nz. [111.69.230.232]) by smtp.gmail.com with ESMTPSA id 2sm6821964pgy.27.2016.12.15.14.44.13 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 15 Dec 2016 14:44:15 -0800 (PST)
To: Michael Richardson <mcr+ietf@sandelman.ca>
References: <0f17ca76-f4ed-5596-776b-34e666e10d22@gmail.com> <32399.1481152073@obiwan.sandelman.ca> <6e4bb53e-ec73-2790-0129-0953e7e96612@gmail.com> <14527.1481212581@obiwan.sandelman.ca> <32536e38-267b-8ce5-a638-d5d6610ccebe@gmail.com> <20450.1481826685@obiwan.sandelman.ca>
From: Brian E Carpenter <brian.e.carpenter@gmail.com>
Organization: University of Auckland
Message-ID: <e1c53e99-e3b6-8566-68a2-1f8765d4d7e9@gmail.com>
Date: Fri, 16 Dec 2016 11:44:22 +1300
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1
MIME-Version: 1.0
In-Reply-To: <20450.1481826685@obiwan.sandelman.ca>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/anima-signaling/SbQCFR087WCZm0HlURHGA-F8aEQ>
Cc: Anima signaling DT <anima-signaling@ietf.org>
Subject: Re: [Anima-signaling] CDDL mistake
X-BeenThere: anima-signaling@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
List-Id: Mailing list for the signaling design team of the ANIMA WG <anima-signaling.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/anima-signaling>, <mailto:anima-signaling-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/anima-signaling/>
List-Post: <mailto:anima-signaling@ietf.org>
List-Help: <mailto:anima-signaling-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/anima-signaling>, <mailto:anima-signaling-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 15 Dec 2016 22:44:18 -0000

On 16/12/2016 07:31, Michael Richardson wrote:
> 
> Brian E Carpenter <brian.e.carpenter@gmail.com> wrote:
>     > F_NEG: 1     ; valid for negotiation
>     > F_SYNCH: 2   ; valid for synchronization
>     > F_NEG_DRY: 3 ; negotiation is dry-run
> 
>     > <t>Note that for a given negotiation session, an objective must be either used for negotiation, or for
>     > dry-run negotiation. Mixing the two modes in a single negotiation is not possible.</t>
>     > </section>
> 
>     > Does this work?
> 
> So either bit 1 is set, or bit 3 is set?
> Rather than bit 1 is set for a real negotiation, and bits 1 and 3 are set
> for a dry-run?

OK, I can see that we need to disambiguate the text a bit more (this can't
as far as I know be expressed in CDDL). I think I'd vote for or'ing the bits,
so that if we later found a case of an objective that could be either
synched or negotiated, we could set both bits. So in that case, for a
discoverable negotiable objective and a dry-run, we'd set F_DISC and F_NEG
and F_DRY, ending up with 0x0B.

    Brian