pgsql: Provide ReadRecentBuffer() to re-pin buffers by ID.

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(at)anarazel(dot)de>
Discussion: https://postgr.es/m/CA+hUKGJ4VJN8ttxScUFM8dOKX0BrBiboo5uz1cq=AovOddfHpA@mail.gmail.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/2f27f8c511494cca9e0e9a4eeeb102fa9f193002

Modified Files
--------------
src/backend/storage/buffer/bufmgr.c | 78 +++++++++++++++++++++++++++++++++++++
src/include/storage/bufmgr.h | 2 +
2 files changed, 80 insertions(+)