220 40336 <85554521.NQMVqEWYve@tjmaciei-mobl1> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Thiago Macieira <thiago@macieira.org>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Runtime code generation and self modifying code
Date: Fri, 05 Oct 2018 08:38:39 -0700
Lines: 19
Approved: news@gmane.org
Message-ID: <85554521.NQMVqEWYve@tjmaciei-mobl1>
References: <4489f889-977c-45f2-8a2f-186ee3b06bff@isocpp.org>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
X-Trace: blaine.gmane.org 1538753798 904 195.159.176.226 (5 Oct 2018 15:36:38 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Fri, 5 Oct 2018 15:36:38 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBCB4TK757YBRBAUL33OQKGQEFFLAQXI@isocpp.org Fri Oct 05 17:36:34 2018
Return-path: <std-proposals+bncBCB4TK757YBRBAUL33OQKGQEFFLAQXI@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-qt1-f200.google.com ([209.85.160.200])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBCB4TK757YBRBAUL33OQKGQEFFLAQXI@isocpp.org>)
	id 1g8S9Y-00005H-F5
	for gclcip-std-proposals@m.gmane.org; Fri, 05 Oct 2018 17:36:32 +0200
Original-Received: by mail-qt1-f200.google.com with SMTP id f19-v6sf12590742qtp.6
        for <gclcip-std-proposals@m.gmane.org>; Fri, 05 Oct 2018 08:38:43 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1538753923; cv=pass;
        d=google.com; s=arc-20160816;
        b=muC9LHkffNEzOnhz/DySkGL8o8/DM4HleODCb3XkcLTaai/q1Zb/5biP8/jPF9RlAz
         BUCH4SvTxUXCvRnEUrk+80WkkIfaviXPb2Kwjh56NlaQHiL+qNEBQsO8T9fO/230DkNS
         LMFEpscZFUUgAbIHLYjcDXiS2gfMWwWgaY3GcGzbn7mkyyvD7p9SS7LMfGNw+bHBfnHp
         oJcP81qbc3neU1DCld9CQr7IEW926JC4s/KOZYxHpOPNICayOWn/JrQPiHHB3lb/GL/Y
         QXihd/Two6w3VtQji9ilSnrkp8JpGgdBuFn73+cWQzzRzqQ8u3IUUNxeMmhes61sFXIf
         /Haw==
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:mime-version:references
         :in-reply-to:message-id:date:subject:to:from:dkim-signature;
        bh=PWA/35uw5vXj2bvyeNBnuq9KNRV8RHU5h4PO00Nu7tU=;
        b=OR4AdMyxML0FeFFYaAC3aBlV1yj5iJQL/wbisQ+qkhI6rFeFAYxUtBFerWu588QGSk
         cHNXgcuB6aEfLwcdRBeyYY4bJKo65ifK6cyHAjpCbeijD/Eze80AT5b3J8k5qsMGYpq6
         QWX1sxLEoAYkIJPd0U1lZi0RaRaQWDo95IM7wdGU5bdOtYQeQ2w+6XGHTENnNfv4BFPD
         eRbZHxpGjB61TYoNYWAmO/aHLUnRFuQDxQXIy+p3FJT0viB75DcKRFMXH11dgM4HRDdR
         F/OMCihQdgQZfngxG6QpAC2eZqCiP2QStmDhrs2WOLYV5LQ51qAt1fxf/mu4qPgy7vSV
         4woQ==
ARC-Authentication-Results: i=2; mx.google.com;
       spf=pass (google.com: domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted sender) smtp.mailfrom=thiago@macieira.org
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=isocpp-org.20150623.gappssmtp.com; s=20150623;
        h=from:to:subject:date:message-id:in-reply-to:references:mime-version
         :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=PWA/35uw5vXj2bvyeNBnuq9KNRV8RHU5h4PO00Nu7tU=;
        b=ICEzYVZlPwxnKf+BweY+wkHN6aLtN66kG3vUG96B2sOH7X0+CVmBtR0X0RsfdkZFT1
         t3+oEN3A+wOgSVQX2hvzennpQz8QTdvkfEDZO0uDVq8BEWQXxZIozwMt1p18FmVEWADI
         Q8Z3TkPnHs+71P0j++6IP7sZ3VZ753o6XcUzDb6FTz9OmO/929Jm18N+lY9a50c/x1QT
         49cKJ6aJknS10bEYajZ2PjabDiLr5DCu4c6Ch3Yih7AcabLDsklxnjdksEG3vX9JbCS1
         phJAhQdLSV45/Q55pvvfK/ggYUxgYFCX9dcktC9qUaPZ5etLJS0LFIvuh66/q9eCZ6u9
         VRVA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to
         :references:mime-version: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=PWA/35uw5vXj2bvyeNBnuq9KNRV8RHU5h4PO00Nu7tU=;
        b=ZUxX+kE9BN8c1/01nH5bMv5su0VfAwz3NRj3Pz2AD5mmLV+Orvj8RL25/VMcxAuNti
         d43+ZsTQhlonNPhak/rgdkJz5HPkIY1W97vilOAW8t3HeD4Oh2aPqKrU5UzQuAguFKAA
         LD20IPkaFSoyuCvAHx1SC7rHKnYC8amwFLqKEMSuO4A6S97aGEGIXVPewaMqMCNcpX7l
         H89TX42Zow3R7pizJbDYKic5Zd1m10L1ug144iqrRyBtqrjb5T9jS0ltDfKFN/GtfTXg
         FPyZv9XsWPsYeW7VpxJwjLM75ZtA2Fai2Gyn7IOSl19fYIzBfuE/PQb4aVqbtp8+3F2i
         2MNw==
