Re: 195 page execution trace of DDD correctly simulated by HH0

Liste des GroupesRevenir à c theory 
Sujet : Re: 195 page execution trace of DDD correctly simulated by HH0
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory sci.logic
Date : 20. Jun 2024, 10:09:01
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v50o2t$2fh98$2@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
Op 20.jun.2024 om 02:00 schreef olcott:
This shows all of the steps of HH0 simulating DDD
calling a simulated HH0 simulating DDD
 https://liarparadox.org/HH0_(DDD)_Full_Trace.pdf
*Some of the key instructions are color coded*
GREEN---DebugStep Address
RED-----HH Address
YELLOW--All of the DDD instructions
CYAN----Return from DebugStep to Decide_Halting_HH
 _DDD()
[000020a2] 55         push ebp      ; housekeeping
[000020a3] 8bec       mov ebp,esp   ; housekeeping
[000020a5] 68a2200000 push 000020a2 ; push DDD
[000020aa] e8f3f9ffff call 00001aa2 ; call H0
[000020af] 83c404     add esp,+04   ; housekeeping
[000020b2] 5d         pop ebp       ; housekeeping
[000020b3] c3         ret           ; never gets here
Size in bytes:(0018) [000020b3]
 Exactly which step of DDD emulated by H0 was emulated
incorrectly such that this emulation would be complete?
AKA DDD emulated by H0 reaches machine address [000020b3]
  
If the simulation of a program with a loop of 5 iterations is aborted after 3 iterations, all instructions are correctly simulated. Nevertheless, it is an incorrect simulation, because it should simulate up to the final state of the program.
Similarly, if a simulator which aborts after 2 cycles of recursive simulation of it self, it simulates only 1 of the 2 cycles of itself. So, it is incorrect, not because one instruction was simulated incorrectly, but because it did not simulate up to the final state of the simulated self.
In other words, H0 is required to halt. If it does halt indeed, than a correct simulation can show the 'ret' instruction. We know that your simulation cannot do that. Your own words explain why it can't: the simulated self runs one cycle behind the simulator. That explains why the simulation is incorrect and aborts too soon.
So, when you ask which step was emulated incorrectly, you only show that you don't understand what emulation is.
Stop talking about it. It is over your head.
I am afraid that these simple facts are over your head. I wonder what your reaction will be:
Shouting, complaining about change of subject, claiming that I do not understand it, or again a baseless repetition of the claim?
Whatever, it is not probable that it will show any insight in this matter with a reasonable response.

