Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: James Kuyper <jameskuyper@alumni.caltech.edu>
Newsgroups: comp.lang.c++
Subject: Re: Pre-main construction order in modules
Date: Tue, 1 Apr 2025 19:08:09 -0400
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <vshrkp$6kb9$1@dont-email.me>
References: <vsb12i$2mv42$1@dont-email.me> <vsbl21$1jsvi$1@dont-email.me>
 <vsbo2p$1p5ov$1@dont-email.me> <vsdkuj$3rhjh$1@dont-email.me>
 <vsdm3d$3srps$1@dont-email.me> <vse2ep$8iai$2@dont-email.me>
 <vse775$er2o$1@dont-email.me> <vsf99o$1hbqv$1@dont-email.me>
 <vsg4fq$2hn25$1@dont-email.me> <vshbgm$362k4$2@dont-email.me>
 <20250401232600.00002eb6@yahoo.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 02 Apr 2025 01:08:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="88967d658b902a1efc593e6b9e9f877e";
	logging-data="217449"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+MYH7zHxy/WfAzFui/BNV+zv3ogKiF4Rc="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:upcpM8lTXvsi/Iwo2ZjC7zseDQU=
In-Reply-To: <20250401232600.00002eb6@yahoo.com>
Content-Language: en-US
Bytes: 2757

On 4/1/25 16:26, Michael S wrote:
....
> You probably paid attentions that the text is not crystal clear.
> It looks like authors of the Standard invent their own terminology not
> only when absolutely necessary but sometimes even when there exist
> established terms for the same things. To their defense, I could say
> that in the branch of CS that is related to concurrency and parallelism
> very few terms are 100% consensus.

Feel free to propose alternative wording with the same precise meaning.
Keep in mind that these terms were invented to convey a more
precisely-define meaning than existing terms would have provided, so
wording that says "approximately" the same thing would not be an
acceptable replacement.

....
> I suspected that the difference between "strong happens before" and
> "happens before" is somehow related to implied ordering due to
> causality. After reading the text above my feeling changed from
> suspicion to strong suspicion. But it is not yet a certainty.

I'm no expert in multi-threaded code, so I don't fully understand the
significance of what it says. However, I able to derive the fact that
there is a difference between the two terms only when one evaluation
"inter-thread happens before" another evaluation, and the two
evaluations are not synchronized. In other words, the difference is with
regard to what's required for unsynchronized threads.