diff options
| author | Thomas Munro | 2021-04-08 05:48:37 +0000 |
|---|---|---|
| committer | Thomas Munro | 2021-04-08 05:50:25 +0000 |
| commit | 2f27f8c511494cca9e0e9a4eeeb102fa9f193002 (patch) | |
| tree | 9e2e613065fb27c81be0c52e37a2b4b12ac7226d /src/tutorial/basics.source | |
| parent | 0827e8af70f4653ba17ed773f123a60eadd9f9c9 (diff) | |
Provide ReadRecentBuffer() to re-pin buffers by ID.
If you know the ID of a buffer that recently held a block that you would
like to pin, this function can be used check if it's still there. It
can be used to avoid a second lookup in the buffer mapping table after
PrefetchBuffer() reports a cache hit.
Reviewed-by: Andres Freund <andres@anarazel.de>
Discussion: https://postgr.es/m/CA+hUKGJ4VJN8ttxScUFM8dOKX0BrBiboo5uz1cq=AovOddfHpA@mail.gmail.com
Diffstat (limited to 'src/tutorial/basics.source')
0 files changed, 0 insertions, 0 deletions