27 commits

Author	SHA1	Message	Date
Niko Matsakis	de934274d1	block on other threads in maybe_changed_since	2018-10-15 11:55:01 -04:00
Niko Matsakis	cf72c98946	extract register_with_in_progress_thread helper	2018-10-15 11:49:14 -04:00
Niko Matsakis	29831a7430	remove ErrorDetected variant from ProbeState	2018-10-15 09:31:25 -04:00
Niko Matsakis	a8fd113636	merge read_probe and probe	2018-10-15 09:30:08 -04:00
Niko Matsakis	be983aacdf	extract read_upgrade into a separate helper ... And use it from `maybe_changed_since` where it makes sense.	2018-10-15 08:53:52 -04:00
Niko Matsakis	2ba9c97815	rewrite to thread a Vec<Receiver> to signal waiters ... This is both more precise and the logic is simpler.	2018-10-15 08:28:55 -04:00
Niko Matsakis	373e1158f3	only acquire a read-lock when verifying inputs ... We no longer use a placeholder.	2018-10-15 05:32:24 -04:00
Niko Matsakis	04288dadef	track whether a query is in progress more accurately	2018-10-15 05:24:36 -04:00
Niko Matsakis	9d60b1e1cd	make query-descriptor-set cheaply cloneable	2018-10-14 20:15:27 -04:00
Niko Matsakis	d2c3025009	refactor probe to be more generic	2018-10-14 07:23:38 -04:00
Niko Matsakis	be08029f8c	[WIP] introduce blocking/notification	2018-10-14 06:59:43 -04:00
Niko Matsakis	da94299f19	[WIP] restructure to handle blocking (which we do not yet initiate)	2018-10-13 06:28:05 -04:00
Niko Matsakis	975eaf58d7	change InProgress to a struct form	2018-10-13 06:08:29 -04:00
Niko Matsakis	ea0b196a5d	[WIP] await_other_guard fn	2018-10-13 06:04:57 -04:00
Niko Matsakis	00c76be635	refactor derived read to only require read lock ... The old setup acquired `upgradable_read` even when the value was cached. At that point you might as well just a mutex.	2018-10-13 05:45:57 -04:00
Niko Matsakis	ca329ddd10	store the runtime-id in the InProgress indicator	2018-10-12 12:11:49 -04:00
Niko Matsakis	4f4676df60	remove a bunch of unused imports	2018-10-12 11:21:40 -04:00
Niko Matsakis	c6f78d5f27	have queries freeze the revision	2018-10-11 16:48:20 -04:00
Niko Matsakis	6778898a34	track when a value *became* constant ... Turns out we need this, as demonstrated by the included test =)	2018-10-11 04:53:49 -04:00
Niko Matsakis	16d151e4c8	add debugging APIs -- just is_constant for now	2018-10-11 04:37:29 -04:00
Niko Matsakis	1afca5d505	add a Constant for ChangedAt	2018-10-09 20:36:29 -04:00
Aleksey Kladov	74486afdec	elide some lifetimes	2018-10-10 00:44:26 +03:00
Aleksey Kladov	f28e8c1be5	disable in-band lifetimes	2018-10-09 22:39:03 +03:00
Niko Matsakis	0dd96865c7	refactor to unwrap less	2018-10-09 15:11:57 -04:00
Niko Matsakis	6658a47a36	rename is_volatile to should_track_inputs	2018-10-09 13:28:33 -04:00
Niko Matsakis	c93868c9dc	make volatile queries memoize ... This ensures consistency of results.	2018-10-09 12:41:56 -04:00
Niko Matsakis	7c65d07ea6	rename from WeakMemoizedStorage to DerivedStorage	2018-10-09 12:15:33 -04:00

Renamed from src/memoized.rs (Browse further)