Re: Can someone please verify the execution trace of this?

On 5/20/2024 1:52 PM, olcott wrote:

On 5/20/2024 3:38 PM, Chris M. Thomasson wrote:

On 5/20/2024 1:36 PM, olcott wrote:

On 5/20/2024 3:32 PM, Chris M. Thomasson wrote:

On 5/20/2024 1:31 PM, Chris M. Thomasson wrote:

On 5/20/2024 1:30 PM, olcott wrote:

On 5/20/2024 3:19 PM, Chris M. Thomasson wrote:

On 5/20/2024 1:10 PM, olcott wrote:

On 5/20/2024 3:04 PM, Chris M. Thomasson wrote:

[...]

So, you created a simulator for x86? 32-bit I am assuming. Fwiw, I am interested on how you simulate the cmpxchg8b and/or the cmpxchg16b functions?
>

>
I use libx86emu providing an interface so that any C function
can simulate any other C function in debug step mode. The
original H can even simulated itself simulating P.

>
Can you show me a sample H? Is H a little program?

[...]
>
I notice this:
>
>
typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr p, ptr i);
01 int D(ptr p)
02 {
03   int Halt_Status = H(p, p);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12   return 0;
13 }
>
But, where is H?
>

>
*IF YOU NEED TO RE0READ THIS 500 TIMES TO GET IT PLEASE DO*
*IF YOU NEED TO RE0READ THIS 500 TIMES TO GET IT PLEASE DO*
*IF YOU NEED TO RE0READ THIS 500 TIMES TO GET IT PLEASE DO*

>
I still cannot find even a simple example definition of H.
>

>
THIS IS 100% OF ALL OF THE REQUIREMENTS FOR H
H correctly simulates D with an x86 emulator.
everything else about H is wide open.
>
H plays a game of tic-tac-toe and then
H correctly simulates D with an x86 emulator.
>
Have you ever heard of infinite sets?

 Ever heard of the natural numbers?
 

Of everyone in the world that has a mole
exactly where is this mole on their body?

 So, are you creating a halt decider that is correct or not? If not, what's the damn point?
 

>

>
Every element of an infinite set of H/D pairs matching the above
template where H correctly simulates 1 to ∞ steps of D thus including

 So, it can simulate to infinity, then tell you an answer?

  

0 to ∞ recursive simulations of H simulating itself simulating D.
*D correctly simulated by H never reaches its own line 06 and halts*
>

>

>