Re: [arch-d] deprecating Postel's principle- considered harmful

Henning Schulzrinne <hgs@cs.columbia.edu> Wed, 08 May 2019 18:29 UTC

Return-Path: <hgs10@columbia.edu>
X-Original-To: architecture-discuss@ietfa.amsl.com
Delivered-To: architecture-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C6DFE120135 for <architecture-discuss@ietfa.amsl.com>; Wed, 8 May 2019 11:29:19 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.199
X-Spam-Level:
X-Spam-Status: No, score=-4.199 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=unavailable 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 qqdn7YIV3h-u for <architecture-discuss@ietfa.amsl.com>; Wed, 8 May 2019 11:29:16 -0700 (PDT)
Received: from outprodmail01.cc.columbia.edu (outprodmail01.cc.columbia.edu [128.59.72.39]) (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 E2422120025 for <architecture-discuss@ietf.org>; Wed, 8 May 2019 11:29:15 -0700 (PDT)
Received: from hazelnut (hazelnut.cc.columbia.edu [128.59.213.250]) by outprodmail01.cc.columbia.edu (8.14.4/8.14.4) with ESMTP id x48IOek4016624 for <architecture-discuss@ietf.org>; Wed, 8 May 2019 14:29:14 -0400
Received: from hazelnut (localhost.localdomain [127.0.0.1]) by hazelnut (Postfix) with ESMTP id E417B6D for <architecture-discuss@ietf.org>; Wed, 8 May 2019 14:29:14 -0400 (EDT)
Received: from sendprodmail03.cc.columbia.edu (sendprodmail03.cc.columbia.edu [128.59.72.15]) by hazelnut (Postfix) with ESMTP id 834E69D for <architecture-discuss@ietf.org>; Wed, 8 May 2019 14:29:14 -0400 (EDT)
Received: from mail-oi1-f198.google.com (mail-oi1-f198.google.com [209.85.167.198]) by sendprodmail03.cc.columbia.edu (8.14.4/8.14.4) with ESMTP id x48ITEZC024818 (version=TLSv1/SSLv3 cipher=AES128-GCM-SHA256 bits=128 verify=NOT) for <architecture-discuss@ietf.org>; Wed, 8 May 2019 14:29:14 -0400
Received: by mail-oi1-f198.google.com with SMTP id v13so3537911oie.12 for <architecture-discuss@ietf.org>; Wed, 08 May 2019 11:29:14 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=5SF03DUht1rTCNzZ3O2JnJktZAihU8DxPrv5jQdjvJA=; b=hwpImRWVX8+foPFtg4p/uopyM4dKiQFYVJNYQDOP9gKHVT3jwAZ2It2SMa2Zh0+iZ/ +B4CLiLUC14Xjw/1rRu6Tm9mvg/JjZ2ZfPl3fCjAHjzTexgnbe1TVUWtv1bQ0T98oa5n mnUD3/ZCcTXLRkE1gpfmk10FE3B6xJNDWv8KD/m6bvegXxwvkYXuFPu1osNJY6xVtbPH WiVGZQx/eFgkRh1ksu0EHglhUOlmXT/Uk7tXySpE+ACZcF5oPxDfePoGPhLwXch8lfoA 9dQz9eq7c7GdJIDkti51NDLlmnxPKirMEQxtSS7eyhy8UgsGF6RhGzg/3kIa8fgjatIh rJZA==
X-Gm-Message-State: APjAAAUk9xBN/vUfnt9bpwQjPtNmICcz2DuRJ94MPkM9/aw0n1zEaZWl BQChFxajogmhQIhFaGJciz9qifuPidM343G6JF+WC/QjrJeNYFj7zSwgdhBJ/ZJV6+AxnrqTXt8 AboYsIgCZ+SQI0Fypnb0/n+QgjZNJoTJ3MOkX4/LS2JYF8O82Hw==
X-Received: by 2002:aca:af4a:: with SMTP id y71mr3161407oie.55.1557340153309; Wed, 08 May 2019 11:29:13 -0700 (PDT)
X-Google-Smtp-Source: APXvYqyj5N1ccnhe2CH0jLhmRx0CzxKRJ5tSd+hlby5bgSlDJYh4M11v9QdMLJ72URfd8ZqjhZFbryhVscVFd7uIrfo=
X-Received: by 2002:aca:af4a:: with SMTP id y71mr3161390oie.55.1557340152942; Wed, 08 May 2019 11:29:12 -0700 (PDT)
MIME-Version: 1.0
References: <F64C10EAA68C8044B33656FA214632C89F024CD3@MISOUT7MSGUSRDE.ITServices.sbc.com> <CALaySJJDHg5j9Z7+noS=YXoNROqdsbJ6coEECtLtbJ6fWJ3xsQ@mail.gmail.com> <53a9c16c-163c-a18a-371a-f8aa8697af15@cs.tcd.ie> <20190507215332.GA31547@gsp.org> <alpine.LRH.2.21.1905072123580.8852@bofh.nohats.ca> <f5b8svg53bs.fsf@troutbeck.inf.ed.ac.uk>
In-Reply-To: <f5b8svg53bs.fsf@troutbeck.inf.ed.ac.uk>
From: Henning Schulzrinne <hgs@cs.columbia.edu>
Date: Wed, 08 May 2019 14:28:46 -0400
Message-ID: <CACgrgBZsaowwiRYbMPcGCounONq0JxzgiP37Q3_YBQv606KLSg@mail.gmail.com>
To: "Henry S. Thompson" <ht@inf.ed.ac.uk>
Cc: ietf@nohats.ca, "iab@iab.org" <iab@iab.org>, "architecture-discuss@ietf.org" <architecture-discuss@ietf.org>, The IESG <iesg@ietf.org>
Content-Type: multipart/alternative; boundary="0000000000009c65d80588648216"
X-No-Spam-Score: Local
X-Scanned-By: MIMEDefang 2.84 on 128.59.72.15
Archived-At: <https://mailarchive.ietf.org/arch/msg/architecture-discuss/rEDxRF6jwf7YRDRVn2ed51vJF64>
Subject: Re: [arch-d] deprecating Postel's principle- considered harmful
X-BeenThere: architecture-discuss@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: open discussion forum for long/wide-range architectural issues <architecture-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/architecture-discuss>, <mailto:architecture-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/architecture-discuss/>
List-Post: <mailto:architecture-discuss@ietf.org>
List-Help: <mailto:architecture-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/architecture-discuss>, <mailto:architecture-discuss-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 08 May 2019 18:29:20 -0000

One could argue that the Microsoft abandonment of IE and the now-oligopoly
of Chrome, Firefox and Safari is a consequence of that design choice. In
general, for complex protocols, we seem to "converge" to two or three
implementations, with two rolling up 80% of market, the third at maybe
10-15% and everybody else below that (and much of that remainder is usually
legacy, i.e., code no longer under active development). Postfix and
sendmail, bind and ?, httpd and nginx, etc.

The major difference for HTML was that a lot of content is still
hand-edited; telnet for SMTP is probably less common.

Henning

On Wed, May 8, 2019 at 12:17 PM Henry S. Thompson <ht@inf.ed.ac.uk> wrote:

> Paul Wouters writes:
>
> > ...
> > The problem is not the Postel principle. The problem is that we have "too
> > big to fail" implementations
>
> A historical example may illustrate how high the (organisational) stakes
> can be.
>
> The W3C lost control of HTML as a result of a decision, late in the last
> century, to commit to XML as the basis for the successor of HTML4 (for
> the W3C's own account of this, see [1]).
>
> The 'too big to fail' implementations in this case were initially those
> of Apple, Mozilla, and Opera, with Google joining in a bit later.
> Different aspects of XHTML2 (the proposed XML-based successor to HTML
> 4.01 and XHTML1.0) were problems for different constituencies and to
> different degrees, but what its opponents regularly cited as XML's
> insistence on a "halt and catch fire" approach to ill-formed documents
> was the one that was argued with perhaps the most bitterness.
>
> Postel's 'law' was regularly invoked in arguments against the XML
> approach, and it lives on in the current version of what is now called
> the "Living Standard" of HTML5, as published by the W3C, where we find,
> _inter alia_, in the section entitled *Conformance requirements for
> authors":
>
>   "Unlike previous versions of the HTML specification, this
>    specification defines in some detail the required processing for
>    invalid documents as well as valid documents." [2]
>
> One way of understanding the dynamic behind the transfer of effective
> ownership of HTML from the W3C to the WHATWG (a quasi-consortium of
> Apple, Mozilla, Opera and Google) is as a replay of (the mythology of)
> the foundation of the W3C itself, namely, that back in 1988 Microsoft
> and Netscape needed a way of managing HTML development that didn't
> violate the anti-trust rules.  In the early part of this century, a
> major part of browser interop problems lay in the area of error
> recovery.  The W3C's XML-based approach was intended to solve this by
> "cleaning up the Web":  XHTML2, by being XML, would require strict
> enforcement of well-formedness and encourage strict enforcement of
> validity.
>
> The browser vendors, in contrast, were terrified of the cost of
> increased support calls they predicted would arise, and preferred a
> solution sometimes described using the phrase "paving the cow paths",
> that is, standardising error recovery.  [see below at **]
>
> The result is a 1069-page-long standard with no BNF or any other form of
> concise grammar.  There are 11 pages of prose describing the low-level
> 'syntax' (angle-brackets and equal signs), and 100 pages of prose
> describing the generic parsing _process_, including, of course, error
> recovery. And there are just under 500 pages of prose describing, for
> every allowed element, how to process its serialisation in detail,
> including error recovery.
>
> Would we have been better off with XHTML2?  Not in the short term, I
> don't think.  But by now?  How can we know?  But, as Berners-Lee is fond
> of saying, "The future is longer than the past"...  We will keep paying
> the cost of the lack of incentives to clean up the Web for a long time...
>
> ht
>
> [1] https://www.w3.org/TR/html5/introduction.html#introduction-history
> [2]
> https://www.w3.org/TR/html5/introduction.html#conformance-requirements-for-authors
>
> ** John Klensin's recent post arrived after I had written this.  I think
> his description of "the first option" is perfectly borne out by what
> I've described above:
>
> > -- trying to specify every possible detail so that an
> > implementer knows what to do in every case and for every design
> > choice, including what is supposed to be done about each variety
> > of deviation from the standard by others.
>
> > ...
>
> > We know a few things about [this option].  It causes the standards
> > development process to take much longer than [the alternative].
> > Because standards designers are not infallible, it is prone to errors,
> > errors that could make the standard completely unworkable.  For [HTML,
> > it was only possible because] there are complete and deployed
> > implementations around that [could] be examined and analyzed ... in
> > combination, in [building] the standards.
> --
>        Henry S. Thompson, School of Informatics, University of Edinburgh
>       10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
>                 Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
>                        URL: http://www.ltg.ed.ac.uk/~ht/
>  [mail from me _always_ has a .sig like this -- mail without it is forged
> spam]
>
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>
> _______________________________________________
> Architecture-discuss mailing list
> Architecture-discuss@ietf.org
> https://www.ietf.org/mailman/listinfo/architecture-discuss
>