1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-30 11:50:28 +02:00
guile/module/system/vm
Andy Wingo 02c624fc09 More precise stack marking via .guile.frame-maps section
* module/language/cps/slot-allocation.scm (lookup-dead-slot-map)
  (allocate-slots): For each non-tail call in a function, compute the
  set of slots that are dead after the function has begun the call.

* module/language/cps/compile-bytecode.scm (compile-fun): Emit the
  `dead-slot-map' macro instruction for non-tail calls.

* module/system/vm/assembler.scm (<asm>): Add `dead-slot-maps' member.
  (dead-slot-map): New macro-instruction.
  (link-frame-maps, link-dynamic-section, link-objects): Write dead
  slots information into .guile.frame-maps sections of ELF files.
* module/system/vm/elf.scm (DT_GUILE_FRAME_MAPS): New definition.

* libguile/loader.h:
* libguile/loader.c (DT_GUILE_FRAME_MAPS, process_dynamic_segment):
  (load_thunk_from_memory, register_elf): Arrange to parse
  DT_GUILE_FRAME_MAPS out of the dynamic section.
  (find_mapped_elf_image_unlocked, find_mapped_elf_image): New helpers.
  (scm_find_mapped_elf_image): Refactor.
  (scm_find_dead_slot_map_unlocked): New interface.

* libguile/vm.c (scm_i_vm_mark_stack): Mark the hottest frame
  conservatively, as before.  Otherwise use the dead slots map, if
  available, to avoid marking data that isn't live.
2014-01-26 20:55:04 +01:00
..
assembler.scm More precise stack marking via .guile.frame-maps section 2014-01-26 20:55:04 +01:00
coverage.scm No more VM objects visible to Scheme 2013-11-21 16:45:03 +01:00
debug.scm Rename "RTL" to "bytecode" 2013-12-02 21:31:47 +01:00
disassembler.scm Rename "RTL" to "bytecode" 2013-12-02 21:31:47 +01:00
dwarf.scm Rename "RTL" to "bytecode" 2013-12-02 21:31:47 +01:00
elf.scm More precise stack marking via .guile.frame-maps section 2014-01-26 20:55:04 +01:00
frame.scm (system vm instruction) rtl-instruction-list -> (language rtl) instruction-list 2013-11-19 20:45:57 +01:00
inspect.scm Remove assembly language. 2013-11-08 16:45:10 +01:00
linker.scm Fix section table writing for non-loadable sections 2013-12-10 20:03:59 +01:00
loader.scm Rename objcodes?.{scm,c,h} to loader.{scm,c,h} 2013-11-19 21:45:07 +01:00
program.scm (system vm instruction) rtl-instruction-list -> (language rtl) instruction-list 2013-11-19 20:45:57 +01:00
trace.scm No more VM objects visible to Scheme 2013-11-21 16:45:03 +01:00
trap-state.scm No more VM objects visible to Scheme 2013-11-21 16:45:03 +01:00
traps.scm Merge branch 'stable-2.0' 2014-01-09 02:52:34 -05:00
vm.scm Remove the restore-continuation-hook. 2013-11-27 22:03:58 +01:00