Update README

README.md

@@ -2,7 +2,7 @@
 
 Wipforth is a Forth implementation that runs in the WebAssembly
 virtual machine.  The system is bootstrapped from source on page load:
-the only non-text file is the favicon :)
+the only binary file is the favicon :)
 
 I/O is done via memory-mapped peripherals, which are emulated in
 JavaScript.
@@ -17,8 +17,8 @@ JavaScript.
 
 ## Building and Running Locally
 
-There's a [Guile](https://www.gnu.org/software/guile/) script in the
-repo you can use for this:
+There is simple [Guile](https://www.gnu.org/software/guile/) script
+you can use for this:
 
 ```
 guile server.scm
@@ -27,17 +27,15 @@ guile server.scm
 You should then be able to open <http://localhost:8080> in a browser
 and use the system from there.
 
-However, since everything is bootstrapped on the client, basically any
-HTTP server will do as long as it sets the appropriate response
-headers for `SharedArrayBuffer` use:
+Since everything is bootstrapped on the client, you only need an HTTP
+server, so if you don't have Guile on your system you can bring your
+own.  The only requirement is that it sets the cross-origin isolation
+headers required for `SharedMemoryBuffer` use:
 
 - `Cross-Origin-Opener-Policy: same-origin`
 - `Cross-Origin-Embedder-Policy: require-corp`
 
-So, if you don't have Guile on your system you can use something else
-like Python's `http.server`.
-
-**NOTE**: You should **definitely not** use `server.scm` to serve the
+You should **definitely not** use `server.scm` to serve the
 application on the open internet or anything like that; I just hacked
 it together for testing on localhost during development and it's
 probably hilariously insecure.
@@ -74,21 +72,20 @@ guile tests.scm | xmllint --format -
 
 | Name   | Address | Size / B | Access       |
 |--------|---------|----------|--------------|
-| TXBUF  | 000h    | 32       | write        |
-| RXBUF  | 080h    | 32       | read         |
-| TXHEAD | 100h    | 4        | atomic read  |
-| TXTAIL | 104h    | 4        | atomic write |
-| RXHEAD | 108h    | 4        | atomic write |
-| RXTAIL | 10Ch    | 4        | atomic read  |
+| TXBUF  | 00h     | 32       | write        |
+| RXBUF  | 20h     | 32       | read         |
+| TXHEAD | 40h     | 4        | atomic read  |
+| TXTAIL | 44h     | 4        | atomic write |
+| RXHEAD | 48h     | 4        | atomic write |
+| RXTAIL | 4Ch     | 4        | atomic read  |
 
 For both sending (`TX`) and receiving (`RX`), there are three
 registers: `xBUF`, `xHEAD` and `xTAIL`:
 
-- `xBUF` registers are 128-byte FIFO ring buffers used for data
+- `xBUF` registers are 32-byte FIFO ring buffers used for data
 - The `xHEAD` and `xTAIL` registers specify the start and end of data
   in the ring buffer, `xHEAD` being the offset of the first byte of
-  data, and `xTAIL` being the offset of the first byte *after* the
-  data.
+  data, and `xTAIL` being the offset of the first byte *after* the data.
 
 In order to be distinguishable from the empty state, the ring buffers
 must never be completely full -- there must always be *at least one*
@@ -98,10 +95,7 @@ unoccupied byte between the tail and the head.
 
 | Name     | Address | Size / B | Access       |
 |----------|---------|----------|--------------|
-| SYSREADY | 110h    | 4        | atomic write |
-| SYSINTER | 114h    | 4        | atomic read  |
+| SYSREADY | 50h     | 1        | atomic write |
 
 The `SYSREADY` register is used to indicate when the system has booted
-up and is ready for user input.  `SYSINTER` is set (and notified on)
-once the emulator has enabled user input and the system is
-interactive.
+up and is ready for user input.

asm.js

@@ -14,29 +14,20 @@ class Tokenizer {
 		this.buffer = [];
         this.comment = false;
         this.string = false;
-        this.cursor = 0;
-	}
-
-    find(pred) {
-        for (let i = this.cursor; i < this.buffer.length; ++i) {
-            if (pred(this.buffer[i]))
-                return i;
-        }
-        return null;
 	}
 
 	skip() {
-		const idx = this.find((cp) => !this.skips.has(cp));
-        this.cursor = idx == null ? this.buffer.length : idx;
+		const idx = this.buffer.findIndex((cp) => !this.skips.has(cp));
+        this.buffer = idx == -1 ? [] : this.buffer.slice(idx);
     }
 
     next_string() {
-        const idx = this.find((cp) => cp == this.string_quote);
-        if (idx == null) {
+        const idx = this.buffer.findIndex((cp) => cp == this.string_quote);
+        if (idx == -1) {
             this.string = true;
         } else {
-            const string = this.buffer.slice(this.cursor, idx).join("");
-            this.cursor = idx + 1;
+            const string = this.buffer.slice(0, idx).join("");
+            this.buffer = this.buffer.slice(idx + 1);
             this.string = false;
             return { string: string };
         }
@@ -47,20 +38,18 @@ class Tokenizer {
             return this.next_string();
 
         this.skip();
-        if (this.buffer[this.cursor] == LINE_END) {
-            ++this.cursor;
-            return LINE_END;
-        }
+        if (this.buffer[0] == LINE_END)
+            return this.buffer.shift();
 
-        if (this.buffer[this.cursor] == this.string_quote) {
-            ++this.cursor;
+        if (this.buffer[0] == this.string_quote) {
+            this.buffer.shift();
             return this.next_string();
         }
 
-		const idx = this.find((cp) => this.delims.has(cp));
-        if (idx != null) {
-            const token = this.buffer.slice(this.cursor, idx).join("");
-            this.cursor = idx;
+		const idx = this.buffer.findIndex((cp) => this.delims.has(cp));
+        if (idx != -1) {
+            const token = this.buffer.slice(0, idx).join("");
+            this.buffer = this.buffer.slice(idx);
             return token;
         }
 	}

boot.js

@@ -10,17 +10,10 @@ const assemble = (async () => {
 })();
 
 self.onmessage = async (e) => {
-	switch (e.data.type) {
-	case "load":
-		const exports = { emu: { mem: e.data.mem } };
+	const exports = { emu: { mem: e.data } };
 	const wasm = await assemble;
-		self.mod = await WebAssembly.instantiate(wasm, exports);
-		await self.postMessage('ready');
-		break;
-
-	case "boot":
-		self.mod.instance.exports.reset();
+	const mod = await WebAssembly.instantiate(wasm, exports);
+	await self.postMessage('booting');
+	mod.instance.exports.reset();
 	console.log('System halt');
-		break;
-	}
 };

deploy-manifest.conf

@@ -1,7 +1,5 @@
-asm.js
 boot.js
 emu.js
-favicon.png
 index.html
 prelude.f
 styles.css

driver.js

@@ -0,0 +1,9 @@
+import { Assembler } from "./asm.js";
+import { writeAll } from "jsr:@std/io/write-all";
+
+const asm = new Assembler();
+for await (const chunk of Deno.stdin.readable) {
+	asm.push(chunk);
+}
+const wasm = asm.wasm();
+await writeAll(Deno.stdout, wasm);

emu.js

@@ -1,17 +1,17 @@
-const TXBUF = 0x000;
-const RXBUF = 0x080;
-const TXHEAD = 0x100;
-const TXTAIL = 0x104;
-const RXHEAD = 0x108;
-const RXTAIL = 0x10c;
+const TXBUF = 0x00;
+const RXBUF = 0x20;
+const TXHEAD = 0x40;
+const TXTAIL = 0x44;
+const RXHEAD = 0x48;
+const RXTAIL = 0x4c;
+const SYSREADY = 0x50;
 
-const SYSREADY = 0x110;
-const SYSINTER = 0x114;
+const TXBUF_SIZE = 32;
+const RXBUF_SIZE = 32;
+const PERIPHS_SIZE = 81;
 
-const PERIPHS_SIZE = 0x200;
-
-const POLL_INTERVAL_MS = 5;
-const DOT_INTERVAL_MS = 25;
+const POLL_INTERVAL_MS = 20;
+const DOT_INTERVAL_MS = 120;
 
 const COLS = 80;
 const TAB_WIDTH = 8;
@@ -51,18 +51,13 @@ class Emulator {
 		document.addEventListener('keydown', (e) => this.handle_keydown(e));
 		window.addEventListener('resize', () => this.handle_resize());
 
-		this.forth = new Worker('boot.js', { type: 'module' });
-
 		this.print("Assembling kernel ");
-		this.dots = setInterval(() => this.print("."), DOT_INTERVAL_MS);
-		this.forth.postMessage({ type: "load", mem: this.mem });
-		this.forth.onmessage = (e) => {
-			clearInterval(this.dots);
+		const dots = setInterval(() => this.print("."), DOT_INTERVAL_MS);
+		this.worker = new Worker('boot.js', { type: 'module' });
+		this.worker.postMessage(this.mem);
+		this.worker.onmessage = (e) => {
+			clearInterval(dots);
 			this.print(" done\n");
-
-			this.print("Loading prelude ");
-			this.forth.postMessage({ type: "boot" });
-			this.dots = setInterval(() => this.print("."), DOT_INTERVAL_MS);
 		};
 
 		fetch('prelude.f')
@@ -89,21 +84,15 @@ class Emulator {
 		if (!this.input_enable) {
 			const sysready = Atomics.load(this.mem_u8, SYSREADY);
 			if (sysready != 0) {
-				clearInterval(this.dots);
-				this.print(" done\n");
-
-				Atomics.store(this.mem_u8, SYSINTER, 1);
-				Atomics.notify(this.mem_i32, SYSINTER / 4);
-
 				this.input_enable = true;
-				this.blink = true;
 				this.flush_output();
+				document.getElementById('cursor').classList.add('blinking');
 			}
 		}
 	}
 
 	fifo_next(idx) {
-		return (idx + 1) & 0x7f;
+		return (idx + 1) & 0x1f;
 	}
 
 	handle_tx_data(head, tail) {
@@ -191,14 +180,12 @@ class Emulator {
 		}
 
 		e.preventDefault();
-		this.blink = false;
 		this.flush_output();
 
 		document.getElementById('cursor').classList.remove('blinking');
 		if (this.idle_timer)
 			clearTimeout(this.idle_timer);
 		this.idle_timer = setTimeout(() => {
-			this.blink = true;
 			document.getElementById('cursor').classList.add('blinking');
 		}, CURSOR_IDLE_TIME_MS);
 	}
@@ -285,12 +272,10 @@ class Emulator {
 			return row.map((c, x) => {
 				const ec = this.html_escape(c);
 				if (this.input_enable
-					&& x == this.cursor.x && y == this.cursor.y) {
-					const cl = this.blink ? 'class="blinking"' : '';
-					return `<span id="cursor" ${cl}>` + ec + '</span>';
-				} else {
+					&& x == this.cursor.x && y == this.cursor.y)
+					return '<span id="cursor">' + ec + '</span>';
+				else
 					return ec;
-				}
 			}).join('').trimEnd();
 		}).join('\n');
 		this.output.innerHTML = html;
@@ -347,16 +332,6 @@ class Emulator {
 }
 
 window.addEventListener('DOMContentLoaded', () => {
-	const output = document.getElementById('output');
-	output.innerText = '';
-
-	if (!self.crossOriginIsolated) {
-		output.innerText = "Yeah so there's this thing where Chromium ends "
-			+ "up ignoring COOP/COEP\nheaders after a hard reload "
-			+ "sometimes, and I haven't been able to\nfigure out how to "
-			+ "work around it yet.  If you just wait a little while\nand "
-			+ "then reload normally then hopefully it should work haha";
-	} else {
+	document.getElementById('output').innerText = '';
 	window.emu = new Emulator();
-	}
 });

index.html

@@ -7,7 +7,8 @@
   </head>
   <body>
 	<script type="text/javascript" src="emu.js"></script>
-	<div id="output"><noscript>I'm afraid you need javascript enabled for this to work :(
+	<div id="output">I'm afraid you need javascript enabled for this to work :(
 
-cringe, I know... but I promise there are no frameworks&#8482;</noscript></div></body>
+cringe, I know... but I promise there are no frameworks&#8482;</div>
+  </body>
 </html>

prelude.f

@@ -1,5 +1,12 @@
+76 EMIT 111 EMIT 97 EMIT 100 EMIT 105 EMIT 110 EMIT 103 EMIT 32 EMIT
+112 EMIT 114 EMIT 101 EMIT 108 EMIT 117 EMIT 100 EMIT 101 EMIT 32 EMIT
+
 : \ KEY 10 = 0BRANCH [ -20 , ] ; IMMEDIATE \ Now we have line comments :)
 
+\ We'll periodically sprinkle these in so that it's clear to the user
+\ that things are happening.
+46 EMIT
+
 \ Conditionals
 
 : IF
@@ -20,6 +27,8 @@
   SWAP !
 ; IMMEDIATE
 
+46 EMIT
+
 \ Loops
 
 : BEGIN HERE @ ; IMMEDIATE
@@ -34,6 +43,8 @@
   HERE @ - ,
 ; IMMEDIATE
 
+46 EMIT
+
 \ Recursive calls
 
 : RECURSE LATEST @ >CFA , ; IMMEDIATE
@@ -50,6 +61,8 @@
 
 ( ( Take that, C ) )
 
+46 EMIT
+
 \ Printing utilities
 
 : CR 10 EMIT ;
@@ -67,6 +80,8 @@
   + EMIT
 ;
 
+CHAR . EMIT
+
 : .
   \ Handle negatives
   DUP 0< IF CHAR - EMIT NEGATE THEN
@@ -95,6 +110,8 @@
   2DROP
 ;
 
+CHAR . EMIT
+
 : TYPE ( addr len -- )
   BEGIN
 	DUP 0= IF 2DROP EXIT THEN
@@ -103,6 +120,8 @@
   AGAIN
 ;
 
+CHAR . EMIT
+
 : C, HERE @ C! 1 HERE +! ;
 
 : ."
@@ -132,6 +151,8 @@
   THEN
 ; IMMEDIATE
 
+CHAR . EMIT
+
 \ Misc utilities
 
 : NIP SWAP DROP ;
@@ -150,6 +171,8 @@
 
 : [COMPILE] ' , ; IMMEDIATE
 
+CHAR . EMIT
+
 \ Constants, variables and values
 
 : CONSTANT
@@ -181,21 +204,24 @@
   THEN
 ; IMMEDIATE
 
+CHAR . EMIT
+
 \ Peripheral register addresses
 
 HEX
 
-000 CONSTANT TXBUF
-080 CONSTANT RXBUF
-100 CONSTANT TXHEAD
-104 CONSTANT TXTAIL
-108 CONSTANT RXHEAD
-10C CONSTANT RXTAIL
-110 CONSTANT SYSREADY
-114 CONSTANT SYSINTER
+00 CONSTANT TXBUF
+20 CONSTANT RXBUF
+40 CONSTANT TXHEAD
+44 CONSTANT TXTAIL
+48 CONSTANT RXHEAD
+4C CONSTANT RXTAIL
+50 CONSTANT SYSREADY
 
 DECIMAL
 
+46 EMIT
+
 \ A better word-not-found handler
 
 : ANY-RX? RXHEAD AC@ RXTAIL AC@ <> ;
@@ -218,11 +244,13 @@ DECIMAL
 
 ' WNF-HANDLER TO WNFHOOK
 
+CHAR . EMIT
+
 \ Version number
 
 0 CONSTANT VERSION-MAJOR
 2 CONSTANT VERSION-MINOR
-2 CONSTANT VERSION-PATCH
+0 CONSTANT VERSION-PATCH
 
 : PRINT-VERSION
   CHAR v EMIT VERSION-MAJOR .
@@ -230,6 +258,8 @@ DECIMAL
   CHAR . EMIT VERSION-PATCH .
 ;
 
+CHAR . EMIT
+
 \ Welcome banner
 
 : BANNER
@@ -239,7 +269,7 @@ DECIMAL
   ." |__,__/_/ .__(_)___/_//_/" CR
   ."        /_/               " CR
   CR
-  ." Welcome to Wipforth " PRINT-VERSION  ." !" CR
+  ." Wipforth " PRINT-VERSION CR
   ." Copyright (c) Camden Dixie O'Brien" CR
   CR
   ." Wipforth is freely available to use, modify and distribute for personal use" CR
@@ -247,8 +277,8 @@ DECIMAL
   CR
 ;
 
-\ Set SYSREADY high and wait until interactive
-1 SYSREADY AC!
-SYSINTER WAIT DROP
-
+."  done" CR
 BANNER
+
+\ Set SYSREADY high to enable user input
+1 SYSREADY AC!

tests.scm

@@ -19,7 +19,7 @@
 (define client (client-setup))
 
 (navigate client "http://localhost:8080")
-(sleep 1)
+(sleep 5)
 
 (define-test kernel-assembles-successfully
   (let* ((display (get-display client))

wipforth.ws

@@ -2,12 +2,12 @@
 .import main "emu" "mem"
 
 ;; Peripheral registers
-.def TXBUF  000h
-.def RXBUF  080h
-.def TXHEAD 100h
-.def TXTAIL 104h
-.def RXHEAD 108h
-.def RXTAIL 10Ch
+.def TXBUF  00h
+.def RXBUF  20h
+.def TXHEAD 40h
+.def TXTAIL 44h
+.def RXHEAD 48h
+.def RXTAIL 4Ch
 
 .def DICT_START 0200h
 
@@ -635,15 +635,6 @@
     end
     call next
 
-.func wait
-.elem codewords wait WAIT_CODEWORD
-	call pop
-	i32.const 0
-	i64.const -1
-	memory.atomic.wait32 2 0
-	call push
-	call next
-
 ;; Core utility words
 
 .func exit
@@ -761,7 +752,7 @@
     local.get head
     i32.const 1
     i32.add
-    i32.const 7Fh
+    i32.const 1Fh
     i32.and
     i32.atomic.store8 0 0
 
@@ -777,7 +768,7 @@
       local.tee tail
       i32.const 1
       i32.add
-      i32.const 7Fh
+      i32.const 1Fh
       i32.and
       local.tee n
       i32.const TXHEAD
@@ -1235,15 +1226,6 @@ COPY:
 	.word COPY_CODEWORD
 .def PREV _COPY
 
-_WAIT:
-	.word PREV
-	.byte 4
-	.utf8 "WAIT"
-	.align
-WAIT:
-	.word WAIT_CODEWORD
-.def PREV _WAIT
-
 _EXIT:
 	.word PREV
 	.byte 4