PetscShmgetAddressesFinalize#

frees any shared memory that was allocated by PetscShmgetAllocateArray() but not deallocated with PetscShmgetDeallocateArray()

Synopsis#

Notes#

This prevents any shared memory allocated, but not deallocated, from remaining on the system and preventing its future use.

If the program crashes outstanding shared memory allocations may remain.

See Also#

PetscShmgetAllocateArray(), PetscShmgetDeallocateArray(), PetscShmgetUnmapAddresses()

Level#

developer

Location#

src/sys/utils/server.c


Index of all Sys routines
Table of Contents for all manual pages
Index of all manual pages