pgsql: Extend dsm API with a new function dsm_unpin_mapping.

Extend dsm API with a new function dsm_unpin_mapping.

This reassociates a dynamic shared memory handle previous passed to
dsm_pin_mapping with the current resource owner, so that it will be
cleaned up at the end of the current query.

Patch by me.  Review of the function name by Andres Freund, Amit
Kapila, Jim Nasby, Petr Jelinek, and Álvaro Herrera.

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/f7102b04638a882b38cbba7670471a073a939865

Modified Files
--------------
src/backend/storage/ipc/dsm.c |   18 ++++++++++++++++++
src/include/storage/dsm.h     |    1 +
2 files changed, 19 insertions(+)