220 39344 article Path: news.gmane.org!.POSTED!not-for-mail From: Jake Arkinstall Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Alternative proposal for mapping P0709 Deterministic Exceptions into C Date: Tue, 24 Jul 2018 16:41:35 +0100 Lines: 78 Approved: news@gmane.org Message-ID: References: <6a65c934-5d2a-4e75-b88d-9eaaee338bd3@isocpp.org> <1c229827-6d5d-45bd-8766-c3af818b2b0b@isocpp.org> <4ac80882-16fc-4ab4-9a12-64da1ef0e974@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000004e8afe0571c099fd" X-Trace: blaine.gmane.org 1532446778 28007 195.159.176.226 (24 Jul 2018 15:39:38 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 24 Jul 2018 15:39:38 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDCZX3WUUQFRBOER3XNAKGQEGRCQI3Q@isocpp.org Tue Jul 24 17:39:34 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-io0-f200.google.com ([209.85.223.200]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fhzPS-0007Cn-2d for gclcip-std-proposals@m.gmane.org; Tue, 24 Jul 2018 17:39:34 +0200 Original-Received: by mail-io0-f200.google.com with SMTP id y26-v6sf2979931iob.19 for ; Tue, 24 Jul 2018 08:41:45 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1532446904; cv=pass; d=google.com; s=arc-20160816; b=N9f00N9Wvk0CSLgoVF2Ab3/5QvApmORstfl3JWShupcLFqlQcXm6OY0cdzVexUTfag Bn0Jygso9PyJhdgHnc4nKVTXb8OQgoLzPiPIFCEOwXQ16YAvwu8qFpd+D9jjGeBBKhy3 V5v4P7WukpFouWHjGCmSZSfszFL6jmopRiTcEsNvaPnW/oz8NCaw+P5nEpBbEEJmD0yE eC/llQvh0tSjjpdU4ssM6PD3Na6KDrcTilJV+xSZ6uG9y4Ft7OGFxWfHFil8StWtGEh7 pePtRCO7CAt5LRGPtrQ2piHiRmJqYW2/q3IpKyJWA/9ZR5TZl9x79Zv1+oD1WBpf9zTo HjCA== 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:in-reply-to:references:mime-version:arc-authentication-results :arc-message-signature:dkim-signature:arc-authentication-results; bh=f4ZWpgdRHTBxLugmF4Z6SQ6cl1pZziWMU/w0imqXqHc=; b=qaUtwmB/ozhUpb4KmbU2VFJa2KP1ftFSQuE9NctUeIejRrafWtC16rbOpkwwlVkvVi xpzkBzsAzKgnuwkIKPVer1Ndy1Q80KtbH5dcSQO3YcnOMnYQgM6C/epU7y5g3DnrNqC9 RqfUXyCjlXMpFO+ClGo7HHCmnrubeUAPq1lAN0M74YwekD2eWv5JqOEQVhDw1Di1nRPB ZWmuxsqkP3Y/8FWcilStmzdElQZ8tSZCo87+bfgyBxHHyD18AsNfEl5bVGw11P/9EDVX TdRh6Ku9KedOSBLEUhDIc6N97qNaWP7eQB4EJmjdIlmQeZDeVPrHJ8hYwPghzHkGvQIR XKiQ== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pqiklFkJ; spf=pass (google.com: domain of jake.arkinstall@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=jake.arkinstall@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:references:in-reply-to: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=f4ZWpgdRHTBxLugmF4Z6SQ6cl1pZziWMU/w0imqXqHc=; b=lVhEBK3hONOCELSmcME3Ok8qVzP+jxn3+1hhUOAv10P02S9DQLxs/FLEuQdwwnTaHK mlg4V0Q1aYaw+HqDg5CFldNewwnx2CXoW2ILQLPsi6fM5KKkStLeSHDg34CvQmZEbV6d foIPyK1If8/Mzun670ej9xoZ0zCsPJHQu7OaZoI6NNF3odo7V6hqJDr5P95ZNo2DCSa9 uh/ayyB0g3HgpA9rf4bd13ac8Js3TLdwQRmtaCgpZjrYAtLocGTJgcI/giDfYpjSYEih geiyDY9o/q0r9IebgqTdevS+zMW5ryK26ygsPGP6a4qqD3Lnasjo8m+Gv/d9xvMNPA1z 1c+g== 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: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=f4ZWpgdRHTBxLugmF4Z6SQ6cl1pZziWMU/w0imqXqHc=; b=HUJ5t4GuUaCU1ZtGiA8nYYMYOKKNHHa3CFZOlRDQk9eV4MxAMqsiB1CE1TXhWNyglv gJZ8EUac1hh/m7hXMzOY+Ncqrxl1x5dYwSSMHyEq+fzee0b+VG6ANPY5P/N9VauEa6PM 3lQe4wzg4HY5JBsEHcYPmzgrFlMUgRtqyQT4UIhRp7W4waNV2WslldNDlMb7GiD29ENv mPs2gEoHdAUrhrPJ+bh6OxIuz1+NCLk1kIxgNFbl06j61ooyOfdYqELe+p5XAxt1ZMWZ RJs5upBG9T8lalmrEhhY1K7wTP+FpG/RBi4FOvozrURCe5p70icZnf5PR7iTop6JH2gu 9RuQ== X-Gm-Message-State: AOUpUlEY3gcF1bISrFSkiqaSHlXiaRGmbcJrBkcpnPJtMHvHzgZ5+sdl lOaKGDhVnVP+ltgMzfmCQRfMMQ== X-Google-Smtp-Source: AAOMgpeiTukldh71isf+qIjdvHK8+8Iyf0Dt+SUiCvYzUyqt0WdVSZLbHHobsLaWEFD7UecnrlrbmA== X-Received: by 2002:a02:a590:: with SMTP id b16-v6mr8705879jam.40.1532446904873; Tue, 24 Jul 2018 08:41:44 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a02:9145:: with SMTP id b5-v6ls1924233jag.9.gmail; Tue, 24 Jul 2018 08:41:43 -0700 (PDT) X-Received: by 2002:a02:a407:: with SMTP id c7-v6mr13438634jal.16.1532446903839; Tue, 24 Jul 2018 08:41:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1532446903; cv=none; d=google.com; s=arc-20160816; b=mIar/fmLmZPUUsy3lHCIlpCBqjcTnGXlPBUeG0MWIcIOfbouYuLMgjtxIRgp7akOyi SXt69cGp6FJpHIwrJ57Gln76AN4rCH4d49XDbpQcQm2Y0WqMRTBA3qfOH30RlXhl/yku +3lb6w6ZWpO5o4Rw2kQxfQ3x3hmHp7nPOaPKl6ZRPwSguldk8wzVHYLy/XUaWP/MhZBA vx5GwEJ/rYDNVwYqgo14SgewUpN/7RQwlPpa3DjxMjrXUlMPLUufzkxHavFxr/F5+vL2 Xc3jVQKzT4Kjjfjr9Ers0563O7LNbksbNqEIqsHYdFyMYYcbMe2aCUPrlhqb+qnNwYsR OLzg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature:arc-authentication-results; bh=2nOrcoPvOSWbSF8eSOBvn5LogJkZU3M6YsHHEE5xZYg=; b=zpTfVrMhFJ47Zo69dP9AzCNb1aXSY6Fs5F+8R1Cx3rDDX66o6nYFcyvp9o7vvME71S yZSXvPIAJoqEldOFtgmBDAIVp+qC3dtT5wk50aLNS/bv12KaLFA908ih94bR2idl8r5D v6dhzPqadbyAZbt95Y7NEb/J0qL3PhZn4sbEpitVErODvV+w3RcR8wr3PLwK2xf6Wdr9 /hjC8eZ6v5abGKEF1kk+QCvPYWTDOXaowhRBQdw8MF5HLEgusgQjKGVFa+76MQQ+OwNB xmSxzhCbA9gX9/tJ579O1wQJucQ5roviRm51ZLMyhqA3ZL9CXDCPT/5uP8sAOJL7UGvi ZXmg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pqiklFkJ; spf=pass (google.com: domain of jake.arkinstall@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=jake.arkinstall@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 l187-v6sor3790285iof.172.2018.07.24.08.41.43 for (Google Transport Security); Tue, 24 Jul 2018 08:41:43 -0700 (PDT) Received-SPF: pass (google.com: domain of jake.arkinstall@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:a6b:9145:: with SMTP id t66-v6mr14406501iod.59.1532446903272; Tue, 24 Jul 2018 08:41:43 -0700 (PDT) In-Reply-To: <4ac80882-16fc-4ab4-9a12-64da1ef0e974@isocpp.org> X-Original-Sender: jake.arkinstall@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pqiklFkJ; spf=pass (google.com: domain of jake.arkinstall@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=jake.arkinstall@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:39344 Archived-At: --0000000000004e8afe0571c099fd Content-Type: text/plain; charset="UTF-8" On Tue, 24 Jul 2018, 05:43 Nicol Bolas, wrote: > On Monday, July 23, 2018 at 9:55:11 PM UTC-4, Jake Arkinstall wrote: >> >> Error handling via an effective static state isn't thread safe. Marking >> the flag as volatile and telling users to check for errors immediately >> after the function call goes some way to help, I guess, but it's not >> sufficient to guarantee that errors won't crop up in the wrong thread (or >> do I have some reading to do?) >> > > I think this is a misunderstanding of what the paper is saying. It is not > talking about "static state" (even though it appears to). The > `funcName.failed` bit is not intended to be a static property of > `funcName`; it's closer to an invisible stack variable, which you access by > using the function's name. The compiler turns "funcName.failed" into the > specific stack location or register or whatever that maps to that data. > Well, that leaves me with egg on my face. The proposal certainly makes more sense given what you've said. On a similar note, then, what would this do to our constexpr? -- 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/CAC%2B0CCPJLYt4frAh%2BxcSyEpA9qiEdy%3DO98utgxz2Or5mwMoabw%40mail.gmail.com. --0000000000004e8afe0571c099fd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Tue, = 24 Jul 2018, 05:43 Nicol Bolas, <= jmckesson@gmail.com> wrote:
=
On Monday, July 23, 2018 at 9:55:11 PM UTC-4, Jake Arkinst= all wrote:
Error handling via an effective s= tatic state isn't thread safe. Marking the flag as volatile and telling= users to check for errors immediately after the function call goes some wa= y to help, I guess, but it's not sufficient to guarantee that errors wo= n't crop up in the wrong thread (or do I have some reading to do?)

I think this is a misun= derstanding of what the paper is saying. It is not talking about "stat= ic state" (even though it appears to). The `funcName.failed` bit is no= t intended to be a static property of `funcName`; it's closer to an inv= isible stack variable, which you access by using the function's name. T= he compiler turns "funcName.failed" into the specific stack locat= ion or register or whatever that maps to that data.

Well, that l= eaves me with egg on my face. The proposal certainly makes more sense given= what you've said. On a similar note, then, what would this do to our c= onstexpr?

--
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 https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAC%2B0CCPJ= LYt4frAh%2BxcSyEpA9qiEdy%3DO98utgxz2Or5mwMoabw%40mail.gmail.com.
--0000000000004e8afe0571c099fd-- .