Skip to content

Port system to lisp #270

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
skx merged 7 commits into from
Sep 29, 2026
Merged

Port system to lisp #270

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
c21244f
Remove sys_entries, which is obsolete
skx Sep 28, 2026
7fc5629
Correctly pass arguments to syscalls. Fourth argument was wrong
skx Sep 28, 2026
12e9ef5
Ported sys_run to lisp.
skx Sep 28, 2026
0bcb9c5
Remove comments that weren't stripped
skx Sep 28, 2026
0030eeb
mark more undocumented functions
skx Sep 28, 2026
9b53414
Added test-case for system
skx Sep 29, 2026
1242e0f
Removed defintions which are no longer used
skx Sep 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 0 additions & 3 deletions PRIMITIVES.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -184,9 +184,6 @@ added to them too.
* Return the size of the heap, in bytes.
* `sys-heap-objects`
* Return the number of objects stored within our heap.
* `sys_run`
* Helper for command execution.



## Standard Library
Expand Down
260 changes: 51 additions & 209 deletions compiler/template.tmpl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -59,24 +59,11 @@
;; syscalls - searchable list online here
;; https://filippo.io/linux-syscall-table/

SYS_read equ 0
SYS_write equ 1
SYS_open equ 2
SYS_close equ 3
SYS_lseek equ 8
SYS_dup2 equ 33
SYS_fork equ 57
SYS_exec equ 59
SYS_exit equ 60
SYS_wait4 equ 61
SYS_getdents64 equ 217
SYS_clock_gettime equ 228
SYS_prlimit64 equ 302

;; (entries)
O_RDONLY equ 0
O_DIRECTORY equ 0200000o

;; stack size fetch
RLIMIT_STACK equ 3

Expand Down Expand Up @@ -1439,89 +1426,6 @@ fn_sys_cons_NOGC:
ret


;; Return a list of directory-entries beneath the given prefix.
;; Return nil on failure.
FUNC fn_sys_entries
mov rbx, rdi
GET_TAG_BITS rbx
cmp rbx, TAG_ID_STRING
jne type_error

UNTAG_REG rdi

mov eax, SYS_open
mov esi, O_RDONLY | O_DIRECTORY
xor edx, edx
syscall
test rax, rax
js .failure

mov r12, rax ; directory fd
STORE_NIL_REG r13 ; head of list

.read_directory:

mov eax, SYS_getdents64
mov rdi, r12
mov rsi, dir_buffer
mov edx, dir_buffer_end-dir_buffer
syscall

test rax, rax
js .close_failure
test rax, rax
jz .done_reading

mov r14, dir_buffer
lea r15, [dir_buffer+rax]

.next_entry:
cmp r14, r15
jae .read_directory

movzx ebx, word [r14+16] ; record length

lea rdi, [r14+19]
call strlen
inc rax ; include terminating NUL
push rbx
mov rbx, TAG_ID_STRING
call alloc
pop rbx
mov r11, rax ; destination buffer

lea rdi, [r14+19] ; recompute source
mov rdx, r11
call strcpy

mov byte [rdx], 0

mov rdi, r11
TAG_STRING_REG rdi
mov rsi, r13
call fn_sys_cons_NOGC
mov r13, rax
add r14, rbx
jmp .next_entry

.done_reading:
mov eax, SYS_close
mov rdi, r12
syscall
mov rax, r13
ret

.close_failure:
mov eax, SYS_close
mov rdi, r12
syscall

.failure:
STORE_NIL_REG rax
ret



;; Return a list of all environmental variables
FUNC fn_sys_environment
mov rbx, [envp_ptr]
Expand Down Expand Up @@ -2179,101 +2083,6 @@ FUNC fn_sys_packages
ret


;; system helper
FUNC fn_sys_run
mov rbx, rdi ; type check
GET_TAG_BITS rbx
cmp rbx, TAG_ID_STRING
jne type_error
mov rbx, rsi ; type check
GET_TAG_BITS rbx
cmp rbx, TAG_ID_STRING
jne type_error

UNTAG_REG rdi
UNTAG_REG rsi

mov r12, rdi ; command
mov r13, rsi ; output filename

mov eax, SYS_fork
syscall
test rax, rax
js .error
jz .child

.parent:
mov r14, rax ; child pid
sub rsp, 16
mov edi, r14d ; pid
mov rsi, rsp ; &status
xor edx, edx ; options = 0
xor r10, r10 ; rusage = NULL
mov eax, SYS_wait4
syscall

mov eax, [rsp] ; exit code
and eax, 0xff00
shr eax, 8

add rsp, 16
TAG_INTEGER_REG rax
ret

.child:
mov eax, SYS_open
mov rdi, r13
mov esi, 577 ; O_WRONLY|O_CREAT|O_TRUNC
mov edx, 0600o
syscall

test rax, rax
js .child_fail

mov r14, rax ; fd

