Commit Graph

318 Commits

Author SHA1 Message Date
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
C. Guy Yarvin
37384be9a7 Support experimental macros with fab. 2018-01-31 15:57:43 -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
C. Guy Yarvin
453c8a3e9f Unwind stacks by iterative copy. 2018-01-29 18:54:26 -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
0df247f9a2 ut_find debugging branch with jet disabled. 2017-12-17 16:29:54 -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
Ted Blackman
c3960af239 WIP caching hashtable. Compiles but bails on boot. 2017-11-09 08:35:05 -08:00
C. Guy Yarvin
90b58eb9ff Correct memory leak code stack. 2017-11-08 14:20:22 -08:00
C. Guy Yarvin
7ddcc66903 Uniform memoization convention. 2017-11-08 14:19:48 -08:00
C. Guy Yarvin
1fc5878aba Better memory leak tracking with jet codes. 2017-11-08 14:04:11 -08:00
Ted Blackman
4843234a78 check for -A 2017-10-30 03:43:03 -07:00
Ted Blackman
58f8c76011 minor cleanup 2017-10-30 03:25:41 -07:00
Ted Blackman
e852389fd2 -s pill from arvo's git hash and branch 2017-10-30 03:17:14 -07:00
Ted Blackman
bef3f128b4 _arvo_hash() function works 2017-10-27 17:12:57 -07:00
Ted Blackman
36e775b938 -u <pill url> command-line option 2017-10-27 09:19:39 -07:00
C. Guy Yarvin
9253613738 Let's not encrypt (because encryption is now in zuse). 2017-09-27 17:28:11 -07:00
C. Guy Yarvin
68c6adf3e1 Retrofit. 2017-09-25 18:18:35 -07:00
Raymond Pasco
eaab4ea4c9 Merge branches 'retrieve_h' and 'janitor', remote-tracking branch 'jfranklin9000/maint-mass' into maint-0.4 2017-06-28 09:30:30 -04:00
John Franklin
7837413ae5 typo: shouln't -> shouldn't 2017-06-28 09:28:10 -04:00
Raymond Pasco
311931d04a Merge branches 'u3x_hext' and 'andthus' into maint-0.4 2017-06-24 11:40:02 -04:00
John Franklin
22c20ab8b2 Added function noun/xtract.c:u3x_hext(). 2017-06-24 11:36:46 -04:00
Raymond Pasco
d7ac91a09f Backport _sung_one changes 2017-05-11 06:57:18 -04:00
Raymond Pasco
20b38fb84d Properly working _boot_home()
Awful hack - there is more than one place where the various pier
directories are created, sadly. So the best we can do without the real
great boot sequence refactoring is this flaky test for urbit.pill's
presence, and removing the error tests from mkdir() calls...
2016-09-22 02:02:14 -04:00
Raymond Pasco
4fa0aae468 Check for existence in _boot_home() 2016-09-20 19:24:34 -04:00
Raymond Pasco
b8dcc5f17d Fetch pill from bootstrap site if not specified 2016-08-29 15:30:27 -04:00
Raymond Pasco
8d43f39a4a Link with libcurl 2016-08-29 14:26:03 -04:00
Raymond Pasco
3434f2bd9c Move pier directory creation to beginning of boot
This is the smallest refactor that works.
2016-08-29 14:12:27 -04:00
Raymond Pasco
7291f72f59 Use pil_c rather than U3_LIB to boot pill 2016-08-28 13:12:49 -04:00
Raymond Pasco
32df11b251 Merge commit 'cgyarvin/remap^'
Automatic loom base mapping
2016-07-19 14:53:09 -07:00
Philip C Monk
9358e367ae fix install link 2016-07-08 16:11:24 -04:00
C. Guy Yarvin
4e24a9ad63 Show the alternate mapping address. 2016-06-19 00:09:57 -07:00
Raymond Pasco
df9c782bb1 Merge remote-tracking branches 'frodwith/nomugbuf', 'torchhound/torchhound', 'freekh/master' and 'davis68/master'
remove code duplication (_mug_words_buf)
Fix 64-bit comet typo in README.md
Fix #735: misleading indent compile error on gcc 6
Change readme to refer to HTTP instead of HTTPS.
2016-06-02 13:24:29 -04:00
Fredrik Ekholdt
6fb07df84c Fixes #735: misleading indent on gcc 6 2016-06-02 09:05:43 +02:00
Paul Driver
294afb9cc6 remove code duplication (_mug_words_buf) 2016-05-05 14:42:17 -07:00
C. Guy Yarvin
5451cafe7e Take fat lives. 2016-02-23 11:45:28 -08:00
C. Guy Yarvin
b6160f00bb Forgot u3t_on. 2016-02-23 11:18:14 -08:00
C. Guy Yarvin
25c6621d05 Notice %live hint. 2016-02-23 10:57:34 -08:00
C. Guy Yarvin
ce4ef7aab0 Put [~ ~] 11 failures on the trace stack. 2016-02-18 13:39:45 -08:00
C. Guy Yarvin
35a385e81c Fully shifted over to modern typed namespace. 2016-02-03 20:51:01 -08:00
C. Guy Yarvin
b26fd40636 More typed .^. 2016-02-03 13:33:43 -08:00
C. Guy Yarvin
27ff65f81f Merge remote-tracking branch 'cgyarvin/newdeal' into newdeal 2016-02-02 14:13:21 -08:00
C. Guy Yarvin
4b92cd2685 Making typed .^ a little less fake. 2016-02-02 11:52:10 -08:00
C. Guy Yarvin
4042253eeb Merge remote-tracking branch 'upstream/master' into newdeal 2016-01-31 20:37:49 -08:00
C. Guy Yarvin
eca8938c2b Some zpgr rationalization. 2016-01-26 11:03:05 -08:00
C. Guy Yarvin
e7187ea771 .^ fully transitioned. 2016-01-25 16:47:58 -08:00
C. Guy Yarvin
3d3e1ebb4d Double solid with .# support, still a bit flaky. 2016-01-25 13:29:30 -08:00
C. Guy Yarvin
c51553dfa7 Vanquish a find jet bug, hopefully the last. 2016-01-23 19:11:42 -08:00
C. Guy Yarvin
fdcd587768 Now this is strange. Committing NO_OVERFLOW. 2016-01-23 17:43:15 -08:00
C. Guy Yarvin
6485aa13c6 Clean up more leak. 2016-01-23 17:37:49 -08:00
C. Guy Yarvin
7c7c4a0368 ut_find *almost* works, but can't self-compile... 2016-01-22 15:43:56 -08:00
C. Guy Yarvin
7b75e647da Better wiring for find testing. 2016-01-21 11:13:27 -08:00
C. Guy Yarvin
baaa74dae1 Tentatively applying forq. 2016-01-10 20:23:32 -08:00
C. Guy Yarvin
67e95f963f Generating entirely %moat. 2015-12-27 15:26:23 -05:00
Dan Haffey
950bfddd57 Fix stack overflow handling in Linux? 2015-12-17 19:30:44 -08:00
C. Guy Yarvin
12be0be7c2 Fino jetted. 2015-11-28 06:03:01 -08:00
C. Guy Yarvin
69b8603fa2 URL printing; doc and usability fixes. 2015-11-20 18:10:45 -05:00
vere
7f1b5d2ae8 Proper double-word merge. 2015-11-06 22:08:58 +00:00
C. Guy Yarvin
a1c4465622 A bunch of minor doc/message fixes. 2015-11-05 13:26:23 -08:00
C. Guy Yarvin
1fedcb9b72 Profiling fix 2015-10-26 17:51:46 -04:00
John Franklin
5d8bffd11b print loom and fix a range calculation in u3e_fault() 2015-10-19 10:10:23 -05:00
C. Guy Yarvin
e92012984c Doc fixes and changes to match. 2015-10-09 18:31:07 -07:00
Anton Dyudin
dec6320b82 newline on bail 2015-09-09 16:52:53 -07:00
Anton Dyudin
118b2c2b0e Merge branch 'apps' into test 2015-08-31 17:06:12 -07:00
Philip C Monk
7053470829 minor rearchitecting 2015-08-26 18:21:21 -04:00
Raymond Pasco
884b96831b Merge remote-tracking branch 'max19/newfp' into test
Conflicts:
	urb/urbit.pill
2015-08-05 12:37:30 -04:00
Max G
d3f97e6626 remove sse3 mode-setting 2015-08-05 01:48:46 +03:00
Max G
ac23f4ac70 a bunch of stuff 2015-07-29 23:43:55 +03:00
Raymond Pasco
ffd2abbbe8 ifdef out watermark stuff 2015-07-15 15:14:41 -04:00
C. Guy Yarvin
47d3bcd918 Moar printfs. 2015-07-15 15:14:41 -04:00
C. Guy Yarvin
8056960881 Initial commit of memory-bug. 2015-07-15 15:14:41 -04:00
C. Guy Yarvin
46d4373103 Abort on oops/foul. 2015-07-14 11:58:46 -07:00
C. Guy Yarvin
67138a7961 Abort for oops or foul. 2015-07-14 11:57:02 -07:00
Philip C Monk
d109de1dbc cosmetic 2015-07-01 18:28:55 -04:00
Philip C Monk
9edda1bb73 descriptive names for c files
fixes #294
2015-06-23 21:29:11 -04:00