Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.lang.c,comp.lang.c++ Subject: Re: Can someone please verify the execution trace of this? Date: Mon, 20 May 2024 16:27:57 -0500 Organization: A noiseless patient Spider Lines: 115 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 20 May 2024 23:27:58 +0200 (CEST) Injection-Info: dont-email.me; posting-host="629f9cefad5d4023792ce8f8ed8d9594"; logging-data="212079"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+hefa90Bk0YJovIaP5dtyx" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:vI5TXUeNeATPYYIh5hpVi20csH0= Content-Language: en-US In-Reply-To: Bytes: 5377 On 5/20/2024 4:05 PM, Chris M. Thomasson wrote: > 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? > 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 } The ONLY point of this thread is that no D correctly simulated by any H of the set of H/D pairs matching the above template can possibly reach its own line 06 and halt. Another different thread an another different forum can discuss theory of computation issues. > >> >>>> >>>> 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* >>>> >>> >> > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer