Re: The actual code of HHH

Liste des GroupesRevenir à theory 
Sujet : Re: The actual code of HHH
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 28. Feb 2025, 09:41:37
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vprss6$3j25q$2@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
Op 28.feb.2025 om 00:12 schreef olcott:
On 2/27/2025 1:15 PM, Fred. Zwarts wrote:
Op 27.feb.2025 om 19:55 schreef olcott:
On 2/27/2025 3:26 AM, Fred. Zwarts wrote:
Op 27.feb.2025 om 00:09 schreef olcott:
On 2/26/2025 3:52 PM, joes wrote:
Since there is so much talk around, but not really about it,
let's take a look:
https://github.com/plolcott/x86utm/blob/
48b4cbfeb3f486507276a5fc4e9b10875ab24dbf/Halt7.c#L1081
In line 1137, we compute a flag:
u32 Root = Init_Halts_HH(&Aborted, &execution_trace, &decoded, &code_end,
(u32)P, &master_state, &slave_state, &slave_stack);
In line 918, we find it basically checks for the magic number
**execution_trace==0x90909090. What is this unexplained value?
>
We then pass the saved flag in line 1143:
if (Decide_Halting_HH(&Aborted, &execution_trace, &decoded,
code_end, End_Of_Code, &master_state, &slave_state, &slave_stack, Root)),
defined in line 1030.
Then we get a switch:
1059    if (Root)  // Master UTM halt decider
Line 1070 is then conditionally skipped:
Needs_To_Be_Aborted_HH((Decoded_Line_Of_Code*)**execution_trace);
defined in line 1012, which (on a jmp or call instruction) calls
u32 Needs_To_Be_Aborted_Trace_HH(Decoded_Line_Of_Code* execution_trace,
                                  Decoded_Line_Of_Code *current)
in line 964, where the abort logic lives. (It basically triggers
on a call or jump to itself.)
>
So we only abort depending on the address of the execution trace.
This makes no sense. Why is that?
>
>
DD emulated by HHH according to the behavior that the x86
machine code of DD cannot possibly terminate normally thus
HHH is infallibly correct to report that this DD emulated
by HHH (not any other DD in the whole freaking universe)
is not-terminating.
No, it is correct to report that HHH is unable to correctly simulate this halting program up to its end.
>
That you do not comprehend that infinite recursion
DOES NOT END is your ignorance.
I never said that there is an infinite recursion.
 It seems that you simply lack sufficient technical
competence to understand these things.
 

 
No rebuttal, only dreams of of something Olcott does not know anything about. So, not a real contribution to the discussion.
So, try to give a honest answer.
There is no infinite recursion. Neither in the direct execution, nor in the simulation. It is only in Olcott's dreams of a hypothetical HHH. Dreams are no substitute for logic.
A finite recursion HAS AN END. Olcott's HHH is unable to reach that end. That is not a dream, but a verified fact.

Date Sujet#  Auteur
26 Feb 25 * The actual code of HHH45joes
27 Feb 25 +* Re: The actual code of HHH32olcott
27 Feb 25 i+* Re: The actual code of HHH5Richard Damon
27 Feb 25 ii`* Re: The actual code of HHH4olcott
27 Feb 25 ii +* Re: The actual code of HHH2joes
27 Feb 25 ii i`- Re: The actual code of HHH1Richard Damon
27 Feb 25 ii `- Re: The actual code of HHH1Richard Damon
27 Feb 25 i`* Re: The actual code of HHH26Fred. Zwarts
27 Feb 25 i +* Re: The actual code of HHH19olcott
27 Feb 25 i i+* Re: The actual code of HHH8Fred. Zwarts
27 Feb 25 i ii`* Re: The actual code of HHH7olcott
28 Feb 25 i ii +- Re: The actual code of HHH1Richard Damon
28 Feb 25 i ii `* Re: The actual code of HHH5Fred. Zwarts
1 Mar 25 i ii  `* Re: The actual code of HHH4olcott
1 Mar 25 i ii   +- Re: The actual code of HHH1Fred. Zwarts
1 Mar 25 i ii   +- Re: The actual code of HHH1joes
1 Mar 25 i ii   `- Re: The actual code of HHH1Richard Damon
28 Feb 25 i i+- Re: The actual code of HHH1Richard Damon
28 Feb 25 i i`* Re: The actual code of HHH9Mikko
1 Mar 25 i i `* Re: The actual code of HHH8olcott
1 Mar 25 i i  +* Re: The actual code of HHH6Mikko
1 Mar 25 i i  i`* Re: The actual code of HHH5olcott
2 Mar 25 i i  i +* Re: The actual code of HHH3Richard Damon
2 Mar 25 i i  i i`* Re: The actual code of HHH2olcott
2 Mar 25 i i  i i `- Re: The actual code of HHH1Richard Damon
2 Mar 25 i i  i `- Re: The actual code of HHH1Mikko
1 Mar 25 i i  `- Re: The actual code of HHH1Richard Damon
27 Feb 25 i `* Re: The actual code of HHH6olcott
27 Feb 25 i  `* Re: The actual code of HHH5Fred. Zwarts
28 Feb 25 i   `* Re: The actual code of HHH4olcott
28 Feb 25 i    +- Re: The actual code of HHH1Richard Damon
28 Feb 25 i    +- Re: The actual code of HHH1dbush
28 Feb 25 i    `- Re: The actual code of HHH1Fred. Zwarts
27 Feb 25 `* Re: The actual code of HHH12Mikko
27 Feb 25  `* Re: The actual code of HHH11Mike Terry
27 Feb 25   +* Re: The actual code of HHH3olcott
27 Feb 25   i+- Re: The actual code of HHH1Fred. Zwarts
28 Feb 25   i`- Re: The actual code of HHH1Richard Damon
27 Feb 25   `* Re: The actual code of HHH7joes
28 Feb 25    `* Re: The actual code of HHH6Mike Terry
28 Feb 25     `* Re: The actual code of HHH5olcott
28 Feb 25      `* Re: The actual code of HHH4Richard Damon
1 Mar 25       `* Re: The actual code of HHH3olcott
1 Mar 25        +- Re: The actual code of HHH1Mikko
1 Mar 25        `- Re: The actual code of HHH1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal