Re: 197 page execution trace of DDD correctly simulated by HHH

Liste des GroupesRevenir à theory 
Sujet : Re: 197 page execution trace of DDD correctly simulated by HHH
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 02. Jul 2024, 03:24:30
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5vocu$1oanb$10@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Mozilla Thunderbird
On 7/1/24 9:36 PM, olcott wrote:
On 7/1/2024 7:38 PM, Richard Damon wrote:
On 7/1/24 8:59 AM, olcott wrote:
On 7/1/2024 3:23 AM, Fred. Zwarts wrote:
Op 30.jun.2024 om 19:20 schreef olcott:
>
_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call HHH(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
>
>
It cannot possibly return, because HHH aborts itself one cycle too early, showing that the emulation is incorrect. If that is over your head, try to learn how x86 instructions work.
>
_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call HHH(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
>
DDD is correctly emulated by HHH which calls an
emulated HHH(DDD) to repeat the process until aborted.
>
>
>
CAN'T BE.
>
A "Correct Emulation" is one that produces the same result as the program at the input.
>
 Which can only possibly occur be disregarding the semantics
of the x86 language. Liars would do that ignoramuses would do
that. Everyone with the equivalent of a BSCS would know that
what I said is true.
 
Why do you say that? That is EXACTLY the definition of Correct Emulation. You need to EXACTLY EMULATE EACH AND EVERY instrucgtion , in the order they will be executed when the program is run.
That WILL produce the exact behavior of running the program.
The PARTIAL emulation done by the decider only show SOME of the behavior that is in the input.
You have been asked, and still fail to point out, which instruction when correctly emulated exactly by the semantics of the x86 language result in a difference between the correct emulation by HHH and the actual exectuion of DDD?
The answer, NONE of them. HHH Just need to stop emulating, and not see the full behavior, or it will form a DIFFERENT input that makes that HHH not halt.
You don't even seem to understand the determinism of program behavior.

Date Sujet#  Auteur
23 Jun 24 * Re: 195 page execution trace of DDD correctly simulated by HH0147Mikko
23 Jun 24 `* Re: 195 page execution trace of DDD correctly simulated by HH0146olcott
24 Jun 24  `* Re: 195 page execution trace of DDD correctly simulated by HH0145Mikko
24 Jun 24   `* Re: 195 page execution trace of DDD correctly simulated by HH0144olcott
24 Jun 24    +* Re: 195 page execution trace of DDD correctly simulated by HH0142joes
24 Jun 24    i`* Re: 195 page execution trace of DDD correctly simulated by HH0141olcott
25 Jun 24    i +- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
25 Jun 24    i +* Re: 195 page execution trace of DDD correctly simulated by HH0137Fred. Zwarts
25 Jun 24    i i`* Re: 195 page execution trace of DDD correctly simulated by HH0136olcott
25 Jun 24    i i +* Re: 195 page execution trace of DDD correctly simulated by HH0132Fred. Zwarts
25 Jun 24    i i i`* Re: 195 page execution trace of DDD correctly simulated by HH0131olcott
25 Jun 24    i i i +* Re: 195 page execution trace of DDD correctly simulated by HH0110Fred. Zwarts
25 Jun 24    i i i i`* Re: 195 page execution trace of DDD correctly simulated by HH0109olcott
25 Jun 24    i i i i `* Re: 195 page execution trace of DDD correctly simulated by HH0108Fred. Zwarts
25 Jun 24    i i i i  `* Re: 195 page execution trace of DDD correctly simulated by HH0107olcott
25 Jun 24    i i i i   `* Re: 195 page execution trace of DDD correctly simulated by HH0106Fred. Zwarts
25 Jun 24    i i i i    `* Re: 195 page execution trace of DDD correctly simulated by HH0105olcott
26 Jun 24    i i i i     `* Re: 195 page execution trace of DDD correctly simulated by HH0104Fred. Zwarts
26 Jun 24    i i i i      +* Re: 195 page execution trace of DDD correctly simulated by HH014olcott
27 Jun 24    i i i i      i`* Re: 195 page execution trace of DDD correctly simulated by HH013Fred. Zwarts
27 Jun 24    i i i i      i `* Re: 195 page execution trace of DDD correctly simulated by HH012olcott
28 Jun 24    i i i i      i  `* Re: 195 page execution trace of DDD correctly simulated by HH011Fred. Zwarts
28 Jun 24    i i i i      i   `* Re: 197 page execution trace of DDD correctly simulated by HHH10olcott
28 Jun 24    i i i i      i    `* Re: 197 page execution trace of DDD correctly simulated by HHH9Fred. Zwarts
28 Jun 24    i i i i      i     `* Re: 197 page execution trace of DDD correctly simulated by HHH8olcott
28 Jun 24    i i i i      i      +- Re: 197 page execution trace of DDD correctly simulated by HHH1Fred. Zwarts
28 Jun 24    i i i i      i      `* Re: 197 page execution trace of DDD incorrectly simulated by HHH6joes
28 Jun 24    i i i i      i       `* Re: 197 page execution trace of DDD incorrectly simulated by HHH5olcott
28 Jun 24    i i i i      i        `* Re: 197 page execution trace of DDD incorrectly simulated by HHH4joes
28 Jun 24    i i i i      i         `* Re: 197 page execution trace of DDD incorrectly simulated by HHH3olcott
28 Jun 24    i i i i      i          `* Re: 197 page execution trace of DDD incorrectly simulated by HHH2Alan Mackenzie
28 Jun 24    i i i i      i           `- Re: 197 page execution trace of DDD incorrectly simulated by HHH1olcott
26 Jun 24    i i i i      `* Re: 195 page execution trace of DDD correctly simulated by HH089olcott
27 Jun 24    i i i i       `* Re: 195 page execution trace of DDD correctly simulated by HH088Fred. Zwarts
27 Jun 24    i i i i        `* Re: 195 page execution trace of DDD correctly simulated by HH087olcott
28 Jun 24    i i i i         +* Re: 195 page execution trace of DDD correctly simulated by HH016Fred. Zwarts
28 Jun 24    i i i i         i`* Re: 197 page execution trace of DDD correctly simulated by HHH15olcott
28 Jun 24    i i i i         i `* Re: 197 page execution trace of DDD correctly simulated by HHH14Fred. Zwarts
28 Jun 24    i i i i         i  `* Re: 197 page execution trace of DDD correctly simulated by HHH13olcott
28 Jun 24    i i i i         i   `* Re: 197 page execution trace of DDD correctly simulated by HHH12Fred. Zwarts
28 Jun 24    i i i i         i    `* Re: 197 page execution trace of DDD correctly simulated by HHH11olcott
28 Jun 24    i i i i         i     `* Re: 197 page execution trace of DDD correctly simulated by HHH10Fred. Zwarts
28 Jun 24    i i i i         i      `* Re: 197 page execution trace of DDD correctly simulated by HHH9olcott
28 Jun 24    i i i i         i       `* Re: 197 page execution trace of DDD correctly simulated by HHH8Fred. Zwarts
28 Jun 24    i i i i         i        `* Re: 197 page execution trace of DDD correctly simulated by HHH7olcott
28 Jun 24    i i i i         i         `* Re: 197 page execution trace of DDD correctly simulated by HHH6Fred. Zwarts
28 Jun 24    i i i i         i          `* Re: 197 page execution trace of DDD correctly simulated by HHH5olcott
29 Jun 24    i i i i         i           `* Re: 197 page execution trace of DDD correctly simulated by HHH4Fred. Zwarts
30 Jun 24    i i i i         i            `* Re: 197 page execution trace of DDD correctly simulated by HHH3olcott
30 Jun 24    i i i i         i             +- Re: simulation trace of DDD1joes
30 Jun 24    i i i i         i             `- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
28 Jun 24    i i i i         `* Re: 195 page execution trace of DDD correctly simulated by HH070joes
28 Jun 24    i i i i          `* Re: 197 page execution trace of DDD correctly simulated by HHH69olcott
28 Jun 24    i i i i           `* Re: 197 page execution trace of DDD correctly simulated by HHH68joes
28 Jun 24    i i i i            `* Re: 197 page execution trace of DDD correctly simulated by HHH67olcott
28 Jun 24    i i i i             `* Re: 197 page execution trace of DDD correctly simulated by HHH66joes
28 Jun 24    i i i i              `* Re: 197 page execution trace of DDD correctly simulated by HHH65olcott
28 Jun 24    i i i i               `* Re: 197 page execution trace of DDD correctly simulated by HHH64joes
28 Jun 24    i i i i                `* Re: 197 page execution trace of DDD correctly simulated by HHH63olcott
29 Jun 24    i i i i                 `* Re: 197 page execution trace of DDD correctly simulated by HHH62joes
29 Jun 24    i i i i                  `* Re: 197 page execution trace of DDD correctly simulated by HHH61olcott
29 Jun 24    i i i i                   +- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
30 Jun 24    i i i i                   +* Re: 197 page execution trace of DDD correctly simulated by HHH20joes
30 Jun 24    i i i i                   i`* Re: 197 page execution trace of DDD correctly simulated by HHH19olcott
30 Jun 24    i i i i                   i +- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
30 Jun 24    i i i i                   i +- Re: 197 page execution trace of DDD correctly simulated by HHH1joes
1 Jul 24    i i i i                   i `* Re: 197 page execution trace of DDD correctly simulated by HHH16Fred. Zwarts
1 Jul 24    i i i i                   i  `* Re: 197 page execution trace of DDD correctly simulated by HHH15olcott
1 Jul 24    i i i i                   i   +* Re: 197 page execution trace of DDD correctly simulated by HHH10Fred. Zwarts
1 Jul 24    i i i i                   i   i`* Re: 197 page execution trace of DDD correctly simulated by HHH9olcott
1 Jul 24    i i i i                   i   i +* Re: 197 page execution trace of DDD correctly simulated by HHH5joes
1 Jul 24    i i i i                   i   i i`* Re: 197 page execution trace of DDD correctly simulated by HHH4olcott
1 Jul 24    i i i i                   i   i i `* Re: 197 page execution trace of DDD correctly simulated by HHH3Fred. Zwarts
1 Jul 24    i i i i                   i   i i  `* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
2 Jul 24    i i i i                   i   i i   `- Re: 197 page execution trace of DDD correctly simulated by HHH1Fred. Zwarts
1 Jul 24    i i i i                   i   i `* Re: 197 page execution trace of DDD correctly simulated by HHH3Fred. Zwarts
1 Jul 24    i i i i                   i   i  `* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
2 Jul 24    i i i i                   i   i   `- Re: 197 page execution trace of DDD correctly simulated by HHH1Fred. Zwarts
1 Jul 24    i i i i                   i   +- Re: 197 page execution trace of DDD correctly simulated by HHH1joes
2 Jul 24    i i i i                   i   `* Re: 197 page execution trace of DDD correctly simulated by HHH3Richard Damon
2 Jul 24    i i i i                   i    `* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
2 Jul 24    i i i i                   i     `- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
30 Jun 24    i i i i                   `* Re: 197 page execution trace of DDD correctly simulated by HHH39Fred. Zwarts
30 Jun 24    i i i i                    `* Re: 197 page execution trace of DDD correctly simulated by HHH38olcott
1 Jul 24    i i i i                     `* Re: 197 page execution trace of DDD correctly simulated by HHH37Fred. Zwarts
1 Jul 24    i i i i                      `* Re: 197 page execution trace of DDD correctly simulated by HHH36olcott
1 Jul 24    i i i i                       +* Re: 197 page execution trace of DDD correctly simulated by HHH3Fred. Zwarts
1 Jul 24    i i i i                       i`* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
2 Jul 24    i i i i                       i `- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
2 Jul 24    i i i i                       `* Re: 197 page execution trace of DDD correctly simulated by HHH32Richard Damon
2 Jul 24    i i i i                        `* Re: 197 page execution trace of DDD correctly simulated by HHH31olcott
2 Jul 24    i i i i                         +* Re: 197 page execution trace of DDD correctly simulated by HHH29Richard Damon
2 Jul 24    i i i i                         i`* Re: 197 page execution trace of DDD correctly simulated by HHH28olcott
2 Jul 24    i i i i                         i +* Re: 197 page execution trace of DDD correctly simulated by HHH26Richard Damon
2 Jul 24    i i i i                         i i`* Re: 197 page execution trace of DDD correctly simulated by HHH25olcott
2 Jul 24    i i i i                         i i +* Re: 197 page execution trace of DDD correctly simulated by HHH23Richard Damon
2 Jul 24    i i i i                         i i i`* Re: 197 page execution trace of DDD correctly simulated by HHH22olcott
2 Jul 24    i i i i                         i i i `* Re: 197 page execution trace of DDD correctly simulated by HHH21Richard Damon
2 Jul 24    i i i i                         i i i  `* Re: 197 page execution trace of DDD correctly simulated by HHH20olcott
2 Jul 24    i i i i                         i i i   `* Re: 197 page execution trace of DDD correctly simulated by HHH19Richard Damon
2 Jul 24    i i i i                         i i i    `* Re: 197 page execution trace of DDD correctly simulated by HHH18olcott
2 Jul 24    i i i i                         i i `- Re: 197 page execution trace of DDD correctly simulated by HHH1Mikko
2 Jul 24    i i i i                         i `- Re: 197 page execution trace of DDD correctly simulated by HHH1joes
2 Jul 24    i i i i                         `- Re: 197 page execution trace of DDD correctly simulated by HHH1Mikko
26 Jun 24    i i i `* Re: 195 page execution trace of DDD correctly simulated by HH020Mikko
26 Jun 24    i i `* Re: 195 page execution trace of DDD correctly simulated by HH03Richard Damon
25 Jun 24    i `* Re: 195 page execution trace of DDD correctly simulated by HH02joes
25 Jun 24    `- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal