Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: The execution trace of HHH1(DDD) shows the divergence
Date: Sat, 7 Jun 2025 14:06:33 -0500
Organization: A noiseless patient Spider
Lines: 66
Message-ID: <10222jp$37t34$3@dont-email.me>
References: <1021ii4$3327l$6@dont-email.me>
 <ea4fed8afb01fbb7f3fd2e61e9310f4df06b3705.camel@gmail.com>
 <1021k02$3327l$8@dont-email.me>
 <23ae4f047d81cbfae9e26ed282cffb6e79cbcc54.camel@gmail.com>
 <1021m7c$34oo9$4@dont-email.me>
 <687ca809075e6c4f6ee64b2fc5678e21621ca22e.camel@gmail.com>
 <1021nrf$35fiv$1@dont-email.me>
 <593bb42182d924e731a75a91f4060169ab2a9b29@i2pn2.org>
 <1021sdb$36co9$2@dont-email.me>
 <f2bd8a788ed01a58c1f152670d64a8483aba5a15@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 07 Jun 2025 21:06:34 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8b5701e9588c79f836e89c5073f428a2";
	logging-data="3404900"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18gAUMhOC4wigmWeV/zYC/B"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:h7yVFjZC8S20haoSVKzibgIXE2M=
X-Antivirus: Norton (VPS 250607-4, 6/7/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <f2bd8a788ed01a58c1f152670d64a8483aba5a15@i2pn2.org>

On 6/7/2025 1:59 PM, joes wrote:
> Am Sat, 07 Jun 2025 12:20:42 -0500 schrieb olcott:
>> On 6/7/2025 11:43 AM, joes wrote:
>>> Am Sat, 07 Jun 2025 11:02:55 -0500 schrieb olcott:
>>>> On 6/7/2025 10:54 AM, wij wrote:
>>>>> On Sat, 2025-06-07 at 10:35 -0500, olcott wrote:
>>>>>> On 6/7/2025 10:31 AM, wij wrote:
>>>>>>> On Sat, 2025-06-07 at 09:57 -0500, olcott wrote:
>>>>>>>> On 6/7/2025 9:54 AM, wij wrote:
>>>>>>>>> On Sat, 2025-06-07 at 09:32 -0500, olcott wrote:
>>>
>>>>>>>>>> The execution trace of HHH1(DDD) shows the divergence of DDD
>>>>>>>>>> emulated by HHH from DDD emulated by HHH1.
>>>>>>>>>> Shows that DDD emulated by HHH and DDD emulated by HHH1 diverges
>>>>>>>>>> as soon as HHH begins emulating itself emulating DDD.
>>>>>>>>>>
>>>>>>>>>> *From the execution trace of HHH1(DDD) shown below*
>>>>>>>>>> DDD emulated by HHH1              DDD emulated by HHH [00002183]
>>>>>>>>>> push ebp               [00002183] push ebp [00002184] mov
>>>>>>>>>> ebp,esp            [00002184] mov ebp,esp [00002186] push
>>>>>>>>>> 00002183 ; DDD    [00002186] push 00002183 ; DDD [0000218b] call
>>>>>>>>>> 000015c3 ; HHH    [0000218b] call 000015c3 ; HHH *HHH1 emulates
>>>>>>>>>> DDD once then HHH emulates DDD once, these match*
>>>
>>> What do you mean by "then" and "once"? That implies completion and
>>> succession, however we are only ever simulating a single call, and only
>>> HHH1 simulates any returns of DDD/HHH.
>>> HHH1 simulates DDD completely, HHH recurses and aborts *inside*. HHH
>>> does not simulate DDD once, it only enters the call, but never exits.
>>>
>>>>>>>>>> The next instruction of DDD that HHH emulates is at the machine
>>>>>>>>>> address of 00002183.
>>>>>>>>>> The next instruction of DDD that HHH1 emulates is at the machine
>>>>>>>>>> address of 00002190.
>>>
>>> At those addresses we have the first instruction of DDD and the one
>>> after the call, respectively.
>>>
>>>
>>> [main -> HHH1(DDD) -> HHH(DDD) -> HHH(DDD)]
>>>>>>>>>> New slave_stack at:198d21  DDD emulated by HHH *This is the
>>>>>>>>>> beginning of the divergence of the behavior*
>>>>>>>>>> *HHH is emulating itself emulating DDD, HHH1 never does that*
>>>
>>> HHH1 does simulate HHH simulating DDD.
>>>
>> That is not the question being answered.
> You say: HHH1 doesn't simulate itself. That is true. Also true is that
> HHH1 simulates the same thing that HHH does,

The emulation of DDD by HHH(DDD) contained within the
execution trace of HHH1(DDD) diverges from the execution
trace of DDD by HHH1 as soon as HHH emulates itself
emulating DDD.

HHH(DDD) ALWAYS emulates itself emulating DDD.
HHH1(DDD) NEVER emulates itself emulating DDD.

*NEVER and ALWAYS do not mean the same thing*




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