Compare commits

...

2 Commits

14 changed files with 89 additions and 276 deletions

View File

@ -1,5 +1,5 @@
CFLAGS=-g CFLAGS=-g
all: scheme all: scheme
scheme: gc.o runtime.o scheme: gc.o runtime.o

View File

@ -1,64 +1,64 @@
// Cheney style stop and copy garbage collector // Cheney style stop and copy garbage collector
#include "gc.h" #include "gc.h"
cons_t *the_empty_list = NULL; cons_t *the_empty_list = NULL;
static cons_t *old, *new, *scanptr, *freeptr, *eom, *root; static cons_t *old, *new, *scanptr, *freeptr, *eom, *root;
size_t tos; size_t tos;
void gc_init() { void gc_init() {
old = calloc(sizeof(cons_t), SIZE); old = calloc(sizeof(cons_t), SIZE);
freeptr = old; freeptr = old;
eom = old + (SIZE / 2); eom = old + (SIZE / 2);
new = eom + 1; new = eom + 1;
root = alloc(); root = alloc();
} }
cons_t *alloc() { cons_t *alloc() {
if (freeptr < eom) { if (freeptr < eom) {
cons_t *retval = freeptr; cons_t *retval = freeptr;
freeptr++; freeptr++;
return retval; return retval;
} else { } else {
gc_run(); gc_run();
return alloc(); return alloc();
} }
} }
void gc_run() { void gc_run() {
freeptr = new; freeptr = new;
scanptr = new; scanptr = new;
// Relocate root // Relocate root
relocate(root); relocate(root);
// Enter the main GC loop // Enter the main GC loop
gc_loop(); gc_loop();
// Flip old and new; // Flip old and new;
cons_t *temp = old; cons_t *temp = old;
old = new; old = new;
new = temp; new = temp;
} }
void gc_loop() { void gc_loop() {
while (scanptr < freeptr) { while (scanptr < freeptr) {
relocate(scanptr); relocate(scanptr);
scanptr++; scanptr++;
} }
} }
void move(box_t box) { void move(box_t box) {
if (box.type == CONS && box.cons != the_empty_list) { if (box.type == CONS && box.cons != the_empty_list) {
if (box.cons->car.type == BROKEN_HEART) { if (box.cons->car.type == BROKEN_HEART) {
box.cons = box.cons->cdr.cons; box.cons = box.cons->cdr.cons;
} else { } else {
memcpy(freeptr, box.cons, sizeof(cons_t)); memcpy(freeptr, box.cons, sizeof(cons_t));
box.cons->car.type = BROKEN_HEART; box.cons->car.type = BROKEN_HEART;
box.cons->cdr.cons = freeptr; box.cons->cdr.cons = freeptr;
freeptr++; freeptr++;
} }
} }
} }
void relocate(cons_t* cons) { void relocate(cons_t* cons) {
move(cons->car); move(cons->car);
move(cons->cdr); move(cons->cdr);
} }

View File

@ -1,16 +1,16 @@
#ifndef _GC_H_ #ifndef _GC_H_
#define _GC_H_ #define _GC_H_
#include <stdint.h> #include <stdint.h>
#include <stdlib.h> #include <stdlib.h>
#include <stdio.h> #include <stdio.h>
#include <string.h> #include <string.h>
#include "common.h" #include "common.h"
void gc_init(); void gc_init();
cons_t *alloc(); cons_t *alloc();
void gc_run(); void gc_run();
void gc_loop(); void gc_loop();
void relocate(cons_t*); void relocate(cons_t*);
#endif // _GC_H_ #endif // _GC_H_

View File