X-Gm-Message-State: ABuFfohZo8glK+R9Kt246lvcKNE5CBlt9NHnRudEJ2rETbzUm5LfJHTR
	shej/X5gb1VL3TW3HTi+Y8bPrA==
X-Google-Smtp-Source: ACcGV62VOwKkDP/2BXVqkcN7/C7++mQlFgfurokU5CrnykPrxl+SLAL3gai+vwLGTQ5OaNfe0xOwpg==
X-Received: by 2002:aed:25b0:: with SMTP id x45-v6mr8898740qtc.4.1538753922903;
        Fri, 05 Oct 2018 08:38:42 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 2002:ac8:257d:: with SMTP id 58-v6ls3193960qtn.7.gmail; Fri, 05
 Oct 2018 08:38:42 -0700 (PDT)
X-Received: by 2002:ac8:33d6:: with SMTP id d22-v6mr9884216qtb.313.1538753922033;
        Fri, 05 Oct 2018 08:38:42 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1538753922; cv=none;
        d=google.com; s=arc-20160816;
        b=V182TVAMz4aoMOQQ/UsUxrdLBiEYnoChbVmu7gN0zg/huDe3g6Q4JTMYkhJNZrME+X
         ydw+CFMwupTaa0sMGPTQniYm7N8LIoy40IHgRc04dhvjjPUUH/JPmDPFUySFc3EnJwtr
         xnpL1jW99AdoHdQCZRY/g86kI67COEg4wRiP9oo7Yzxm6VWRFbLyDuOAMofGSwquAU2z
         efUSUp8+YbFmRHqrCW3b2fB5AornSXFaOYkqy3eE07zt9tck5QeVl8xYcCXUrZ04ZzkO
         Ng5TXG8wvtKwMF37mQjM7MB2u6U92v+/sL00vuodv0AThrEaWPfOWiQw2pBtg5iD1sAm
         9AfQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=content-transfer-encoding:mime-version:references:in-reply-to
         :message-id:date:subject:to:from;
        bh=8HeBXUCtqI3F6pvnvpQrs0mBiQqPiVYa5rZOcJTda3M=;
        b=tXZ/8SG5eZpKRYD9D8coKOz80xYOhnwWH4kHt2f9Qn+M9IyH5tm7fCJZAlK+1ZCjnn
         ZYsAXdvuo92zRf5eyzhrGSDEICcMdWxrEtTwuTVe3yPgMKrfLAGwbwDxxUONleagA9ho
         3I6QHYsk8q97IvqsY2+dcawTMsPfVvSjJiFs/XZA629us45/FWfBnvNLFD9k7so97cfY
         FUOEDr+nbaMQE1B2JjTmETKyiFSEwK7EmAuwhKnTDg3ldvEMXrJJz0GW952FkQa0rdyI
         l++04Wg7U0jyLmDWnv96ImODEonwyGrUOoo71T2woS6HlN/CymCKkUVCXXPuEPDsBpgp
         eBCA==
ARC-Authentication-Results: i=1; mx.google.com;
       spf=pass (google.com: domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted sender) smtp.mailfrom=thiago@macieira.org
Original-Received: from smtp.macieira.info (smtp.macieira.info. [2001:19f0:5:2221::1:3])
        by mx.google.com with ESMTPS id x11-v6si4470639qvr.128.2018.10.05.08.38.41
        for <std-proposals@isocpp.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Fri, 05 Oct 2018 08:38:41 -0700 (PDT)
Received-SPF: pass (google.com: domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted sender) client-ip=2001:19f0:5:2221::1:3;
Original-Received: from tjmaciei-mobl1.localnet (unknown [IPv6:2601:1c0:4500:d000:f1f7:a58d:7beb:9a94])
	by smtp.macieira.info (Postfix) with ESMTPSA id 684D319EB2
	for <std-proposals@isocpp.org>; Fri,  5 Oct 2018 08:38:41 -0700 (PDT)
In-Reply-To: <4489f889-977c-45f2-8a2f-186ee3b06bff@isocpp.org>
X-Original-Sender: thiago@macieira.org
X-Original-Authentication-Results: mx.google.com;       spf=pass (google.com:
 domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted
 sender) smtp.mailfrom=thiago@macieira.org
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Spam-Checked-In-Group: std-proposals@isocpp.org
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:40336
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/40336>

On Thursday, 4 October 2018 17:35:50 PDT Matthew Fioravante wrote:
> What if you instead you atomically overwrote the check with NOPS. Then the
> branch is gone and accessing the object is as efficient as if it weren't
> lazy.

You can't do that on most modern architectures.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
   Software Architect - Intel Open Source Technology Center



-- 
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/85554521.NQMVqEWYve%40tjmaciei-mobl1.

.
