8ae6e8e23d
VM: safe_strdup needs to be called in vm_executable_path
2016-05-14 19:00:20 +02:00
335615a025
VM: more destruction needed in the destructor
...
Console needs to be closed, special objects free'd and code heap
deleted.
2016-05-14 18:21:50 +02:00
7342d97e6d
VM: add destructor to vm_parameters so that executable and image_path is
...
free'd
Valgrind complained that those were leaking
2016-05-14 18:21:49 +02:00
9555915e7b
VM: more stuff to deallocate in the destructor
2016-05-14 18:21:49 +02:00
e2b133e291
VM: return value of vm_executable_path() should be free'd
2016-05-14 18:21:49 +02:00
63791bf90e
VM: move some logic from factor_vm to the vm_parameters class
...
It's good because the factor_vm class is to fat.
2016-05-14 18:21:49 +02:00
83ce08487e
VM: initialize the ctx member in the construction
...
To make valgrind happy because it complains that it is uninitialized.
2016-05-14 18:21:49 +02:00
340ad8b8d9
VM: removes the delete_contexts method
2016-05-14 18:21:49 +02:00
7f8d5cbef4
VM: when starting the sampling profiler, the data needs to be cleared
2016-05-06 19:56:13 +02:00
10164b6af8
GNUMakefile: Explicitly ask for stdlib=libc++ because clang downgrades the version silently if you use backward compatibility mode with OSX 10.5 and then shrink_to_fit() doesn't work.
...
Config.macosx: Support for shrink_to_fit() is claimed to be in 10.7 and later, but 10.7 and 10.8 both throw this huge error:
https://paste.factorcode.org/paste?id=3872
Fixes #1624 .
2016-05-05 16:48:40 -07:00
9824be8714
VM: The C++11 method shrink_to_fit() can be used to release memory
2016-05-05 14:22:57 +02:00
5826394573
VM: the (clear-samples) primitive is unused
2016-05-05 02:33:35 +02:00
bc9f62efde
VM: using a c++ lambda over a struct
2016-05-05 01:57:52 +02:00
8911ad2a16
VM: don't end the gc event in start_gc_again, fixes #659
2016-05-04 22:47:50 +02:00
583fb5825b
VM: removes the collector class
...
The cheneys_algorithm() method can be moved to slot_visitor (because it
kind of visists objects), and then there is no need for the collector
class.
2016-05-04 17:52:04 +02:00
f629a95b03
VM: moving collector methods to slot_visitor methods
...
collector::trace_cards moved to slot_visitor::visit_cards and
collector::trace_code_heap_roots moved to
slot_visitor::visit_code_heap_roots. Both those methods are pointer visitors
2016-05-04 00:32:17 +02:00
4cc5e90605
VM: SNPRINTF macro is not used
2016-05-02 15:01:49 +02:00
2035eb91fe
VM: method compute_identity_hashcode is not needed
2016-05-02 14:05:01 +02:00
eb8b7f02bf
VM: the start_factor method isn't needed
2016-05-01 23:36:41 +02:00
58ad5fb4ce
VM: all the started_<blah>() replaced with reset_timer()
2016-04-24 15:21:17 +02:00
82e2de5e12
VM: oops, fix compilation error i caused
2016-04-24 15:18:45 +02:00
c55af9b957
VM: object_size, compute_entry_point_address, code_block_owner made into
...
functions
It is to make the vm class less heavy
2016-04-24 14:45:03 +02:00
82658e184f
VM: make return_takes_param() a function
2016-04-24 14:19:35 +02:00
28b5378196
VM: merge of fixup_data & fixup_code into a new method fixup_heaps
2016-04-24 12:42:22 +02:00
c8d648f3f2
VM: the factor_vm::code_blocks() method isn't needed
2016-04-22 12:01:26 +02:00
bcc32291e8
VM: merge of free_list_allocator.hpp into free_list.hpp
...
It's better if all the free list stuff is in a single header.
2016-04-22 12:01:26 +02:00
a23bb8cf16
VM: nr of code blocks scanned always = points_to_<gen>.size()
2016-04-22 12:01:26 +02:00
70e7bad921
VM: parent and code attrs in collector struct is not used
2016-04-22 12:01:26 +02:00
da4812ba21
VM: refactoring which removes two not useful short methods
2016-04-04 23:32:23 +02:00
b324c30cc7
vm: Fix four compile warnings reported by gcc with -pedantic flag.
2016-03-30 15:39:42 -07:00
10ac4da0f6
VM: fixes to make some if-else statements read better
2016-03-31 00:37:59 +02:00
02956a25ce
vm: compact-gc was checked twice.
2016-03-28 22:28:57 -07:00
9a531076f0
VM: improved vm_executable_path which works for arbitrary long paths
2016-03-23 16:15:30 +01:00
83e1ee5084
VM: fix string copying to not use PATH_MAX here
2016-03-23 16:15:29 +01:00
4f33f22b56
VM: on errors, only dump the heap if it has been initialized
2016-03-23 01:56:40 +01:00
579875821b
VM: removes the OBJ-ERROR special object in favor of a constant
...
The special object contained the string "kernel-error" which were used
to tag VM errors. But it is simplier and removes a little complexity to
just tag them with a fixnum constant.
2016-03-22 17:52:19 +01:00
2f1e963587
Build: never dynlink with gui libs
2016-03-11 05:17:04 +01:00
7488e54825
math.cpp: Fix two warnings. Fixes #1549 .
2016-03-08 10:02:28 -08:00
13ba081ac8
primitive_format_float, return empty string on bad locale instead of C++ exception
2016-03-08 07:55:25 -08:00
19fadb6c96
prettyprinter, locale independant float printing
2016-03-08 07:55:25 -08:00
5813e8384e
command-line.startup: document more command line flags. we already have -nosignals, but it was hidden in the source code. Fix spacing for default image. Closes #1514 .
2016-03-03 17:16:39 -08:00
67eb64cf00
vm/contexts.cpp: We are only deleting half the contexts because we increment the iter twice per loop! Fixes #1534 . Thanks clang!
2016-03-01 00:19:43 -08:00
44b9b26baa
VM: nitpick fix of filenames in comments
2016-02-28 01:23:59 +01:00
2db1e7e6a5
VM: simplifies factor_vm::determine_inline_cache_type
2016-02-28 01:10:12 +01:00
0c9c0b2f82
VM: removes a few methods related to relocation handling
...
They are only used once, so it is simpler to "inline" them
2015-12-13 13:56:36 +01:00
7da72ac77c
VM: the compute_vm_address method can be removed
2015-12-13 13:56:36 +01:00
08766090d3
VM: more fine-grained control over which special objects to save
...
It removes a few roots that doesn't need to be saved in the image and
can save a few hundred bytes.
2015-12-13 13:56:36 +01:00
46bfcbf3a2
VM: the rel_type() and rel_offset() accessors in instruction_operand can be removed
2015-12-13 13:56:36 +01:00
1a72f731e0
VM: now special-objects is used for -1, 0, 1 and t
...
The fields in the image_header aren't read or written to but I haven't
changed the format yet.
2015-12-10 10:22:38 +01:00
339b1b6466
VM: put the singletons t, -1, 0 and 1 in the special objects table
...
Having them there instead of as fields in the vm struct removes a bunch
of special handling. This commit just adds them and doesn't remove the
old ones to avoid potential chicken-and-egg bootstrap problems.
2015-12-09 21:31:13 +01:00
d911bc45fd
VM: refactors the prepare_boot_image method
...
easier to read if the methods compile_all_words and
initialize_all_quotations which are only used once are "inlined"
2015-12-04 13:57:57 +01:00
867c85f1c5
VM: can't go through the accessor here because it triggers the assert
2015-11-25 18:12:55 +01:00
0274e889b9
VM: refactor tagged.hpp so it's not dependent on the factor_vm class
...
this way untag<byte_array>(relocation) can be used in code_blocks.hpp
2015-11-24 16:00:50 +01:00
22bb0cfecf
VM: fixes to use the TAG macro over tagged<object>(obj).type()
2015-11-23 02:27:22 +01:00
a8aaa42882
VM: refactoring to use the TAG macro directly over the tagged struct
...
eg. TAG(obj) is equivalent to tagged<object>(obj).type()
2015-11-22 23:42:54 +01:00
575da3e478
VM: fix so that errno is set if MoveFileEx fails, should fix #1490
2015-10-12 12:19:21 +02:00
7dfb352a7e
VM: replaced calls to out_of_memory() with fatal_error()
...
No need for a special out of memory function -- it's just a kind of
fatal error. Also make fatal_error() call dump_memory_layout() for
easier debugging.
2015-10-08 20:46:17 +02:00
cb55fcf20f
VM: prettier and more detailed output when dumping generations
2015-10-08 16:25:35 +02:00
7eec8621aa
vm: MoveFileEx returns BOOL which needs help converting to C++ bool.
2015-10-01 17:04:13 +00:00
bd04290187
vm: fix signature for safe_fopen.
2015-09-30 19:03:39 -07:00
85784c5265
VM: make save-image throw exception on error ( #1090 )
2015-09-30 23:31:47 +02:00
2536b6cd93
VM: fix move_file called from save_image
...
save_image() shouldn't throw exceptions because if the 'then_die'
argument is t it would leave factor in an inconsistent state. So
therefore move_file() should be fixed and raw_fclose() called instead of
safe_fclose().
2015-09-29 23:13:10 +02:00
40eb664425
VM: simplified save_image, goto works here!
2015-09-29 23:13:09 +02:00
ffc441ad63
VM: looks like ERROR_C_STRING is never thrown, so it can be removed
2015-09-29 23:12:56 +02:00
614595bd9a
VM: workhorse attribute not used
2015-09-22 08:51:03 +02:00
b3de115e3c
VM: remove RT_EXCEPTION_HANDLER reference
2015-09-02 21:54:47 +02:00
769c09def5
VM: for consistency, it is easier to put all functions in the exports file
2015-09-02 21:54:44 +02:00
bc7f9ee669
VM: always use undecorated names when loading ffi functions
...
For win32, Factor tries four different function names when loading
stdcall and fastcall functions, in case decorated names are used in the
dll. It seems to not be necessary because a dll meant for 3rd party use
will always export undecorated
names (http://blogs.msdn.com/b/oldnewthing/archive/2004/01/12/57833.aspx ).
2015-09-02 21:54:41 +02:00
da3de080ee
VM: callback_entry_point() and update() can be removed
2015-09-02 21:54:39 +02:00
de4917e6a1
VM: give the exception handling special object a real name
2015-09-02 21:54:33 +02:00
22887c5816
VM: get rid of the odd RT_EXCEPTION_HANDLER relocation
...
The address to the win32 relocation handler can be stored in a special
object and be accessed by jit-install-seh. Doing it that way is better
because you can remove a lot of special code related to that relocation
type.
2015-09-02 21:54:30 +02:00
68c0c0f53a
VM: clear commented out code
2015-09-02 21:54:27 +02:00
84ec2164c2
VM: nicer way of initializing those special objects that are aliens
2015-09-02 21:54:18 +02:00
cee0b19324
VM: the ffi-signal-handler and ffi-leaf-signal-handler primitives are unused
2015-09-02 21:54:15 +02:00
a9c33cbfd7
VM: better way to set signal_resumable
2015-08-26 20:23:28 +02:00
663e5e2a09
VM: fix jit-signal-handler-prolog/epilog to account for the home space
...
Windows 64bit abi requires callers to reserve 32 bytes of home space in
the stack frame which the callee is free to clobber. Previous versions
of VS didn't compile code to take advantage of the home space so it
worked fined. VS2015 however, is using the home space which causes
registers and flags that were supposed to be saved to be
overwritten. The fix is to put a little extra empty space at the bottom
of the stack frame.
2015-08-26 20:23:25 +02:00
316b16f377
VM: instead of enqueue_safepoint() just call set_safepoint_guard() directly
2015-08-26 20:23:23 +02:00
5a39631b4b
VM: refactoring, new function get_thread_pc() and simpler logic in exception_handler()
2015-08-26 20:23:20 +02:00
2a852915d2
VM: signal_fault_pc probably should be set here...
2015-08-26 20:23:17 +02:00
10464e7e4e
VM: LEAF_FRAME_SIZE is 16 bytes on all platforms so we can simplify it
2015-08-26 20:23:15 +02:00
cb0bf3b1ce
VM: merge memory_protection_error() with memory_signal_handler_impl()
2015-08-24 07:23:40 -07:00
39c888230a
VM: new function set_safepoint_guard to replace the functions (un)guard_safepoint
2015-08-24 07:23:40 -07:00
56ddb59b00
VM: new function set_memory_locked(true/false)
...
it wraps the mprotect/VirtualProtect platform differences and makes it
so you can unify some windows/unix code path forks
2015-08-24 07:23:40 -07:00
94eb855903
VM: make the debug output a little prettier
2015-08-24 07:23:40 -07:00
51daaf6be4
VM: the windows_image_path method is unused
2015-08-24 07:23:40 -07:00
4efef7bfd9
VM: merge the compute_dlsym_toc_address() with the
...
compute_dlsym_address() method
it makes the code slightly more cluttered but you get rid of a lot of
special casing for the ppc platform
2015-08-23 18:36:31 -07:00
a53d5be683
VM: make allot_alien() and ffi_dlsym() use cell instead of void*
...
this way we get rid of a bunch of superfluous casts
2015-08-23 18:36:31 -07:00
1045f41778
VM: gc required here because we are iterating all objects
2015-08-23 18:36:31 -07:00
7f545271f4
VM: new iteration method each_object_each_slot()
...
used by find_data_references() and dump_edges() instead of the functor structs
2015-08-23 18:36:31 -07:00
59b7a50567
VM: removing the get_datastack/retainstack/callstack primitives
...
they can all be implemented using the
datastack/retainstack/callstack-for primitives and the less primitives
the better!
2015-08-23 18:36:30 -07:00
883f65d0e4
VM: fix one callstack overflow problem by "unlocking" the callstacks
...
border pages
Also a new vocab compiler.tests.callstack-overflow which is supposed to
contain all tests for callstack overflow-related problems.
2015-08-14 20:19:58 -07:00
59762009f1
VM: simplified logic for allot_object()
2015-08-14 20:19:57 -07:00
1b1b275a1a
VM: simplifies the dispatch_resumable_signal() method
2015-08-14 20:19:57 -07:00
b8aef640f9
VM: new method set_border_locked() in segment, so that you can remove
...
the protection of the guard pages
2015-08-14 20:19:56 -07:00
5d7fb5da60
VM: smaller style-fixes, like removing redundant else clauses and this prefixes
2015-08-14 20:19:55 -07:00
e14d820138
VM: move trace_partial_objects to visit_partial_objects since it is a
...
kind of visitation function
2015-08-14 20:19:55 -07:00
df669298ce
VM: split dispatch_signal_handler into two methods, one for resumable
...
and one for non-resumable signals
2015-08-14 20:19:55 -07:00
2b1c6ca11a
VM: move the frame_predecessor() method to the code_heap class
2015-08-14 20:19:54 -07:00
f3c34e44d4
VM: FRAME_RETURN_ADDRESS define unused
2015-08-14 20:19:54 -07:00
9413f711b9
VM: the JIT_PROFILING special object is never used, so rename it to
...
JIT_UNUSED (removing it breaks boot images)
2015-08-14 20:19:53 -07:00
3f9fa7e39e
VM: emit_prolog/emit_epilog can be simplified because stack frame and
...
safe point is always emitted together
2015-08-14 20:19:51 -07:00
358fae93c9
VM: the stack_frame_p() and safepoint_p() functions appear to be
...
semantically identical, let's merge them into a
no_non_safepoint_words_p() function
2015-08-14 20:19:50 -07:00
510193f012
VM: an unused #define we can eliminate
2015-08-14 20:19:50 -07:00
81057c4108
VM: the context_object_count must be wrong, there are only 4 of them
2015-08-14 20:19:50 -07:00
9f43820076
Revert "vm: don't use implicit this. thanks to Jon Harper for the report."
...
My bad. A buggy compiler is a buggy compiler. Not a good workaround.
This reverts commit 1602e5094c
2015-08-14 11:15:55 -07:00
1602e5094c
vm: don't use implicit this. thanks to Jon Harper for the report.
2015-08-14 10:16:53 -07:00
dcc1e7773f
contexts.hpp: Increase callstack reserve space to 16k for Mac64. Fixes issue #1419 .
2015-08-04 12:43:24 -07:00
5c0d8c7e4f
vm: minor fixes.
2015-08-04 07:49:50 -07:00
22bd11c4a4
VM: fix silly compile error
2015-08-04 16:02:10 +02:00
6fedb79c73
VM: bump stack_reserved from 1kb to 4kb
...
The added test case fails with a doulbe fault, which appears to be
caused by a stack overflow in the code that tries to handle the stack
overflow. So bumping it to 4096 bytes should give the code enough stack
space to play with.
2015-08-04 16:02:10 +02:00
beb71ce49b
VM: merge full_collector.hpp into full_collector.cpp
2015-08-04 16:02:10 +02:00
a7757eed41
VM: new method context::address_to_error
2015-08-04 16:02:10 +02:00
504be0c7cb
VM: signal_error and fp_trap_error not needed, call general_error directly
2015-08-04 16:02:10 +02:00
73956db33a
VM: a bunch of methods on factor_vm that can be converted into free
...
functions
I think that makes it easier to see whats going on than having
everything added to factor_vm
2015-08-04 16:02:09 +02:00
ae725b737a
VM: lets merge entry_points.hpp with vm.hpp, so you have one less header
...
file to worry about
2015-08-04 16:02:09 +02:00
282c52b872
VM: you can insert the write_barrier() the first time you interate the
...
blocks, so you don't need to do it twice
2015-08-04 16:02:09 +02:00
03d861976c
VM: new method visit_instruction_operands(), it replaces the instruction
...
operand iteration code in compaction.cpp and image.cpp
2015-08-04 16:02:09 +02:00
e565b0291f
VM: refactors slot_visitor by removing a lot of one-use methods
...
I think it's easier to see the code flow if small method bodies that are
only called once are inlined into visit_all_roots() instead
2015-08-04 16:02:09 +02:00
f5f8ce1501
VM: word_stack_frame_p() is not used and find_all_quotations() is
...
trivial so those methods can be removed
2015-08-04 16:02:09 +02:00
49a406d880
VM: using compute_external_address everywhere instead of store_external_address
2015-08-04 16:02:09 +02:00
50318a6f77
VM: new method compute_external_address
2015-08-04 16:02:08 +02:00
718ea51d8a
VM: remove the collect_compact_code_impl(), collect_compact_impl() can
...
be used instead
this might slow down collect_growing_heap(), but heap growth happens so
rarely that it shouldn't matter
2015-08-04 16:02:08 +02:00
b44db91f65
VM: init_code_heap is trivial and only used once, so let's remove it
2015-08-04 16:02:08 +02:00
18ab09e493
VM: object_compaction_updater -> lambda func
2015-08-04 16:02:08 +02:00
9049aa1f65
VM: another opportunity to use a lambda function over a struct
2015-08-04 16:02:08 +02:00
a5a7232b8f
VM: use a function update_relocation to replace the
...
code_block_compaction_relocation_visitor struct
2015-08-04 16:02:08 +02:00
b065d6172d
vm: rename emit_quot to emit_quotation.
2015-07-15 11:21:20 -07:00
4c2c8f133f
vm: rename some primitives, and some cleanup.
...
* quot-compiled? => quotation-compiled?
* optimized? => word-optimized?
2015-07-15 11:13:52 -07:00
b9b75c272b
VM: let's merge (save-image) and (save-image-and-exit) into one 3
...
arg (save-image). it's good not to have to many similar primitives
2015-07-12 22:36:59 +02:00
d608f3377b
VM: get_entry_point is unused
2015-07-12 22:36:59 +02:00
c69e1a6e93
VM: move the paths out of gc memory so that they arent unnecessarily
...
added to the image
2015-07-12 22:36:59 +02:00
801fdebde2
vm: bring back FACTOR_ASSERT.
2015-07-06 15:18:09 -07:00
4bc0720e51
VM: more changes of structs to lambda functions
2015-07-06 22:49:38 +02:00
4dfac78fc1
VM: move changes of structs to lambda functions
2015-07-06 22:49:38 +02:00
365b39e0cc
VM: change lot of visitation objects to use cool lambda functions instead
2015-07-06 22:49:38 +02:00
fce5d4353a
VM: replace binary_payload_start() with slot_count()
...
This should simplify a little the address calculations when visiting
slots of an object
2015-07-06 22:49:38 +02:00
46423dfebf
VM: merge strings.hpp and tuples.hpp into layouts.hpp, because those
...
header files were so tiny
2015-07-06 22:49:38 +02:00
66eb9f1fe5
VM: split the size() method into base_size() and aligned_size()
2015-07-06 22:49:38 +02:00
ed702209ce
VM: fix bignum>fixnum-strict conversion, previously most-negative-fixnum
...
>bignum bignum>fixnum-strict didn't work
2015-06-29 08:19:42 +02:00
35b04f8ec1
VM: fixes a bug with the handling of 0 bignums, and declares bignum/mod
...
to maybe output fixnums
2015-06-27 16:14:58 +02:00
2f835d3666
compiler.tree.propagation.*: implements downgrading to fixnum for the
...
mod word, maybe a first step in solving #224
factor_vm::primitive_bignum_mod is changed so that it outputs a fixnum
if the value is small enough. Then the compiler can take advantage of
knowing that expressions like [ >bignum 10 mod ] always result in a
fixnum [-9,9] and inline more arithmetic.
2015-06-27 16:14:58 +02:00
e14d7a3508
VM: make the bignum_to_* family free functions, they don't need to be
...
members of factor_vm
2015-06-27 16:14:58 +02:00
31fe045560
vm: differentiate which strerror is printing the message.
2015-06-08 17:58:00 -07:00
1d58f827a2
platform.hpp: Indent so I can see wtf is going on with the preprocessor control flow.
...
Look for ``__linux__`` on linux instead of ``linux`` because compiling with
-std=c++11 removes the ``linux`` preprocessor symbol.
2015-06-05 10:53:02 -07:00
a83df49ecc
ffi_test.c: Casting a 32bit int to a 64bit pointer is invalid. Instead,
...
cast it to a 64bit int then to the pointer. Found with visual studio 2015.
2015-06-05 10:21:20 -07:00
f26c7fc66d
utilities.hpp: Use auto pointer instead of gcc extension typeof().
...
Fixes #1336 .
2015-06-05 10:20:32 -07:00
40b7805e0a
VM: fixes so that raw_fread and safe_fread returns a size_t again
2015-06-05 02:14:49 +02:00
428937dbeb
VM: make FACTOR_FOR_EACH not call .end() more than once
2015-06-05 02:14:49 +02:00
0713f28bdb
VM: safe_fread needs to return an int so you can return -1 on error
2015-06-05 02:14:49 +02:00
a0e7bb8770
VM: move free_list_allocator<Block>::next_allocated_block_after to
...
tenured_space::next_allocated_object_after, because it's only used there
2015-06-05 02:14:49 +02:00
Björn Lindqvist
Doug Coleman
John Benediktsson
Jon Harper