Re: [dispatch] A State Synchronization Working Group

worley@ariadne.com Mon, 30 October 2023 21:06 UTC

Return-Path: <worley@alum.mit.edu>
X-Original-To: dispatch@ietfa.amsl.com
Delivered-To: dispatch@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 9C3B9C15107E for <dispatch@ietfa.amsl.com>; Mon, 30 Oct 2023 14:06:42 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.991
X-Spam-Level:
X-Spam-Status: No, score=-0.991 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.249, PP_MIME_FAKE_ASCII_TEXT=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_SOFTFAIL=0.665, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=comcastmailservice.net
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id q_FK5JHjjTJL for <dispatch@ietfa.amsl.com>; Mon, 30 Oct 2023 14:06:37 -0700 (PDT)
Received: from resdmta-h1p-028598.sys.comcast.net (resdmta-h1p-028598.sys.comcast.net [96.102.200.14]) (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 A4450C14F748 for <dispatch@ietf.org>; Mon, 30 Oct 2023 14:06:21 -0700 (PDT)
Received: from resomta-h1p-028434.sys.comcast.net ([96.102.179.205]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 256/256 bits) (Client did not present a certificate) by resdmta-h1p-028598.sys.comcast.net with ESMTP id xS1Qqt12AVFbSxZQqqXXEi; Mon, 30 Oct 2023 21:04:20 +0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=comcastmailservice.net; s=20211018a; t=1698699860; bh=ck29Qexl3tmB0WWmDUCyxv1zhOtNkSzmZTxOhRJBHmI=; h=Received:Received:Received:Received:From:To:Subject:Date: Message-ID:Xfinity-Spam-Result; b=SAy1PXBCHz5FOpQYgQGuF1VrDTc/T5/VsNNyqEl+oM20ilaLg0yN/OC1UTDjrC4XF B8wNCs1ZbitkUSiC9aO4+MamFPQotZ9rxh8vL4MP3mDv194DBj9FRKKZsCIGYRBN24 PePWS5MlDKnMx8YN+gXLbk3LptgPLVMgevJLUbRlfOjAKHFsQUCGRYnAJqUI00CBEE RqIC7Hh8Re8UfTju1gSaRevP+bOP02ei2pINTntKPJ2vSR22I8DQDjNsp7tOjLWopo 3feQglh2R97DEpUpvFv9VJ7ndHOu6ri8phm3fOHVbluKh6vLmEODeIpQTcqbZnhXpF D1Ye1TZbJhxFw==
Received: from hobgoblin.ariadne.com ([IPv6:2601:192:4a00:430::bb78]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 256/256 bits) (Client did not present a certificate) by resomta-h1p-028434.sys.comcast.net with ESMTPA id xZQnqsbvTn8HhxZQoqAOEN; Mon, 30 Oct 2023 21:04:19 +0000
X-Xfinity-VAAS: gggruggvucftvghtrhhoucdtuddrgedvkedruddttddgudegfecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucevohhmtggrshhtqdftvghsihdpqfgfvfdppffquffrtefokffrnecuuegrihhlohhuthemuceftddunecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefhvfevufgjshestddttddttddttdenucfhrhhomhepfihorhhlvgihsegrrhhirggunhgvrdgtohhmucdlffgrlhgvucftrdcuhghorhhlvgihmdenucggtffrrghtthgvrhhnpeejteeugeetkeehvefgtdekieejheeftefffedvheeljeekveeuueehjeehleejffenucfkphepvdeitddumeduledvmeegrgdttdemgeeftdemmegssgejkeenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhephhgvlhhopehhohgsghhosghlihhnrdgrrhhirggunhgvrdgtohhmpdhinhgvthepvdeitddumeduledvmeegrgdttdemgeeftdemmegssgejkedpmhgrihhlfhhrohhmpeifohhrlhgvhiesrghluhhmrdhmihhtrdgvughupdhnsggprhgtphhtthhopedvpdhrtghpthhtohepthhoohhmihhmsehgmhgrihhlrdgtohhmpdhrtghpthhtohepughishhprghttghhsehivghtfhdrohhrgh
X-Xfinity-VMeta: sc=-100.00;st=legit
Received: from hobgoblin.ariadne.com (localhost [127.0.0.1]) by hobgoblin.ariadne.com (8.16.1/8.16.1) with ESMTPS id 39UL4GwE008573 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Mon, 30 Oct 2023 17:04:17 -0400
Received: (from worley@localhost) by hobgoblin.ariadne.com (8.16.1/8.16.1/Submit) id 39UL4Gd5008570; Mon, 30 Oct 2023 17:04:16 -0400
X-Authentication-Warning: hobgoblin.ariadne.com: worley set sender to worley@alum.mit.edu using -f
From: worley@ariadne.com
To: Michael Toomim <toomim@gmail.com>
Cc: dispatch@ietf.org
In-Reply-To: <39d6318e-9a55-d5f1-f45f-4650a445bdba@gmail.com> (toomim@gmail.com)
Sender: worley@ariadne.com
Date: Mon, 30 Oct 2023 17:04:16 -0400
Message-ID: <87cywvq0tr.fsf@hobgoblin.ariadne.com>
Archived-At: <https://mailarchive.ietf.org/arch/msg/dispatch/saH5tQ2kgrRYJi6pg0V-Gxh8HJQ>
Subject: Re: [dispatch] A State Synchronization Working Group
X-BeenThere: dispatch@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: DISPATCH Working Group Mail List <dispatch.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/dispatch>, <mailto:dispatch-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/dispatch/>
List-Post: <mailto:dispatch@ietf.org>
List-Help: <mailto:dispatch-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/dispatch>, <mailto:dispatch-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 30 Oct 2023 21:06:42 -0000

Michael Toomim <toomim@gmail.com> writes:
> *1. Ready for Standardization*
>
> These four aspects are currently specified in 
> draft-toomim-httpbis-braid-http [1], and are ready for standardization:
>
>  1. General History & Versioning
>  2. General Subscription & Update semantics
>  3. General Mutation Language—for the class of "replace range X with
>     contents Y" operations
>  4. General Merging & Consistency specification semantics
>
> I claim that anything you want to do with history, mutations, 
> subscriptions, or merging can be done in the Braid-HTTP abstract model. 
> Our group has deliberated, specified, implemented, and tested this 
> against multiple concrete systems. For instance:

The state synchronization application I'm most familiar with is the SIP
event notification model.  It is a framework and a number of different
types of events are defined within the model.  The interesting event
types have a state which is expressed in XML but is logically a set of
name/value pairs (sometimes the values themselves are composed of
name/value pairs) with each event type defining ways for the event
notifier to send partial and full updates to the state.  Within those
systems, an operation "replace range X with contents Y" is not so
useful, as that operation implies a state structure which is a long
ordered sequence of small data items.

Dale