On 10/28/2025 11:44 AM, Kaz Kylheku wrote:On 2025-10-28, Mike Terry <news.dead.person.stones@darjeeling.plus.com> wrote:>But most of all I'm surprised PO's trace buffer would fill up, unless there is an infinite loop in
the picture. (Your "infinite tower" would constitute such a loop, I guess, but then by the time you
need to compress, isn't it clear there's such an infinite loop, so no point going further?
The execution trace quickly fills up because when you have a doubly
nested simulation, it takes many instructions of the first level to
simulate each instruction of the second level.
Each interpretation level in an interpretation tower is vastly less
efficient than the one above.
The x86emu is particularly inefficient because it performs a detailed
simulation unconcerned with efficiency (executing as few host
instructions as possible to complete a target instruction).
Say that the interpretation ratio is 100: 100 instructions of host
for one instruction of target. To simulate just 100 instructions of the
second traced level, the first traced level has to execute 10,000
instructions.
If we could actually use "reckoning" to simulate the infinite tower
indefinitely, we could be counteracting this interpretation ratio,
because when the "reckoning" module takes over an abandoned simulation,
it effectively hoists it to its own level (the top level).
Yet that is just cheating.
In sport, and other contests, if you say "cheating" you have to open the
rule or law book to the right page and point out the broken rule.
Otherwise all you are saying is that you don't like it and are having
a tantrum.
All the code is public; you can say, such and such line of code
in such and such a file is violating ... whatever, and should
instead be coded like this.
If I agree with the problem, I will merge it and post new test results.
I am completely transparent and honest.
int D()
{
This repeated narrative is impertinent to the thread between Mike and myself.
Scoot along now Petey, grown-ups are talking.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
Les messages affichés proviennent d'usenet.