mov eax, SYS_dup2 ; STDOUT
mov rdi, r14
mov esi, 1
syscall

mov eax, SYS_dup2 ; STDERR
mov rdi, r14
mov esi, 2
syscall

mov eax, SYS_close
mov rdi, r14
syscall

;;
;; argv[] = { "/bin/sh", "-c", command, NULL }
;;
sub rsp, 32
lea rax, [rel shell_path]
mov [rsp], rax
lea rax, [rel dash_c]
mov [rsp+8], rax
mov [rsp+16], r12
mov qword [rsp+24], 0

mov eax, SYS_exec
lea rdi, [rel shell_path]
mov rsi, rsp
mov rdx, [rel envp_ptr]
syscall

.child_fail:
mov edi, 127
mov eax, SYS_exit
syscall

.error:
STORE_NIL_REG rax
ret



;; split(string, char)
FUNC fn_sys_split
mov rbx, rdi ; type-check arg1: string
Expand Down Expand Up @@ -2782,23 +2591,66 @@ FUNC fn_sys_substr

;; Make an arbitrary system call
FUNC fn_sys_syscall
mov rax, rdi ; syscall number
mov rdi, rsi ; first arg from second
mov rsi, rdx ; second arg from third
mov rdx, rcx ; etc
mov rcx, r8
mov r8, r9
mov rax, rdi ; syscall number

mov rdi, rsi ; arg 1
mov rsi, rdx ; arg 2
mov rdx, rcx ; arg 3
mov r10, r8 ; arg 4
mov r8, r9 ; arg 5

UNTAG_REG rdi
UNTAG_REG rsi
UNTAG_REG rdx
UNTAG_REG rcx
UNTAG_REG rax
UNTAG_REG r10
UNTAG_REG r8
UNTAG_REG r9
UNTAG_REG rax

syscall
TAG_INTEGER_REG rax
ret

;; Store a 64-bit value at the specified offset in the given string/buffer.
;;
;; The value is stored in native x86-64 little-endian byte order.
;;
;; This is used specifically for creating an array of strings, for the use
;; in our system function, however it may be more generally useful.
;;
;; undocumented.
FUNC fn_sys_u64BANG
mov rbx, rdi ; type-check arg1
GET_TAG_BITS rbx
cmp rbx, TAG_ID_STRING
jne type_error

mov rbx, rsi ; type-check arg2
GET_TAG_BITS rbx
cmp rbx, TAG_ID_INTEGER
jne type_error

UNTAG_REG rdi ; buffer
UNTAG_REG rsi ; offset
UNTAG_REG rdx ; value

mov rax, rdi ; start of object
OBJ_TO_HEADER rax ; move to header
mov rax, [rax] ; read allocation size
sub rax, OBJ_PAYLOAD ; leave payload size
add rax, rdi ; RAX = end address (exclusive)

add rdi, rsi ; RDI = destination.

lea rcx, [rdi + 8] ; bounds checking
cmp rcx, rax
ja out_of_range

mov qword [rdi], rdx ; Store the 64-bit value.

mov rax, rdx ; return the same value..
TAG_INTEGER_REG rax
ret



Expand Down Expand Up @@ -2943,16 +2795,6 @@ nan_msg:
db "NaN"
nan_msg_end:

;; Used by sys_run
align 16
shell_path:
db "/bin/sh",0

;; Used by sys_run
align 16
dash_c:
db "-c",0

;; Avoid calling the user's at_exit function more than once.
at_exit_called:
db 0x00
Expand Down
2 changes: 1 addition & 1 deletion inception.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -325,7 +325,6 @@
(register-builtin "sys_package" (lambda (args) (sys_package (car args))))
(register-builtin "sys_packages" (lambda (args) (sys_packages )))
(register-builtin "sys_plus" (lambda (args) (sys_plus (car args) (cadr args))))
(register-builtin "sys_run" (lambda (args) (sys_run (car args) (cadr args))))
(register-builtin "sys_split" (lambda (args) (sys_split (car args) (cadr args))))
(register-builtin "sys_sqrt" (lambda (args) (sys_sqrt (car args))))
(register-builtin "sys_stdlib" (lambda (args) (sys_stdlib)))
Expand All @@ -337,6 +336,7 @@
(register-builtin "sys_strlen" (lambda (args) (sys_strlen (car args))))
(register-builtin "sys_substr" (lambda (args) (sys_substr (car args) (cadr args) (caddr args))))
(register-builtin "sys_syscall" (lambda (args) (sys_syscall (nth args 0) (nth args 1) (nth args 2) (nth args 3) (nth args 4)(nth args 5))))
(register-builtin "sys_u64!" (lambda (args) (sys_u64! (car args) (cadr args) (caddr args))))
(register-builtin "sys_xor" (lambda (args) (sys_xor (car args) (cadr args))))
)

Expand Down
Loading
Loading