5 ms·

That is not the point though. I know threading allows using a custom convention and just jumping. What it doesn't, IIUC, is allow specializing your code for run

That is not the point though. I know threading allows using a custom convention and just jumping. What it doesn't, IIUC, is allow specializing your code for runtime data. Copy-and-patch and Jitter do. It's essentially static vs dynamic. I'm new to this so I may very well be misunderstanding threading, but I don't think it allows for modifying the functions on runtime by itself.

MaxBarraclough 2y ago
There's bit of a mushy terminology problem here. Generally when we say threading we mean schemes that don't rely on generation of new native-code sequences, sure, but people who are serious about efficient threading don't necessarily view it that way. The term context threading refers to generation of native code that behaves much like conventional threaded-code interpretation, except specialised to the particular input code. [0][1] See also dynamic superinstructions, a term used by gforth to refer to its runtime generation of native code for input Forth code. [2] Disclaimer: I'm no Forth expert. I should give [1] a proper read, it looks interesting. [0] https://webkit.org/blog/214/introducing-squirrelfish-extreme/ https://webkit.org/blog/214/introducing-squirrelfish-extreme... [1] (PDF) https://csng.cs.toronto.edu/publication_files/0000/0162/demkea_context.pdf https://csng.cs.toronto.edu/publication_files/0000/0162/demk... [2] https://www.complang.tuwien.ac.at/forth/gforth/Docs-html-history/0.7.0/Dynamic-Superinstructions.html https://www.complang.tuwien.ac.at/forth/gforth/Docs-html-his...
- mrugiero 2y ago
  I see. I'll try to read the links over the weekend, they seem really interesting. It's sad that the terms are so overloaded though, as it makes it hard to reach preexisting approaches and leads to rediscoveries of the same idea (I see that both Jitter and C&P seem to implement this very same idea, except maybe in the way the templates are created, and both seem to believe their invention is novel).
  - MaxBarraclough 2y ago
    Regarding threaded-code strategies I think the terminology is reasonable. There's a real sense in which context threading is just another kind of threaded code, although it does make it awkward to describe conventional direct or indirect threading. The creator of Jitter has read a lot about Gforth, as evidenced in [0][1]. You're not the only one to suspect there's some reinvention going on here somewhere though. [2] I'm not familiar enough with these topics (copy-and-patch and Jitter) to weigh in. [0] (PDF) https://ageinghacker.net/talks/jitter-slides--saiu--ghm2017--2017-08-25.pdf https://ageinghacker.net/talks/jitter-slides--saiu--ghm2017-... [1] (PDF) https://ageinghacker.net/talks/jitter-slides--saiu--bts-2022--2022-03-06.pdf https://ageinghacker.net/talks/jitter-slides--saiu--bts-2022... [2] https://news.ycombinator.com/item?id=40410420 https://news.ycombinator.com/item?id=40410420

MaxBarraclough 2y ago

There's bit of a mushy terminology problem here. Generally when we say threading we mean schemes that don't rely on generation of new native-code sequences, sure, but people who are serious about efficient threading don't necessarily view it that way. The term context threading refers to generation of native code that behaves much like conventional threaded-code interpretation, except specialised to the particular input code. [0][1] See also dynamic superinstructions, a term used by gforth to refer to its runtime generation of native code for input Forth code. [2] Disclaimer: I'm no Forth expert. I should give [1] a proper read, it looks interesting. [0] https://webkit.org/blog/214/introducing-squirrelfish-extreme/ https://webkit.org/blog/214/introducing-squirrelfish-extreme... [1] (PDF) https://csng.cs.toronto.edu/publication_files/0000/0162/demkea_context.pdf https://csng.cs.toronto.edu/publication_files/0000/0162/demk... [2] https://www.complang.tuwien.ac.at/forth/gforth/Docs-html-history/0.7.0/Dynamic-Superinstructions.html https://www.complang.tuwien.ac.at/forth/gforth/Docs-html-his...

mrugiero 2y ago
I see. I'll try to read the links over the weekend, they seem really interesting. It's sad that the terms are so overloaded though, as it makes it hard to reach preexisting approaches and leads to rediscoveries of the same idea (I see that both Jitter and C&P seem to implement this very same idea, except maybe in the way the templates are created, and both seem to believe their invention is novel).
- MaxBarraclough 2y ago
  Regarding threaded-code strategies I think the terminology is reasonable. There's a real sense in which context threading is just another kind of threaded code, although it does make it awkward to describe conventional direct or indirect threading. The creator of Jitter has read a lot about Gforth, as evidenced in [0][1]. You're not the only one to suspect there's some reinvention going on here somewhere though. [2] I'm not familiar enough with these topics (copy-and-patch and Jitter) to weigh in. [0] (PDF) https://ageinghacker.net/talks/jitter-slides--saiu--ghm2017--2017-08-25.pdf https://ageinghacker.net/talks/jitter-slides--saiu--ghm2017-... [1] (PDF) https://ageinghacker.net/talks/jitter-slides--saiu--bts-2022--2022-03-06.pdf https://ageinghacker.net/talks/jitter-slides--saiu--bts-2022... [2] https://news.ycombinator.com/item?id=40410420 https://news.ycombinator.com/item?id=40410420