GitLab

in the heap size message on 32 bit intel print compacting for compacting collections (same as on 64 bit amd/intel)

in the compacting garbage collector for 64 bit AMD/Intel mark and copy arrays without reordering records with both pointers and non pointers and swapping the length and element descriptor with the last two elements of arrays with pointers (same as previous commit for the 32 bit version)

the arrays are not reordered anymore

to mark an array using pointer reversal:
  - temporarily replace the _ARRAY_ descriptor with the previous node information, except the
    2 least significant bits. these are cleared because the least significant bit must be zero
    to detect reversed pointers
  - these 2 least significant bits from the previous node information are stored by temporarily
    multiplying the size by 4 and using the least significant 2 bits
  - the address of the array + 3 is stored in the first element of the array, or for unboxed
    arrays of records with both pointers and non pointers, in the first pointer of the current
    record to be marked
    the first argument of an argument part may also contain and address + 3 if the pointer to the
    argument part has been reversed. this pointer always points to a higher address. for arrays the
    address + 3 points to a lower address. so we can us...

in 32 bit Intel compacting garbage collector remove possible use of bit test, set or reset in memory instructions

the arrays are not reordered anymore

also change the mark bits that are used when marking the first argument of the arguments part of a node:
set the least significant 2 bits to 3 instead of 1

to mark such an array:
- temporarily overwrite the _ARRAY_ descriptor with the address of the pointer (of a previously marked node) to this node
- elements are marked in reverse order, so starting with the last pointer element
- temporarily overwrite the last pointer with a pointer to the beginning of the array
- mark the first pointer of the array, or the first pointer of the last record element if the record also contains non pointers,
  by setting the least significant 2 bits to 1
- continue marking by marking the elements, or the last record element
- after marking these elements, the beginning of the array can be recognized because we have a pointer to the array (in the element)
  and therefore the address of the f...

bug fix for 64 bit linux with stack tracing or time profiling, for the profile stack size use 4096 + the limit from getrlimit (RLIMIT_STACK) instead of the a stack size

Fix x86 repl_r_a_args_n_a; fetch arity without offset from descriptor

See merge request clean-compiler-and-rts/run-time-system!7

add function repl_r_a_args_n_a to push the pointers of a record on the A stack and yield the number of these pointers

bug fix for macosx, fix label in apply entry of build_node_2 that is used if garbage collection is necessary

fix bug in arm64 marking garbage collector, fix marking of strings in mark using pointer reversal (2 constants were incorrect, only one was fixed by the previous commit)

refactor ufileIO2.c to prevent c compiler warnings on 32 bit linux, add some casts from (long*) to (int*)

refactor uwrite_heap.c, to prevent c compiler warnings, include string.h and unistd.h for strcat and readlink prototypes and add ew_print_string prototype