Threaded Code (1999)
complang.tuwien.ac.at
complang.tuwien.ac.at
I've been interested in this lately. I keep getting the feeling that it, like lots of programming knowledge, remains locked up in the minds of a limited set of greybeards.
Not entirely the same thing, but Mike Pall wrote luajit2 mostly by himself. The interpreter alone is faster than the original luajit.
When I see how much small teams like the lua team and Mike have done, I know there is massive inefficiency in our industry. We got caught up in the new hotness and we discard all of the knowledge of the past, to our own detriment.
This situation then leads to a certain inefficiency, as portability becomes more important than efficiency.
On top of that, there is the cost of maintaining a piece of software. A threaded forth interpreter is much more expensive to maintain then one based on a switch statement, I'd assume.
Take z-machine for example. It was apprarantly so much easier to code a z-machine interpreter in Assembly for each architecture and run bytecode on it.
Who says assembly doesn't have code reusability. You can easily translate between architectures if you stay away from instruction set specific tricks. For me, assembly is a universal abstraction for how my computer works. I know it's not accurate, lots of magic happens on microcode and OS level, but still it's so much cleaner.
Going to higher level languages has many advantages, and I would definitely prefer to write any complex project (for example a web browser) with the help of higher level languages.
However learning and programming in Assembly broadened my horizon in a lot of ways.
Comparing C++ to Assembly in terms of complexity is not fair. C++ is "complex", it requires loads of tooling to compile, a special runtime etc.
Assembly is super simple at its core. Especially if you can free yourself from structured code ideology. C and C++ force you into programming a certain way, you don't use jumps, you can't manipulate the stack however you want etc. Once I leave all that and start playing with real spaghetti code :) with jumps all over the place, programming gets much more fun for me.
The cost of maintaining assembly code doesn't have to be high. You can write special subroutines you need in Assembly and keep the code short, simple and useful. I think it's a misperception that assembly is hard to maintain. I think people think that because lots of developers are afraid to even touch C code, let alone Assembly.
TL;DR Assembly is fun, leave everything you think you know about programming and jump in :).
.. how well does this work in a team? There are a number of people who do individual heroics in assembly, but I'm not aware of any large long term maintained such projects that have outlived their originator.
Maintenance involved fixing bugs (including in the OS kernel), localizing software to a different language (sounds inoffensive ... when you have source code. Much more nasty when translated sentence doesn't fit into its allocated place in the binary). And adapting to hardware difference, such as less RAM, less capable peripherals and slower CPUs.
EDIT: Minsk 32 was bespoke development but the language still was close enough to hardware to be qualified as assembly by today's standards.
I was fascinated by DRAKON when I first learned about it. The Wikipedia article said that it was used by other professions as well. For example doctors had flowcharts in DRACON for medical procedures etc.
I'll be glad (and think that the whole community will be glad) if you decide you want to share more historical anectodes about the Soviet computer program.
What is "structured code ideology"?
Why is it acceptable to refuse OOP and not code using objects and not refusing for loops, if statements etc.? It is because we are taught to program and think like that. I am not saying this is wrong, but there is so much more to programming if one can break free from structured programming paradigm. All the loops, variable declarations, scoping, if statements, switch statements etc. are inventions just like constructs of object oriented or [insert programming paradigm here] programming. CPUs don't have these constructs. These are abstractions and limitations to make life easier. But there is much more to programming if you take a step deeper.
Where there is a defined task such as language interpretation or codec conversion (ffmpeg), there a virtuoso programmer or small team can really produce some amazing work.
On another note, Gforth is actively being worked on, but it's been almost 7 years since the last stable release.
What has changed since then, and especially beginning with Haswell, is that contemporary CPUs have so much more branch prediction machinery that they can render computed goto techniques irrelevant. It’s a neat technique, for sure, but people looking for performance this decade need to look away from threaded code techniques and towards ILP and SIMD.
You could ask.
https://web.archive.org/web/19990117022746/http://www.compla...
In this case, the term 'thread' is the same in both usages. The confusion is that people started using 'multithreading' and 'threading' interchangeably. The concept of a 'thread' existed before Forth and any form of multitasking were invented, and MVT (which used the term 'task' rather than 'thread') and Forth were both invented around the same time.
I'd recommend you read the Wikipedia page for 'Threaded code': it's much clearer than the linked page, and will give some background of the purpose behind it. Most interpreters that don't do something like walking an AST do some form of it, even if that's by using some kind of bytecode. If you've ever seen code written using continuation-passing style, it's implementing a form of threaded code.