Separate StablePtr and StableName tables (#7674)

To improve performance of StablePtr.

1 files changed, 18 insertions, 0 deletions

diff --git a/rts/HsFFI.c b/rts/HsFFI.c
index 38a520da00..856536f5aa 100644
--- a/rts/HsFFI.c
+++ b/rts/HsFFI.c
@@ -27,6 +27,16 @@ hs_perform_gc(void)
     performMajorGC();
 }
 
+void hs_lock_stable_tables (void)
+{
+    stableLock();
+}
+
+void hs_unlock_stable_tables (void)
+{
+    stableUnlock();
+}
+
 void
 hs_free_stable_ptr(HsStablePtr sp)
 {
@@ -36,6 +46,14 @@ hs_free_stable_ptr(HsStablePtr sp)
 }
 
 void
+hs_free_stable_ptr_unsafe(HsStablePtr sp)
+{
+    /* The cast is for clarity only, both HsStablePtr and StgStablePtr are
+       typedefs for void*. */
+    freeStablePtrUnsafe((StgStablePtr)sp);
+}
+
+void
 hs_free_fun_ptr(HsFunPtr fp)
 {
     /* I simply *love* all these similar names... */