Commit Graph

218 Commits

Author SHA1 Message Date
Paul Driver
c6b9b9a63e trace in sung/sang 2018-03-05 13:39:11 -08:00
Paul Driver
6aa498ab94 fix memory leak in bytecode compiler 2018-03-05 13:38:34 -08:00
Paul Driver
c3740fa09e Merge branch 'runtime-overflows' into bytecode-mint 2018-03-05 13:20:56 -08:00
Paul Driver
f90c714942 fix profiling during equality 2018-03-05 13:20:34 -08:00
Paul Driver
5490a4c4cf stash 2018-03-05 11:12:18 -08:00
Paul Driver
7fc59254e4 slightly improve special sam opcodes 2018-02-22 14:21:33 -08:00
Paul Driver
910154b140 reaping actual bytecodes instead of recompiling 2018-02-22 13:37:00 -08:00
Paul Driver
adb9a4e437 recompiling when reaping solves generator issues 2018-02-22 11:42:29 -08:00
Paul Driver
03ae2dfffc nox_d bumps in appropriate places, remove superfluous while 2018-02-20 13:41:09 -08:00
Paul Driver
fad4db8b66 commenting out and moving around some debugging code, boot is working 2018-02-20 12:57:59 -08:00
Paul Driver
d3bfebdd1a always take in bytecode reap 2018-02-20 12:13:14 -08:00
Paul Driver
6ab1f076ce proper bytecode reaping, fix wish 2018-02-20 11:28:01 -08:00
Paul Driver
98bb18f28c bytecode promotion, small south road fix 2018-02-19 12:13:59 -08:00
Paul Driver
b08cdcf7fc correct offsets for south roads 2018-02-18 15:40:36 -08:00
Paul Driver
dc09b2cf70 fix refcounting bug in do_bump 2018-02-18 14:11:44 -08:00
Paul Driver
b95a663b59 minor improvements to the quote opcode implementation 2018-02-18 13:10:33 -08:00
Paul Driver
e3ca0ad64b renumber opcodes after samc 2018-02-18 12:55:00 -08:00
Paul Driver
3943f3fd95 some debugging convenience, proper handling of non-cons nock 5, fixed memo coded 2018-02-18 12:53:07 -08:00
Paul Driver
2a247cb859 some bugfixes, can compute memoizing fibonacci 2018-02-14 15:56:00 -08:00
Paul Driver
f0d1ee8d4f same-as-literal opcodes 2018-02-14 09:18:53 -08:00
Paul Driver
8adc247d48 slam and slat 2018-02-13 14:32:32 -08:00
Paul Driver
10413983ba lit0 and lit1 bytecodes 2018-02-13 14:17:47 -08:00
Paul Driver
a8af4dbfb5 copy-reduced interpreter can run ackermann 2018-02-13 13:54:56 -08:00
Paul Driver
b116b22bc6 retain-bytecode refactor compiles 2018-02-12 15:19:11 -08:00
Paul Driver
3ea0b3c515 stash - finished writing interpreter branches for new retaining opcodes 2018-02-12 13:21:20 -08:00
Paul Driver
945371ae46 i have a new idea... stash 2018-02-07 10:26:06 -08:00
Paul Driver
2b7f5f23b3 in-progress adding general copy elimination 2018-02-06 11:50:14 -08:00
Paul Driver
c87954b4f8 optimized some copy/quot pairs 2018-02-05 17:04:41 -08:00
Paul Driver
a60d2844c1 exorcise c stack from _n_burn 2018-02-05 15:26:17 -08:00
Paul Driver
d50f36bd51 byte version of skip, optimized stack ops 2018-02-05 13:34:11 -08:00
Paul Driver
a8b4012f15 byte versions of frag/kick 2018-02-05 11:20:34 -08:00
Paul Driver
389261be10 try compiling away all fragment axes 2018-02-05 10:27:39 -08:00
Paul Driver
17a166fa83 bytecode interpreter can run nock decrement 2018-02-02 15:28:07 -08:00
Paul Driver
232d2cccf8 fixing compile errors and warnings 2018-02-01 09:21:10 -08:00
Paul Driver
9610d59874 cleanup, comments 2018-02-01 09:04:47 -08:00
Paul Driver
9a5bd10871 wish, some bugfixes, numbered the opcodes 2018-01-31 15:10:58 -08:00
Paul Driver
62dc052760 think-o in stack hints, clarify case 6 in compiler 2018-01-31 09:36:35 -08:00
Paul Driver
8038366b52 fix memo compilation, implement several hint opcodes 2018-01-31 09:24:56 -08:00
Paul Driver
9c7f855eee kick and tick 2018-01-30 18:15:55 -08:00
Paul Driver
0e3180aea0 stash - writing it down 2018-01-30 16:27:04 -08:00
Paul Driver
d214d00e89 slightly odd syntax on _song_atom 2018-01-29 10:52:47 -08:00
Paul Driver
665e0899ad revert unification redesign, memoize-by-pointer for large equality traverses 2018-01-29 10:16:20 -08:00
Paul Driver
70f6cd4df5 unification redesign -- initial recursive version 2018-01-26 11:49:56 -08:00
Paul Driver
674af1842d whoops, left these unused macros in 2018-01-24 15:42:23 -08:00
Paul Driver
3be6b258b0 be more unified about unification (and fix a crash) 2018-01-24 15:27:21 -08:00
Paul Driver
e7a7db6b84 check heads first in sing and friends 2018-01-24 13:14:56 -08:00
Paul Driver
714d7e7608 use explicit stack in unifying equals 2018-01-23 17:22:27 -08:00
C. Guy Yarvin
98c28965cf Clean up %H. 2017-12-06 21:18:23 -08:00
C. Guy Yarvin
7cebac8144 Merge remote-tracking branch 'origin/retrofit' into retrofit-redefault 2017-12-06 16:38:40 -08:00
C. Guy Yarvin
62b20b56ee Support long ~$ symbols. 2017-12-06 16:33:24 -08:00
Ted Blackman
677a97371b New pill URL format and search through old commits 2017-12-05 17:59:20 -08:00
Ted Blackman
9a4d7fb2f4
Merge pull request #898 from joemfb/pill-s-err
checks HTTP response code when fetching pill
2017-11-29 17:00:40 -08:00
Joseph Bryan
3a782bdff9 checks HTTP response code when fetching pill 2017-11-18 21:43:23 -05:00
C. Guy Yarvin
5c2a4b0445 Merge branch 'retrofit' of https://github.com/urbit/urbit into retrofit 2017-11-17 12:49:21 -08:00
cgyarvin
3b1906bd2f
Merge pull request #897 from frodwith/hshfix
Update arm_u state correctly in _ch_buck_trim
2017-11-17 10:59:46 -08:00
C. Guy Yarvin
fafc897b62 Improved diganostics. 2017-11-16 18:35:26 -08:00
C. Guy Yarvin
f59222bba8 Fix reclaim logic bug. 2017-11-16 18:31:09 -08:00
C. Guy Yarvin
8c20c3dcdf Larger slab allocations make profiling work. 2017-11-16 11:44:52 -08:00
C. Guy Yarvin
fee009a40e Merge branch 'retrofit' of https://github.com/urbit/urbit into retrofit 2017-11-15 17:09:11 -08:00
C. Guy Yarvin
70a4dcf448 Cleanups and inlining. 2017-11-15 17:09:00 -08:00
Paul Driver
c284c800bf Update arm_u state correctly in _ch_buck_trim
Previously, trimming the penultimate value from a hash bucket would
leave arm_u in an inconsistent state: mug_w would be pointing at
a key-value pair in a node, but arm_u.buc_o and arm_u.inx_w were
not updated to reflect this. Correspondingly, a rare edge case could
occur where said key-value pair would not be marked cold (due to
buc_o), which is a semantic error.
2017-11-15 10:00:11 -08:00
cgyarvin
e202076ef3
Merge pull request #896 from frodwith/hshfix
reset inx_w after finishing a bucket
2017-11-14 16:00:41 -08:00
C. Guy Yarvin
8d5ac23ab2 Minor debugging cleanups. 2017-11-14 15:24:42 -08:00
Paul Driver
b65b23cbcb reset inx_w after finishing a bucket 2017-11-14 13:38:02 -08:00
C. Guy Yarvin
806ee33e5f Actually works this time. 2017-11-13 23:18:18 -08:00
C. Guy Yarvin
3732697153 Hashtable merge passes basic live reclaim test. 2017-11-13 22:49:34 -08:00
C. Guy Yarvin
fc53b339a4 Working with some debug stuff. 2017-11-13 20:35:34 -08:00
C. Guy Yarvin
3d2ed11bb7 Merge branch 'retrofit-cash' into retrofit 2017-11-13 09:49:37 -08:00
C. Guy Yarvin
be936e5356 Remove unnecessary printf. 2017-11-13 09:49:24 -08:00
C. Guy Yarvin
0b31bad54e Correct and disable memory tracking. 2017-11-13 09:06:10 -08:00
C. Guy Yarvin
25564c3f5f Merge remote-tracking branch 'belisarius222/hash-cash-rebase' into retrofit-cash 2017-11-12 17:51:27 -08:00
C. Guy Yarvin
abb7f1d756 Various profiling and allocation improvements. 2017-11-12 16:15:09 -08:00
C. Guy Yarvin
4e3a730804 Grab big blocks of cells for the cell allocator. 2017-11-11 18:00:35 -08:00
C. Guy Yarvin
edf45e444e Removed strange profiler-breaking code. 2017-11-10 22:50:04 -08:00
C. Guy Yarvin
36028424e6 Fix memory error. 2017-11-10 17:19:05 -08:00
C. Guy Yarvin
9117d1aabd Suppress annoying messages in GC mode. 2017-11-10 17:15:26 -08:00
Ted Blackman
34ed9c4501 trim cache and retry allocation 2017-11-10 14:07:23 -08:00
Ted Blackman
e48b4a2a72 removed printfs 2017-11-09 08:35:05 -08:00
Paul Driver
f0c410855f move arm in trim_node when not in bitmap 2017-11-09 08:35:05 -08:00
Ted Blackman
745cff44ad WIP debugging; _ch_skip_slot() and tests 2017-11-09 08:35:05 -08:00
Paul Driver
fc64882cd2 the right mask probably helps 2017-11-09 08:35:05 -08:00
Paul Driver
186ad018e3 guard for non-presence of mug in _ch_trim_node 2017-11-09 08:35:05 -08:00
Paul Driver
75d06823f6 comments 2017-11-09 08:35:05 -08:00
Paul Driver
9892d1ebfd stash - compiling 2017-11-09 08:35:05 -08:00
Paul Driver
0f5b97bf55 stash -- nearing initial hash-increment arm scheme 2017-11-09 08:35:05 -08:00
Paul Driver
495845a59f stash 2017-11-09 08:35:05 -08:00
Paul Driver
f6d30a0700 stash 2017-11-09 08:35:05 -08:00
Paul Driver
311b0b00f8 stash 2017-11-09 08:35:05 -08:00
Ted Blackman
d5c7a458c1 WIP more debugging and printfs 2017-11-09 08:35:05 -08:00
Ted Blackman
67ac716a2c WIP removed most printfs. Test runs without bail now, but dies at trim at 500 2017-11-09 08:35:05 -08:00
Ted Blackman
b0c265933f fixed broken printf 2017-11-09 08:35:05 -08:00
Ted Blackman
56c5fba1e5 WIP fixed missed slot mutation. Now dies on testcase 256 2017-11-09 08:35:05 -08:00
Ted Blackman
447ae75d46 WIP debugging. Added node_deflate() function. 2017-11-09 08:35:05 -08:00
Ted Blackman
a9492c2eef WIP debugging. Added print routines 2017-11-09 08:35:05 -08:00
Ted Blackman
c6b219ede5 WIP debugging 5:35 test case 2017-11-09 08:35:05 -08:00
Ted Blackman
5a899138dd stop deleting the wrong noun. Still need to fix trim order 2017-11-09 08:35:05 -08:00
Ted Blackman
fef7e87df8 WIP allocates 1000, but not 1000000 2017-11-09 08:35:05 -08:00
Ted Blackman
87397ad7ea very simple initial test passing 2017-11-09 08:35:05 -08:00
Ted Blackman
7a7cd53cb8 Fixed boot error 2017-11-09 08:35:05 -08:00
Ted Blackman
8977d08fcf TODO 2017-11-09 08:35:05 -08:00