Sujet : Re: DDD emulated by HHH --- (does not refer to prior posts)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 27. Aug 2024, 14:39:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vakhdc$302rl$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 8/27/2024 2:15 AM, Mikko wrote:
On 2024-08-27 02:33:14 +0000, olcott said:
This is intended to be a stand-alone post that does not
reference anything else mentioned in any other posts.
>
void DDD()
{
HHH(DDD);
return;
}
>
_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]
>
When we assume that:
(a) HHH is an x86 emulator that is in the same memory space as DDD.
(b) HHH emulates DDD according to the semantics of the x86 language.
That means that HHH is stuck in a recursive simulation and does
not return. As x86 does not support an infinite memory space the
excution soon crashes in memory overflow.
Because HHH does not return the execution of DDD and consequently
the emulation of such execution is not continued after the call.
Therefore,
then we can see that DDD emulated by HHH cannot possibly get past
its own machine address 0000217a.
_DDD()
[00002162] 55 push ebp
[00002163] 8bec mov ebp,esp
[00002165] 6862210000 push 00002162
[0000216a] e853f4ffff call 000015c2
[0000216f] 83c404 add esp,+04
[00002172] 5d pop ebp
[00002173] c3 ret
Size in bytes:(0018) [00002173]
*Limited to 20,000,000 total instructions*
*Limited to 20,000,000 total instructions*
*Limited to 20,000,000 total instructions*
machine stack stack machine assembly
address address data code language
======== ======== ======== ========== =============
[00002182][00103806][00000000] 55 push ebp ; begin main
[00002183][00103806][00000000] 8bec mov ebp,esp
[00002185][00103802][00002162] 6862210000 push 00002162 ; push DDD
[0000218a][001037fe][0000218f] e833f4ffff call 000015c2 ; call HHH
New slave_stack at:1038aa
Begin Local Halt Decider Simulation Execution Trace Stored at:1138b2
[00002162][001138a2][001138a6] 55 push ebp
[00002163][001138a2][001138a6] 8bec mov ebp,esp
[00002165][0011389e][00002162] 6862210000 push 00002162 ; push DDD
[0000216a][0011389a][0000216f] e853f4ffff call 000015c2 ; call HHH
New slave_stack at:14e2d2
[00002162][0015e2ca][0015e2ce] 55 push ebp
[00002163][0015e2ca][0015e2ce] 8bec mov ebp,esp
[00002165][0015e2c6][00002162] 6862210000 push 00002162 ; push DDD
[0000216a][0015e2c2][0000216f] e853f4ffff call 000015c2 ; call HHH
New slave_stack at:15e372
[00002162][0016e36a][0016e36e] 55 push ebp
[00002163][0016e36a][0016e36e] 8bec mov ebp,esp
[00002165][0016e366][00002162] 6862210000 push 00002162 ; push DDD
[0000216a][0016e362][0000216f] e853f4ffff call 000015c2 ; call HHH
New slave_stack at:16e412
[00002162][0017e40a][0017e40e] 55 push ebp
[00002163][0017e40a][0017e40e] 8bec mov ebp,esp
[00002165][0017e406][00002162] 6862210000 push 00002162 ; push DDD
[0000216a][0017e402][0000216f] e853f4ffff call 000015c2 ; call HHH
Number of Instructions Executed(20000000) == 298507 Pages
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer