Re: DDD correctly emulated by EEE --- Correct Emulation Defined

Liste des GroupesRevenir à theory 
Sujet : Re: DDD correctly emulated by EEE --- Correct Emulation Defined
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 24. Mar 2025, 15:08:27
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vrrp0r$11a56$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 3/24/2025 2:30 AM, Mikko wrote:
On 2025-03-23 17:10:48 +0000, olcott said:
 
On 3/23/2025 4:11 AM, Mikko wrote:
On 2025-03-23 03:57:30 +0000, olcott said:
>
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:00 PM, olcott wrote:
On 3/22/2025 12:34 PM, Richard Damon wrote:
On 3/22/25 10:52 AM, olcott wrote:
_DD()
[00002133] 55         push ebp      ; housekeeping
[00002134] 8bec       mov ebp,esp   ; housekeeping
[00002136] 51         push ecx      ; make space for local
[00002137] 6833210000 push 00002133 ; push DD
[0000213c] e882f4ffff call 000015c3 ; call EEE(DD)
[00002141] 83c404     add esp,+04
[00002144] 8945fc     mov [ebp-04],eax
[00002147] 837dfc00   cmp dword [ebp-04],+00
[0000214b] 7402       jz 0000214f
[0000214d] ebfe       jmp 0000214d
[0000214f] 8b45fc     mov eax,[ebp-04]
[00002152] 8be5       mov esp,ebp
[00002154] 5d         pop ebp
[00002155] c3         ret
Size in bytes:(0035) [00002155]
>
When finite integer N instructions of the above x86
machine language DD are emulated by each x86 emulator
EEE[N] at machine address [000015c3] according to the
semantics of the x86 language no DD ever reaches its own
"ret" instruction at machine address [00002155] and
terminates normally.
>
>
Your can't emulate the above code for N > 4, as you get into undefine memory.
>
>
I have already addressed this objection dozens of times.
>
>
No you haven't. You have given several different LIES about it.
>
As I have pointed out, if you don't include Halt7.c as part of the definition, then you can't do it as you are looking at undefined memory.
>
>
Your lack of technical competence is showing.
(1) We are talking about a hypothetical infinite
set of pure x86 emulators that have no decider code.
>
(2) The memory space of x86 machine code is not
in the C source file, it is in the object file.
>
It isn't in the object file, either. Only the initial values of some
memory locations are there. The object file does not even specify
where in the memory space those locations are. The execution of a
program requires a memory space larger than the object file.
>
>
I patch the Halt7.obj file so that functions
are at a fixed address. This file is never linked.
 Doesn't affect the fact that important parts of the memory space are not
