a08295d9b7
GC maps for more compact inline GC checks
2010-06-11 20:06:00 -04:00
7f0469efef
compiler: new "binary literal area" at the end of a word's machine code stores constant floats and SIMD vectors; this allows ##load-reference/##load-memory fusion to be performed on x86-64, with a RIP-relative address reaching the data; also simplifies VM since custom relocation types used by the previous 32-bit-only optimization are no longer needed
2010-05-03 17:34:35 -04:00
90b945eaa0
compiler: add ##load-vector instruction to avoid wasting a temporary register on x86-32
2010-05-03 17:34:28 -04:00
03bd160f08
Code cleanups
2010-05-03 17:34:17 -04:00
fd84bb98bc
strings: move string-nth primitive out of the VM and into the library
2010-05-03 17:34:12 -04:00
1d7089dc04
compiler: combine ##load-constant followed by ##alien-double into a ##load-double on x86-32, saving an integer register
2010-04-18 21:42:45 -05:00
0165daf56c
Stop wearing monocle and use the term "entry point" instead of "XT" throughout VM and compiler; also remove two unused relocation types
2010-01-18 20:54:00 +13:00
edb1346239
vm: Tweak Factor VM to compile with Microsoft Visual Studio on Windows, in addition to Mingw. Add an Nmakefile which can be used for this purpose. Rename Makefile to GNUmakefile.
2010-01-17 03:43:22 +13:00
272deedefe
Fix conflict
2009-11-22 02:12:44 -06:00
585a1a7fbe
vm: fix fencepost error in write barrier on large object allocation; fixes benchmark.sort crash
2009-11-11 19:31:18 -06:00
4168ffbcee
New identity-hashcode primitive
2009-11-10 21:18:54 -06:00
1d21953f95
Add parentheses to prevent GCC warning
2009-11-08 02:01:48 +01:00
c434201b33
vm: eliminating literal table work in progress
2009-11-07 16:16:09 -06:00
e150707ec5
vm: on 32-bit, the largest free block size was only 512mb, leading to weird errors if the heap grew beyond this. eliminate this limit
2009-11-06 08:44:36 -06:00
2f8ba13da0
vm: faster data_root and <array> primitive
2009-11-06 05:30:37 -06:00
3f39d6d1ca
vm: faster immediate_p()
2009-11-02 20:21:21 -06:00
b341527428
vm: rename gc_root to data_root, add code_root to fix a problem where code blocks would move underneath the PIC compiler if PIC compiler allocated enough
2009-11-02 18:10:34 -06:00
d65296b334
vm: 4 bit tags, new representation of alien objects makes unbox-any-c-ptr more efficient (work in progress)
2009-11-02 04:25:54 -06:00
7142274aef
vm: combine heap_block and code_block structs, eliminates some boilerplate
2009-10-24 21:33:31 -05:00
38df6426de
vm: move binary_payload_start() method from factor_vm to object class
2009-10-24 04:27:45 -05:00
6ee56ca93a
vm: use iostreams instead of printf for debug messages, clean up a few things
2009-10-21 20:12:57 -05:00
2bae20cd41
vm: debugging mark-sweep
2009-10-21 19:41:54 -05:00
6ab380dc02
vm: object start recording in cards is now independent of allocation strategy
2009-10-20 13:47:04 -05:00
1f97169c62
vm: move factor_vm::untagged_object_size() to object::size()
2009-10-20 13:13:39 -05:00
f442d1949b
Change data heap alignment to 16 bytes
2009-10-20 12:45:00 -05:00
e2dfe160dc
vm: working on making heap more generic
2009-10-20 10:22:06 -05:00
f9fc3487c6
vm: change code heap layout somewhat, remove unused allocation bitmap from mark_bits
2009-10-20 09:37:24 -05:00
be96d985e9
vm: working on new compaction implementation
2009-10-19 00:07:43 -05:00
a977ade0af
vm: fix conflict in image.cpp
2009-10-18 20:54:13 -05:00
f0a1a3ce5b
vm: rename F to false_object, and rename T to true_object
2009-10-18 20:26:21 -05:00
40b5c2c732
vm: code heap: move mark bits to a separate bitmap
2009-10-16 14:41:40 -05:00
bfd1f0d6d2
vm: rt-vm relocation now supports accessing a field directly
2009-10-14 19:24:23 -05:00
717ac69928
vm: fix integer overflow
2009-10-09 05:55:32 -05:00
44c78493bf
vm: misc cleanups
2009-10-09 03:20:50 -05:00
4d0ec09d9c
vm: put code block owner directly in the header, instead of as the first entry in the literal table. Reduces x86-64 image size by ~700kb, also eliminates separate 'strip' set of staging images from deploy tool
2009-10-06 06:25:07 -05:00
fa2ee8ee7a
vm: free up a cell in compiled code block headers
2009-10-06 05:52:45 -05:00
d066d46c8d
vm: add a remembered set for code blocks which may reference young literals. Improves loading time
2009-10-06 04:36:34 -05:00
3887292543
Big VM cleanup
...
- Move forward declarations of 'struct factor_vm' to one place
- Rename template parameters from T and TYPE to descriptive names. New convention: CamelCase for template parameters
- Change some higher-order functions taking function pointers into templates, and define classes overriding operator(). There's a bit of new boilerplate here but its more consistent than the old mish-mash approaches
- Put GC state into a gc_state struct
- Use exceptions instead of longjmp for non-local control transfer in GC
- In code GC, instead of interleaving code block tracing with copying, add code blocks which need to be revisited to an std::set stored in the gc_state
2009-10-03 08:47:05 -05:00
78e143b13c
vm: fix indentation in Joe's changes
2009-09-14 03:09:03 -05:00
0284a4b6f8
save the FP status out of the signal context and use it as part of the fp trap factor exception. clear the FP status before continuing after an exception
2009-09-13 23:39:12 -05:00
18240b0219
misc small documentation fixes, some fixes for factor.vim, changed permissions of vm/* to 644
2009-08-10 21:33:07 +02:00
9bea42405a
callstack>array primitive was not GC safe
2009-05-20 18:52:21 -05:00
7d02d8b9d7
More VM cleanups
2009-05-13 01:08:16 -05:00
05146c6907
Remove compiled slot from quotations since its not needed
2009-05-12 03:09:15 -05:00
cdd470a945
Fix Windows compile error
2009-05-08 15:23:44 -05:00
92ae2f7e71
VM cleanup: replace some #defines with constants and inline functions
2009-05-08 15:05:55 -05:00
d3b85c14c9
Working on inline caching for tail call sites
2009-05-06 19:22:22 -05:00
7dfa61c098
VM now compiles with GCC 3.4 on Windows
2009-05-05 14:17:02 -05:00
bec40fd54b
Store forwarding table off to the side instead of in the code block; saves one cell per code block
2009-05-05 11:07:20 -05:00
7c0a59f7a9
The great type renaming
2009-05-04 04:50:24 -05:00
Slava Pestov
Samuel Tardieu
Slava Pestov
Joe Groff
Philipp Brüschweiler
Slava Pestov
Slava Pestov