Conceptintro
Cache-aside pattern
Also called lazy loading, look-aside cache.
The application reads the cache, falls back to the store, then populates the cache.
The application reads the cache, falls back to the store, then populates the cache.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag XJRN9K Edit this page History Report an error