Finish stable split

Long ago, the stable name table and stable pointer tables were one.
Now, they are separate, and have significantly different
implementations. I believe the time has come to finish the split
that began in #7674.

* Divide `rts/Stable` into `rts/StableName` and `rts/StablePtr`.

* Give each table its own mutex.

* Add FFI functions `hs_lock_stable_ptr_table` and
`hs_unlock_stable_ptr_table` and document them.
  These are intended to replace the previously undocumented
`hs_lock_stable_tables` and `hs_lock_stable_tables`,
  which are now documented as deprecated synonyms.

* Make `eqStableName#` use pointer equality instead of unnecessarily
comparing stable name table indices.

Reviewers: simonmar, bgamari, erikd

Reviewed By: bgamari

Subscribers: rwbarton, carter

GHC Trac Issues: #15555

Differential Revision: https://phabricator.haskell.org/D5084

1 files changed, 31 insertions, 0 deletions

diff --git a/rts/StableName.h b/rts/StableName.h
new file mode 100644
index 0000000000..6b5e551add
--- /dev/null
+++ b/rts/StableName.h
@@ -0,0 +1,31 @@
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The GHC Team, 1998-2004
+ *
+ * ---------------------------------------------------------------------------*/
+
+#pragma once
+
+#include "sm/GC.h" // for evac_fn below
+
+#include "BeginPrivate.h"
+
+void    initStableNameTable   ( void );
+void    exitStableNameTable      ( void );
+StgWord lookupStableName      ( StgPtr p );
+
+void    rememberOldStableNameAddresses ( void );
+
+void    threadStableNameTable ( evac_fn evac, void *user );
+void    gcStableNameTable     ( void );
+void    updateStableNameTable ( bool full );
+
+void    stableNameLock            ( void );
+void    stableNameUnlock          ( void );
+
+#if defined(THREADED_RTS)
+// needed by Schedule.c:forkProcess()
+extern Mutex stable_name_mutex;
+#endif
+
+#include "EndPrivate.h"