Commit graph

92 commits

Author SHA1 Message Date
Niko Matsakis
b4053ad76b rename references to memoized to tracked 2022-08-04 01:42:42 -04:00
Niko Matsakis
e222cce854 rework the tutorial with the new paradigm 2022-08-04 01:31:13 -04:00
Niko Matsakis
a96cb03a05 remove #[salsa::entity], and #[salsa::tracked] 2022-08-03 09:09:22 -04:00
Niko Matsakis
41f9ca6462 update tutorial with newer input structs in mind 2022-08-03 03:50:57 -04:00
Niko Matsakis
0880be0b79 remove support for interned enums
It's nicer to just define a struct with a data field.
2022-08-03 03:43:39 -04:00
Niko Matsakis
db75a1a510 write up a new API proposal, tracked 2022-08-02 10:24:38 +03:00
Niko Matsakis
8e348f0bc8 clarify jars a bit, hopefully
Some folks were thinking that Jars were something
more complex than they are.
2022-08-02 07:57:23 +03:00
Niko Matsakis
5aabd4014d add a caveat to avoid confusion 2022-08-02 06:37:12 +03:00
Niko Matsakis
985650523e entity-based salsa preview 2022-08-01 09:24:49 +03:00
Niko Matsakis
f91923c189 switch to Option<StampedValue> for efficiency 2022-06-03 06:44:16 -04:00
Niko Matsakis
b7ac12758b update RFC 2022-06-03 06:28:23 -04:00
Niko Matsakis
1f561023cd draft RFC 2022-06-03 06:08:52 -04:00
Yifei
9abfe4f9de fix misleading type 2022-05-31 09:14:32 +00:00
Maxwell Elliot Heiber
7fba34afd9 Document how to tune Salsa 2022-02-12 10:34:11 +00:00
Niko Matsakis
796ca0fd27 move to book directory 2022-02-07 15:44:29 -05:00
bors[bot]
0f9971ad94
Merge #296
296: Slot no more: overhauled internal algorithm r=nikomatsakis a=nikomatsakis

This is the overhauled implementation that avoids slots, is more parallel friendly, and paves the way to fixed point and more expressive cycle handling.

We just spent 90 minutes going over it. [Some rough notes are available here,](https://hackmd.io/6x9f6mavTRS2imfG96tP5A) and a video will be posted soon.

You may find the [flowgraph useful](https://raw.githubusercontent.com/nikomatsakis/salsa/slot-no-more/book/src/derived-query-read.drawio.svg).



Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2022-02-07 20:30:07 +00:00
Maxwell Elliot Heiber
d80d10d0c4 Fix mdbook warning re "Potential incomplete link"
In cycle.md, change `[salsa::Cycle]`
to `salsa::Cycle` so mdbook doesn't get confused
and think there is a broken Markdown link.

The warning was as follows:

```
warning: Potential incomplete link
  ┌─ cycles.md:3:131
  │
3 │ By default, when Salsa detects a cycle in the computation graph, Salsa will panic with a [`salsa::Cycle`] as the panic value. The [`salsa::Cycle`] structure that describes the cycle, which can be useful for diagnosing what went wrong.
  │                                                                                                                                   ^^^^^^^^^^^^^^^^ Did you forget to define a URL for ``salsa::Cycle``?
  │
  = hint: declare the link's URL. For example: `[`salsa::Cycle`]: http://example.com/`
```

After fixing this problem, there are no more mdbook warnings.
2022-01-23 19:55:02 +00:00
Niko Matsakis
d4a6b24358 Update derived-query-maybe-changed-after.drawio.svg 2022-01-21 15:14:10 -05:00
Niko Matsakis
416884bdfa Update derived-query-maybe-changed-after.drawio.svg 2022-01-21 15:14:04 -05:00
Niko Matsakis
ff5c6137ac Update derived-query-maybe-changed-after.drawio.svg 2022-01-21 15:12:01 -05:00
Niko Matsakis
d69bddea9e Update derived-query-maybe-changed-after.drawio.svg 2022-01-21 15:06:47 -05:00
Niko Matsakis
be7a6ed06c Added derived-query-maybe-changed-after.drawio.svg 2022-01-21 14:58:26 -05:00
Niko Matsakis
b3242064a2 Update derived-query-read.drawio.svg to indicate fn boundaries 2022-01-21 14:55:46 -05:00
Niko Matsakis
2e0301f043 "maybe changed AFTER" in diagram 2022-01-21 13:58:15 -05:00
Niko Matsakis
1f5d701075 tweak SVG to rename "maybe changed after" 2022-01-21 13:58:15 -05:00
Niko Matsakis
e5f59cb7c9 add RFC that describes the new scheme 2022-01-21 13:58:15 -05:00
Niko Matsakis
08be38ae62 Update derived-query-read.drawio.svg 2022-01-21 13:58:15 -05:00
Niko Matsakis
fc020de9c4 s/maybe_changed_since/maybe_changed_after/ 2021-11-13 16:39:41 -05:00
Niko Matsakis
ff71d77a24 avoid overloading the term "participant" 2021-11-13 11:58:18 -05:00
Niko Matsakis
7081fe428c move the RFC contents to salsa book 2021-11-12 19:16:04 -05:00
Niko Matsakis
db2daf03e3 describe implementation in RFC 2021-11-12 09:02:40 -05:00
Niko Matsakis
b8f628d664 improve RFC guide description 2021-11-11 09:07:45 -05:00
Niko Matsakis
7c02d1910b add cycle recovery 2021-11-06 07:59:20 -04:00
Niko Matsakis
b9d748a2ae move content from rfc into book,d ocs 2021-11-06 05:29:31 -04:00
Niko Matsakis
cc2f8870c1 Cleanup edges, panics for diagram 2021-11-04 05:35:55 -04:00
Niko Matsakis
accde0ad70 doc "maybe changed since" and terminology 2021-11-04 05:29:43 -04:00
Niko Matsakis
7d66224319 start expanding the book (wip!) 2021-11-03 10:53:39 -04:00
Niko Matsakis
2f5e1d15d7 add diagram of derived query reads
Created in draw.io, should be editable from there.
2021-11-03 07:49:08 -04:00
Niko Matsakis
072184f486 FetchMaybeChanged.drawio 2021-11-03 04:23:37 -04:00
Niko Matsakis
33d47cc747 throw Cycle value directly
Do not wrap in Cancelled.
2021-11-02 12:45:42 -04:00
Niko Matsakis
ff7f5b60b0 first RFC draft 2021-11-02 07:07:22 -04:00
Niko Matsakis
f659e1d2dd docs: improve diagram, split gen. code and runtime 2021-10-31 04:30:11 -04:00
Matthijs Brobbel
b94a5f166c
Update book workflow 2021-09-28 22:03:05 +02:00
armoha
ec7a3ae3c3 Add bilibili videos links into book 2021-09-10 05:39:10 +09:00
Niko Matsakis
11c55b804d
Update RFC0008-Remove-Garbage-Collection.md 2021-06-15 15:29:42 -04:00
Niko Matsakis
1bf5757255 link RFC to PR 2021-06-06 06:08:45 -04:00
Niko Matsakis
f7dd6b3219 remove tracing garbage collection support
It is not widely used and it makes it harder to evolve Salsa.
2021-06-06 06:06:03 -04:00
Niko Matsakis
67207d8d0d update with links to implementation 2021-05-27 20:24:38 -04:00
Niko Matsakis
08cc09f7e3 nits, sp 2021-05-15 09:35:09 -04:00
Niko Matsakis
be39f5d870
Apply suggestions from code review
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
2021-05-15 09:26:28 -04:00