Path: ...!npeer.as286.net!npeer-ng0.as286.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Flat out dishonest or totally ignorant?
Date: Thu, 4 Jul 2024 11:45:01 -0500
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <v66jie$2r26d$6@dont-email.me>
References: <v5vkun$1b0k9$1@dont-email.me> <v60dci$1ib5p$1@dont-email.me>
 <v60red$1kr1q$2@dont-email.me> <v61hn7$1oec9$1@dont-email.me>
 <v61ipa$1og2o$2@dont-email.me> <v61jod$1oec9$2@dont-email.me>
 <v61leu$1p1uo$1@dont-email.me>
 <dd109397687b2f8e74c3e1e3d826772db8b65e40@i2pn2.org>
 <v62i31$21b7a$1@dont-email.me> <v632ta$23ohm$2@dont-email.me>
 <v63jej$26loi$6@dont-email.me> <v63s4h$28goi$2@dont-email.me>
 <v63s92$28dpi$3@dont-email.me>
 <e7e50b27b2f0df2cbd65f7dbafa975f597b8ce78@i2pn2.org>
 <v665vj$2oun1$11@dont-email.me>
 <a9f31a178ec10c3a25aa7e03c2574cb3ad01d1c9@i2pn2.org>
 <v6688q$2pc84$1@dont-email.me>
 <c1f8cd395cbc33748f6b82112a1a26fe5df15da1@i2pn2.org>
 <v66gqc$2qr6f$2@dont-email.me>
 <83a2ddb381b16ac04f10a99c0420bbf61e32fbed@i2pn2.org>
 <v66ikm$2r26d$3@dont-email.me>
 <c8e99a20769f01b994329c64d58090e8c21a3486@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 04 Jul 2024 18:45:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8ec8ab09a9c087279b96ae2505557d8c";
	logging-data="2984141"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+gjXo/c2DQKxQjsTQdljhN"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:lQKlTVGywrBengrosJso/1UZW1E=
In-Reply-To: <c8e99a20769f01b994329c64d58090e8c21a3486@i2pn2.org>
Content-Language: en-US
Bytes: 4356

On 7/4/2024 11:34 AM, joes wrote:
> Am Thu, 04 Jul 2024 11:29:10 -0500 schrieb olcott:
>> On 7/4/2024 11:24 AM, joes wrote:
>>> Am Thu, 04 Jul 2024 10:58:03 -0500 schrieb olcott:
>>>> On 7/4/2024 10:03 AM, joes wrote:
>>>>> Am Thu, 04 Jul 2024 08:32:10 -0500 schrieb olcott:
>>>>>> On 7/4/2024 8:09 AM, joes wrote:
>>>>>>> Am Thu, 04 Jul 2024 07:53:07 -0500 schrieb olcott:
>>>>>>>> On 7/4/2024 6:09 AM, joes wrote:
>>>>>>>>> Am Wed, 03 Jul 2024 10:55:14 -0500 schrieb olcott:
>>>>>>>>>> On 7/3/2024 10:52 AM, Fred. Zwarts wrote:
>>>>>>>>>>> Similarly, if you think that HHH can simulate itself correctly,
>>>>>>>>>>> you are wrong.
>>>>>>>>>>>              int H(ptr p, ptr i);
>>>>>>>>>>>              int main()
>>>>>>>>>>>              {
>>>>>>>>>>>                return H(main, 0);
>>>>>>>>>>>              }
>>>>>>>>>>> You showed that H returns, but that the simulation thinks it
>>>>>>>>>>> does not return.
>>>>>>>>>> main correctly emulated by H never stops running unless aborted.
>>>>>>>>> As a matter of fact, H does abort it. H then returns to main,
>>>>>>>>> which then stops running.
>>>>>>>> main correctly simulated by H never returns.
>>>>>>> I was talking about main itself.
>>>>>> That is not the one that HHH examines.
>>>>> Huh? HHH examines main. Sure, it doesn’t /simulate/ the return.
>> The x86utm operating system spawns a separate process so that
>> H can emulate another different instance of D in this separate process.
>> H must call DebugTrace()
>> to switch process contexts to emulate one more instruction of D.

> Oh, there should also be different instances of H.
> 
There are. DDD and the HHH that DDD calls are in the
same process context. The DDD that the emulated HHH
emulates is in another process context.

>>>> There is more than one main() process. One of them cannot possibly
>>>> halt and the other one halts.
>>> That makes no sense. They have exactly the same code.
>> It makes no sense only if you are totally clueless of operating system
>> process contexts.

> What is their difference?
> 

When the directly executed DDD calls HHH(DDD) the
DDD that HHH emulates is in an entirely different
process context. The first one halts only because
HHH correctly determines that its DDD does not halt.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer