ELF/x86_64: map object file sections separately into the low 2GB

On 64-bit ELF we need to link object files into the low 2GB due to the
small memory model.  Previously we would map the entire object file
using MAP_32BIT, but the object file can consist of 75% or more
symbols, which only need to be present during linking, so this is
wasteful.  In our particular application, we're already running out of
space here.

This patch changes the way we load object files on ELF platforms so
that the object is first mapped above the 2GB boundary, parsed, and
then the important sections are re-mapped into the low 2GB area.

Test Plan:
validate
(also needs testing on OS X & Windows, preferably 32 & 64 bit)

Reviewers: Phyx, trommler, bgamari, austin

Subscribers: hsyl20, thomie, bgamari

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

1 files changed, 10 insertions, 4 deletions

diff --git a/rts/CheckUnload.c b/rts/CheckUnload.c
index 7802754445..c75673847e 100644
--- a/rts/CheckUnload.c
+++ b/rts/CheckUnload.c
@@ -40,15 +40,21 @@
 static void checkAddress (HashTable *addrs, void *addr)
 {
     ObjectCode *oc;
+    int i;
 
     if (!lookupHashTable(addrs, (W_)addr)) {
         insertHashTable(addrs, (W_)addr, addr);
 
         for (oc = unloaded_objects; oc; oc = oc->next) {
-            if ((W_)addr >= (W_)oc->image &&
-                (W_)addr <  (W_)oc->image + oc->fileSize) {
-                oc->referenced = 1;
-                break;
+            for (i = 0; i < oc->n_sections; i++) {
+                if (oc->sections[i].kind != SECTIONKIND_OTHER) {
+                    if ((W_)addr >= (W_)oc->sections[i].start &&
+                        (W_)addr <  (W_)oc->sections[i].start
+                                    + oc->sections[i].size) {
+                        oc->referenced = 1;
+                        return;
+                    }
+                }
             }
         }
     }