220 38160 article Path: news.gmane.org!.POSTED!not-for-mail From: "dgutson ." Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: memcpy/memset/etc overloads for volatile memory Date: Wed, 23 May 2018 12:34:50 -0300 Lines: 193 Approved: news@gmane.org Message-ID: References: <5B0520CD.30204@gmx.net> <1695197.Kxq4M8jdJr@tjmaciei-mobl1> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="00000000000093e581056ce1469b" X-Trace: blaine.gmane.org 1527089566 16406 195.159.176.226 (23 May 2018 15:32:46 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 23 May 2018 15:32:46 +0000 (UTC) To: std-proposals Original-X-From: std-proposals+bncBDE3NBMV6UFBBG4US3MAKGQE2DARQRA@isocpp.org Wed May 23 17:32:42 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qk0-f200.google.com ([209.85.220.200]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fLVkn-00049R-Kn for gclcip-std-proposals@m.gmane.org; Wed, 23 May 2018 17:32:41 +0200 Original-Received: by mail-qk0-f200.google.com with SMTP id w201-v6sf16126036qkb.16 for ; Wed, 23 May 2018 08:34:53 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1527089692; cv=pass; d=google.com; s=arc-20160816; b=UUgVx7KCiCg/pdWI0apDiZ8qS8aw3sYnqJYusZhHMVyDR3T/2ied0xl3spZDXGWgvx 0whvo5nud8kUdhOZzZlI+c9MtcB+jo6PgcEwd1OJzGfJODDD7yT2YBw3ZEHtB1+YfFdj 8sIpp8xLcl04EAY6JjZOHV2kiunRjlPVssQRJ3Wq4ZiGnQ2Rrhf9jIgqTe71osaUGVOG 283R4ejKivVbDer2o6vqClEelFQxL0MqPxovy+4fhKR2mEsurR73u9tv+aTjX/YINGor bGHsRI3UvWTno5Gl00vr2UsUD3LEnLBaSjwEA6RwBgS+wkOZxpZA4P5y+hyuUvr5Doq9 fo7g== 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=I2d2PJIWIW6p1iCnRsd53kq5mIM2tjHmVAlwhq4gyCM=; b=TWHu+7X/A2zMH0FOXj//JuRfWIevbOB5NRLGN+xSxj3yCyBmBmGxBLRUrb9BteGvo/ jnboGyJGD2ufGrPoWxNnHrHw9EO/H5ysFg+mxIsqhcONTbzMzJe9sYIqiTPeBDITdp/d dvNbWRPKJmP6qbqTVydgzCBR/VmdDT+AmcoVwHmGN2h+EmfijGkkiKc569r9lTfFdDNO fLPW4WUIHJLIOHo8Kz2nNe8GvI1feLZTvXYHhxXHMzh+86RExH7GFs9xr4RrRSNVcR4X fQ1GVcwwVdDjQIh8NbY7MC663UN2TZgtCtDwA2cVCzfiaEHEOopAmlI3UUL0hzMljJCf CdGA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=dI49n5+q; spf=pass (google.com: domain of danielgutson@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=danielgutson@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=I2d2PJIWIW6p1iCnRsd53kq5mIM2tjHmVAlwhq4gyCM=; b=bxj34z46ZahJ89HUuJ5Sd4Jmv8BQ/sh9MF+KSvzj56TxUj6hHAklyZLi9Kv1Qd/6qk vptbI1TwyiIP+qbwYnt4C0FXPHe6Yh2/t9cB7dRd2KhDQmgyaZw34ffVhHj4Sru28Y5y Q91J2fyVO1a4rzpLEE4P626Y+OMMpBeq7hC3hnZrYzHa36J6R3yYZqcMgvEzn3BhXz5j g+pdXmiythNioUhK7KrRoU8xyuJ41jCu9iSl3WJFZB/rytU1n+mSGY8R+BPDNWM74QDk EID0mLrkjKFfuLAI0nqtDbJEyUl615Sc2/+NNENw5h5e6bGYac54VNXJhO0YjKy/1O3x aOCQ== 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=I2d2PJIWIW6p1iCnRsd53kq5mIM2tjHmVAlwhq4gyCM=; b=n/1BQ6+fBsNNoquATcjnajUMcYS6T55MBNE7vVPSNr+2+KOwvtf8rmM+Ykd9Deb9nP EZLHZ3c3r9qQiy3qN5Qb3nkJluoyErjAxZOAzjZ24VICpq4LaioFgWYhFY1fooeveZaf qsW+fcwBeoSlBSGjGsn0GFPZN3QGaZKIxxoQlo3T2426rswJOOLtJ20tWVv+M6A9dU9s 1i1zsRkoo1jJm9qnUDI5o5CjDDjhQ4aUNSPfrKZwzuPd2Mm1YAEjPkyrBGVq4IZm7xVC jFJwVjac0FlPmvj4KLeOnNf3DrL2lwkH9Iy0T6VhCxBTGnGpMIHm7CdnAIabM3RoUY7r 4yjA== X-Gm-Message-State: ALKqPwdRnbPnJxrbXZl/fJ7YUxIKrsrnxDFBO5UUBJzQREonbAMdMcBN L4C50aehaibS1eUpXSxhqaOmqg== X-Google-Smtp-Source: ADUXVKIoTKGHU+ojZhE/CcYlv+EWmLESykeIZ+Tg0O5IzmDxMs25KZCrTYzhR+lfnqO3BBM4J5+hMw== X-Received: by 2002:a37:5056:: with SMTP id e83-v6mr1707569qkb.24.1527089692632; Wed, 23 May 2018 08:34:52 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a0c:96a4:: with SMTP id a33-v6ls8709257qvd.1.gmail; Wed, 23 May 2018 08:34:51 -0700 (PDT) X-Received: by 2002:a0c:c308:: with SMTP id f8-v6mr3050665qvi.39.1527089691732; Wed, 23 May 2018 08:34:51 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1527089691; cv=none; d=google.com; s=arc-20160816; b=ENUtQbS3FsUv2RWSp1Vrw7iwBRTkEI8pPLPR9G/2oM2u9jp421nNaw+WGlFiJAd86V oFyTQu94H3duDjcQwGmjWgM6c0nk7XUIP6OmL37RiM7erAC8pdx81nlt1LxkJSf1dOgA Chqr/o94K7PgWhCDxbgYGgXiyurypUOM/fo4wBv8WZn4tFjH3JPrC+1C4S2yQYThzj1d 6s8doeB2A1NcfPAHijpj0dLiE8nud7Utz0j1lmv040t8MzuPqqvEOw4lY9lqJXdutGUx GqgfoVjf+uQOrwpxUftBHN/5r3PsYWrlSGw8ULhYe6z6kKvcVHZ5lcwKiateLCQCG/sr ajsA== 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=hqg6Wn29TjE98WF9iqfINUnqPaYy30QszW8To8ka2tw=; b=R7rtwQMmWy/Y58+o49sBf//CEifHdRWB+A/2uGemu3shxkOJtn+LCT0QJysY2U3NYS 59C6A5F3DDGrH5k6xVu3vRfSiN/3su0PTGfc18ZQsWuQ93otwQdgh6xywYBbcR4GlvX6 LIsI0A+4Tgnojw87vLDl2LKrrr67gZXy/eMll45Qs03iFJSqijRCP+Rsmv7T3Coj554s EJT9wMQNQ3Cymyt+jOdHsQEs3WbYjlUj9QMENflR5FBZvnTYqXnuB4mrZQFq9yTdoggk +RvPX9JSYyhtFaY5FZ+X9SA8nP7ME6GgCZecDKgaqf3SwZecAXRYx/3EouuPcD88g/iN bw+w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=dI49n5+q; spf=pass (google.com: domain of danielgutson@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=danielgutson@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 c199-v6sor11271577qka.31.2018.05.23.08.34.51 for (Google Transport Security); Wed, 23 May 2018 08:34:51 -0700 (PDT) Received-SPF: pass (google.com: domain of danielgutson@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:a37:e10b:: with SMTP id c11-v6mr2771177qkm.253.1527089691090; Wed, 23 May 2018 08:34:51 -0700 (PDT) Original-Received: by 2002:a0c:acac:0:0:0:0:0 with HTTP; Wed, 23 May 2018 08:34:50 -0700 (PDT) In-Reply-To: X-Original-Sender: danielgutson@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=dI49n5+q; spf=pass (google.com: domain of danielgutson@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=danielgutson@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:38160 Archived-At: --00000000000093e581056ce1469b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Wed, May 23, 2018 at 12:33 PM, dgutson . wrote: > > > On Wed, May 23, 2018 at 12:13 PM, Thiago Macieira > wrote: > >> On Wednesday, 23 May 2018 10:31:15 -03 dgutson . wrote: >> > I think that we could think about some requirements packed in somethin= g >> > like a memory_traits, where it would specify: >> > - pointer type (optionally volatile-qualified) >> > - alignment requirements >> > - memory synchronization needs / specifications (an enumerator) >> > - vectorization habilities >> >> Or, like I said, you can roll out your own memcpy or memset (which are >> quite >> trivial) if you have specific requirements. >> > > I propose to leave "triviality" out of the discussion, since this can get > combinatoric complex, and there is no metric of "triviality" either. > There are many std functions that are arguably trivial as well, and > despite that, they are in the STL because people use them. > We can keep arguing about triviality, what is trivial and what isn't, and > we will end up comparing somebody with Hitler as per Godwin's Law. > Please forgive me, I sincerely respect you but this is not a discussion I > would like to have. > (especially because you may end up also, as I mentioned at the beginning, trying to control the optimizer preventing it to be too smart for "too trivial loops"). > > >> >> -- >> 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 Group= s >> "ISO C++ Standard - Future Proposals" group. >> To unsubscribe from this group and stop receiving emails from it, send a= n >> 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/is >> ocpp.org/d/msgid/std-proposals/1695197.Kxq4M8jdJr%40tjmaciei-mobl1. >> > > > > -- > Who=E2=80=99s got the sweetest disposition? > One guess, that=E2=80=99s who? > Who=E2=80=99d never, ever start an argument? > Who never shows a bit of temperament? > Who's never wrong but always right? > Who'd never dream of starting a fight? > Who get stuck with all the bad luck? > --=20 Who=E2=80=99s got the sweetest disposition? One guess, that=E2=80=99s who? Who=E2=80=99d never, ever start an argument? Who never shows a bit of temperament? Who's never wrong but always right? Who'd never dream of starting a fight? Who get stuck with all the bad luck? --=20 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 e= mail 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/CAFdMc-1S1HcBNWaOqB3VsDV1KMHkEO2Ne_Sa%3D5AZu4Num= unfdw%40mail.gmail.com. --00000000000093e581056ce1469b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Wed, May 23, 2018 at 12:33 PM, dgutson . <danielgutson@gmail.c= om> wrote:


On Wed, May 23, 2018 at 12:13 PM, Thiago Macieira &= lt;thiago@macieira= ..org> wrote:
On Wedne= sday, 23 May 2018 10:31:15 -03 dgutson . wrote:
> I think that we could think about some requirements packed in somethin= g
> like a memory_traits, where it would specify:
>=C2=A0 =C2=A0- pointer type (optionally volatile-qualified)
>=C2=A0 =C2=A0- alignment requirements
>=C2=A0 =C2=A0- memory synchronization needs / specifications (an enumer= ator)
>=C2=A0 =C2=A0- vectorization habilities

Or, like I said, you can roll out your own memcpy or memset (which a= re quite
trivial) if you have specific requirements.

=
I propose to leave "triviality" out of the discussion= , since this can get combinatoric complex, and there is no metric of "= triviality" either.
There are many std functions that are ar= guably trivial as well, and despite that, they are in the STL because peopl= e use them.
We can keep arguing about triviality, what is trivial= and what isn't, and we will end up comparing somebody with Hitler as p= er Godwin's Law.
Please forgive me, I sincerely respect you b= ut this is not a discussion I would like to have.

(especially because you may end up also, as = I mentioned at the beginning, trying to control the optimizer preventing it= to be too smart for "too trivial loops").
=C2=A0
=
=
=C2=A0

--
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
=C2=A0 =C2=A0Software Architect - Intel Open Source Technology Center



--
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-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/is<= wbr>ocpp.org/d/msgid/std-proposals/1695197.Kxq4M8jdJr%40tjmaciei-= mobl1.



<= /div>--
Who=E2=80=99s got the sweetest disposition?
One = guess, that=E2=80=99s who?
Who=E2=80=99d never, ever start an argument?<= br>Who never shows a bit of temperament?
Who's never wrong but alway= s right?
Who'd never dream of starting a fight?
Who get stuck wit= h all the bad luck?



--
Who=E2=80=99s got t= he sweetest disposition?
One guess, that=E2=80=99s who?
Who=E2=80=99d= never, ever start an argument?
Who never shows a bit of temperament?Who's never wrong but always right?
Who'd never dream of starti= ng a fight?
Who get stuck with all the bad luck?

--
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/CAFdMc-1S1HcBNW= aOqB3VsDV1KMHkEO2Ne_Sa%3D5AZu4Numunfdw%40mail.gmail.com.
--00000000000093e581056ce1469b-- .