alexf91 / lean4-ctypes

FFI for Lean 4
Apache License 2.0
3 stars 0 forks source link

Thread safety #11

Open alexf91 opened 8 months ago

alexf91 commented 8 months ago

libffi should be threadsafe if we isolate the type map for each thread and ABI. The map is currently shared, but in some cases libffi functions might modify them.

The rest remains an open question.