Deutsch English Français Italiano |
<v83gn0$3gihn$5@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Fred. Zwarts" <F.Zwarts@HetNet.nl> Newsgroups: comp.theory Subject: Re: This function proves that only the outermost HHH examines the execution trace Date: Sat, 27 Jul 2024 21:10:23 +0200 Organization: A noiseless patient Spider Lines: 221 Message-ID: <v83gn0$3gihn$5@dont-email.me> References: <v80h07$2su8m$3@dont-email.me> <0amdndFJSZSzYD77nZ2dnZfqnPednZ2d@brightview.co.uk> <v8102f$2vo8u$1@dont-email.me> <v829vn$3a8a0$1@dont-email.me> <v8303r$3dftr$7@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 27 Jul 2024 21:10:25 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5f623e9acbcbdce9334ab4c51e72f5f6"; logging-data="3689015"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+polZQxIFyq/xu7k7rO4q8" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:ayon1xGG8i6tQiyWG60lTCzP5Qg= Content-Language: en-GB In-Reply-To: <v8303r$3dftr$7@dont-email.me> Bytes: 11752 Op 27.jul.2024 om 16:27 schreef olcott: > On 7/27/2024 3:09 AM, Mikko wrote: >> On 2024-07-26 20:14:07 +0000, olcott said: >> >>> On 7/26/2024 2:46 PM, Mike Terry wrote: >>>> On 26/07/2024 16:56, olcott wrote: >>>>> This is meant for Mike, Joes and Fred don't have the technical >>>>> competence to understand it. >>>>> >>>>> Richard might be able to understand it yet the fact that he is >>>>> stuck in rebuttal mode makes any understanding that he may have >>>>> utterly useless. >>>>> >>>>> Mike: It seems that HHH has been a pure function of its inputs >>>>> and never has provided data downward to its slaves that corrupts >>>>> their halt status decision. They don't even make a halt status >>>>> decision thus cannot make a corrupted one. >>>> >>>> Well, the first two claims are literally untrue - outer HHH >>>> effectively uses the static mutable data to pass flags to the inner >>>> HHH that modify its behaviour. The Root flag below is derived from >>>> the actual static data and causes inner HHH to totally skip its own >>>> abort logic! >>>> >>>> You seem to acknowledge this, but claim it does not matter for >>>> various reasons, because whatever mistakes you are making, what >>>> finally gets printed out is saying the right thing! >>>> >>> >>> If HHH gets the correct answer in an impure way then it only >>> counts that it gets it in an impure way if it is impossible >>> to get in a pure way. This makes it possible for HHH to get >>> this answer in a pure way: >>> >>> Message-ID: <rLmcnQQ3-N_tvH_4nZ2dnZfqnPGdnZ2d@brightview.co.uk> >>> On 3/1/2024 12:41 PM, Mike Terry wrote: >>> > >>> > Obviously a simulator has access to the internal state >>> > (tape contents etc.) of the simulated machine. No problem there. >>> >>>> The problem with this attitude is that when you describe your ideas >>>> and present the printed output, you say that HHH is "simulating" >>>> DDD, and people know what simulating means, and everyone has >>>> expectations of what that implies. You are happy to use those >>>> expectations when it goes along with what you want to claim, but try >>>> to conceal that those expectations are unjustified because what you >>>> are doing is not "proper simulation" as everybody would understand it. >>>> >>> >>> It does not have any effect on the simulation. It only gets >>> the non-halting results that we can all see is correct in an >>> impure way. Each instruction of DDD is emulated precisely >>> according to the semantics that it specifies. >>> >>>> You can't have it both ways. >>>> >>> >>> It may seem that way if you are not paying close enough attention >>> or have insufficient skill with the semantics of the x86 language. >>> >>>> The way to avoid all such concerns is to implement simulation >>>> correctly, like you claim to have done. Simulation is not /just/ >>>> the step by step simulation provided by libx86emu(sp?) - >>> >>> Yes it is. That *is* what simulation is. >>> The only thing that is added to this is termination analysis that >>> can be verified as correct even if this correct result was not >>> derived in a pure way. >>> >>>> your entire computation environment needs to correctly work together >>>> so that the end-to-end effect is that simulated code exactly follows >>>> the behaviour of the original code, at least up to the point where >>>> the simulator aborts. >>> >>> It has done that for three years and you never bothered to pay >>> enough attention to notice that it has done that for three years. >>> >>>> Put differently, you also need to simulate the /correct/ >>>> instructions and data. >>>> >>> >>> The instructions *are* the data. A sequence of these instructions >>> (execution trace) is all that the termination analyzer uses. >>> >>>> The same applies to when you try to "copy" code, >>> >>> I don't try to copy code. libx86emu gets confused with >>> copied code. >>> >>>> as in your H1 and HHH1: by definition of "copy" [as understood by >>>> everybody here] the behaviour of the copied code must exactly match >>>> that of the original code - otherwise it is simply not a proper >>>> "copy" by definition. >>>> >>> >>> There is no copy. It is always the exact same integer >>> machine address of DDD. >>> >>> Why do you insist on saying the the emulation of DDD by HHH >>> is incorrect when it is an easily verified fact that HHH >>> emulates each instruction of DDD exactly according to the >>> semantics specified by this instruction. >>> >>> Every time that anyone every said that the simulation was >>> incorrect I dared them to point to the line of code that >>> was simulated incorrectly and they responded with rhetoric, >>> ad hominem, and double talk and never pointed out any >>> instruction that was emulated incorrectly. >>> >>> These tactics may seem convincing to gullible fools yet are >>> as obvious as a pie-in-the-face to those having enormously >>> much more single-minded focus of attention. >>> >>>> As a joke alternative you could stop claiming to simulate or copy >>>> anything, and say instead you are misulating and pocying code! You >>>> could say "HHH misulates DDD and sees that DDD will never halt" but >>>> obviously people will just say "What's misulating, and why should >>>> misulating (whatever it is) allow HHH to see things about DDD?" You >>>> see - from your perspective that would be hopeless for your wider >>>> scope argument which attempts to invalidate the Linz/Sipser proofs. >>>> Similarly if you claim that you "pocyed" HHH to HHH1 and they have >>>> different results when given input DDD, people will just look blank >>>> - what's "pocying" and why would anyone expect a pocyed routine to >>>> give the same result as the original routine? >>>> >>>> No, none of that flies. It was a joke, but with a sensible aim - to >>>> convince you that for your wider scale arguments you need simulating >>>> (and copying) to have their correct meanings as everybody here will >>>> understand them. No good saying "they mean something else, but it >>>> doesn't matter because what my program finally writes out is TRUE". >>>> >>>> Of course none of that will convince you of anything and you'll just >>>> continue. >>>> >>>>> >>>>> I could change the code so that the slave instances can and do >>>>> try to form a halt status decision on the basis of the execution >>>>> trace that they do have. >>>> Your concept of master/slaves simulators is broken. There are >>>> outer/inner simulators but that is just a relative term, and all >>>> simulated code (at whatever level) needs to have the same behaviour >>>> as the unsimulated code. >>>> >>>> If your simulation was correctly designed/implemented this would >>>> just work. (Of course, HHH has to correctly use the DebugStep() (et >>>> al.) primitive ops to gather what it needs to make its decision, no >>>> cheating with globals etc..) >>>> >>> >>> That you disagree that the simulation is correct without being >>> able to point out a single line-of-code of DDD that was simulated >>> incorrectly seems to indicate that you are happy to directly >>> contradict verified facts. >>> >>>> I know you've said you don't have time to think about how to do this >>>> correctly. That's fair enough, but in the meantime you should not >>>> claim that your incorrect implementation proves your conclusions! >>> >>> Anyone having sufficient knowledge of the x86 language can verify >>> the only two relevant details: >>> >>> DDD is correctly emulated by HHH until it correctly determines >>> that DDD specifies not halting behavior that must be aborted. >>> >>> >>>> To be fair, you shouldn't need x86utm.exe in your arguments - it is >>>> not the Appeal To Authority that you imagine it to be! All of your >>>> arguments could just be phrased in pseudo-code and there would not >>>> be any disagreement about how that would behave by posters here. Of >>>> course, your ideas expressed that way would still be Wrong, and >>>> nobody would agree with them, but that's the case anyway when you >>>> try to bring in x86utm! >>>> >>> >>> That you disagree that the simulation is correct without being ========== REMAINDER OF ARTICLE TRUNCATED ==========