src/runtime/os-common.c

   1 /*
   2  * This software is part of the SBCL system. See the README file for
   3  * more information.
   4  *
   5  * This software is derived from the CMU CL system, which was
   6  * written at Carnegie Mellon University and released into the
   7  * public domain. The software is in the public domain and is
   8  * provided with absolutely no warranty. See the COPYING and CREDITS
   9  * files for more information.
  10  */
  11 # define _GNU_SOURCE /* needed for RTLD_DEFAULT from dlfcn.h */
  12 #include <stdio.h>
  13 #include <errno.h>
  14 #include <string.h>
  15
  16 #include "sbcl.h"
  17 #include "globals.h"
  18 #include "runtime.h"
  19 #include "genesis/config.h"
  20 #include "genesis/constants.h"
  21 #include "genesis/cons.h"
  22 #include "genesis/vector.h"
  23 #include "genesis/symbol.h"
  24 #include "genesis/static-symbols.h"
  25 #include "thread.h"
  26 #include "sbcl.h"
  27 #include "os.h"
  28 #include "interr.h"
  29 #if defined(LISP_FEATURE_OS_PROVIDES_DLOPEN) && !defined(LISP_FEATURE_WIN32)
  30 # include <dlfcn.h>
  31 #endif
  32
  33
  34 /* Except for os_zero, these routines are only called by Lisp code.
  35  * These routines may also be replaced by os-dependent versions
  36  * instead. See hpux-os.c for some useful restrictions on actual
  37  * usage. */
  38
  39 void
  40 os_zero(os_vm_address_t addr, os_vm_size_t length)
  41 {
  42     os_vm_address_t block_start;
  43     os_vm_size_t block_size;
  44
  45 #ifdef DEBUG
  46     fprintf(stderr,";;; os_zero: addr: 0x%08x, len: 0x%08x\n",addr,length);
  47 #endif
  48
  49     block_start = os_round_up_to_page(addr);
  50
  51     length -= block_start-addr;
  52     block_size = os_trunc_size_to_page(length);
  53
  54     if (block_start > addr)
  55         bzero((char *)addr, block_start-addr);
  56     if (block_size < length)
  57         bzero((char *)block_start+block_size, length-block_size);
  58
  59     if (block_size != 0) {
  60         /* Now deallocate and allocate the block so that it faults in
  61          * zero-filled. */
  62
  63         os_invalidate(block_start, block_size);
  64         addr = os_validate(block_start, block_size);
  65
  66         if (addr == NULL || addr != block_start)
  67             lose("os_zero: block moved! 0x%08x ==> 0x%08x\n",
  68                  block_start,
  69                  addr);
  70     }
  71 }
  72
  73 os_vm_address_t
  74 os_allocate(os_vm_size_t len)
  75 {
  76     return os_validate((os_vm_address_t)NULL, len);
  77 }
  78
  79 void
  80 os_deallocate(os_vm_address_t addr, os_vm_size_t len)
  81 {
  82     os_invalidate(addr,len);
  83 }
  84
  85 int
  86 os_get_errno(void)
  87 {
  88     return errno;
  89 }
  90
  91
  92 #if defined(LISP_FEATURE_SB_THREAD) && (!defined(CANNOT_USE_POSIX_SEM_T) || defined(LISP_FEATURE_WIN32))
  93
  94 void
  95 os_sem_init(os_sem_t *sem, unsigned int value)
  96 {
  97     if (-1==sem_init(sem, 0, value))
  98         lose("os_sem_init(%p, %u): %s", sem, value, strerror(errno));
  99     FSHOW((stderr, "os_sem_init(%p, %u)\n", sem, value));
 100 }
 101
 102 void
 103 os_sem_wait(os_sem_t *sem, char *what)
 104 {
 105     FSHOW((stderr, "%s: os_sem_wait(%p) ...\n", what, sem));
 106     while (-1 == sem_wait(sem))
 107         if (EINTR!=errno)
 108             lose("%s: os_sem_wait(%p): %s", what, sem, strerror(errno));
 109     FSHOW((stderr, "%s: os_sem_wait(%p) => ok\n", what, sem));
 110 }
 111
 112 void
 113 os_sem_post(sem_t *sem, char *what)
 114 {
 115     if (-1 == sem_post(sem))
 116         lose("%s: os_sem_post(%p): %s", what, sem, strerror(errno));
 117     FSHOW((stderr, "%s: os_sem_post(%p)\n", what, sem));
 118 }
 119
 120 void
 121 os_sem_destroy(os_sem_t *sem)
 122 {
 123     if (-1==sem_destroy(sem))
 124         lose("os_sem_destroy(%p): %s", sem, strerror(errno));
 125 }
 126
 127 #endif
 128
 129 #if defined(LISP_FEATURE_OS_PROVIDES_DLOPEN) && !defined(LISP_FEATURE_WIN32)
 130 void* os_dlopen(char* name, int flags) {
 131     volatile void* ret = dlopen(name,flags);
 132     return ret;
 133 }
 134 #endif
 135
 136 #if defined(LISP_FEATURE_SB_DYNAMIC_CORE)
 137 /* When this feature is enabled, the special category of /static/ foreign
 138  * symbols disappears. Foreign fixups are resolved to linkage table locations
 139  * during genesis, and for each of them a record is added to
 140  * REQUIRED_RUNTIME_C_SYMBOLS list, of the form (cons name datap).
 141  *
 142  * Name is a base-string of a symbol name, and non-nil datap marks data
 143  * references.
 144  *
 145  * Before any code in lisp image can be called, we have to resolve all
 146  * references to runtime foreign symbols that used to be static, adding linkage
 147  * table entry for each element of REQUIRED_RUNTIME_C_SYMBOLS.
 148  */
 149
 150 /* We start with a little greenspunning to make car, cdr and base-string data
 151  * accessible. */
 152
 153 /* Object tagged? (dereference (cast (untag (obj)))) */
 154 #define FOLLOW(obj,lowtagtype,ctype)            \
 155     (*(struct ctype*)(obj - lowtagtype##_LOWTAG))
 156
 157 /* For all types sharing OTHER_POINTER_LOWTAG: */
 158 #define FOTHERPTR(obj,ctype)                    \
 159     FOLLOW(obj,OTHER_POINTER,ctype)
 160
 161 static inline lispobj car(lispobj conscell)
 162 {
 163     return FOLLOW(conscell,LIST_POINTER,cons).car;
 164 }
 165
 166 static inline lispobj cdr(lispobj conscell)
 167 {
 168     return FOLLOW(conscell,LIST_POINTER,cons).cdr;
 169 }
 170
 171 extern void undefined_alien_function(); /* see interrupt.c */
 172
 173 #ifndef LISP_FEATURE_WIN32
 174 void *
 175 os_dlsym_default(char *name)
 176 {
 177     void *frob = dlsym(RTLD_DEFAULT, name);
 178     odxprint(misc, "%p", frob);
 179     return frob;
 180 }
 181 #endif
 182
 183 void os_link_runtime()
 184 {
 185     lispobj head;
 186     void *link_target = (void*)(intptr_t)LINKAGE_TABLE_SPACE_START;
 187     void *validated_end = link_target;
 188     lispobj symbol_name;
 189     char *namechars;
 190     boolean datap;
 191     void* result;
 192     int strict /* If in a cold core, fail early and often. */
 193       = (SymbolValue(GC_INHIBIT, 0) & WIDETAG_MASK) == UNBOUND_MARKER_WIDETAG;
 194     int n = 0, m = 0;
 195
 196     for (head = SymbolValue(REQUIRED_RUNTIME_C_SYMBOLS,0);
 197          head!=NIL; head = cdr(head), n++)
 198     {
 199         lispobj item = car(head);
 200         symbol_name = car(item);
 201         datap = (NIL!=(cdr(item)));
 202         namechars = (void*)(intptr_t)FOTHERPTR(symbol_name,vector).data;
 203         result = os_dlsym_default(namechars);
 204         odxprint(runtime_link, "linking %s => %p", namechars, result);
 205
 206         if (link_target == validated_end) {
 207             validated_end += os_vm_page_size;
 208 #ifdef LISP_FEATURE_WIN32
 209             os_validate_recommit(link_target,os_vm_page_size);
 210 #endif
 211         }
 212         if (result) {
 213             if (datap)
 214                 arch_write_linkage_table_ref(link_target,result);
 215             else
 216                 arch_write_linkage_table_jmp(link_target,result);
 217         } else {
 218             m++;
 219             if (strict)
 220                 fprintf(stderr,
 221                         "undefined foreign symbol in cold init: %s\n",
 222                         namechars);
 223         }
 224
 225         link_target = (void*)(((uintptr_t)link_target)+LINKAGE_TABLE_ENTRY_SIZE);
 226     }
 227     odxprint(runtime_link, "%d total symbols linked, %d undefined",
 228              n, m);
 229     if (strict && m)
 230         /* We could proceed, but rather than run into improperly
 231          * displayed internal errors, let's make ourselves heard right
 232          * here and now. */
 233         lose("Undefined aliens in cold init.");
 234 }
 235 #endif  /* sb-dynamic-core */