Fix segfault in Lisp when calling variadic function.

Originally a segfault could occur due to an issue with how arguments
were cleaned up after a variadic function call. After the function
call the following assembly was generated:

add esp, nargs

Where nargs was the number of arguments passed to the function. This
did not take in to account that for variadic functions, the last
several arguments are CONS'd into one argument, meaning that calling a
variadic function with <>1 variadic argument would result in a broken
stack.

Specifically this issue came up in the implementation of REDUCE, which
relied on the variadic FUNCALL.
11 files changed
tree: a6b1143a0421526d1797501029f88d53de9b0a0d
  1. .build.yml
  2. .dir-locals.el
  3. .gitignore
  4. .gitmodules
  5. .vscode/
  6. README.md
  7. bin/
  8. boot/
  9. doc/
  10. include/
  11. lib/
  12. share/
  13. src/
README.md

Bluejay

builds.sr.ht status

Bluejay is a preemptive kernel for x86. It is inspired by modern day UNIX-like systems and 80's Lisp machines. The goal is to create a fully usable kernel and graphical Lisp environment.

While Bluejay is inspired by both UNIX and Lisp machines, it seeks to replicate neither. No attempt is made to conform to POSIX or even follow UNIX conventions. However, the "UNIX philosophy" of doing one thing and doing it well is certainly a consideration.

Photo by Erin Minuskin on Unsplash

Roadmap

  • [x] Virtual memory
    • [x] Higher-half kernel
    • [x] Per-process memory
    • [x] Placeholder physical allocator
    • [x] Efficient kernel virtual allocator
  • [ ] Preemptive multitasking
    • [x] Multi-threading
    • [ ] Multi-process support (in progress)
  • [ ] Device drivers
    • [x] PCI
    • [ ] USB
      • [ ] Mouse + keyboard drivers
    • [ ] Storage device drivers
      • [x] ATA PIO
      • [ ] SATA
  • [x] Synchronization primitives
    • [x] Process-local spin lock
    • [x] Kernel-level semaphore
  • [ ] Filesystem
    • [x] Virtual file system
    • [x] Initial ramdisk
    • [ ] Filesystem drivers
      • [ ] EXT2 (in progress)
        • [x] Read
        • [ ] Write
        • [ ] Consistency check (fsck)
      • [ ] FAT32
  • [ ] System call API
    • [ ] Filesystem API
    • [ ] Memory management API (sbrk, mmap, etc)
    • [ ] Process/thread API (spawn_process, spawn_thread, etc)
  • [ ] Lisp compiler
    • [x] JIT compiler using dynasm
      • [x] Basic compilation
      • [x] GC
      • [x] Lexical closures
    • [ ] Standard library (in progress)
      • [ ] CLOS-style OO library
  • [ ] Kernel module API
    • [ ] Lisp API
  • [ ] Graphical subsystem
    • [ ] Graphical environment
  • [ ] Network stack
    • [ ] Ethernet driver
    • [ ] IP
    • [ ] TCP
      • [ ] Graphical applications like browser, IRC client
    • [ ] UDP

Documentation

The Bluejay manual contains out dated documentation. A complete manual will be available before the 1.0 release. For now there isn't a ton to document as the user-space API is non-existent.