Deutsch English Français Italiano |
<v5vi5u$1oanb$2@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory Subject: Re: 197 page execution trace of DDD correctly simulated by HHH Date: Mon, 1 Jul 2024 20:38:22 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <v5vi5u$1oanb$2@i2pn2.org> References: <v4vrfg$2793f$1@dont-email.me> <v5cn01$149dc$1@dont-email.me> <v5ebvr$1hs89$1@dont-email.me> <v5efod$1ikpr$1@dont-email.me> <v5ejau$1iq57$1@dont-email.me> <v5eup8$1lar1$2@dont-email.me> <v5f1nm$1lp16$1@dont-email.me> <v5f246$1m2fl$1@dont-email.me> <v5f3fg$1lp16$2@dont-email.me> <v5f3j8$1m2fl$2@dont-email.me> <v5f54f$1lp16$3@dont-email.me> <v5f5sd$1mcif$1@dont-email.me> <v5ght9$21jrt$1@dont-email.me> <v5h558$24jbd$7@dont-email.me> <v5jcas$2m18t$2@dont-email.me> <v5k7ju$2qsdr$5@dont-email.me> <v5mcvo$1cgj0$3@i2pn2.org> <v5mklg$3cibm$7@dont-email.me> <v5mo8a$1d3t3$2@i2pn2.org> <v5mqge$3e4fd$2@dont-email.me> <v5msjt$1d3t3$9@i2pn2.org> <v5mtba$3elj0$1@dont-email.me> <v5n2ah$1d3t3$10@i2pn2.org> <v5n2sk$3fm1k$1@dont-email.me> <v5po6i$1h5u1$1@i2pn2.org> <v5pp9m$2jk8$1@dont-email.me> <v5rcrh$fkks$1@dont-email.me> <v5s44b$jvgt$2@dont-email.me> <v5tp2t$vsqr$1@dont-email.me> <v5u97g$12udb$6@dont-email.me> <v5ue8c$12qkb$1@dont-email.me> <v5uekg$145ld$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 2 Jul 2024 00:38:22 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1845995"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: <v5uekg$145ld$1@dont-email.me> Bytes: 3711 Lines: 43 On 7/1/24 10:31 AM, olcott wrote: > On 7/1/2024 9:25 AM, Fred. Zwarts wrote: >> Op 01.jul.2024 om 14:59 schreef olcott: >>> On 7/1/2024 3:23 AM, Fred. Zwarts wrote: >>>> Op 30.jun.2024 om 19:20 schreef olcott: >>>>> >>>>> _DDD() >>>>> [00002172] 55 push ebp ; housekeeping >>>>> [00002173] 8bec mov ebp,esp ; housekeeping >>>>> [00002175] 6872210000 push 00002172 ; push DDD >>>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD) >>>>> [0000217f] 83c404 add esp,+04 >>>>> [00002182] 5d pop ebp >>>>> [00002183] c3 ret >>>>> Size in bytes:(0018) [00002183] >>>>> >>>> >>>> It cannot possibly return, because HHH aborts itself one cycle too >>>> early, showing that the emulation is incorrect. If that is over your >>>> head, try to learn how x86 instructions work. >>> >>> _DDD() >>> [00002172] 55 push ebp ; housekeeping >>> [00002173] 8bec mov ebp,esp ; housekeeping >>> [00002175] 6872210000 push 00002172 ; push DDD >>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD) >>> [0000217f] 83c404 add esp,+04 >>> [00002182] 5d pop ebp >>> [00002183] c3 ret >>> Size in bytes:(0018) [00002183] >>> >>> DDD is correctly emulated by HHH which calls an >>> emulated HHH(DDD) to repeat the process until aborted. >>> >>> >> >> ... aborted one cycle too soon. One cycle later HHH would return and >> DDD would return. > > What you say is counter-factual. > No, your claim is counter-factual based on the idea that fixed things are not fixed, which is just a LIE.