PicoLisp FFI with Zig
09 Jan 2023You can get it on GitHub.
This repo provides a simple example of how to use PicoLisp with Zig using PicoLisp’s FFI (native)
functionality.
This is similar to picolisp-rust except written for Zig.
Requirements
- Zig
v0.6+
- PicoLisp 64-bit
v17.12+
orpil21
Getting started
Once you’ve setup PicoLisp and Zig, simply type make
to build and test the shared library.
Output
Before I explain what’s going on, here’s what the output should look like:
Received struct: pil.PilStruct{ .byte1 = 32, .byte2 = 33, .character1 = 67, .character2 = 68, .int = -1, .long = 1, .string = u8@4847464544434241, .array = { 1, 2, 3, 4, 5, 6, 7, 8 } }
Result code: 0
Extracted struct:
(de Extracted (42 43)
("A" "B")
65535
9223372036854775807
"pilzig"
(80 105 99 111 76 105 115 112) )
Explain
The code can be found in extract.l and pil.zig. The Zig code is designed as a shared library and can be called by PicoLisp’s (native) function to pass data to/from between both languages.
PicoLisp code explanation
First, the code allocates 32 bytes of memory, which will be used to store data in a struct.
It then creates a struct named P
with the following specification:
- 2 arbitrary bytes
- 2-bytes containing valid UTF-8 characters
- 1x 32-bit (4 bytes) signed integer
- 1x 64-bit (8 bytes) signed long
- 1x 8-byte null-terminated string
- 1x 8-byte arbitrary bytes array
Then the following native call is made and its result is stored in the Res
variable:
(native "./libpil.so" "extract" 'I P)
This calls the extract
function from the Zig library, with the P
struct as its only parameter. It expects a 32-bit signed integer I
as the return value (it will be either 0
or -1
).
Next, the code will extract the P
structure using the specification described above:
(struct P '((B . 2) (C . 2) I N S (B . 8)))
Finally, the code will free the previously allocated memory and print the result of the P
structure.
Some tests run at the end to ensure the data received from Zig is what we expected.
Note
- The values sent to the Zig library will be printed by Zig as
Received struct:
. - The values received from the Zig library will be printed by PicoLisp as
Extracted struct:
.
Zig code explanation
The Zig code defines the struct for the received data; it is named PilStruct
and contains the exact same specification as the P
struct in the PicoLisp code explanation.
The extract()
function creates a new struct in the variable newstruct
which contains some new values, different from what was received by PicoLisp.
Luckily, the Zig pointers cannot be null so there’s no need to check for that.
The code then dereferences the pointer and prints what it received (the entire struct) from PicoLisp as Received struct:
(mentioned earlier).
Finally, it writes the newstruct
struct to the pointer and returns 0
. PicoLisp can then read the return code and the new struct data.
Thoughts
There isn’t much to this code, but I thought it would be fun to create a working FFI library that’s not written in C or Rust and which works perfectly with PicoLisp.