@ -1,135 +0,0 @@
#include "runtime.h"
box_t cons(box_t car, box_t cdr) {
cons_t* kons = alloc();
kons->car = car;
kons->cdr = cdr;
box_t box;
box.type = CONS;
box.cons = kons;
return box;
}
void chomp_ws() {
char c = getchar();
for(;;) {
if (c == ' ' || c == '\t' || c == '\n' || c == '\r') {
c = getchar();
} else {
ungetchar(c);
break;
}
}
}
box_t read_integer() {
char buf[256];
size_t i = 0;
char next = getchar();
while(isdigit(next)) {
buf[i] = next;
next = getchar();
i++;
}
ungetchar(next);
buf[i] = 0;
box_t res;
res.type = INTEGER;
res.integer = atoi(buf);
chomp_ws();
return res;
}
box_t read_symbol() {
char buf[256];
size_t i = 0;
char next = getchar();
while (isalpha(next)) { // Totally insufficent but we'll look into it later
buf[i] = next;
next = getchar();
i++;
}
ungetchar(next);
buf[i] = 0;
box_t res;
char *str = strndup(buf, i);
res.type = SYMBOL;
res.symbol = str;
chomp_ws(); // Clean up whitespace afterwards
return res;
}
box_t read_list() {
char c = getchar();
box_t val;
if (c == ')') {
chomp_ws();
val.type = CONS;
val.cons = the_empty_list;
return val;
} else {
ungetchar(c);
box_t car = read();
box_t cdr = read_list();
return cons(car, cdr);
}
}
box_t read() {
chomp_ws();
char next = getchar();
if (next == '(') {
chomp_ws();
return read_list();
} else if (isdigit(next)) {
ungetchar(next);
return read_integer();
} else if (isalpha(next) || ispunct(next)) {
ungetchar(next);
return read_symbol();
} else if (next == EOF) {
box_t bye;
bye.type = BYE;
return bye;
} else {
fprintf(stderr, "Bad input");
exit(1);
}
}
void scm_print_cons(box_t exp) {
printf("(");
while(exp.type = CONS && exp.cons != the_empty_list) {
scm_print(exp.cons->car);
if (exp.cons->cdr.cons != the_empty_list) {
printf(" ");
}
exp = exp.cons->cdr;
}
if (exp.cons == the_empty_list) {
printf(")");
} else {
printf(". ");
scm_print(exp);
printf(")");
}
}
void scm_print(box_t exp) {
switch (exp.type) {
case INTEGER:
printf("%d", exp.integer);
break;
case SYMBOL:
printf("%s", exp.symbol);
break;
case CONS:
scm_print_cons(exp);
break;
}
}
box_t eval(box_t exp) {
return exp;
}

View File

@ -1,17 +0,0 @@
#ifndef _RUNTIME_H_
#define _RUNTIME_H_
#include <stdlib.h>
#include <stdio.h>
#include <ctype.h>
#include <string.h>
#include "common.h"
#include "gc.h"
#define ungetchar(X) ungetc(X, stdin)
box_t read();
box_t eval(box_t);
void scm_print(box_t);
#endif // _RUNTIME_H_

View File

@ -1,25 +0,0 @@
#include "gc.h"
#include "runtime.h"
void prompt() {
printf("> ");
}
int repl() {
box_t res;
do {
prompt();
box_t in = read();
res = eval(in);
scm_print(res);
printf("\n");
} while (res.type != BYE);
return 0;
}
int main() {
gc_init();
return repl();
}

View File

@ -1,9 +1,7 @@
(define-module (scmvm) (define-module (scmvm)
#:use-module (scmvm vm)
#:use-module (scmvm assembler)
#:use-module (scmvm debugger)
#:use-module (ice-9 ports) #:use-module (ice-9 ports)
#:export (read-all-instructions instructions-from-file)) #:export (read-all-instructions
instructions-from-file))
(define (read-all-instructions) (define (read-all-instructions)
(let ([inst (read)]) (let ([inst (read)])

View File

@ -1,4 +1,4 @@
(define-module (scmvm assembler) (define-module (scmvm language assembler)
#:use-module (srfi srfi-1) #:use-module (srfi srfi-1)
#:use-module (scmvm vm) #:use-module (scmvm vm)
#:use-module (rnrs bytevectors) #:use-module (rnrs bytevectors)

View File

@ -1,8 +0,0 @@
(use-modules (scmvm)
(scmvm vm)
(scmvm assembler)
(scmvm debugger))
(define my-instructions (instructions-from-file "./asm/runtime.scm"))
(define my-debugger (make-debugger my-instructions))
(define my-vm (debugger-vm my-debugger))

View File

@ -1,5 +1,5 @@
(use-modules (d- test) (use-modules (d- test)
(scmvm assembler) (scmvm language assembler)
(scmvm vm) (scmvm vm)
(scmvm debugger) (scmvm debugger)
(rnrs bytevectors) (rnrs bytevectors)