October 2019 - Oberon - mailman3.inf.ethz.ch

Wanted: Oberon Syntax in TextMate, Sublime Text or Atom Grammar
by Treutwein Bernhard 01 Jan '22

01 Jan '22

Does somebody have grammars for Oberon / Oberon-2 / Component Pascal / Active Oberon as grammar for TextMate / Sublime Text / Atom Background: Github wrongly classifies Oberon / Oberon-2 / Component Pascal / Active Oberon as Modula-2. I opened quite some tiome ago an issue in the github/linguist project (https://github.com/github/linguist/issues/3888) and they don't accept EBNF grammars. -- Bernhard Treutwein

6 9

Debugging FPGA oberon via serial line?
by Michael Schierl 29 May '20

29 May '20

Hello, while I was adding UTF-8 support to Fonts and Texts (and almost rewriting Fonts so that a font can be loaded partially and not all glyphs at once), I noticed that debugging such a system can be cumbersome (as you cannot read the TRAP output any more, as well as you have to reset the system to a previous state to be able to fix your mistakes if the screen is too garbled to be useful, or if the system TRAPs during boot). By the way, here is Oberon running in the browser with UTF-8 support for Texts (and Tahoma font): http://schierlm.github.io/OberonEmulator/emu.html?image=UnicodeDiskImage >From other (older) systems, I know it is possible to debug them via serial line, so I was thinking how much the FPGA oberon system needs to be changed (hardware side/software side) to accommodate this. RS232 is supported, so you could use one FPGA system (or emulator) to debug the other one. And I was wondering if anybody already tried doing something like this. I know that Colby Russell worked on debug support in the emulator, but no idea about how far he got. A minimal feature set to be useful (in my opinion) would be - Read and write memory and disk via serial port while the system is running/idle (already possible today via ORC / PCLink) - Set and remove software breakpoints while the system is running/idle - When software breakpoint or trap is hit, save processor state and allow debugging via serial port (-> suspended) - Read and write registers and memory while the system is suspended - Set and remove software breakpoints while the system is suspended - Continue execution when the system is suspended More advanced features would be single stepping (can be emulated by having a look at the instruction and setting software breakpoints at all following locations), or memory breakpoints. Also to be able to enter the debugger by pressing a hardware button on the FPGA (similar to the current reset functionality, but not resetting). And of course symbolic debugging :) Software breakpoints should be easy, just replace instruction by BL to a fixed address. Restore the instruction before returning. For catching TRAPs, overwrite the TRAP address. Saving processor state might be tricky, especially SYSTEM.H and the flags, and maybe you have problems since you need at least one spare register to be able to save the registers to a fixed location in memory. You will also need to switch stack to a second stack before the stack is accessed by the code. Probably solvable by using a special compiler that leaves a register or two unused. Restoring SYSTEM.H and Flags is also not supported (except by searching for instructions that will result in the desired flags or results). Also the question is whether returning to the code will not destroy some flags again. And you need to make sure not to set breakpoints or break at points where a BL has happened but the link register has not been saved yet. So (similar to interrupt) probably some hardware support is needed for this. Entering the debugger by button also needs hardware support (since the current Reset button forgets the PC and some other state). Once in suspend mode, it might be hard to avoid allocating memory, since you cannot run the GC which might collect objects that are still used by the suspended program. But that should be feasible if the functions are basic enough to work with a fixed buffer (e.g. number of breakpoints is limited). I guess memory breakpoints are only possible with hardware support for them (I have no idea how to emulate them except emulating or setting breakpoints at all LOAD/STORE instructions). For symbolic debugging, the compiler would have to write some more debug symbols. For a start, <https://github.com/schierlm/OberonXref/blob/master/ORG.Mod.patch> annotates the code position for every instruction; I currently use it for creating combined source/assembly listings like <https://schierlm.github.io/OberonXref/ProjectOberon2013/ORP.html#both>. But you would probably also need some information about the stack layout (variable names and types) and register contents for every code locatoin, as well as information about module/global variables, and not-exported record types and record members. And you would also need some client to utilize all this information so that you can do something like "Debugger.Inspect F.vwr.dsc" :) So I guess for my own needs, that's too much work for the benefit (especially since I don't know if I will ever try to rewrite any of the core modules again). But perhaps I'm missing something? Any better ideas? Regards, Michael

1 1

A2 Repository
by peter＠easthope.ca 13 Apr '20

13 Apr '20

Hi, rev.9527 on Guenter's Web site is dated September 26. >From felix.friedrich ... Wed Jul 3 09:30:57 2019 > We are currently investing effort into cleaning up A2 ... > ... > ... we will make sure that native versions are properly supported again. > ... need to finish this work before October. Are native versions suitable for end users now? Hold off a little longer? Thanks, ... Peter E. -- https://en.wikibooks.org/wiki/Medical_Machines Tel: +1 604 670 0140 Bcc: peter at easthope. ca

3 4

Re: [Oberon] Oberon online (code snippets sharing)
by peter＠easthope.ca 19 Dec '19

19 Dec '19

From: Erik Terpstra <erterpstra(a)gmail.com> Date: Tue, 13 Aug 2019 10:00:04 +0200 > I have asked the maintainer of tio.run (Try It Online, a code snippet > sharing site) if Oberon-07 could be added, he agreed and added support for > it (using the OBNC compiler). Thanks Erik. > You can see a Hello world snippet here: > > https://bit.ly/2Mic0NN A click on Oberon-07 in the list of languages leads to https://tio.run/#oberon-07 . Is there any harm in referring to that URL? Thanks, ... Lyall E. -- https://en.wikibooks.org/wiki/Oberon Tel: +1 604 670 0140 Bcc: peter at easthope. ca

6 8

Re: [Oberon] Happy to announce that you can now subscribe to ULX3S updates
by peter＠easthope.ca 27 Oct '19

27 Oct '19

From: =?UTF-8?Q?Goran_Mahovli=C4=87?= Date: Sun, 27 Oct 2019 00:12:02 +0200 > https://www.crowdsupply.com/radiona/ulx3s Immediately below the title, "This project is coming soon." Meaning a board can not be purchased at this time but availability is anticipated for the not-to-distant future? Thanks, ... Lyall E. -- https://en.wikibooks.org/wiki/Medical_Machines Tel: +1 604 670 0140 Bcc: peter at easthope. ca

1 0

Happy to announce that you can now subscribe to ULX3S updates
by Goran Mahovlić 26 Oct '19

26 Oct '19

https://www.crowdsupply.com/radiona/ulx3s

1 0

PO2013 - MasterMind - Surreal Numbers
by Tomas Kral 20 Oct '19

20 Oct '19

Hi, FPGA Oberon is certainly not a famous gaming platform, but I wish to port MasterMind game, the sources I took from other Oberons. `MasterMind.Mod' `MasterMindG.Mod' G-variant offers a computer solution, that I am more interested in. I have read some articles on Surreal Numbers and combinatorial games, I I only half understood. I learnt for some games a winning strategy exists, the one I experimented with is `Marienbad', reduced variant of `Go'. Now back to MasterMind, looking for some analogy and strategies. I can imagine a solution criteria can be based on minimum number of guesses. But I prefer simplicity, so just a solution, even non-optimal one but simple may be better for clarity. Looking into the code, I need help in understanding the strategy used there. It might be also interesting, to see, if a solution can exist in the domain of Surreal Numbers. I am not maths talent, but hoping this may caught some attention of mathematical minded people here. Can anyone please help? -- Tomas Kral <thomas.kral(a)email.cz>

1 0

Re: File comparison in V5.
by peter＠easthope.ca 18 Oct '19

18 Oct '19

>From joerg.straube at iaeth.ch Tue Aug 6 13:54:08 2019 > I have a draft version of diff working on ProjectOberon. But it is not > yet in a state I can distribute. BTW: I did not reuse S3 source, wrote > it from scratch Good! Today I noticed a fourth approach in Oberon.TextDocs.Mod. "(** Starts searching for textual differences starting at the selection positions of the last two selected texts Call: TextDocs.SearchDiff(** Starts searching for textual differences starting at the selection positions of the last two selected texts Call: TextDocs.SearchDiff [text1 text2] exact comparison TextDocs.SearchDiff \w [text1 text2] compare ignoring 'white space' *) PROCEDURE SearchDiff*;" To see the module, open https://svn-dept.inf.ethz.ch/svn/lecturers/a2/trunk/source/ and supply userid infsvn.anonymous and password anonymous. In the resultant list of sources click on Oberon.TextDocs.Mod. At each difference, the two selections must be reset to continue. Automation of the reset may be possible. The implementation is in Gadgets modules but parallel implementation in plain Texts should be possible. [ An amateur can use an Oberon system for years and still find an unknown and useful feature. Amazing! ] Regards, ... Lyall E. -- https://en.wikibooks.org/wiki/Medical_Machines Tel: +1 604 670 0140 Bcc: peter at easthope. ca

1 0

ORX.WriteFile
by Andreas Pirklbauer 17 Oct '19

17 Oct '19

> I used a different approach and isolated the additional code to a separate procedure ORG.WriteHexFile. Which is practically identical to ORX.WriteFile.. there are only so many ways to do this.. PROCEDURE WriteFile*; (*write code section of M.rsc in PROM format with specified size (nof opcodes) to output file*) VAR f, g: Files.File; Rf, Rg: Files.Rider; code: ARRAY maxCode OF LONGINT; i, size, outsize, start, nofimps, res: INTEGER; name: ARRAY 32 OF CHAR; S: Texts.Scanner; BEGIN Texts.OpenScanner(S, Oberon.Par.text, Oberon.Par.pos); Texts.Scan(S); res := -1; IF S.class = Texts.Name THEN name := S.s; Texts.Scan(S); IF S.class = Texts.Int THEN outsize := S.i; Texts.Scan(S); IF S.class = Texts.Name THEN res := 0; Texts.WriteString(W, " WriteFile "); Texts.WriteString(W, name); Texts.WriteInt(W, outsize, 5); Texts.Write(W, " "); Texts.WriteString(W, S.s); IF outsize > 0 THEN f := Files.Old(name); IF f # NIL THEN g := Files.New(S.s); Files.Set(Rf, f, 0); ReadCode(Rf, code, size, start, nofimps, res); IF res = 0 THEN IF nofimps = 0 THEN IF size <= outsize THEN Files.Set(Rg, g, 0); i := 0; WHILE i < size DO WriteHex(Rg, code[i]); Files.Write(Rg, CR); INC(i) END ; WHILE i < outsize DO WriteHex(Rg, 0); Files.Write(Rg, CR); INC(i) END ; Files.Register(g); Texts.WriteString(W, " done") ELSE Texts.WriteString(W, " insufficent size") END ELSE Texts.WriteString(W, " imports not allowed") END ELSIF res = 1 THEN Texts.WriteString(W, " input file format error") ELSIF res = 2 THEN Texts.WriteString(W, " program too long") END ELSE Texts.WriteString(W, " input file not found") END ELSE Texts.WriteString(W, " outputsize must be positive") END END END END ; IF res = -1 THEN Texts.WriteString(W, "Usage: ORX.WriteFile M.rsc outputsize M.mem") END ; Texts.WriteLn(W); Texts.Append(Oberon.Log, W.buf) END WriteFile; from: https://github.com/andreaspirklbauer/Oberon-building-tools/blob/master/Sour…

1 0

ORX.WriteFile
by Andreas Pirklbauer 17 Oct '19

17 Oct '19

> There sure are loads of ways! The approach we used with Astrobe was to > modify ORG so it always outputs a .mem text file directly from the code > array if a Module* is being compiled: > > IF version = 0 THEN WriteHexFile(modid) END > > Regards, > Chris Burrows Good idea! Below is one possible implementation of such an ORG.Close (and the diff), in case someone is interested. One could also add an option /m to ORP.Compile if one really wanted to. -ap --------------------------------------------------------------------------------------- PROCEDURE WriteHex(VAR R: Files.Rider; x: LONGINT); (*write a 4 byte LONGINT in 8 digit hex format*) VAR i: INTEGER; y: LONGINT; a: ARRAY 10 OF CHAR; BEGIN i := 0; REPEAT y := x MOD 10H; IF y < 10 THEN a[i] := CHR(y + 30H) ELSE a[i] := CHR(y + 37H) END ; x := x DIV 10H; INC(i) UNTIL i = 8; REPEAT DEC(i); Files.Write(R, a[i]) UNTIL i = 0 END WriteHex; PROCEDURE Close*(VAR modid: ORS.Ident; key, nofent: LONGINT); CONST CR = 0DX; VAR obj: ORB.Object; i, comsize, nofimps, nofptrs, size: LONGINT; name: ORS.Ident; F, F1: Files.File; R, R1: Files.Rider; BEGIN (*exit code*) IF version = 0 THEN Put1(Mov, 0, 0, 0); Put3(BR, 7, 0) (*RISC-0*) ELSE Put2(Ldr, LNK, SP, 0); Put1(Add, SP, SP, 4); Put3(BR, 7, LNK) END ; obj := ORB.topScope.next; nofimps := 0; comsize := 4; nofptrs := 0; WHILE obj # NIL DO IF (obj.class = ORB.Mod) & (obj.dsc # ORB.system) THEN INC(nofimps) (*count imports*) ELSIF (obj.exno # 0) & (obj.class = ORB.Const) & (obj.type.form = ORB.Proc) & (obj.type.nofpar = 0) & (obj.type.base = ORB.noType) THEN i := 0; (*count commands*) WHILE obj.name[i] # 0X DO INC(i) END ; i := (i+4) DIV 4 * 4; INC(comsize, i+4) ELSIF obj.class = ORB.Var THEN INC(nofptrs, NofPtrs(obj.type)) (*count pointers*) END ; obj := obj.next END ; size := varsize + strx + comsize + (pc + nofimps + nofent + nofptrs + 1)*4; (*varsize includes type descriptors*) ORB.MakeFileName(name, modid, ".rsc"); F := Files.New(name); Files.Set(R, F, 0); (*write code file*) IF version = 0 THEN (*write PROM file*) ORB.MakeFileName(name, modid, ".mem"); F1 := Files.New(name); Files.Set(R1, F1, 0) END ; Files.WriteString(R, modid); Files.WriteInt(R, key); Files.Write(R, CHR(version)); Files.WriteInt(R, size); obj := ORB.topScope.next; WHILE (obj # NIL) & (obj.class = ORB.Mod) DO (*imports*) IF obj.dsc # ORB.system THEN Files.WriteString(R, obj(ORB.Module).orgname); Files.WriteInt(R, obj.val) END ; obj := obj.next END ; Files.Write(R, 0X); Files.WriteInt(R, tdx*4); i := 0; WHILE i < tdx DO Files.WriteInt(R, data[i]); INC(i) END ; (*type descriptors*) Files.WriteInt(R, varsize - tdx*4); (*data*) Files.WriteInt(R, strx); FOR i := 0 TO strx-1 DO Files.Write(R, str[i]) END ; (*strings*) Files.WriteInt(R, pc); (*code len*) FOR i := 0 TO pc-1 DO Files.WriteInt(R, code[i]); (*program*) IF version = 0 THEN WriteHex(R1, code[i]); Files.Write(R1, CR) END (*hexcode*) END ; IF version = 0 THEN i := pc; WHILE i MOD 512 # 0 DO WriteHex(R1, 0); Files.Write(R1, CR); INC(i) END END ; obj := ORB.topScope.next; WHILE obj # NIL DO (*commands*) IF (obj.exno # 0) & (obj.class = ORB.Const) & (obj.type.form = ORB.Proc) & (obj.type.nofpar = 0) & (obj.type.base = ORB.noType) THEN Files.WriteString(R, obj.name); Files.WriteInt(R, obj.val) END ; obj := obj.next END ; Files.Write(R, 0X); Files.WriteInt(R, nofent); Files.WriteInt(R, entry); obj := ORB.topScope.next; WHILE obj # NIL DO (*entries*) IF obj.exno # 0 THEN IF (obj.class = ORB.Const) & (obj.type.form = ORB.Proc) OR (obj.class = ORB.Var) THEN Files.WriteInt(R, obj.val); ELSIF obj.class = ORB.Typ THEN IF obj.type.form = ORB.Record THEN Files.WriteInt(R, obj.type.len MOD 10000H) ELSIF (obj.type.form = ORB.Pointer) & ((obj.type.base.typobj = NIL) OR (obj.type.base.typobj.exno = 0)) THEN Files.WriteInt(R, obj.type.base.len MOD 10000H) END END END ; obj := obj.next END ; obj := ORB.topScope.next; WHILE obj # NIL DO (*pointer variables*) IF obj.class = ORB.Var THEN FindPtrs(R, obj.type, obj.val) END ; obj := obj.next END ; Files.WriteInt(R, -1); Files.WriteInt(R, fixorgP); Files.WriteInt(R, fixorgD); Files.WriteInt(R, fixorgT); Files.WriteInt(R, entry); Files.Write(R, "O"); Files.Register(F); IF version = 0 THEN Files.Register(F1) END END Close; And the diff: ---------------- 1045a1046,1056 > PROCEDURE WriteHex(VAR R: Files.Rider; x: LONGINT); (*write a 4 byte LONGINT in 8 digit hex format*) > VAR i: INTEGER; y: LONGINT; > a: ARRAY 10 OF CHAR; > BEGIN i := 0; > REPEAT y := x MOD 10H; > IF y < 10 THEN a[i] := CHR(y + 30H) ELSE a[i] := CHR(y + 37H) END ; > x := x DIV 10H; INC(i) > UNTIL i = 8; > REPEAT DEC(i); Files.Write(R, a[i]) UNTIL i = 0 > END WriteHex; > 1046a1058 > CONST CR = 0DX; 1050c1062 < F: Files.File; R: Files.Rider; --- > F, F1: Files.File; R, R1: Files.Rider; 1068,1069c1080,1084 < ORB.MakeFileName(name, modid, ".rsc"); (*write code file*) < F := Files.New(name); Files.Set(R, F, 0); Files.WriteString(R, modid); Files.WriteInt(R, key); Files.Write(R, CHR(version)); --- > ORB.MakeFileName(name, modid, ".rsc"); F := Files.New(name); Files.Set(R, F, 0); (*write code file*) > IF version = 0 THEN (*write PROM file*) > ORB.MakeFileName(name, modid, ".mem"); F1 := Files.New(name); Files.Set(R1, F1, 0) > END ; > Files.WriteString(R, modid); Files.WriteInt(R, key); Files.Write(R, CHR(version)); 1084c1099,1104 < FOR i := 0 TO pc-1 DO Files.WriteInt(R, code[i]) END ; (*program*) --- > FOR i := 0 TO pc-1 DO Files.WriteInt(R, code[i]); (*program*) > IF version = 0 THEN WriteHex(R1, code[i]); Files.Write(R1, CR) END (*hexcode*) > END ; > IF version = 0 THEN i := pc; > WHILE i MOD 512 # 0 DO WriteHex(R1, 0); Files.Write(R1, CR); INC(i) END > END ; 1116c1136,1137 < Files.Write(R, "O"); Files.Register(F) --- > Files.Write(R, "O"); Files.Register(F); > IF version = 0 THEN Files.Register(F1) END

2 1