Make pruxffi.o state thread-local.

Declare cstach_depth thread-local.  The primitive caches might be
filled multiple times concurrently but they are read and written
atomically, so no harm done.

diff --git a/src/microcode/pruxffi.c b/src/microcode/pruxffi.c
index 7043f7b8819b4a401c8c39bc6650f2960c02b717..81ba6d4d46e8a92492bf597a64a57093a9b47bd1 100644 (file)
--- a/src/microcode/pruxffi.c
+++ b/src/microcode/pruxffi.c
@@ -402,7 +402,7 @@ cstack_pop (char * tos)
 }
 
 /* Number CStack frames, to detect slips. */
-int cstack_depth = 0;
+__thread int cstack_depth = 0;
 \f
 /* Callouts */