Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Anyone that claims this is not telling the truth
Date: Sun, 18 Aug 2024 11:58:58 +0300
Organization: -
Lines: 48
Message-ID: <v9sd4i$2b2ig$1@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me> <867e1149d7291cfd965b6974aa22f104635f38aa@i2pn2.org> <v9qdre$1tedb$11@dont-email.me> <d0755e4d97f2c3caebf57ebc856ed8078be3c7dd@i2pn2.org> <v9qeed$1tedb$12@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 10:59:00 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="65f9434b854ff7a88818fe4e27e130bf";
	logging-data="2460240"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19hvdnOfqt5Av7sz6gbn7f/"
User-Agent: Unison/2.2
Cancel-Lock: sha1:BJVZd5g2B+jqfwfDazWZOhCw14I=
Bytes: 2696

On 2024-08-17 15:09:01 +0000, olcott said:

> On 8/17/2024 10:06 AM, Richard Damon wrote:
>> On 8/17/24 10:58 AM, olcott wrote:
>>> On 8/17/2024 9:10 AM, Richard Damon wrote:
>>>> On 8/17/24 8:29 AM, olcott wrote:
>>>>> void DDD()
>>>>> {
>>>>>    HHH(DDD);
>>>>> }
>>>>> 
>>>>> _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 is a basic fact that DDD emulated by HHH according to*
>>>>> *the semantics of the x86 language cannot possibly stop*
>>>>> *running unless aborted* (out of memory error excluded)
>>>>> 
>>>> 
>>>> No, anyone saying that the above is something that CAN be correctly 
>>>> emulated by the semantics of the x86 language is just a LIAR.
>>>> 
>>> 
>>> You are inserting a word that I did not say.
>>> 
>> 
>> To say that DDD is emulated by HHH means that it must be possible to 
>> validly do that act.
>> 
> 
> You are not going to get very far with any claim that
> emulating a sequence of x86 machine-code bytes is impossible.

It is impossible to emulate a call if the memory content at the
called address is not kown (or even whether there is any memory
at that address). The byte sequence above contains a call to
an address that is not a part of the shown sequence.

-- 
Mikko