Date Sujet#  Auteur
20 Jun 24 * 195 page execution trace of DDD correctly simulated by HH0197olcott
20 Jun 24 +* Re: 195 page execution trace of DDD correctly simulated by HH048Fred. Zwarts
20 Jun 24 i`* Re: 195 page execution trace of DDD correctly simulated by HH047olcott
21 Jun 24 i +* Re: 195 page execution trace of DDD correctly simulated by HH03Richard Damon
21 Jun 24 i i`* Re: 195 page execution trace of DDD correctly simulated by HH02olcott
21 Jun 24 i i `- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
21 Jun 24 i `* Re: 195 page execution trace of DDD correctly simulated by HH043Fred. Zwarts
21 Jun 24 i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply42olcott
21 Jun 24 i   +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply20Richard Damon
21 Jun 24 i   i`* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply19olcott
21 Jun 24 i   i `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply18Richard Damon
21 Jun 24 i   i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply17olcott
21 Jun 24 i   i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply16Richard Damon
21 Jun 24 i   i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply15olcott
21 Jun 24 i   i     +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply9Richard Damon
21 Jun 24 i   i     i`* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply8olcott
21 Jun 24 i   i     i `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply7Richard Damon
21 Jun 24 i   i     i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply6olcott
21 Jun 24 i   i     i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5Richard Damon
21 Jun 24 i   i     i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
21 Jun 24 i   i     i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply3Richard Damon
21 Jun 24 i   i     i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2olcott
21 Jun 24 i   i     i       `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
25 Jun 24 i   i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5joes
25 Jun 24 i   i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
26 Jun 24 i   i       +- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
26 Jun 24 i   i       `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2joes
26 Jun 24 i   i        `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1olcott
22 Jun 24 i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply21Fred. Zwarts
22 Jun 24 i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply20olcott
22 Jun 24 i     +- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
22 Jun 24 i     +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2joes
22 Jun 24 i     i`- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
22 Jun 24 i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply16Fred. Zwarts
22 Jun 24 i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply15olcott
22 Jun 24 i       +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply9Richard Damon
22 Jun 24 i       i`* DDD correctly emulated by H08olcott
22 Jun 24 i       i `* Re: DDD correctly emulated by H07Richard Damon
23 Jun 24 i       i  `* Re: DDD correctly emulated by H06olcott
23 Jun 24 i       i   `* Re: DDD correctly emulated by H05Richard Damon
23 Jun 24 i       i    `* Re: DDD correctly emulated by H04olcott
23 Jun 24 i       i     `* Re: DDD correctly emulated by H03Richard Damon
23 Jun 24 i       i      `* Re: DDD correctly emulated by H02olcott
23 Jun 24 i       i       `- Re: DDD correctly emulated by H01Richard Damon
23 Jun 24 i       `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5Fred. Zwarts
23 Jun 24 i        `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
24 Jun 24 i         `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply3Fred. Zwarts
24 Jun 24 i          `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2olcott
25 Jun 24 i           `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
23 Jun 24 +* Re: 195 page execution trace of DDD correctly simulated by HH0147Mikko
23 Jun 24 i`* Re: 195 page execution trace of DDD correctly simulated by HH0146olcott
24 Jun 24 i `* Re: 195 page execution trace of DDD correctly simulated by HH0145Mikko
24 Jun 24 i  `* Re: 195 page execution trace of DDD correctly simulated by HH0144olcott
24 Jun 24 i   +* Re: 195 page execution trace of DDD correctly simulated by HH0142joes
24 Jun 24 i   i`* Re: 195 page execution trace of DDD correctly simulated by HH0141olcott
25 Jun 24 i   i +- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
25 Jun 24 i   i +* Re: 195 page execution trace of DDD correctly simulated by HH0137Fred. Zwarts
25 Jun 24 i   i i`* Re: 195 page execution trace of DDD correctly simulated by HH0136olcott
25 Jun 24 i   i i +* Re: 195 page execution trace of DDD correctly simulated by HH0132Fred. Zwarts
25 Jun 24 i   i i i`* Re: 195 page execution trace of DDD correctly simulated by HH0131olcott
25 Jun 24 i   i i i +* Re: 195 page execution trace of DDD correctly simulated by HH0110Fred. Zwarts
25 Jun 24 i   i i i i`* Re: 195 page execution trace of DDD correctly simulated by HH0109olcott
25 Jun 24 i   i i i i `* Re: 195 page execution trace of DDD correctly simulated by HH0108Fred. Zwarts
25 Jun 24 i   i i i i  `* Re: 195 page execution trace of DDD correctly simulated by HH0107olcott
25 Jun 24 i   i i i i   `* Re: 195 page execution trace of DDD correctly simulated by HH0106Fred. Zwarts
25 Jun 24 i   i i i i    `* Re: 195 page execution trace of DDD correctly simulated by HH0105olcott
26 Jun 24 i   i i i i     `* Re: 195 page execution trace of DDD correctly simulated by HH0104Fred. Zwarts
26 Jun 24 i   i i i i      +* Re: 195 page execution trace of DDD correctly simulated by HH014olcott
27 Jun 24 i   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      i `* Re: 195 page execution trace of DDD correctly simulated by HH012olcott
28 Jun 24 i   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      i   `* Re: 197 page execution trace of DDD correctly simulated by HHH10olcott
28 Jun 24 i   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      i     `* Re: 197 page execution trace of DDD correctly simulated by HHH8olcott
28 Jun 24 i   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      i      `* Re: 197 page execution trace of DDD incorrectly simulated by HHH6joes
28 Jun 24 i   i i i i      i       `* Re: 197 page execution trace of DDD incorrectly simulated by HHH5olcott
28 Jun 24 i   i i i i      i        `* Re: 197 page execution trace of DDD incorrectly simulated by HHH4joes
28 Jun 24 i   i i i i      i         `* Re: 197 page execution trace of DDD incorrectly simulated by HHH3olcott
28 Jun 24 i   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      i           `- Re: 197 page execution trace of DDD incorrectly simulated by HHH1olcott
26 Jun 24 i   i i i i      `* Re: 195 page execution trace of DDD correctly simulated by HH089olcott
27 Jun 24 i   i i i i       `* Re: 195 page execution trace of DDD correctly simulated by HH088Fred. Zwarts
27 Jun 24 i   i i i i        `* Re: 195 page execution trace of DDD correctly simulated by HH087olcott
28 Jun 24 i   i i i i         +* Re: 195 page execution trace of DDD correctly simulated by HH016Fred. Zwarts
28 Jun 24 i   i i i i         i`* Re: 197 page execution trace of DDD correctly simulated by HHH15olcott
28 Jun 24 i   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         i  `* Re: 197 page execution trace of DDD correctly simulated by HHH13olcott
28 Jun 24 i   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         i    `* Re: 197 page execution trace of DDD correctly simulated by HHH11olcott
28 Jun 24 i   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         i      `* Re: 197 page execution trace of DDD correctly simulated by HHH9olcott
28 Jun 24 i   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         i        `* Re: 197 page execution trace of DDD correctly simulated by HHH7olcott
28 Jun 24 i   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         i          `* Re: 197 page execution trace of DDD correctly simulated by HHH5olcott
29 Jun 24 i   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         i            `* Re: 197 page execution trace of DDD correctly simulated by HHH3olcott
30 Jun 24 i   i i i i         i             +- Re: simulation trace of DDD1joes
30 Jun 24 i   i i i i         i             `- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
28 Jun 24 i   i i i i         `* Re: 195 page execution trace of DDD correctly simulated by HH070joes
26 Jun 24 i   i i i `* Re: 195 page execution trace of DDD correctly simulated by HH020Mikko
26 Jun 24 i   i i `* Re: 195 page execution trace of DDD correctly simulated by HH03Richard Damon
25 Jun 24 i   i `* Re: 195 page execution trace of DDD correctly simulated by HH02joes
25 Jun 24 i   `- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
30 Jun 24 `- Re: 195 page execution trace of DDD correctly simulated by HH01Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal