308 Commits

Author	SHA1	Message	Date
Paul Driver	bb76625c4e	keeping batteries for no reason	2018-04-16 16:54:20 -07:00
Paul Driver	3c7317a1a4	registration site caching	2018-04-14 14:57:12 -07:00
Paul Driver	4c482af711	fixed memoization, memory problems in reap	2018-04-13 13:32:31 -07:00
Paul Driver	ed58c5f267	stash - jacks kernel successfully	2018-04-12 17:14:40 -07:00
Paul Driver	4959d951b0	stash - first pass & compile	2018-04-12 11:31:42 -07:00
Paul Driver	c619f27b08	stash	2018-04-11 16:30:57 -07:00
Paul Driver	d25b3d04b1	use walk_with in u3j_ream	2018-04-04 11:51:21 -07:00
Paul Driver	c027d8aca4	fix (untriggered) memory leak in _cj_hook_in)	2018-04-03 20:28:44 -07:00
Paul Driver	cd342ab1c1	make come and flee more atomic ... profiler and mememory checker are working properly now (and together)	2018-04-02 18:38:33 -07:00
Paul Driver	3b7e9eca0b	Merge branch 'bytecode-mint' into spot-check	2018-04-02 14:08:51 -07:00
Paul Driver	03763e4817	fix profiling leaks	2018-04-02 14:08:28 -07:00
Paul Driver	41fd9cf287	surface allocate label in profile sample	2018-04-02 11:39:03 -07:00
Paul Driver	9b00b2084d	fix memory errors in ream: boot and resume now pass memory checker	2018-03-31 15:15:29 -07:00
Paul Driver	a078e03f33	fix a memory leak in u3j_spot	2018-03-31 14:27:19 -07:00
Paul Driver	4fc65663c6	more bugfixes: now boots and restores from checkpoint	2018-03-31 13:51:41 -07:00
Paul Driver	b8506c70ea	bugfixes	2018-03-30 13:01:03 -07:00
Paul Driver	a61ed7df17	fix compile errors	2018-03-30 11:49:18 -07:00
Paul Driver	78d4d79959	a clarifying comment	2018-03-30 11:17:48 -07:00
Paul Driver	58e21b4d2e	housekeeping	2018-03-30 11:16:05 -07:00
Paul Driver	04d210509a	initial rewrite of dashboard	2018-03-30 11:13:48 -07:00
Paul Driver	a4a2a38ce8	stash commit for interested onlookers	2018-03-29 16:18:22 -07:00
Paul Driver	a5e55372e9	stash before changing dashboard yet again	2018-03-29 11:56:09 -07:00
Paul Driver	e82f4c617e	that should do for _cj_hook_in...	2018-03-28 11:27:33 -07:00
Paul Driver	f73408979b	most logic thru u3j_kick moved to new dashboard	2018-03-26 13:25:23 -07:00
Paul Driver	2c8f8b0846	stash	2018-03-26 09:58:36 -07:00
Paul Driver	e68d64f8f9	Merge branch 'charm' into bytecode-mint	2018-03-19 10:11:01 -07:00
Paul Driver	c1f4c7fcb3	change overflow check to short	2018-03-15 16:58:04 -07:00
Paul Driver	e1d724e084	tightening down song_x even further, offloading book-keeping to a seperate helper function	2018-03-15 15:51:35 -07:00
Paul Driver	93d54041a9	tightening up unifying equality in several small ways	2018-03-15 15:06:53 -07:00
Paul Driver	3c54440c82	mov/off optimization for unifying equality	2018-03-15 13:07:22 -07:00
Paul Driver	1871595b57	add bytecode free functions	2018-03-12 10:58:41 -07:00
Paul Driver	a2a0f3ae6a	code cleanup	2018-03-12 10:45:04 -07:00
Paul Driver	bf8ac6fc37	bytecode interpreter passes memory checker	2018-03-09 16:38:55 -08:00
Paul Driver	42c460ed3b	midway through adding making for bytecode	2018-03-09 16:04:47 -08:00
Paul Driver	16e3e5cf6a	Merge branch 'unbreak-euq' into bytecode-mint	2018-03-09 10:57:07 -08:00
Paul Driver	73469e3383	remove well-intentioned equality profile breakage ... process sampling already takes care to turn off cpu profiling during its sampling. this "fix" for mid-equality sampling was masking another bug at an earlier point in the debugging process for the unifying equality changes. I realized upon reflection that it was incorrect.	2018-03-09 10:42:19 -08:00
Paul Driver	3ed1ffda80	Merge branch 'runtime-overflows' into bytecode-mint	2018-03-05 13:39:26 -08:00
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
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