220 37626 article Path: news.gmane.org!.POSTED!not-for-mail From: Hyman Rosen Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Why do we need `volatile` in C++? Date: Tue, 3 Apr 2018 18:05:06 -0400 Lines: 72 Approved: news@gmane.org Message-ID: References: <044dfdd3-2313-4ce3-a5e2-3a23c1c0d678@isocpp.org> <9bc32039-04fe-42cd-abc4-49040cf3a6dc@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="001a1147c34c65f9810568f8e761" X-Trace: blaine.gmane.org 1522793007 29651 195.159.176.226 (3 Apr 2018 22:03:27 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 3 Apr 2018 22:03:27 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDKJJPVBQMKRBJ7VR7LAKGQERMOAINQ@isocpp.org Wed Apr 04 00:03:22 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-wr0-f199.google.com ([209.85.128.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1f3U1P-0007ZO-NJ for gclcip-std-proposals@m.gmane.org; Wed, 04 Apr 2018 00:03:19 +0200 Original-Received: by mail-wr0-f199.google.com with SMTP id 31sf10238695wrr.2 for ; Tue, 03 Apr 2018 15:05:29 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1522793129; cv=pass; d=google.com; s=arc-20160816; b=bE66QVoWMKzQkySok0yQFmK0q2eQTb5Lx0VqSadxNMWs0fvI/lBI4liJeUkqZFZfwb TtdLG9wSpdcY/H2jyIKmdoHY5Wp3LRyoMApPmepYCtnUCBTwN3FYdYBlovptlzS81utb Jok8rcrkNAoaR3TqbfUYm1dL0cTto9oPU4qGzzd3FA+vmYhYProoC435+HvT03041A+l jrLR5T5uMLzAJOBb8gipWq1xmZ9QALNlB6yvcRUxaTix4SutqjwJiiwO0CLm9ngvHLH7 6a+IzfSXxX/WW6GYjeF9FhFydmzb3p16UN68Pa/c9P9kSxOu0q9g5adcDYipsgIZ6XAg 8iwQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:to:subject:message-id:date :from:references:in-reply-to:mime-version:arc-authentication-results :arc-message-signature:dkim-signature:arc-authentication-results; bh=A9YCjE6Vg8PZSJ2BCsyY/TXLlfxXap40OHeZie79s/o=; b=PYpiqdBTNKlL7t479Rlqrh0H9DoHH3xDBLAni3eGwlq29MgDrYF7BRYR/OggZl2XSv d6EI71WdbCsrYkVTzl+uSIeVjUg+gAc7eroC7sjISNE9oyURrG38cZrUGiw9X3lVDLHD BvYPSpPa2ZBU69dKfTuc8QlXBC9uAVqm03/i+izdwtcFv0ZtXDpayNZpmC0gFiZrrbAc KO5fa/NcAwQ4+x6eDEc3nYM442VO/gtZmYtx1HhGoCHkAc6IQ+bi/6WOFWVb2t7wM8e5 tFfreQqYVGEj6PsaG29RY10tP+EZoCDpHNHYQ9hvlPQx6cxj5NyK000ZbTZeo91Gw0Hd Qw5A== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=uM9sYgZq; spf=pass (google.com: domain of hyman.rosen@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hyman.rosen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=A9YCjE6Vg8PZSJ2BCsyY/TXLlfxXap40OHeZie79s/o=; b=Q9neNtEVFvfNg8sgxWdO6k7w10r6aKWR2NXsvk9bidMUHVJ798GuVKc6u/1ZStBCFM nvn5sguKrpkSOk3G80vOvwySIoFUaxZZJH+975nxhqToQwgyhYCC0e/+d/RJyOV/d1Gp EfvDGflv63r8ilyVmEto0CRyTDLyxY/AxjVogAZGK31p4Ovy3VN0/A6iPckdYnaAwRJ4 nnnFyEBxmJ0NO/qeS4ClXF9Z+2P9pbEvmPWwbKcl3P3FrlD/SzJfD629ZmRqWW03D3Ld uCaCce2Imgw/RBay2maRZDSvMVCmaZn9U1j1OhfiqyPINdpvUhGFvg7/tncQA/17w5rH Sqrw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=A9YCjE6Vg8PZSJ2BCsyY/TXLlfxXap40OHeZie79s/o=; b=swUlCSLA/1buBXeWIZaPmi+bf/g7Sj5PNlIBlLgLoPO/M1CuxyY72YG/vOZLuWqbAp Lyv8TIPt4IQv8Qs0E+r8wmnQym33Som+z7BAlDMZHLK7jhMlYr9h7sXF0BTPfMA2FgxU NZOF51o+E5YHMJc8S6t/8EadlWoeRDSJP9lpy1mLd5f7UE0GgS200ZSnw2Nj39vTQSCZ LbTc/Lb8mvy9fuzPpeLoU7SflXfBdRwS3tH9YbEQnqLqImJqhm4NmpY4cawyOh0TSoUx qxYmFmffDgc+QXBYfEDuvxLP1+zyNgbc+OmbUWuDSuweGClzVGApvITOn/X4I/5B7OJA u4Gw== X-Gm-Message-State: AElRT7Gq2xQjsOef3lCGDWZp8E0iSFYOzIiZbmcgUt2oZaWVvWJrc27H ytY9NPLk4Dr3A2l71GP7NFFN6Q== X-Google-Smtp-Source: AIpwx4/6VLgoHtzjJHZ72yoHeF+BypR7HkXpeCrSAr6BmvCWmkZi8sGO9y+RYSPlE8NVkMkK0irv9w== X-Received: by 10.28.177.85 with SMTP id a82mr599264wmf.17.1522793129149; Tue, 03 Apr 2018 15:05:29 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.28.152.19 with SMTP id a19ls263258wme.7.canary-gmail; Tue, 03 Apr 2018 15:05:27 -0700 (PDT) X-Received: by 10.28.135.9 with SMTP id j9mr5266449wmd.68.1522793127517; Tue, 03 Apr 2018 15:05:27 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1522793127; cv=none; d=google.com; s=arc-20160816; b=fIQ++/qz80leq2aTx3+FV/2rcQJt3XhM8FwZJuf0tE3nsWbC83ytXpyyYikQ6QUaG8 CrbdPDFxnAqPhghN7yVbQpJN36qWIjrWf8EzWpxK/QS3ckT7qlVgVizBXkla3q4a/b+l g9+YNO/ZX474xIWJlEQIRo0Bk5TyxMH6txzcEICspQ+0vEQbaqIKMw4T67O5aQu814mk RvJvACTpAniwiJuMn7ossmleTmcavDaOyMcUL2+7w+78TCfD/pWxPYzjYWZqDZecCvAq Hc1/LwkFv7UI/UGMdY1fHY99vWFakyBl5P4i79nW8bqjE3M/EMcdI4I4eHm0RJ03Gn/Z jBIQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:references:in-reply-to:mime-version :dkim-signature:arc-authentication-results; bh=sgWDEAmCCv/IFAkP75IuDQbdSZ+fscC4Z8OK+8n+dvc=; b=Lzk1lF9B9o8JWqXfMv+kvxLmT0saY9BK3IXK48aVDUJRHZoo24Tac8HtckZoQg5x3v jwBHltDc0tn9MnbbDF23YTNBmnUnS/T1Rw4Tpsvt/0ZZsEnhOg587kZdiqPOHiwE7R8N Rbxxcub/Pu00SoFNv04g+OhCHRfhuaFDg9GveWDhCploGumU3VdMV/KE79j7E7UyTKny CvnbFx8cxD1YjyUkPYEUQmYdPsoZMHZXYjodMj6Hbz2kiJ7ciu1//i7JCJzDO5xH/yg+ CoFT/hMNoTorta2Ok5FH6cDuZ5QG9sqbPlO0QacP5H4yDuQVGRaZ22qvv/Zq/ELLZfpg 08cw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=uM9sYgZq; spf=pass (google.com: domain of hyman.rosen@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hyman.rosen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Original-Received: from mail-sor-f41.google.com (mail-sor-f41.google.com. [209.85.220.41]) by mx.google.com with SMTPS id 73sor560830wmo.26.2018.04.03.15.05.27 for (Google Transport Security); Tue, 03 Apr 2018 15:05:27 -0700 (PDT) Received-SPF: pass (google.com: domain of hyman.rosen@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 10.28.230.91 with SMTP id d88mr5148970wmh.67.1522793126949; Tue, 03 Apr 2018 15:05:26 -0700 (PDT) Original-Received: by 10.28.55.19 with HTTP; Tue, 3 Apr 2018 15:05:06 -0700 (PDT) In-Reply-To: X-Original-Sender: hyman.rosen@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=uM9sYgZq; spf=pass (google.com: domain of hyman.rosen@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hyman.rosen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:37626 Archived-At: --001a1147c34c65f9810568f8e761 Content-Type: text/plain; charset="UTF-8" On Tue, Apr 3, 2018 at 5:28 PM, Andrey Semashev wrote: > > I think, that expectation is wrong. The language doesn't give you such > guarantees. I write programs to achieve certain results. Those results must be achieved. If the basic constructs of the language can achieve those results, fine. Otherwise the inability of the language must be circumvented. Personally, I try to never depend on the exact result when FP is involved. That's nice. You don't, however, get to tell me what I need my code to do. well, tough luck Yes, that summarizes the optimizationist viewpoint in a nutshell. -- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAHSYqdZ-BHgNWQSC4srXSP3oznBgnjGBBBE9cxdhr2mTmMQ%3DWA%40mail.gmail.com. --001a1147c34c65f9810568f8e761 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On T= ue, Apr 3, 2018 at 5:28 PM, Andrey Semashev <andrey.semashev@gma= il.com> wrote:
I think, that expectation is wrong. The language doesn't give you such = guarantees.

I write programs to achieve certain result= s.=C2=A0 Those results must be achieved.
If the basic constructs of the = language can achieve those results, fine.
Otherwise the inability of the= language must be circumvented.

Personally, I try to never depend on the exact result when FP is involved.<= /blockquote>

That's nice.=C2=A0 You don't, however, get to = tell me what I need my code to do.

=C2=A0well, tough luck

Yes, that summarizes the op= timizationist viewpoint in a nutshell.=C2=A0

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit h= ttps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAHSYqdZ-BHgNWQ= SC4srXSP3oznBgnjGBBBE9cxdhr2mTmMQ%3DWA%40mail.gmail.com.
--001a1147c34c65f9810568f8e761-- .