Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH diverges from DDD emulated by HHH1
Date: Wed, 4 Jun 2025 22:25:48 -0500
Organization: A noiseless patient Spider
Lines: 64
Message-ID: <101r2ns$1adut$1@dont-email.me>
References: <101khcl$3bfvj$6@dont-email.me> <101ob1t$hd6o$3@dont-email.me>
 <101obrf$hlr6$1@dont-email.me> <101ocan$hd6o$6@dont-email.me>
 <101ochl$i3m6$1@dont-email.me> <101oda2$hd6o$8@dont-email.me>
 <101oe1m$i3m6$3@dont-email.me> <101oee0$hd6o$9@dont-email.me>
 <101oeik$i3m6$4@dont-email.me> <101ofvi$inkg$1@dont-email.me>
 <101pask$pv5r$1@dont-email.me> <101porr$ta6v$1@dont-email.me>
 <101qb4p$11sr2$1@dont-email.me> <101qbtj$11qlg$1@dont-email.me>
 <101qc32$11sr2$3@dont-email.me> <101qhst$13bo7$1@dont-email.me>
 <101qicm$11sr2$4@dont-email.me> <101qjki$13i0e$1@dont-email.me>
 <101qn7s$14gq1$1@dont-email.me> <101qnp3$14gff$1@dont-email.me>
 <101qo1g$14gq1$2@dont-email.me> <101qoia$14gff$2@dont-email.me>
 <101qp3h$14gq1$3@dont-email.me> <101qqn5$14gff$4@dont-email.me>
 <101qrrc$14gq1$4@dont-email.me> <101qsfp$15bg8$1@dont-email.me>
 <101qt22$15d1h$1@dont-email.me> <101qu35$15bg8$2@dont-email.me>
 <101quas$15d1h$2@dont-email.me> <101qvrq$15bg8$5@dont-email.me>
 <101r0p5$15d1h$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 05 Jun 2025 05:25:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7a75ad72c7c9f6fd0ca7001367c21b2a";
	logging-data="1390557"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/YiMjmjJYTiGdBAXfL7C5V"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tp9ETW7Z3D3u6iNMPuqfSUYKoyM=
In-Reply-To: <101r0p5$15d1h$4@dont-email.me>
X-Antivirus: Norton (VPS 250604-12, 6/4/2025), Outbound message
X-Antivirus-Status: Clean
Content-Language: en-US

On 6/4/2025 9:52 PM, dbush wrote:
> On 6/4/2025 10:36 PM, olcott wrote:
>> On 6/4/2025 9:10 PM, dbush wrote:
>>> On 6/4/2025 10:06 PM, olcott wrote:
>>>> On 6/4/2025 8:48 PM, dbush wrote:
>>>>> On 6/4/2025 9:39 PM, olcott wrote:
>>>>>> On 6/4/2025 8:28 PM, dbush wrote:
>>>>
>>>>>
>>>>> DDD emulated by HHH1 emulating HHH  DDD emulated by HHH emulating 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
>>>>>                                      ### HHH aborts ###
>>>>>
>>>>
>>>> *That is dishonest*
>>>
>>> No, that is the *fact* of what happens when HHH1 emulates DDD
>>>
>>>> HHH1 emulates DDD once and this matches
>>> The one time that the outer HHH emulates DDD, up to the point that 
>>> HHH aborts
>>>
>>>>
>>>> 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
>>>>
>>>> *THE MATCHING IS NOW USED UP*
>>>> *THE MATCHING IS NOW USED UP*
>>>> *THE MATCHING IS NOW USED UP*
>>>
>>> False.  HHH1 is still simulating the left side by simulating HHH as 
>>> shown above.
>>>
>>
>> The is not the way that side-by-side comparisons of
>> DDD simulated by HHH1 versus DDD simulated by HHH
>> are made.
> 
> False.  That is *exactly* how they are made.  Anything that the directly 
> executed HHH1 emulates, at any level, 

*besides side-by-side IS NOT SIDE-BY-SIDE*

We put everything that HHH1 emulates immediately
next to everything that HHH emulates and we see
divergence much sooner.

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
*This call returns*              *This call cannot possibly return*
                                  *whether HHH ever aborts DDD or not*

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