/*
- * allocation routines for C code. For allocation done by Lisp look
+ * allocation routines for C code. For allocation done by Lisp look
* instead at src/compiler/target/alloc.lisp and .../macros.lisp
*/
#include <stdio.h>
#include <string.h>
+#include "sbcl.h"
#include "runtime.h"
#include "os.h"
-#include "sbcl.h"
#include "alloc.h"
#include "globals.h"
#include "gc.h"
#include "genesis/bignum.h"
#include "genesis/sap.h"
-#define GET_FREE_POINTER() dynamic_space_free_pointer
-#define SET_FREE_POINTER(new_value) \
- (dynamic_space_free_pointer = (new_value))
-#define GET_GC_TRIGGER() current_auto_gc_trigger
-#define SET_GC_TRIGGER(new_value) \
- clear_auto_gc_trigger(); set_auto_gc_trigger(new_value);
-
-#define ALIGNED_SIZE(n) (n+LOWTAG_MASK) & ~LOWTAG_MASK
+#define ALIGNED_SIZE(n) ((n) + LOWTAG_MASK) & ~LOWTAG_MASK
-#if defined LISP_FEATURE_GENCGC
-extern lispobj *alloc(int bytes);
-lispobj *
-pa_alloc(int bytes)
-{
- lispobj *result=0;
- struct thread *th=arch_os_get_current_thread();
- SetSymbolValue(PSEUDO_ATOMIC_INTERRUPTED, make_fixnum(0),th);
- SetSymbolValue(PSEUDO_ATOMIC_ATOMIC, make_fixnum(1),th);
- result=alloc(bytes);
- SetSymbolValue(PSEUDO_ATOMIC_ATOMIC, make_fixnum(0),th);
- if (SymbolValue(PSEUDO_ATOMIC_INTERRUPTED,th))
- /* even if we gc at this point, the new allocation will be
- * protected from being moved, because result is on the c stack
- * and points to it */
- do_pending_interrupt();
- return result;
-}
+#ifdef LISP_FEATURE_GENCGC
+extern lispobj *alloc(long bytes);
+#endif
-#else
static lispobj *
pa_alloc(int bytes)
{
- char *result;
-
- /* Round to dual word boundary. */
- bytes = (bytes + LOWTAG_MASK) & ~LOWTAG_MASK;
+ lispobj *result;
+#ifdef LISP_FEATURE_GENCGC
+ struct thread *th = arch_os_get_current_thread();
+
+ /* FIXME: OOAO violation: see arch_pseudo_* */
+ clear_pseudo_atomic_interrupted(th);
+ set_pseudo_atomic_atomic(th);
+ result = alloc(bytes);
+ clear_pseudo_atomic_atomic(th);
+
+ if (get_pseudo_atomic_interrupted(th)) {
+ /* WARNING KLUDGE FIXME: pa_alloc() is not pseudo-atomic on
+ * anything but x86[-64]. maybe_defer_handler doesn't defer
+ * interrupts if foreign_function_call_active
+ *
+ * If the C stack is not scavenged during GC, result needs to
+ * be protected against not being referred to by any roots, so
+ * we push it onto the lisp control stack, and read it back
+ * off after any potential GC has finished */
+#ifndef LISP_FEATURE_C_STACK_IS_CONTROL_STACK
+#ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD
+#error "!C_STACK_IS_CONTROL_STACK and STACK_GROWS_DOWNWARD_NOT_UPWARD is not supported"
+#endif
+ *current_control_stack_pointer = (lispobj) result;
+ current_control_stack_pointer += 1;
+#endif
+ do_pending_interrupt();
+#ifndef LISP_FEATURE_C_STACK_IS_CONTROL_STACK
+ current_control_stack_pointer -= 1;
+ result = (lispobj *) *current_control_stack_pointer;
+#endif
+ }
+#else
+ /* FIXME: this is not pseudo atomic at all, but is called only from
+ * interrupt safe places like interrupt handlers. MG - 2005-08-09 */
+ result = dynamic_space_free_pointer;
- result = (char *)GET_FREE_POINTER();
+ /* Align up to next dual word boundary. */
+ bytes = ALIGNED_SIZE(bytes);
- SET_FREE_POINTER((lispobj *)(result + bytes));
+ dynamic_space_free_pointer = (lispobj *)((char *)result + bytes);
- if (GET_GC_TRIGGER() && GET_FREE_POINTER() > GET_GC_TRIGGER()) {
- SET_GC_TRIGGER((char *)GET_FREE_POINTER()
- - (char *)current_dynamic_space);
+ if (current_auto_gc_trigger
+ && dynamic_space_free_pointer > current_auto_gc_trigger) {
+ clear_auto_gc_trigger();
+ set_auto_gc_trigger((char *)dynamic_space_free_pointer
+ - (char *)current_dynamic_space);
}
- return (lispobj *) result;
-}
#endif
+ return result;
+}
lispobj *
lispobj
alloc_cons(lispobj car, lispobj cdr)
{
- struct cons *ptr = (struct cons *)pa_alloc(ALIGNED_SIZE(sizeof(struct cons)));
+ struct cons *ptr =
+ (struct cons *)pa_alloc(ALIGNED_SIZE(sizeof(struct cons)));
ptr->car = car;
ptr->cdr = cdr;
ptr->digits[0] = n;
- return make_lispobj(ptr, OTHER_POINTER_LOWTAG);
+ return make_lispobj(ptr, OTHER_POINTER_LOWTAG);
}
}
lispobj
-alloc_string(char *str)
+alloc_base_string(char *str)
{
int len = strlen(str);
- lispobj result = alloc_vector(SIMPLE_STRING_WIDETAG, len+1, 8);
+ lispobj result = alloc_vector(SIMPLE_BASE_STRING_WIDETAG, len+1, 8);
struct vector *vec = (struct vector *)native_pointer(result);
vec->length = make_fixnum(len);
{
struct sap *sap;
sap=(struct sap *)
- alloc_unboxed((int)SAP_WIDETAG, sizeof(struct sap)/sizeof(lispobj) -1);
+ alloc_unboxed((int)SAP_WIDETAG, sizeof(struct sap)/sizeof(lispobj) -1);
sap->pointer = ptr;
return make_lispobj(sap,OTHER_POINTER_LOWTAG);
}