containted in the object file.
i
Richard stupidly complained that III could not call EEE
because he stupidly believed that there were in different
memory spaces.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
20 Mar 25 * DDD correctly emulated by HHH --- Correct Emulation Defined496olcott
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined457Mikko
20 Mar 25 i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined456olcott
21 Mar 25 i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined448Richard Damon
21 Mar 25 i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined447olcott
21 Mar 25 i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined443Mikko
21 Mar 25 i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined442olcott
22 Mar 25 i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined440Richard Damon
22 Mar 25 i i i i`* DDD correctly emulated by HHH --- Correct Emulation Defined 2439olcott
22 Mar 25 i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2434Richard Damon
22 Mar 25 i i i i i+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 25olcott
22 Mar 25 i i i i ii+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 23Richard Damon
22 Mar 25 i i i i iii`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 22olcott
22 Mar 25 i i i i iii `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Richard Damon
22 Mar 25 i i i i ii`- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Mikko
22 Mar 25 i i i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum428olcott
22 Mar 25 i i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum426joes
22 Mar 25 i i i i i i`* III correctly emulated by EEE ---425olcott
22 Mar 25 i i i i i i +* Re: III correctly emulated by EEE ---423Richard Damon
22 Mar 25 i i i i i i i`* Re: III correctly emulated by EEE ---422olcott
23 Mar 25 i i i i i i i +* Re: III correctly emulated by EEE ---420Richard Damon
23 Mar 25 i i i i i i i i`* Re: III correctly emulated by EEE ---419olcott
23 Mar 25 i i i i i i i i `* Re: III correctly emulated by EEE ---418Richard Damon
23 Mar 25 i i i i i i i i  `* Re: III correctly emulated by EEE ---417olcott
23 Mar 25 i i i i i i i i   `* Re: III correctly emulated by EEE ---416Richard Damon
23 Mar 25 i i i i i i i i    `* Re: III correctly emulated by EEE ---415olcott
24 Mar 25 i i i i i i i i     `* Re: III correctly emulated by EEE ---414Richard Damon
24 Mar 25 i i i i i i i i      `* Re: III correctly emulated by EEE ---413olcott
24 Mar 25 i i i i i i i i       `* Re: III correctly emulated by EEE ---412Richard Damon
24 Mar 25 i i i i i i i i        `* Re: III correctly emulated by EEE ---411olcott
25 Mar 25 i i i i i i i i         `* Re: III correctly emulated by EEE ---410Richard Damon
25 Mar 25 i i i i i i i i          +* Re: III correctly emulated by EEE ---396olcott
25 Mar 25 i i i i i i i i          i+* Re: III correctly emulated by EEE ---394joes
25 Mar 25 i i i i i i i i          ii`* Re: III correctly emulated by EEE ---393olcott
25 Mar 25 i i i i i i i i          ii `* Re: III correctly emulated by EEE ---392joes
25 Mar 25 i i i i i i i i          ii  `* Re: III correctly emulated by EEE ---391olcott
26 Mar 25 i i i i i i i i          ii   +* Re: III correctly emulated by EEE ---389Richard Damon
26 Mar 25 i i i i i i i i          ii   i`* Re: III correctly emulated by EEE ---388olcott
26 Mar 25 i i i i i i i i          ii   i `* Re: III correctly emulated by EEE ---387Richard Damon
26 Mar 25 i i i i i i i i          ii   i  `* Re: III correctly emulated by EEE ---386olcott
27 Mar 25 i i i i i i i i          ii   i   `* Re: III correctly emulated by EEE ---385Richard Damon
27 Mar 25 i i i i i i i i          ii   i    `* DDD specifies recursive emulation to HHH and halting to HHH1384olcott
27 Mar 25 i i i i i i i i          ii   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH139Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH138olcott
27 Mar 25 i i i i i i i i          ii   i     i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH136Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  +* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i  i`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH133olcott
27 Mar 25 i i i i i i i i          ii   i     i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH131joes
28 Mar 25 i i i i i i i i          ii   i     i   i+* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i   ii`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH128olcott
28 Mar 25 i i i i i i i i          ii   i     i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH127Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH126olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH122Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH121olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH120Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH119olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH118Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH117olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH18Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH16Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH15olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH14Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH12Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i      `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
29 Mar 25 i i i i i i i i          ii   i     i   i   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH18Mikko
29 Mar 25 i i i i i i i i          ii   i     i   i   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH14joes
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
30 Mar 25 i i i i i i i i          ii   i     i   i   i       i `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
30 Mar 25 i i i i i i i i          ii   i     i   i   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Mikko
28 Mar 25 i i i i i i i i          ii   i     i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH13joes
28 Mar 25 i i i i i i i i          ii   i     i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
29 Mar 25 i i i i i i i i          ii   i     i   i     `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
28 Mar 25 i i i i i i i i          ii   i     i   `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1344Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1343olcott
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH1326dbush
28 Mar 25 i i i i i i i i          ii   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH1325olcott
28 Mar 25 i i i i i i i i          ii   i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH1324dbush
28 Mar 25 i i i i i i i i          ii   i       i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH1323olcott
28 Mar 25 i i i i i i i i          ii   i       i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH1322dbush
28 Mar 25 i i i i i i i i          ii   i       i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH1321olcott
28 Mar 25 i i i i i i i i          ii   i       i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1320dbush
28 Mar 25 i i i i i i i i          ii   i       i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1319olcott
28 Mar 25 i i i i i i i i          ii   i       i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH160dbush
28 Mar 25 i i i i i i i i          ii   i       i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH159olcott
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH142dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH141olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH137dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH136olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111joes
28 Mar 25 i i i i i i i i          ii   i       i       i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH110olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH13dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i       i       i i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH123dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH13Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       `* Re: DDD specifies recursive emulation to HHH and halting to HHH1258Richard Damon
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH17Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH18joes
28 Mar 25 i i i i i i i i          ii   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
26 Mar 25 i i i i i i i i          ii   `- Re: III correctly emulated by EEE ---1joes
25 Mar 25 i i i i i i i i          i`- Re: III correctly emulated by EEE ---1Richard Damon
25 Mar 25 i i i i i i i i          `* Re: III correctly emulated by EEE ---13olcott
23 Mar 25 i i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
23 Mar 25 i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
22 Mar 25 i i i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum1Richard Damon
22 Mar 25 i i i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 24Mikko
22 Mar 25 i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined1Mikko
21 Mar 25 i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
21 Mar 25 i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined7Mikko
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
22 Mar 25 `* DDD correctly emulated by EEE --- Correct Emulation Defined35olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal