28 commits

Author	SHA1	Message	Date
Niko Matsakis	7c65d07ea6	rename from WeakMemoizedStorage to DerivedStorage	2018-10-09 12:15:33 -04:00
Niko Matsakis	5ad0049b9f	merge volatile and memoized queries	2018-10-09 12:14:09 -04:00
Niko Matsakis	2d6e454638	add the idea of "untracked reads" and use it to optimize volatile ... Now we won't be tracking the inputs to a volatile query, since we don't care about them anyway.	2018-10-09 11:04:25 -04:00
Niko Matsakis	1e6bfc7fdd	introduce a callback into execute_query_implementation	2018-10-09 10:26:33 -04:00
Niko Matsakis	30236cc110	introduce a new helper, verify_inputs	2018-10-09 09:27:59 -04:00
Niko Matsakis	296d33aae7	factor out ChangedAt to record when something changed	2018-10-09 08:53:13 -04:00
Niko Matsakis	4efbd411fa	check with old_memo.value.is_some() before revalidating inputs	2018-10-09 08:40:53 -04:00
Niko Matsakis	f04d66fce4	rename to MemoizationPolicy	2018-10-09 08:39:41 -04:00
Niko Matsakis	067e478e48	correct spelling, add spacing between fields	2018-10-09 08:37:57 -04:00
Aleksey Kladov	b411d51a05	Merge Memoized and Dependency storages ... closes #18	2018-10-06 20:15:12 +03:00
Niko Matsakis	0225fc615c	add a set_unchecked method that can be used to do mocking in tests	2018-10-05 15:23:17 -04:00
Niko Matsakis	84dca313f7	factor out a QueryFunction trait -- inputs don't implement it	2018-10-05 04:59:33 -04:00
Niko Matsakis	a4fb4b7b13	rename query context to database	2018-10-05 04:54:51 -04:00
Niko Matsakis	5472cfdbc8	simplify the logic by using changed_at and not verified_at ... I think they are actually equivalent, as we have already fond that the inputs did not change in the range `changed_at..=verified_at`.	2018-10-01 13:20:18 -04:00
Niko Matsakis	5a802ae05c	add a helper method overwrite_placeholder	2018-10-01 08:40:15 -04:00
Niko Matsakis	5849af83ac	track the "changed at" revision for every query read as well	2018-10-01 08:40:14 -04:00
Niko Matsakis	436d4d5084	combine changed_at and value into a stamped value in the Memo	2018-10-01 08:39:50 -04:00
Niko Matsakis	b5d1ba9000	extract StampedValue into the runtime module	2018-10-01 08:39:50 -04:00
Niko Matsakis	e2da42d36a	add "input" storage	2018-09-30 10:22:11 -04:00
Niko Matsakis	9bfd8ebbfa	add debugging, get incremental test working	2018-09-30 07:28:22 -04:00
Niko Matsakis	4f04f9335c	implement maybe_changed_since for volatile, fix comments	2018-09-30 06:09:06 -04:00
Niko Matsakis	b12b607db2	have query-descriptors invoke maybe_changed_since	2018-09-30 06:04:09 -04:00
Niko Matsakis	4449e97944	start threading through inputs and revision information	2018-09-29 10:19:10 -04:00
Niko Matsakis	907fe96628	add a Memoized struct	2018-09-29 07:24:53 -04:00
Niko Matsakis	2e40e9d1e5	rename BaseQueryContext to just QueryContext ... And use it like `salsa::QueryContext` elsewhere.	2018-09-29 05:34:29 -04:00
Niko Matsakis	288fe5b25f	add a "runtime" and use that from query context impls	2018-09-29 05:31:26 -04:00
Niko Matsakis	ed92e0f408	keep QueryState private	2018-09-28 17:47:40 -04:00
Niko Matsakis	fcd8e97500	rename storage to memoized	2018-09-28 17:47:09 -04:00

Renamed from src/storage.rs (Browse further)