95d34e8ee7
VM: Refactor fixup.hpp to Factor style
2013-05-12 13:24:44 -04:00
04d655310f
VM: Refactor ffi_test to Factor style
2013-05-12 13:24:43 -04:00
d92617dda7
VM: Refactor factor.cpp/hpp to Factor style
2013-05-12 13:24:43 -04:00
e9c0476f15
VM: Refactor errors to Factor style
2013-05-12 13:24:43 -04:00
d6bc190f51
VM: Refactor entry_points to Factor style
2013-05-12 13:24:43 -04:00
d5f66d9561
VM: Refactor dispatch to Factor style
2013-05-12 13:24:43 -04:00
6955dd8565
VM: Refactor debug.cpp to Factor style
2013-05-12 13:24:43 -04:00
7a05bf1993
VM: Refactor data_roots.hpp to Factor style
2013-05-12 13:24:43 -04:00
75e6c88534
VM: Refactor data_heap* to Factor style
2013-05-12 13:24:43 -04:00
fb34be6fa7
VM: Refactor cpu-* to Factor style
2013-05-12 13:24:43 -04:00
0cf7feba0b
VM: Refactor copying_collector.hpp to Factor style
2013-05-12 13:24:43 -04:00
2a5126e49a
VM: Refactor contexts to Factor style
2013-05-12 13:24:42 -04:00
2bed6f6a25
VM: Refactor compaction.cpp to Factor style
2013-05-12 13:24:42 -04:00
66976a12bf
VM: Refactor collector.hpp to Factor style
2013-05-12 13:24:42 -04:00
ef7c009d2a
VM: Refactor code_roots to Factor style
2013-05-12 13:24:42 -04:00
7f56458820
VM: Refactor code_heap to Factor style
2013-05-12 13:24:42 -04:00
d2fe86eb7e
VM: Refactor code_blocks to Factor style
2013-05-12 13:24:42 -04:00
2e20733ade
VM: Refactor callstack to Factor style
2013-05-12 13:24:42 -04:00
7aae3c04ce
VM: Refactor callbacks to Factor style
2013-05-12 13:24:42 -04:00
22eed89484
VM: Refactor byte_arrays to Factor style
2013-05-12 13:24:42 -04:00
1e618e16ee
VM: Refactor bump_allocator.hpp to Factor style
2013-05-12 13:24:41 -04:00
774326b2dc
VM: Refactor booleans.hpp to Factor style
2013-05-12 13:24:41 -04:00
ad41d8773d
VM: Refactor bitwise_hacks to Factor style
2013-05-12 13:24:41 -04:00
a80271c79c
VM: Refactor bignum to Factor style
2013-05-12 13:24:41 -04:00
6dacc44029
VM: Refactor atomic.hpp to Factor style
2013-05-12 13:24:41 -04:00
ca1276841d
VM: Refactor atomic-* to Factor style
2013-05-12 13:24:40 -04:00
9ef732743d
VM: Refactor assert.hpp to Factor style
2013-05-12 13:24:40 -04:00
76375afd1c
VM: Refactor arrays.cpp/hpp to Factor style
2013-05-12 13:24:40 -04:00
a437576dc9
VM: Refactor allot.hpp to Factor style
2013-05-12 13:24:40 -04:00
22014f092e
VM: Refactor alien.cpp to Factor style
2013-05-12 13:24:40 -04:00
6c919e7d72
VM: Refactor aging_space to Factor style
2013-05-12 13:24:40 -04:00
ee9fd64b69
VM: Refactor aging_collector to Factor style
2013-05-12 13:24:40 -04:00
a42ba561d2
VM: Remove empty source files
2013-05-12 13:24:40 -04:00
ca2ea548be
VM: Remove exec bit from VM source files
2013-05-11 17:04:23 -04:00
a1ef43a42f
layours.hpp: Don't need RETAG here. Found by @mrjbq7. Fixes #637 .
2013-03-29 17:20:08 -07:00
71558515cb
Config.macosx: Try to support 10.5.
2013-03-29 14:36:11 -07:00
0d72e25365
Config.linux: Clean up warnings when compiling with clang on Linux. make CC=clang CPP=clang++
2013-03-29 10:25:14 -07:00
411306c0b8
vm: adding bignum_gcd note.
2013-03-27 14:53:56 -07:00
08715bae04
os-macosx.mm: Use uname() instead of Gestalt for version check. Allow 10.5 and over still. Fixes #585 . Fixes #815 . Thanks @erikcharlebois and @jckarter for the motivation and the fix.
2013-03-26 16:53:09 -07:00
891f6fef36
Config.macosx: Unleash the hounds! Enable 10.6 compatibility as an experiment. Not sure the downside to always leaving it enabled...
2013-03-26 13:39:05 -07:00
2b33dde782
vm: Add more Allocates memory comments.
2013-03-25 17:52:30 -07:00
86649ce1c0
vm: More allocates comments.
2013-03-25 14:05:05 -07:00
dbfa185eef
vm: Standardize /* Allocates memory */ comments so you can grep -A1
...
and see if a function allocates for easier debugging of the gc.
A couple of the functions were not yet annotated.
2013-03-25 12:00:18 -07:00
e68f41041f
Config.macosx: Add commented-out compiler flag to use 10.6.
...
See http://developer.apple.com/library/mac/#technotes/tn2064/_index.html
2013-03-23 12:11:26 -07:00
6d19db3efd
Configs: CFLAGS isn't used by the GNUMakefile, change it to SITE_CFLAGS.
2013-03-23 12:10:37 -07:00
17945addfe
vm: use ctx->push since unbox_array_size needs to peek at the stack.
2013-03-22 09:19:36 -07:00
5be15d7e3f
vm: more use of ctx->replace().
2013-03-22 09:17:02 -07:00
49a7d37dcd
vm: don't ctx-pop() in bignum_divmod.
2013-03-22 08:26:01 -07:00
9c025abc67
vm: use ctx->replace() with bignum and float operations.
2013-03-22 08:00:13 -07:00
1cdd080445
os-unix: Actually call pthread_join() to avoid an infinite loop and 100% cpu usage. It happens randomly. Fixes #738 . Thanks to kkrev or frankfranks.
2012-10-26 10:36:01 -07:00
afdaff3059
vm: make bignum-bitnot faster.
2012-08-31 15:22:07 -07:00
42f4193939
vm: simplify a bit the fixnum_divmod code.
2012-08-23 08:38:18 -07:00
ed8496b583
vm: speed up primitive_fixnum_divmod by 10-12%.
2012-08-22 21:46:59 -07:00
b541986b4e
vm: use tabs instead of spaces in bignum_gcd.
2012-08-22 21:31:27 -07:00
aad70160f0
vm: Add more comments about functions that allocate.
2012-08-15 22:00:08 -07:00
000efd9bbb
vm: Add messages about things that can allocate. Fix a gc bug in the primitive for quotation-code.
2012-08-15 21:30:55 -07:00
66de3a85dd
errors.cpp: Previous fix was correct, except we shouldn't clear the data_roots before gc'ing. Laugh out loud. Fixes #615 .
2012-08-15 19:49:04 -07:00
7e39d7ef30
errors.cpp: Patch looked like it would work. It either exposes more gc bugs or is incorrect.
...
Revert "errors.cpp: general_error() throws away its args when it calls compact_gc() when compiled with DEBUG=1. Save the args as data_roots instead. Fixes #615 . See #620."
This reverts commit dc46297050
2012-08-15 17:25:14 -07:00
beb202b3de
errors.cpp: general_error() throws away its args when it calls compact_gc() when compiled with DEBUG=1. Save the args as data_roots instead. Fixes #615 . See #620 .
2012-08-15 16:36:36 -07:00
47b4ebc80d
bignum.cpp: Fix calls to reallot_array() -- bignums can get new addresses if they are not in the nursery or are somehow larger. Fix a couple more correctness issues.
2012-08-15 01:51:58 -07:00
91d8326b77
math.cpp: Fix theoretical gc bug.
2012-08-15 01:51:58 -07:00
39c3f10138
bignum: incorporate some fixes from @slavapestov.
2012-08-10 14:28:44 -07:00
c4f85efc9d
vm: make sure we zero out the end of the bignums.
2012-08-04 18:02:27 -07:00
61a6b5692f
vm: a bit faster not to trim on each iteration...
2012-08-04 09:13:05 -07:00
f7bb7c6a32
vm: additional fix in bignum_gcd.
2012-08-03 21:50:48 -07:00
37001708cd
vm: some fixes to fast bignum gcd.
2012-08-03 12:13:46 -07:00
5c8a2a4057
vm: fix updating size inside bignum_gcd loop.
2012-08-02 17:36:07 -07:00
30e34ca616
bignum: Fix bignum_gcd algorithm from overwriting the wrong bignum memory. Add GC_BIGNUM to prevent gc crashes. Fixes #599 .
2012-08-02 17:16:03 -07:00
426c449ee1
vm: adding more GC_BIGNUM to WIN64 path. See #599 .
2012-08-02 17:04:22 -07:00
106ecdb6dd
compaction: Less than is the new greater than. Fixes #558 .
2012-07-25 17:57:50 -07:00
1a9caec368
Config.macosx: first two digits of 'xcodebuild -version' number is enough; throw away rest of version number.
...
$ xcodebuild -version
Xcode 4.3.3
Build version 4E3002
Fixes #543 .
2012-06-22 15:23:07 -07:00
e9ec95ad4f
compaction: Inifnite headaches--cured! Two compact functions, one was not like the other.
2012-05-27 18:26:03 -07:00
c577a5468e
vm: Typo for SITE_CFLAGS. Fixes #491 .
2012-04-10 16:28:04 -07:00
5794ab46a0
vm: use euclid gcd on win64 until we find a better way to do the 128-bit math.
2012-04-06 11:42:59 -07:00
eb556bfb06
vm: use twodigit type for all variables (fixes 32-bit warning).
2012-04-06 09:36:25 -07:00
4a29dafcdf
vm/Config: GNUMakefile doesn't actually put the CFLAGS on the command, so use SITE_CFLAGS instead. Put -m32 in Config.x86.32, -m64 in Config.x86.64. Fixes #488 .
2012-04-05 10:26:50 -07:00
22c26ff3f5
vm: adding bignum_gcd primitive.
2012-04-05 09:17:35 -07:00
3f9b2ef47a
use clang when building w/ xcode >4.3; it's faster
2012-02-18 23:40:38 -08:00
b094d4d0ec
vm: actually code_block_pic is a fine frame type
2011-12-21 21:12:54 -08:00
7121e0d598
vm: also smoke-check callstack after pic update
2011-12-21 18:31:37 -08:00
0b72b811fc
vm: flush after print_obj so it's usable from gdb
2011-12-21 13:25:28 -08:00
9f137c66d4
vm: fashion brigade
2011-12-21 13:25:05 -08:00
442923b561
vm: walk stack on inline_cache_miss if PIC_DEBUG=1
...
Reveals inline cache stack coherency bug behind #460
2011-12-21 13:24:35 -08:00
b6f323450f
vm: load mega cache object before popping frame
...
Fixes #457 harder
2011-12-20 14:38:01 -08:00
f513894435
vm: unwind-native-frames is special
...
Fixes #457
2011-12-19 16:54:25 -08:00
842eb27785
vm: cleanups
2011-12-14 09:56:50 -08:00
1c7bd9a7b4
vm: don't scribble memory handling leaf signals
2011-12-14 09:56:50 -08:00
7c9332e966
cpu.x86.*: clean up signal handler prolog code
...
Also bump the signal handler frame sizes up again since it looks like we shrank them too much.
2011-12-14 09:56:50 -08:00
7844c66d6e
vm: factor out word_stack_frame_size
2011-12-14 09:56:49 -08:00
a1ee881435
vm: get rid of now-trivial innermost_stack_frame
2011-12-14 09:56:49 -08:00
079025559d
simplify function prologs
2011-12-14 09:56:49 -08:00
2f20ee6fb0
vm: fix types after rebase
2011-12-14 09:56:49 -08:00
604ceb957c
vm: replace remaining stack_frame-based logic
2011-12-14 09:56:49 -08:00
d74f194b07
vm: remove _reversed from callstack iterator names
...
Now that they're the only game in town we can give them the short names
2011-12-14 09:56:49 -08:00
f6a5f48da0
vm: remove iterate_callstack_object
2011-12-14 09:56:48 -08:00
a1958c67bd
vm: callstack_reversed for callstack_to_array
2011-12-14 09:56:48 -08:00
0af5fff27c
remove iterate_callstack now that it's unused
2011-12-14 09:56:48 -08:00
822a658cc3
vm: callstack_reversed in call_frame_scrubber
2011-12-14 09:56:48 -08:00
9236c05e60
vm: stage code block map fixup properly for GC
...
Don't update the map until the very last thing, and pass untranslated addresses to the iterator functors. Somewhat complicated by the fact that, for startup_fixup, the map is initialized with fixed-up values, so the fixup functor needs a flag indicating whether it operates with a fixed or unfixed code heap map.
2011-12-14 09:56:48 -08:00
e6a80aa9aa
vm: callstack_reversed in code_block_visitor
2011-12-14 09:56:48 -08:00
d12b6e375b
vm: iterate_callstack_reversed in slot_visitor
2011-12-14 09:56:47 -08:00
e116bc497b
vm: reversed callstack iteration
2011-12-14 09:56:47 -08:00
e2fafaed9c
WIP verify_callstack function
...
dumps callstack in reverse order so i can visually inspect that it matches the old forward walking logic
2011-12-14 09:56:47 -08:00
ef38688e87
vm: method to calculate frame size for address
...
If we're before the prolog or or in a leaf procedure, the stack frame is really a leaf frame created by the signal handler, with a known fixed size, instead of the real stack frame (if any) with a different size.
2011-12-14 09:56:47 -08:00
5b9aee2c91
vm: don't suffer null return addresses
2011-12-14 09:56:46 -08:00
1911905c6b
vm: frame size for signal handler code blocks
2011-12-14 09:56:46 -08:00
0b94018d9f
vm: initialize all_blocks set after initial fixup
2011-12-14 09:56:46 -08:00
3868895b56
vm: make all_blocks a set of cells
...
gcc was doing bad things assuming the pointer given to upper_bound was aligned
2011-12-14 09:56:46 -08:00
36d1e0a78c
vm: verifier shouldn't check for leftovers
...
It doesn't work after things have been freed
2011-12-14 09:56:45 -08:00
d6227c182b
vm: pack frame size into code block header bits
2011-12-14 09:56:45 -08:00
e21f316583
vm: store stack frame size in code blocks
...
Change modify-code-heap primitive so it takes a sixth element in each array for the frame size.
2011-12-14 09:56:45 -08:00
bd7e6b33f8
vm: erase code blocks from all_blocks during sweep
...
Fixes #437
2011-12-13 12:28:09 -08:00
083b856604
vm: reinitialize all_blocks from scratch after gc
...
Faster and more likely to be correct than trying to fixup the existing set
2011-12-12 19:05:48 -08:00
4bbb2f5b72
vm: only verify all_blocks set if it's invalid
...
Verifying on every sample is way too slow to be practical when debugging bootstrap.
2011-12-12 19:04:56 -08:00
4870ac8f1d
vm: add compact-gc command to factorbug
2011-12-12 19:03:42 -08:00
dea0bedb99
vm: fix msvc warning
2011-11-29 12:19:17 -08:00
26226d460e
vm: factor out embedded image detection code
2011-11-27 14:39:21 -08:00
cca526df73
vm: support self-executing image file
2011-11-27 12:37:54 -08:00
88d31b166b
vm: don't die if foreign thread gets async signal
...
Fixes #425
2011-11-23 11:26:42 -08:00
065a4d4353
vm: remove useless forward declare
2011-11-23 11:11:28 -08:00
b6246f2c00
vm: quell warnings from vars only used by asserts
2011-11-23 11:11:28 -08:00
4df56f31f2
vm: clean up baroque jit safepoint logic
2011-11-23 11:11:27 -08:00
15c4b7aa57
vm: verify code heap's all_blocks set when DEBUG
2011-11-23 11:11:27 -08:00
c2c2023e34
vm: FACTOR_ASSERT only if FACTOR_DEBUG
2011-11-23 11:11:27 -08:00
0a1a252cdb
vm: replace assert with FACTOR_ASSERT
...
Factor is finally a real C++ project and has a custom assert macro. Assertion failures were still getting caught as exceptions and causing failure loops. Write our own macro that calls factor::abort on failure.
2011-11-23 11:11:26 -08:00
6c0ecf631a
vm: charge samples collected in prolog to parent
...
Fixes #379
2011-11-23 11:11:26 -08:00
81911b9f87
vm: initialize all_blocks map from image
...
um, code blocks from the image need to go in the set too
2011-11-23 11:11:26 -08:00
2705fc67cb
vm: keep a set of all code_blocks in the code_heap
...
This way looking up code blocks by return address is an O(log n) set lookup rather than an O(n) linear scan.
2011-11-23 11:11:26 -08:00
44b608bb22
vm: emit safepoints before VM compiler prologs
...
For #379
2011-11-23 11:11:25 -08:00
5e99a7bbbf
vm: disable SIGINT handler while in factorbug
...
Fixes #410
2011-11-15 18:50:42 -08:00
c4885ac082
vm: fashion police
2011-11-12 23:05:44 -08:00
c0a44000cc
vm: set stdin_loop cancellation state
...
Make it asynchronous so it doesn't wait till the next syscall to cancel.
2011-11-12 23:05:44 -08:00
3fc82282f7
vm: close_console before exiting anywhere
...
Add a factor_vm::exit function that does close_console() before ::exit-ing
2011-11-12 23:05:44 -08:00
db19efe1b3
vm: close the console when exiting
...
This prevents an endless loop caused by the nvidia drivers on linux.
See http://www.nvnews.net/vbulletin/showthread.php?t=164619
2011-11-12 23:05:43 -08:00
8e7baef1a0
vm: typo in os-windows.hpp
2011-11-12 19:23:44 -08:00
e0dc236725
cpu.*.bootstrap: clear faulting flag directly
...
No reason to go through a safepoint in unwind-native-frames really.
2011-11-12 13:02:57 -08:00
e24400679f
vm: more defense against multi-faulting
...
* Clear faulting_p from a safepoint rather than inside general_error, because jumping into unwind-native-frames could blow up.
* Handle multiple faults from fatal_error by breakpointing. Is there anything else we can safely do at that point?
* Verify memory protection faults in the top half of the signal handlers because signal dispatch could fault. Treat memory faults during gc or fep as fatal errors.
* Add a function factor_vm::abort() that restores the default SIGABRT handler and ::abort()s. Use it from fatal_error() so we get useful context from gdb and so the user gets feedback from the system crash reporter that Factor blew up and didn't just disappear.
* In factorbug(), don't proceed with .s .r .c if it would be unsafe to do so.
* Don't pile on signals if we've already called fatal_error().
2011-11-12 13:02:57 -08:00
2c5014e74e
vm: "edges" command for factorbug
2011-11-11 10:12:36 -08:00
c31530caec
vm: strip out call-counting profiler
...
This makes the separate "code" and "entry_point" fields in word and quotation redundant, so also remove them to reclaim an additional cell per word and quotation object, which should help with #318 .
2011-11-10 16:01:07 -08:00
139c9ca38c
init signals or console after stage2 init
...
A signal during early bootstrap is certainly an error, and the environment isn't there yet for Factor's signal handlers to work, so it makes no sense to install Factor's signal handlers beforehand. They'll just crash.
2011-11-10 16:01:07 -08:00
9e4a51c55f
vm: don't SIGQUIT on unix or Ctrl-Break on windows
...
This gives us an escape hatch for when things go way south and ^C can't be handled. Also unmask SIGQUIT and SIGTERM from the stdin_loop thread so the thread doesn't keep the process alive after those signals.
2011-11-10 16:01:07 -08:00
2e9552d98a
vm: hand SIGALRM to signal pipe if not sampling
2011-11-08 23:37:22 -08:00
c0094186a1
vm: fix build on windows
2011-11-08 23:17:51 -08:00
5f3cd4079c
vm: make signal pipe nonblocking
...
On the off chance the Factor end of the signal handler mechanism isn't listening, we don't want to tie up the VM because the pipe's buffer got full.
2011-11-08 22:07:22 -08:00
820fd6417d
vm: don't send foreign samples to outer space
2011-11-08 14:00:33 -08:00
90609cc5d8
vm: don't pass this to safepoint constructor
...
It's bad juju and MSVC calls us out on it.
2011-11-08 11:06:00 -08:00
fc7c175c9f
new module unix.signals: app-level signal handlers
...
example:
IN: scratchpad USING: unix.ffi unix.signals ;
Loading resource:basis/unix/signals/signals.factor
IN: scratchpad [ V{ "Me not that kind of orc!" "Me busy, leave me alone!" "Work work" "Zug zug" } pop print flush ] SIGINFO add-signal-handler
IN: scratchpad load: 0.60 cmd: factor 41541 running 0.28u 0.16s
Zug zug
load: 0.71 cmd: factor 41541 running 0.28u 0.16s
Work work
load: 0.71 cmd: factor 41541 running 0.28u 0.16s
Me busy, leave me alone!
load: 0.73 cmd: factor 41541 running 0.28u 0.16s
Me not that kind of orc!
2011-11-08 10:21:49 -08:00
0c58fd5c26
vm: more commentary on lock_console() stuff
2011-11-08 08:52:52 -08:00
5f811c0573
vm: don't mask SIGTTIN from stdin_loop
...
Fixes #360
2011-11-08 08:42:48 -08:00
f9aa0419c4
vm: interrupt stdin_loop when entering fep
...
The stdin_loop thread will keep trying to consume input unless we stop it by sending it a signal. Use SIGUSR2 to stop the read syscall and a mutex to hold up the loop while the fep is active.
2011-11-08 08:42:48 -08:00
04c6b2c393
vm: write signals to pipe immediately
...
The whole point is to wake up the mx without waiting for the next safepoint derp
2011-11-08 08:42:47 -08:00
0e3c315099
vm: move bignum.cpp includes to master.hpp
...
That way they get PCHed
2011-11-08 08:42:47 -08:00
18e01f7770
vm: enqueue signals for FEP signals too
...
Although SIGINT still can't interrupt the current Factor thread in a sane way, this will at least wake up the run loop when waiting for input and fix #348 when implemented at the application level.
2011-11-08 08:42:47 -08:00
b46fd5e655
GNUmakefile: use PCH so compiler goes faster
...
Also add more accurate dependencies on headers so "make" works right when headers change
2011-11-08 08:42:46 -08:00
72d335f2b5
vm: write async signals to pipe for multiplexer
...
also factor out safepoint logic into its own file
2011-11-08 08:42:46 -08:00
212d012cb1
vm: switch atomic::add to atomic::fetch_add
...
Win32 only provides fetch-and-add, not add-and-fetch, and we don't really care. Rename the functions so the order of operations is clear.
2011-11-07 17:58:53 -08:00
ec19171220
vm: readable feps for more types
2011-11-06 20:26:52 -08:00
f4479ee1e6
vm: print type names instead of numbers in fep
2011-11-06 20:26:51 -08:00
f0d4fcc587
switch back to gcc from clang since it goes faster
2011-11-04 00:09:30 -07:00
94eb922998
makefile: add macosx-x86-fat target
2011-11-03 20:19:37 -07:00
3cad288f90
use gcc-4.2 on OS X 10.5, or clang on Xcode 4
2011-11-03 12:18:07 -07:00
6bb46a3f1e
vm: always generate safepoints in jit
...
Even if there's no stack frame we still need to safepoint before leaving the function. Fixes #332 .
2011-11-03 11:57:43 -07:00
92445d77e2
vm: restore sigaltstack setup on unix
...
#ifdef __OpenBSD__ is different from #ifndef __OpenBSD
2011-11-03 11:57:43 -07:00
d28845a1ef
vm: reserve some more special-objects
...
Need a jit-safepoint object to deal with #332 , and ffi-signal-handler words for immediate signal handling during FFI calls
2011-11-02 22:16:08 -07:00
2d87b68a56
vm: sample pc on windows
2011-11-02 21:18:31 -07:00
1833beea52
vm: fix MSVC warnings
2011-11-02 20:26:53 -07:00
1b38835207
remove lingering mentions of macosx-ppc
2011-11-02 18:40:27 -07:00
8cf18d1a82
remove BSD,solaris,etc. misc platform support code
2011-11-02 17:13:51 -07:00
82a62181ce
vm: count samples during unoptimized compiler
2011-11-02 13:23:21 -07:00
e0c68d5a3f
vm: fix scrub-league assert abuse
2011-11-02 13:23:21 -07:00
2fc6b0b9be
vm: forgot to add atomic.hpp
2011-11-02 13:23:20 -07:00
73845fdad9
vm: separate 'current_gc_p' from 'current_gc'
...
The 'current_gc' handle doesn't need to be volatile, just the state of GC-ness
2011-11-02 13:23:19 -07:00
4d39e59054
vm: add atomic::load and atomic::store functions
...
Abstract out the fence-and-load and store-and-fence patterns
2011-11-02 13:23:19 -07:00
be8db5aed3
vm: sample thread object rather than raw context
2011-11-02 13:23:18 -07:00
7da8a9776f
vm: sample code block owners instead of blocks
2011-11-02 13:23:17 -07:00
e880095da3
vm: fix data roots in get-samples primitive
2011-11-02 13:23:17 -07:00
4037c981eb
vm: die if we fault in a fault
2011-11-02 13:23:16 -07:00
29fa23c40a
vm: quell MSVC warnings
2011-11-02 13:23:16 -07:00
30ed9b535b
vm: parameterize sampling rate
2011-11-02 13:23:15 -07:00
799053661e
vm: better organize atomics and sample counter
2011-11-02 13:23:15 -07:00
89ea69b61b
vm: fix comments mangled by find & replace
2011-11-02 13:23:14 -07:00
27ac4c60f4
vm: factor out sample counting code
2011-11-02 13:23:13 -07:00
baebb317e4
whitespace
2011-11-02 13:23:13 -07:00
34ea20beca
vm: only show factorbug help the first time
2011-11-02 13:23:13 -07:00
1a665f3eac
vm: more accurate sample timing on windows
2011-11-02 13:23:12 -07:00
d9afe92c97
get sampler working under windows
2011-11-02 13:23:12 -07:00
252915a37c
fix platform dependency in leaf-signal-handler
2011-11-02 13:23:12 -07:00
abaa051768
vm: fix build on windows
2011-11-02 13:23:12 -07:00
1351e30e52
vm: sampling profiler timer for windows
...
Spawn a thread and have it spin on the performance counter, triggering safepoints on the main thread every sample time
2011-11-02 13:23:11 -07:00
125c46c10f
vm: stub out windows sampling timer implementation
...
AFAIK Windows has no equivalent to setitimer. We'll probably need to use a thread that periodically pauses and samples the main VM thread.
2011-11-02 13:23:10 -07:00
f5cdfaeb2a
vm: count samples from foreign threads
...
On OS X it appears the mach exception thread and libdispatch queue threads occasionally get the SIGALRM from the itimer. Count those as foreign_thread_samples instead of letting the signal kill the process.
2011-11-02 13:23:10 -07:00
27d7e4af53
vm: actually collect samples and add primitives...
2011-11-02 13:23:10 -07:00
e10c3183c8
vm: add primitives to lift sample data to factor
2011-11-02 13:23:09 -07:00
3dd17537eb
vm: write back fixed-up code address to samples
2011-11-02 13:23:09 -07:00
e3e2788414
vm: walk code roots from sample callstacks
2011-11-02 13:23:08 -07:00
1089816b21
vm: release memory used by sampler vectors
2011-11-02 13:23:08 -07:00
40bc8459db
vm: bottom_frame method for contexts
...
ctx->callstack_bottom - 1 -- the fuck does that mean?!
2011-11-02 13:23:07 -07:00
be5c7476d7
vm: don't allocate callstack samples on data heap
...
Invoking a GC during a safepoint has some complications, so stuff the callstack samples in a vector instead.
2011-11-02 13:23:07 -07:00
b341b0ce13
vm: only show factorbug basic commands at first
...
"help" brings up the entire command list.
2011-11-02 13:23:07 -07:00
80fb7788d9
vm: groundwork for sampling profiler
...
Set up the state necessary to collect samples. We still need to add GC support for walking the sample set, and the compiler needs to register GC roots before safepoints as well. We also need primitives to expose the data to Factor for reporting.
2011-11-02 13:23:06 -07:00
cdfb1b1b94
vm: change "profiler" names to "counting_profiler"
2011-11-02 13:23:05 -07:00
186bf65a00
constants for special object hardcoded literals
2011-11-02 12:54:50 -07:00
23208e5697
vm: give factorbug a help command
...
Also change the prompt to "> _" instead of "READY\n_" since it's not 1970 anymore
2011-10-27 21:18:23 -07:00
2d5360778f
cleanups from code review
2011-10-27 21:18:23 -07:00
9eee44ce4a
vm: remove half-assed signal queueing scaffolding
...
Should implement it right later. See #297 .
2011-10-27 21:18:22 -07:00
fb2d105e83
vm: remove some debugging crumbs
2011-10-27 21:18:22 -07:00
27c43ea6a3
vm: add "gc" command to factorbug
2011-10-27 21:18:22 -07:00
8e66c7abee
vm: clean up windows ctrl-handler
2011-10-27 21:18:22 -07:00
331e4264b3
vm: some typos in debug.cpp
2011-10-27 21:18:21 -07:00
ca0dfc5730
vm: get CtrlHandler working on windows
2011-10-27 21:18:21 -07:00
6d57eb4f59
vm: update windows for resumable signals
2011-10-27 21:18:21 -07:00
9541bf14f5
vm: win32 GetCurrentThread is a fake thread handle
...
Open a real thread handle with the necessary permissions to dispatch a handler from the the Ctrl-C handler thread.
2011-10-27 21:18:21 -07:00
af0f021a94
vm: change factorbug "q" to quit process
...
Also change the docs around so the useful commands are all listed under "Basic commands", and rename the more arcane "s" and "r" dumps to "ds" and "dr".
2011-10-27 21:18:20 -07:00
5d59faa7d1
vm: move dispatch_signal_handler to cpu-x86.cpp
...
The new signal handler dispatch is logic is CISC-centric; defer fixing it until we find someone who cares
2011-10-27 21:18:20 -07:00
a6b80f3efa
vm: code_block_for_address method -> code_heap
2011-10-27 21:18:20 -07:00
03ebb91170
vm: remove signal_from_leaf flag
...
Now that the resuming from the signal handler works within leaf procedures, the flag is no longer necessary.
2011-10-27 21:18:20 -07:00
11ffea55fc
vm: sniff leaf words walking code heap, not data
2011-10-27 21:18:19 -07:00
126bf22c16
vm: include quots and profile stubs in leaf search
2011-10-27 21:18:19 -07:00
ff2d480d98
cpu.x86.32: update for resumable signal handlers
2011-10-27 21:18:19 -07:00
d6eae2f42d
vm: suppress signal-handler stack frame generation
...
This is a hack; see #295
2011-10-27 21:18:19 -07:00
7bd7d0234d
vm: turns out adding and subtracting are different
2011-10-27 21:18:19 -07:00
f284ac2b48
vm: fix foreign segfaults and callstack overflows
2011-10-27 21:18:18 -07:00
402e1155a5
vm: resumably handle signals from leaf procedures
2011-10-27 21:18:18 -07:00
1386212d23
vm: dispatch signal handlers through subprimitive
...
We also need to save C ABI volatile registers before calling the signal handler in order to be able to reliably resume. Add signal-handler and leaf-signal-handler subprimitives to preserve volatile registers before invoking the signal handler C function.
2011-10-27 21:18:18 -07:00
dca0fd3487
vm: Revert extra canary page before callstack
...
This reverts commit 7d5c8d6990385b94569116a23163d7e75ae21f49. We pretty much can't avoid unwinding frames without some more drastic redesign.
2011-10-27 21:14:50 -07:00
1a673e30f5
vm: comments should be in English
2011-10-27 21:14:50 -07:00
c3f007ce0a
vm: allocate an extra canary page before callstack
...
This will let us safely unguard the callstack overflow guard page as a grace page so the callstack overflow handler can do its business without discarding frames.
2011-10-27 21:14:49 -07:00
b0b0905460
vm: add factorbug command to throw exception
...
Also rename "q" to "c" because it "c"ontinues, remove the useless "im" command, and rename the less useful "t" to "trim" so we can use "t" to mean "throw"
2011-10-27 21:14:49 -07:00
a374c2da05
vm: sketchy signal dispatch from leaf procs
2011-10-27 21:14:49 -07:00
6e4117035e
vm: factor out dispatch_signal_handler logic
2011-10-27 21:14:49 -07:00
dc42365007
vm: fep on SIGINT or SIGQUIT instead of exception
...
It's not robust currently to raise an exception because a lot of our code that isn't already written with exceptions in mind breaks. Also, a signal is likely to be received by an FFI callback installed on the IO multiplexer, which will cause Factor to die since the callback cannot handle the exception. We need a more robust solution to dealing with SIGINT.
Also lay some groundwork for counting profile samples and reporting non-interrupting asynchronous signals.
2011-10-27 21:14:49 -07:00
1dc31d133b
vm: clean up signal handler dispatch
...
Remove the weird and broken functions fix_callstack_top and scrub_return_address. Instead, simply decrement the SP and store the PC from the front end of the signal handler so that the back end can return back into the original context normally. Currently aborts for leaf procedure frames pending a more robust solution.
2011-10-27 21:14:48 -07:00
92a5b7c300
vm: don't mix iostream and stdio
2011-10-27 21:14:48 -07:00
3726f61c70
vm: fatal_error if VM-less thread gets a signal
2011-10-27 21:14:48 -07:00
7f3d70f97f
vm: fix windows compile errors
2011-10-27 21:14:47 -07:00
d6a06cf5dc
vm: remove unguard-safepoint primitive
2011-10-27 21:14:47 -07:00
552711e903
vm: block all signals from unix stdin_loop thread
2011-10-27 21:14:47 -07:00
9865417149
vm: SetConsoleCtrlHandler on windows
2011-10-27 21:14:47 -07:00
b3e5f75c9e
vm: handle async signals at safepoints on unix
...
Factor now supports the new 4.0BSD feature of "signals".
2011-10-27 21:14:46 -07:00
9b575730bb
vm: add RT_SAFEPOINT to number_of_parameters()
2011-10-27 21:14:45 -07:00
e1465308cd
vm: add RT_SAFEPOINT relocation type
2011-10-27 21:14:44 -07:00
99804d5e3f
vm: code_heap::(un)guard_safepoint methods
2011-10-27 21:14:44 -07:00
4c8dec1e98
vm: take a page from code_heap for safepoints
2011-10-27 21:14:44 -07:00
432927fe5f
Move --no-as-needed to Config.linux since it breaks compilation on mac
2011-10-19 12:09:43 -07:00
c83d6ac411
Config.unix: don't hardcode ui libs, use pkg-config instead
2011-10-19 11:37:21 -07:00
92d24b0a8f
vm: no-op reallot_array with same size, for real
2011-10-17 21:23:01 -07:00
59f0b93290
vm: make reallot_array for same size a no-op
2011-10-17 21:23:01 -07:00
fde782cff6
vm: non-copying primitive_fread
...
primitive_fread now takes a buffer pointer argument and returns a count of bytes read instead of allocating a byte array.
2011-10-17 21:22:57 -07:00
4653df21cb
vm: remove math::bignum_producer.
2011-10-11 21:24:38 -07:00
afc07c0e05
io.binary: make le> and be> faster (20% and 75%, respectively).
...
Removed primitive byte-array>bignum and digit_stream_to_bignum from vm/.
2011-10-11 21:13:30 -07:00
Erik Charlebois
Doug Coleman
John Benediktsson
Joe Groff
Philipp Brüschweiler