xref: /petsc/src/sys/objects/garbage.c (revision 6a210b70a61472cf8733db59e8a3fa68f6578c01)
162e5d2d2SJDBetteridge #include <petsc/private/garbagecollector.h>
262e5d2d2SJDBetteridge 
362e5d2d2SJDBetteridge /* Fetches garbage hashmap from communicator */
462e5d2d2SJDBetteridge static PetscErrorCode GarbageGetHMap_Private(MPI_Comm comm, PetscGarbage *garbage)
562e5d2d2SJDBetteridge {
662e5d2d2SJDBetteridge   PetscMPIInt  flag;
762e5d2d2SJDBetteridge   PetscHMapObj garbage_map;
862e5d2d2SJDBetteridge 
962e5d2d2SJDBetteridge   PetscFunctionBegin;
1062e5d2d2SJDBetteridge   PetscCallMPI(MPI_Comm_get_attr(comm, Petsc_Garbage_HMap_keyval, garbage, &flag));
1162e5d2d2SJDBetteridge   if (!flag) {
1262e5d2d2SJDBetteridge     /* No garbage,create one */
1362e5d2d2SJDBetteridge     PetscCall(PetscHMapObjCreate(&garbage_map));
1462e5d2d2SJDBetteridge     garbage->map = garbage_map;
1562e5d2d2SJDBetteridge     PetscCallMPI(MPI_Comm_set_attr(comm, Petsc_Garbage_HMap_keyval, garbage->ptr));
1662e5d2d2SJDBetteridge   }
173ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
1862e5d2d2SJDBetteridge }
1962e5d2d2SJDBetteridge 
2062e5d2d2SJDBetteridge /*@C
2162e5d2d2SJDBetteridge   PetscObjectDelayedDestroy - Adds an object to a data structure for
2262e5d2d2SJDBetteridge   later destruction.
2362e5d2d2SJDBetteridge 
2462e5d2d2SJDBetteridge   Not Collective
2562e5d2d2SJDBetteridge 
262fe279fdSBarry Smith   Input Parameter:
2762e5d2d2SJDBetteridge . obj - object to be destroyed
2862e5d2d2SJDBetteridge 
2921532e8aSBarry Smith   Level: developer
3021532e8aSBarry Smith 
3162e5d2d2SJDBetteridge   Notes:
3262e5d2d2SJDBetteridge   Analogue to `PetscObjectDestroy()` for use in managed languages.
3362e5d2d2SJDBetteridge 
3462e5d2d2SJDBetteridge   A PETSc object is given a creation index at initialisation based on
3562e5d2d2SJDBetteridge   the communicator it was created on and the order in which it is
3662e5d2d2SJDBetteridge   created. When this function is passed a PETSc object, a pointer to
3721532e8aSBarry Smith   the object is stashed on a garbage dictionary (`PetscHMapObj`) which is
3862e5d2d2SJDBetteridge   keyed by its creation index.
3962e5d2d2SJDBetteridge 
4062e5d2d2SJDBetteridge   Objects stashed on this garbage dictionary can later be destroyed
4162e5d2d2SJDBetteridge   with a call to `PetscGarbageCleanup()`.
4262e5d2d2SJDBetteridge 
4362e5d2d2SJDBetteridge   This function is intended for use with managed languages such as
4462e5d2d2SJDBetteridge   Python or Julia, which may not destroy objects in a deterministic
4562e5d2d2SJDBetteridge   order.
4662e5d2d2SJDBetteridge 
47b0ed7cdaSConnor Ward   Serial objects (that have a communicator with size 1) are destroyed
48b0ed7cdaSConnor Ward   eagerly since deadlocks cannot occur.
49b0ed7cdaSConnor Ward 
5021532e8aSBarry Smith .seealso: `PetscGarbageCleanup()`, `PetscObjectDestroy()`
5162e5d2d2SJDBetteridge @*/
5262e5d2d2SJDBetteridge PetscErrorCode PetscObjectDelayedDestroy(PetscObject *obj)
5362e5d2d2SJDBetteridge {
54b0ed7cdaSConnor Ward   MPI_Comm     comm;
55b0ed7cdaSConnor Ward   PetscMPIInt  size;
5662e5d2d2SJDBetteridge   PetscInt     count;
5762e5d2d2SJDBetteridge   PetscGarbage garbage;
5862e5d2d2SJDBetteridge 
5962e5d2d2SJDBetteridge   PetscFunctionBegin;
604f572ea9SToby Isaac   PetscAssertPointer(obj, 1);
6162e5d2d2SJDBetteridge   /* Don't stash NULL pointers */
6262e5d2d2SJDBetteridge   if (*obj != NULL) {
6362e5d2d2SJDBetteridge     /* Elaborate check for getting non-cyclic reference counts */
6462e5d2d2SJDBetteridge     if (!(*obj)->non_cyclic_references) {
6562e5d2d2SJDBetteridge       count = --(*obj)->refct;
6662e5d2d2SJDBetteridge     } else {
6762e5d2d2SJDBetteridge       PetscCall((*obj)->non_cyclic_references(*obj, &count));
6862e5d2d2SJDBetteridge       --count;
6962e5d2d2SJDBetteridge       --(*obj)->refct;
7062e5d2d2SJDBetteridge     }
7162e5d2d2SJDBetteridge     /* Only stash if the (non-cyclic) reference count hits 0 */
7262e5d2d2SJDBetteridge     if (count == 0) {
7362e5d2d2SJDBetteridge       (*obj)->refct = 1;
74b0ed7cdaSConnor Ward       PetscCall(PetscObjectGetComm(*obj, &comm));
75b0ed7cdaSConnor Ward       PetscCallMPI(MPI_Comm_size(comm, &size));
76b0ed7cdaSConnor Ward       /* Eagerly destroy serial objects */
77b0ed7cdaSConnor Ward       if (size == 1) {
78b0ed7cdaSConnor Ward         PetscCall(PetscObjectDestroy(obj));
79b0ed7cdaSConnor Ward       } else {
80b0ed7cdaSConnor Ward         PetscCall(GarbageGetHMap_Private(comm, &garbage));
8162e5d2d2SJDBetteridge         PetscCall(PetscHMapObjSet(garbage.map, (*obj)->cidx, *obj));
8262e5d2d2SJDBetteridge       }
8362e5d2d2SJDBetteridge     }
84b0ed7cdaSConnor Ward   }
8562e5d2d2SJDBetteridge   *obj = NULL;
863ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
8762e5d2d2SJDBetteridge }
8862e5d2d2SJDBetteridge 
8962e5d2d2SJDBetteridge /* Performs the intersection of 2 sorted arrays seta and setb of lengths
9062e5d2d2SJDBetteridge    lena and lenb respectively,returning the result in seta and lena
9162e5d2d2SJDBetteridge    This is an O(n) operation */
9262e5d2d2SJDBetteridge static PetscErrorCode GarbageKeySortedIntersect_Private(PetscInt64 seta[], PetscInt *lena, PetscInt64 setb[], PetscInt lenb)
9362e5d2d2SJDBetteridge {
9462e5d2d2SJDBetteridge   /* The arrays seta and setb MUST be sorted! */
95b0271995SJDBetteridge   PetscInt ii, jj = 0, counter = 0;
9662e5d2d2SJDBetteridge 
9762e5d2d2SJDBetteridge   PetscFunctionBegin;
9862e5d2d2SJDBetteridge   if (PetscDefined(USE_DEBUG)) {
9962e5d2d2SJDBetteridge     PetscBool sorted = PETSC_FALSE;
10062e5d2d2SJDBetteridge     /* In debug mode check whether the array are sorted */
10162e5d2d2SJDBetteridge     PetscCall(PetscSortedInt64(*lena, seta, &sorted));
10279528a3fSJDBetteridge     PetscCheck(sorted, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Provided array in argument 1 is not sorted");
10362e5d2d2SJDBetteridge     PetscCall(PetscSortedInt64(lenb, setb, &sorted));
10479528a3fSJDBetteridge     PetscCheck(sorted, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Provided array in argument 3 is not sorted");
10562e5d2d2SJDBetteridge   }
10662e5d2d2SJDBetteridge   for (ii = 0; ii < *lena; ii++) {
107aa624791SPierre Jolivet     while (jj < lenb && seta[ii] > setb[jj]) jj++;
108b0271995SJDBetteridge     if (jj >= lenb) break;
109b0271995SJDBetteridge     if (seta[ii] == setb[jj]) {
11062e5d2d2SJDBetteridge       seta[counter] = seta[ii];
11162e5d2d2SJDBetteridge       counter++;
11262e5d2d2SJDBetteridge     }
11362e5d2d2SJDBetteridge   }
114b0271995SJDBetteridge 
11562e5d2d2SJDBetteridge   *lena = counter;
1163ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
11762e5d2d2SJDBetteridge }
11862e5d2d2SJDBetteridge 
11962e5d2d2SJDBetteridge /* Wrapper to create MPI reduce operator for set intersection */
12062e5d2d2SJDBetteridge void PetscGarbageKeySortedIntersect(void *inset, void *inoutset, PetscMPIInt *length, MPI_Datatype *dtype)
12162e5d2d2SJDBetteridge {
12262e5d2d2SJDBetteridge   PetscInt64 *seta, *setb;
12362e5d2d2SJDBetteridge 
12462e5d2d2SJDBetteridge   seta = (PetscInt64 *)inoutset;
12562e5d2d2SJDBetteridge   setb = (PetscInt64 *)inset;
12662e5d2d2SJDBetteridge 
1273ba16761SJacob Faibussowitsch   PetscCallAbort(PETSC_COMM_SELF, GarbageKeySortedIntersect_Private(&seta[1], (PetscInt *)&seta[0], &setb[1], (PetscInt)setb[0]));
12862e5d2d2SJDBetteridge }
12962e5d2d2SJDBetteridge 
13062e5d2d2SJDBetteridge /* Performs a collective allreduce intersection of one array per rank */
1318e89d99cSJDBetteridge PetscErrorCode GarbageKeyAllReduceIntersect_Private(MPI_Comm comm, PetscInt64 *set, PetscInt *entries)
13262e5d2d2SJDBetteridge {
13362e5d2d2SJDBetteridge   PetscInt     ii, max_entries;
13462e5d2d2SJDBetteridge   PetscInt64  *sendset, *recvset;
13562e5d2d2SJDBetteridge   MPI_Datatype keyset_type;
1366497c311SBarry Smith   PetscMPIInt  imax_entries;
13762e5d2d2SJDBetteridge 
13862e5d2d2SJDBetteridge   PetscFunctionBegin;
13962e5d2d2SJDBetteridge   /* Sort keys first for use with `GarbageKeySortedIntersect_Private()`*/
14062e5d2d2SJDBetteridge   PetscCall(PetscSortInt64(*entries, set));
14162e5d2d2SJDBetteridge 
14262e5d2d2SJDBetteridge   /* Get the maximum size of all key sets */
143712fec58SPierre Jolivet   PetscCall(MPIU_Allreduce(entries, &max_entries, 1, MPIU_INT, MPI_MAX, comm));
14462e5d2d2SJDBetteridge   PetscCall(PetscMalloc1(max_entries + 1, &sendset));
14562e5d2d2SJDBetteridge   PetscCall(PetscMalloc1(max_entries + 1, &recvset));
14662e5d2d2SJDBetteridge   sendset[0] = (PetscInt64)*entries;
14762e5d2d2SJDBetteridge   for (ii = 1; ii < *entries + 1; ii++) sendset[ii] = set[ii - 1];
14862e5d2d2SJDBetteridge 
14962e5d2d2SJDBetteridge   /* Create a custom data type to hold the set */
1506497c311SBarry Smith   PetscCall(PetscMPIIntCast(max_entries, &imax_entries));
1516497c311SBarry Smith   PetscCallMPI(MPI_Type_contiguous(imax_entries + 1, MPIU_INT64, &keyset_type));
15262e5d2d2SJDBetteridge   /* PetscCallMPI(MPI_Type_set_name(keyset_type,"PETSc garbage key set type")); */
15362e5d2d2SJDBetteridge   PetscCallMPI(MPI_Type_commit(&keyset_type));
15462e5d2d2SJDBetteridge 
15562e5d2d2SJDBetteridge   /* Perform custom intersect reduce operation over sets */
156*6a210b70SBarry Smith   PetscCallMPI(MPIU_Allreduce(sendset, recvset, 1, keyset_type, Petsc_Garbage_SetIntersectOp, comm));
15762e5d2d2SJDBetteridge 
15862e5d2d2SJDBetteridge   PetscCallMPI(MPI_Type_free(&keyset_type));
15962e5d2d2SJDBetteridge 
16062e5d2d2SJDBetteridge   *entries = (PetscInt)recvset[0];
16162e5d2d2SJDBetteridge   for (ii = 0; ii < *entries; ii++) set[ii] = recvset[ii + 1];
16262e5d2d2SJDBetteridge 
16362e5d2d2SJDBetteridge   PetscCall(PetscFree(sendset));
16462e5d2d2SJDBetteridge   PetscCall(PetscFree(recvset));
1653ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
16662e5d2d2SJDBetteridge }
16762e5d2d2SJDBetteridge 
16862e5d2d2SJDBetteridge /*@C
16962e5d2d2SJDBetteridge   PetscGarbageCleanup - Destroys objects placed in the garbage by
17021532e8aSBarry Smith   `PetscObjectDelayedDestroy()`.
17162e5d2d2SJDBetteridge 
17262e5d2d2SJDBetteridge   Collective
17362e5d2d2SJDBetteridge 
1742fe279fdSBarry Smith   Input Parameter:
17521532e8aSBarry Smith . comm - MPI communicator over which to perform collective cleanup
17621532e8aSBarry Smith 
17721532e8aSBarry Smith   Level: developer
17862e5d2d2SJDBetteridge 
17962e5d2d2SJDBetteridge   Notes:
18062e5d2d2SJDBetteridge   Implements a collective garbage collection.
18162e5d2d2SJDBetteridge   A per- MPI communicator garbage dictionary is created to store
18221532e8aSBarry Smith   references to objects destroyed using `PetscObjectDelayedDestroy()`.
18321532e8aSBarry Smith   Objects that appear in this dictionary on all MPI processes can be destroyed
18421532e8aSBarry Smith   by calling `PetscGarbageCleanup()`.
18562e5d2d2SJDBetteridge 
18610450e9eSJacob Faibussowitsch   This is done as follows\:
18762e5d2d2SJDBetteridge   1.  Keys of the garbage dictionary, which correspond to the creation
18862e5d2d2SJDBetteridge   indices of the objects stashed, are sorted.
18962e5d2d2SJDBetteridge   2.  A collective intersection of dictionary keys is performed by all
19062e5d2d2SJDBetteridge   ranks in the communicator.
19162e5d2d2SJDBetteridge   3.  The intersection is broadcast back to all ranks in the
19262e5d2d2SJDBetteridge   communicator.
19362e5d2d2SJDBetteridge   4.  The objects on the dictionary are collectively destroyed in
19462e5d2d2SJDBetteridge   creation index order using a call to PetscObjectDestroy().
19562e5d2d2SJDBetteridge 
19662e5d2d2SJDBetteridge   This function is intended for use with managed languages such as
19762e5d2d2SJDBetteridge   Python or Julia, which may not destroy objects in a deterministic
19862e5d2d2SJDBetteridge   order.
19962e5d2d2SJDBetteridge 
200aec76313SJacob Faibussowitsch .seealso: `PetscObjectDelayedDestroy()`
20162e5d2d2SJDBetteridge @*/
20262e5d2d2SJDBetteridge PetscErrorCode PetscGarbageCleanup(MPI_Comm comm)
20362e5d2d2SJDBetteridge {
20462e5d2d2SJDBetteridge   PetscInt     ii, entries, offset;
20562e5d2d2SJDBetteridge   PetscInt64  *keys;
20662e5d2d2SJDBetteridge   PetscObject  obj;
20762e5d2d2SJDBetteridge   PetscGarbage garbage;
20862e5d2d2SJDBetteridge 
20962e5d2d2SJDBetteridge   PetscFunctionBegin;
21062e5d2d2SJDBetteridge   /* Duplicate comm to prevent it being cleaned up by PetscObjectDestroy() */
21162e5d2d2SJDBetteridge   PetscCall(PetscCommDuplicate(comm, &comm, NULL));
21262e5d2d2SJDBetteridge 
21362e5d2d2SJDBetteridge   /* Grab garbage from comm and remove it
21462e5d2d2SJDBetteridge    this avoids calling PetscCommDestroy() and endlessly recursing */
21562e5d2d2SJDBetteridge   PetscCall(GarbageGetHMap_Private(comm, &garbage));
21662e5d2d2SJDBetteridge   PetscCallMPI(MPI_Comm_delete_attr(comm, Petsc_Garbage_HMap_keyval));
21762e5d2d2SJDBetteridge 
21862e5d2d2SJDBetteridge   /* Get keys from garbage hash map */
21962e5d2d2SJDBetteridge   PetscCall(PetscHMapObjGetSize(garbage.map, &entries));
22062e5d2d2SJDBetteridge   PetscCall(PetscMalloc1(entries, &keys));
22162e5d2d2SJDBetteridge   offset = 0;
22262e5d2d2SJDBetteridge   PetscCall(PetscHMapObjGetKeys(garbage.map, &offset, keys));
22362e5d2d2SJDBetteridge 
22462e5d2d2SJDBetteridge   /* Gather and intersect */
22562e5d2d2SJDBetteridge   PetscCall(GarbageKeyAllReduceIntersect_Private(comm, keys, &entries));
22662e5d2d2SJDBetteridge 
22715229ffcSPierre Jolivet   /* Collectively destroy objects that appear in garbage in
22862e5d2d2SJDBetteridge      creation index order */
22962e5d2d2SJDBetteridge   for (ii = 0; ii < entries; ii++) {
23062e5d2d2SJDBetteridge     PetscCall(PetscHMapObjGet(garbage.map, keys[ii], &obj));
23162e5d2d2SJDBetteridge     PetscCall(PetscObjectDestroy(&obj));
23262e5d2d2SJDBetteridge     PetscCall(PetscFree(obj));
23362e5d2d2SJDBetteridge     PetscCall(PetscHMapObjDel(garbage.map, keys[ii]));
23462e5d2d2SJDBetteridge   }
23562e5d2d2SJDBetteridge   PetscCall(PetscFree(keys));
23662e5d2d2SJDBetteridge 
23762e5d2d2SJDBetteridge   /* Put garbage back */
23862e5d2d2SJDBetteridge   PetscCallMPI(MPI_Comm_set_attr(comm, Petsc_Garbage_HMap_keyval, garbage.ptr));
23962e5d2d2SJDBetteridge   PetscCall(PetscCommDestroy(&comm));
2403ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
24162e5d2d2SJDBetteridge }
24262e5d2d2SJDBetteridge 
24362e5d2d2SJDBetteridge /* Utility function for printing the contents of the garbage on a given comm */
24462e5d2d2SJDBetteridge PetscErrorCode PetscGarbageView(MPI_Comm comm, PetscViewer viewer)
24562e5d2d2SJDBetteridge {
24662e5d2d2SJDBetteridge   char         text[64];
24762e5d2d2SJDBetteridge   PetscInt     ii, entries, offset;
24862e5d2d2SJDBetteridge   PetscInt64  *keys;
24962e5d2d2SJDBetteridge   PetscObject  obj;
25062e5d2d2SJDBetteridge   PetscGarbage garbage;
25162e5d2d2SJDBetteridge   PetscMPIInt  rank;
25262e5d2d2SJDBetteridge 
25362e5d2d2SJDBetteridge   PetscFunctionBegin;
25462e5d2d2SJDBetteridge   PetscCall(PetscPrintf(comm, "PETSc garbage on "));
25562e5d2d2SJDBetteridge   if (comm == PETSC_COMM_WORLD) {
25662e5d2d2SJDBetteridge     PetscCall(PetscPrintf(comm, "PETSC_COMM_WORLD\n"));
25762e5d2d2SJDBetteridge   } else if (comm == PETSC_COMM_SELF) {
25862e5d2d2SJDBetteridge     PetscCall(PetscPrintf(comm, "PETSC_COMM_SELF\n"));
25962e5d2d2SJDBetteridge   } else {
26062e5d2d2SJDBetteridge     PetscCall(PetscPrintf(comm, "UNKNOWN_COMM\n"));
26162e5d2d2SJDBetteridge   }
26262e5d2d2SJDBetteridge   PetscCall(PetscCommDuplicate(comm, &comm, NULL));
26362e5d2d2SJDBetteridge   PetscCall(GarbageGetHMap_Private(comm, &garbage));
26462e5d2d2SJDBetteridge 
26562e5d2d2SJDBetteridge   /* Get keys from garbage hash map and sort */
26662e5d2d2SJDBetteridge   PetscCall(PetscHMapObjGetSize(garbage.map, &entries));
26762e5d2d2SJDBetteridge   PetscCall(PetscMalloc1(entries, &keys));
26862e5d2d2SJDBetteridge   offset = 0;
26962e5d2d2SJDBetteridge   PetscCall(PetscHMapObjGetKeys(garbage.map, &offset, keys));
27062e5d2d2SJDBetteridge 
27162e5d2d2SJDBetteridge   /* Pretty print entries in a table */
27262e5d2d2SJDBetteridge   PetscCallMPI(MPI_Comm_rank(comm, &rank));
27362e5d2d2SJDBetteridge   PetscCall(PetscSynchronizedPrintf(comm, "Rank %i:: ", rank));
274da0802e2SStefano Zampini   PetscCall(PetscFormatConvert("Total entries: %" PetscInt_FMT "\n", text));
27562e5d2d2SJDBetteridge   PetscCall(PetscSynchronizedPrintf(comm, text, entries));
27662e5d2d2SJDBetteridge   if (entries) {
27762e5d2d2SJDBetteridge     PetscCall(PetscSynchronizedPrintf(comm, "| Key   | Type                   | Name                             | Object ID |\n"));
27862e5d2d2SJDBetteridge     PetscCall(PetscSynchronizedPrintf(comm, "|-------|------------------------|----------------------------------|-----------|\n"));
27962e5d2d2SJDBetteridge   }
28062e5d2d2SJDBetteridge   for (ii = 0; ii < entries; ii++) {
28162e5d2d2SJDBetteridge     PetscCall(PetscHMapObjGet(garbage.map, keys[ii], &obj));
282da0802e2SStefano Zampini     PetscCall(PetscFormatConvert("| %5" PetscInt64_FMT " | %-22s | %-32s | %6" PetscInt_FMT "    |\n", text));
28362e5d2d2SJDBetteridge     PetscCall(PetscSynchronizedPrintf(comm, text, keys[ii], obj->class_name, obj->description, obj->id));
28462e5d2d2SJDBetteridge   }
28562e5d2d2SJDBetteridge   PetscCall(PetscSynchronizedFlush(comm, PETSC_STDOUT));
28662e5d2d2SJDBetteridge 
28762e5d2d2SJDBetteridge   PetscCall(PetscFree(keys));
28862e5d2d2SJDBetteridge   PetscCall(PetscCommDestroy(&comm));
2893ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
29062e5d2d2SJDBetteridge }
291