Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #119342
| From | Richard Harnden <richard.nospam@gmail.invalid> |
|---|---|
| Newsgroups | comp.lang.c++, comp.lang.c |
| Subject | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? |
| Date | 2024-05-24 13:10 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <v2q04f$2amug$1@dont-email.me> (permalink) |
| References | <v2ns85$1rd65$1@dont-email.me> |
Cross-posted to 2 groups.
On 23/05/2024 17:52, olcott wrote:
> typedef int (*ptr)(); // ptr is pointer to int function in C
> 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 above template refers to an infinite set of H/D pairs where D is
> correctly simulated by pure function H. This was done because many
> reviewers used the shell game ploy to endlessly switch which H/D was
> being referred to.
>
> *Correct Simulation Defined*
> This is provided because every reviewer had a different notion of
> correct simulation that diverges from this notion.
>
> In the above case a simulator is an x86 emulator that correctly emulates
> at least one of the x86 instructions of D in the order specified by the
> x86 instructions of D.
>
> This may include correctly emulating the x86 instructions of H in the
> order specified by the x86 instructions of H thus calling H(D,D) in
> recursive simulation.
>
> *Execution Trace*
> Line 11: main() invokes H(D,D); H(D,D) simulates lines 01, 02, and 03 of
> D. This invokes H(D,D) again to repeat the process in endless recursive
> simulation.
So, you have: main -> H -> D -> H -> D -> ... -> H -> D until you run
out of stack?
No return statement is ever reached.
Line 3 never completes.
Halt_Status at line 3 never gets a value.
</shrug>
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 11:52 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-23 17:52 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 17:11 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-23 21:10 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 20:20 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 18:27 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-24 07:42 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-24 13:57 +0000
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 12:04 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-24 12:57 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 15:55 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-25 12:57 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 21:08 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-23 19:34 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 22:57 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 08:01 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-24 13:27 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 16:19 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Harnden <richard.nospam@gmail.invalid> - 2024-05-24 13:10 +0100
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 08:08 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? David Brown <david.brown@hesbynett.no> - 2024-05-24 15:37 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 12:03 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 16:05 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 16:28 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 17:01 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 11:57 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 20:52 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 14:20 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-25 09:32 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2024-05-25 00:58 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-25 06:13 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-25 06:22 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-26 12:57 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-25 16:48 +0100
D correctly simulated by pure function H cannot possibly reach its own line 06 olcott <polcott333@gmail.com> - 2024-05-25 12:46 -0500
D correctly simulated by pure function H cannot possibly reach its own line 06---TOC divergence olcott <polcott333@gmail.com> - 2024-05-25 14:41 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-25 23:19 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-26 13:01 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-26 08:20 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-26 16:43 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-26 10:42 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-27 10:57 +0200
D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-27 09:00 -0500
Re: D correctly simulated by H never halts "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-28 11:11 +0200
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 09:11 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-28 13:11 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 17:12 -0500
Re: D correctly simulated by H never halts tTh <tth@none.invalid> - 2024-05-29 03:53 +0200
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 21:15 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-28 20:05 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 22:29 -0500
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 22:33 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-28 21:54 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-29 07:56 -0500
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-29 08:34 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-29 11:51 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-29 14:16 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-29 11:59 -0700
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-29 12:09 -0700
csiph-web