forth kernel and dictionary dumping
by Stefan Reinauer
Hi,..
basically one of the problems we see before we can ever push
OpenBIOS to flash is that we need a way of getting Forth code
executed that is not part of paflof's unreadable preprocessor
magic.
I've started writing code to dump a dictionary from within paflof
and read it back in. This gives several advantages:
* paflof can be used to bootstrap openbios forth code
* the c core can be developed seperately from the forth code running
on top of it.
* the base engine can be changed easily as it will be rewritten
in forth instead of generating a binary dictionary with the C
preprocessor as it is done now.
* it will be easy to change the amount of packages/features that
will be flashed.
This is needed because we don't want to feed forth source to the C core
while running from flash, but rather compiled forth and FCode.
Before we can run fcode, we need a way of making the evaluator I wrote
accessible from paflof during early bootup.
One of the nice side effects is that the C kernel can be reduced in size
(it is now 17k, most of it being debugging information)
How does the thing work?
Currently there's a word DUMP-DICTIONARY which will dump the current
dictionary to a relocatable ELF file dict.dump, that will be loaded
automatically when paflof is started the next time.
There is one minor glitch left to fix, but it can be worked around
manually: LAST/LATEST is not set correctly after bootup (well, it is,
but it's overwritten again.)
When loading, it will tell you "LAST/LATEST=0xDEADBEEF" shortly before
the ok prompt. then do a "DEADBEEF DUP LAST ! LATEST !" to make the
loaded words actually visible. after that all should work as usual,
just with a loaded dictionary.
Maybe this glitch can be worked around when moving the engine.in to
engine.fs as there will be a new LAST/LATEST. (which will not be used
until :, VARIABLE, CONSTANT etc are redefines. It might be enough to
just set this to a valid value just before : etc are defined (which
would require the dict.dump to be the only dictionary, with no other
dictionary left)
There's currently three kinds of relocations in the ELF file:
Internal, external and CFA relocations.
* Internal relocs are just references within the dictionary.
To fix these up, the old start address of the dictionary is subtracted
and on load, the new address is added.
* external relocs. These reference an external word in the dictionary.
if you use DUP, for example, it will relocate against that word, no
matter whether it's moved around in the dictionary.
* CFA relocations are used to relocate against native prim words (code)
paflof keeps a list of prim words and relocates them by a list index.
This means a dictionary has to be redumped when the number of prim
words changes.
I also managed to write a new prim word to the dictionary, using
HERE
LAST @ , \ backlink
0 C, \ flags
3 C, 44 C, 55 C, 50 C, 0 C, 0 C, 0 C,
\ 0 padded name (only on 32bit machines)
' DUP @ , \ fetch old prim CFA
DUP \ update LAST/LATEST to the beginning of the new word DUP
LAST !
LATEST !
What will be the next step in development?
We need to finish the engine.fs (a rewrite of engine.in in pure forth)
that I already started. this is going to be the next bigger goal in
development. After that dictionary scopes will be a lot easier to
implement as it does not have to be done in preprocessor macros.
Last but not least, get the code at
http://www.freiburg.linux.de/OpenBIOS/bin/paflof-dump-20021016.tar.gz
Any comments, flames, tests, etc are heavily welcome.
Best regards,
Stefan Reinauer
--
The x86 isn't all that complex - it just doesn't make a lot of
sense. -- Mike Johnson, Leader of 80x86 Design at AMD
Microprocessor Report (1994)
-
To unsubscribe: send mail to majordomo(a)freiburg.linux.de
with 'unsubscribe openbios' in the body of the message
http://www.freiburg.linux.de/OpenBIOS/ - free your system..
17 years, 1 month
- 2
- 2
CREATE in paflof
by Stefan Reinauer
Hi,
I've been trying to get Bernd Paysan's Mini-OOF (find it at
http://www.jwdt.com/~paysan/mini-oof.html ) working with paflof.
Mini-OOF is a small OO-layer written in Forth which might be
interesting in regard to the package handling, which paflof
still lacks.
The example works fine in gforth, as far as i can see.
I'm using these two definitions to let mini-oof compile in paflof
without exceptions:
------- 8< ----------
: /string ( addr len n -- addr+n len-n ) tuck - -rot + swap ;
0 cell+ constant cell
------- >8 ----------
Unfortunately there seem to be several problems:
* the example mentioned on the page makes paflof segfault
at END-CLASS.
* paflof and gforth (ANS Forth?) seem to have different opinions
about how to implement ['] and ' in compile mode. I.e. the following
definition
: defines ( xt class -- ) ' >body @ + ! ;
leaves an xt on the stack in paflof, as ' is immediately.
* CREATE ought to read the create-word's name from the TIB in paflof,
using : CREATE PARSE-WORD $CREATE ;
Thus, CREATE cannot be used in a colon definition, as there is
nothing valid in the text input buffer. In ANS Forth, this should be
possible. gforth's definition of CREATE is
: Create header reveal dovar: cfa, ;
Any ideas how to solve these problems are welcome..
Stefan
--
The x86 isn't all that complex - it just doesn't make a lot of
sense. -- Mike Johnson, Leader of 80x86 Design at AMD
Microprocessor Report (1994)
-
To unsubscribe: send mail to majordomo(a)freiburg.linux.de
with 'unsubscribe openbios' in the body of the message
http://www.freiburg.linux.de/OpenBIOS/ - free your system..
17 years, 2 months
- 2
- 1