Re: The execution trace of HHH1(DDD) shows the divergence

Liste des GroupesRevenir à s logic 
Sujet : Re: The execution trace of HHH1(DDD) shows the divergence
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory comp.ai.philosophy sci.logic
Date : 08. Jun 2025, 18:22:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1024gsm$3v274$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
Op 07.jun.2025 om 16:32 schreef olcott:
The execution trace of HHH1(DDD) shows the divergence
of DDD emulated by HHH from DDD emulated by HHH1.
 int main()
{
   HHH1(DDD);
}
 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*
 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.
 00002183 != 00002190
 
Then both are wrong. The next instruction should be at 000015c3, the address specified in the call.
You skipped instructions. You do not show which instruction causes that HHH arrives at 00002183 and HHH1 at 00002190.

Date Sujet#  Auteur
7 Jun 25 * The execution trace of HHH1(DDD) shows the divergence26olcott
7 Jun 25 +* Re: The execution trace of HHH1(DDD) shows the divergence10dbush
7 Jun 25 i`* Re: The execution trace of HHH1(DDD) shows the divergence9olcott
7 Jun 25 i +* Re: The execution trace of HHH1(DDD) shows the divergence7dbush
7 Jun 25 i i`* Re: The execution trace of HHH1(DDD) shows the divergence6olcott
7 Jun 25 i i `* Re: The execution trace of HHH1(DDD) shows the divergence5dbush
7 Jun 25 i i  `* Re: The execution trace of HHH1(DDD) shows the divergence4olcott
7 Jun 25 i i   +* Re: The execution trace of HHH1(DDD) shows the divergence2dbush
7 Jun 25 i i   i`- Re: The execution trace of HHH1(DDD) shows the divergence1olcott
8 Jun 25 i i   `- Re: The execution trace of HHH1(DDD) shows the divergence1Richard Damon
7 Jun 25 i `- Re: The execution trace of HHH1(DDD) shows the divergence1Richard Damon
7 Jun 25 +- Re: The execution trace of HHH1(DDD) shows the divergence1wij
7 Jun 25 +* Re: The execution trace of HHH1(DDD) shows the divergence4Richard Damon
8 Jun 25 i`* Re: The execution trace of HHH1(DDD) shows the divergence3Richard Damon
8 Jun 25 i `* Re: The execution trace of HHH1(DDD) shows the divergence2Richard Damon
9 Jun 25 i  `- Re: The execution trace of HHH1(DDD) shows the divergence1Richard Damon
8 Jun 25 +- Re: The execution trace of HHH1(DDD) shows the divergence1Fred. Zwarts
11 Jun 25 `* Re: The execution trace of HHH1(DDD) shows the divergence9anthk
12 Jun 25  `* Re: The execution trace of HHH1(DDD) shows the divergence8olcott
12 Jun 25   `* Re: The execution trace of HHH1(DDD) shows the divergence7Richard Damon
12 Jun 25    +* Re: The execution trace of HHH1(DDD) shows the divergence4olcott
12 Jun 25    i+* Re: The execution trace of HHH1(DDD) shows the divergence2Fred. Zwarts
12 Jun 25    ii`- Re: The execution trace of HHH1(DDD) shows the divergence --- VERIFIED FACTS1olcott
12 Jun 25    i`- Re: The execution trace of HHH1(DDD) shows the divergence1Richard Damon
12 Jun 25    `* Re: The execution trace of HHH1(DDD) shows the divergence --- VERIFIED FACTS2olcott
12 Jun 25     `- Re: The execution trace of HHH1(DDD) shows the divergence --- VERIFIED FACTS1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal