xref: /petsc/src/sys/objects/subcomm.c (revision ffeef943c8ee50edff320d8a3135bb0c94853e4c)
1cd05a4c0SHong Zhang /*
2cd05a4c0SHong Zhang      Provides utility routines for split MPI communicator.
3cd05a4c0SHong Zhang */
4c6db04a5SJed Brown #include <petscsys.h> /*I   "petscsys.h"    I*/
5053d1c95SHong Zhang #include <petscviewer.h>
6cd05a4c0SHong Zhang 
702c9f0b5SLisandro Dalcin const char *const PetscSubcommTypes[] = {"GENERAL", "CONTIGUOUS", "INTERLACED", "PetscSubcommType", "PETSC_SUBCOMM_", NULL};
86a6fc655SJed Brown 
995c0884eSLisandro Dalcin static PetscErrorCode PetscSubcommCreate_contiguous(PetscSubcomm);
1095c0884eSLisandro Dalcin static PetscErrorCode PetscSubcommCreate_interlaced(PetscSubcomm);
11e5acf8a4SHong Zhang 
12a530d236SBarry Smith /*@
13811af0c4SBarry Smith   PetscSubcommSetFromOptions - Allows setting options for a `PetscSubcomm`
14e5acf8a4SHong Zhang 
15c3339decSBarry Smith   Collective
16e5acf8a4SHong Zhang 
17e5acf8a4SHong Zhang   Input Parameter:
18811af0c4SBarry Smith . psubcomm - `PetscSubcomm` context
19e5acf8a4SHong Zhang 
20e5acf8a4SHong Zhang   Level: beginner
21e5acf8a4SHong Zhang 
22811af0c4SBarry Smith .seealso: `PetscSubcomm`, `PetscSubcommCreate()`
23e5acf8a4SHong Zhang @*/
24d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommSetFromOptions(PetscSubcomm psubcomm)
25d71ae5a4SJacob Faibussowitsch {
2645487dadSJed Brown   PetscSubcommType type;
27f68be91cSHong Zhang   PetscBool        flg;
28f68be91cSHong Zhang 
29f68be91cSHong Zhang   PetscFunctionBegin;
30aaa8cc7dSPierre Jolivet   PetscCheck(psubcomm, PETSC_COMM_SELF, PETSC_ERR_ARG_NULL, "Must call PetscSubcommCreate first");
3160f5f21cSHong Zhang 
32d0609cedSBarry Smith   PetscOptionsBegin(psubcomm->parent, psubcomm->subcommprefix, "Options for PetscSubcomm", NULL);
339566063dSJacob Faibussowitsch   PetscCall(PetscOptionsEnum("-psubcomm_type", NULL, NULL, PetscSubcommTypes, (PetscEnum)psubcomm->type, (PetscEnum *)&type, &flg));
34f68be91cSHong Zhang   if (flg && psubcomm->type != type) {
35f68be91cSHong Zhang     /* free old structures */
369566063dSJacob Faibussowitsch     PetscCall(PetscCommDestroy(&(psubcomm)->dupparent));
379566063dSJacob Faibussowitsch     PetscCall(PetscCommDestroy(&(psubcomm)->child));
389566063dSJacob Faibussowitsch     PetscCall(PetscFree((psubcomm)->subsize));
39f68be91cSHong Zhang     switch (type) {
40d71ae5a4SJacob Faibussowitsch     case PETSC_SUBCOMM_GENERAL:
41d71ae5a4SJacob Faibussowitsch       SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Runtime option PETSC_SUBCOMM_GENERAL is not supported, use PetscSubcommSetTypeGeneral()");
42d71ae5a4SJacob Faibussowitsch     case PETSC_SUBCOMM_CONTIGUOUS:
43d71ae5a4SJacob Faibussowitsch       PetscCall(PetscSubcommCreate_contiguous(psubcomm));
44d71ae5a4SJacob Faibussowitsch       break;
45d71ae5a4SJacob Faibussowitsch     case PETSC_SUBCOMM_INTERLACED:
46d71ae5a4SJacob Faibussowitsch       PetscCall(PetscSubcommCreate_interlaced(psubcomm));
47d71ae5a4SJacob Faibussowitsch       break;
48d71ae5a4SJacob Faibussowitsch     default:
49d71ae5a4SJacob Faibussowitsch       SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "PetscSubcommType %s is not supported yet", PetscSubcommTypes[type]);
50f68be91cSHong Zhang     }
51f68be91cSHong Zhang   }
5219171117SHong Zhang 
539566063dSJacob Faibussowitsch   PetscCall(PetscOptionsName("-psubcomm_view", "Triggers display of PetscSubcomm context", "PetscSubcommView", &flg));
541baa6e33SBarry Smith   if (flg) PetscCall(PetscSubcommView(psubcomm, PETSC_VIEWER_STDOUT_(psubcomm->parent)));
55d0609cedSBarry Smith   PetscOptionsEnd();
563ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
57f68be91cSHong Zhang }
58d8a68f86SHong Zhang 
59cc4c1da9SBarry Smith /*@
60811af0c4SBarry Smith   PetscSubcommSetOptionsPrefix - Sets the prefix used for searching for options in the options database for this object
61e5acf8a4SHong Zhang 
6220f4b53cSBarry Smith   Logically Collective
63e5acf8a4SHong Zhang 
64aec76313SJacob Faibussowitsch   Level: intermediate
65e5acf8a4SHong Zhang 
66e5acf8a4SHong Zhang   Input Parameters:
67811af0c4SBarry Smith + psubcomm - `PetscSubcomm` context
68aec76313SJacob Faibussowitsch - pre      - the prefix to prepend all `PetscSubcomm` item names with.
69e5acf8a4SHong Zhang 
70811af0c4SBarry Smith .seealso: `PetscSubcomm`, `PetscSubcommCreate()`
71e5acf8a4SHong Zhang @*/
72d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommSetOptionsPrefix(PetscSubcomm psubcomm, const char pre[])
73d71ae5a4SJacob Faibussowitsch {
74e5acf8a4SHong Zhang   PetscFunctionBegin;
75e5acf8a4SHong Zhang   if (!pre) {
769566063dSJacob Faibussowitsch     PetscCall(PetscFree(psubcomm->subcommprefix));
77e5acf8a4SHong Zhang   } else {
78cc73adaaSBarry Smith     PetscCheck(pre[0] != '-', PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Options prefix should not begin with a hyphen");
799566063dSJacob Faibussowitsch     PetscCall(PetscFree(psubcomm->subcommprefix));
80f4f49eeaSPierre Jolivet     PetscCall(PetscStrallocpy(pre, &psubcomm->subcommprefix));
81e5acf8a4SHong Zhang   }
823ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
83e5acf8a4SHong Zhang }
84e5acf8a4SHong Zhang 
85*ffeef943SBarry Smith /*@
86811af0c4SBarry Smith   PetscSubcommView - Views a `PetscSubcomm`
87e5acf8a4SHong Zhang 
88c3339decSBarry Smith   Collective
89e5acf8a4SHong Zhang 
90d8d19677SJose E. Roman   Input Parameters:
91811af0c4SBarry Smith + psubcomm - `PetscSubcomm` context
92811af0c4SBarry Smith - viewer   - `PetscViewer` to display the information
93e5acf8a4SHong Zhang 
94e5acf8a4SHong Zhang   Level: beginner
95811af0c4SBarry Smith 
96811af0c4SBarry Smith .seealso: `PetscSubcomm`, `PetscSubcommCreate()`, `PetscViewer`
97e5acf8a4SHong Zhang @*/
98d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommView(PetscSubcomm psubcomm, PetscViewer viewer)
99d71ae5a4SJacob Faibussowitsch {
100053d1c95SHong Zhang   PetscBool         iascii;
101053d1c95SHong Zhang   PetscViewerFormat format;
102053d1c95SHong Zhang 
103053d1c95SHong Zhang   PetscFunctionBegin;
1049566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii));
105053d1c95SHong Zhang   if (iascii) {
1069566063dSJacob Faibussowitsch     PetscCall(PetscViewerGetFormat(viewer, &format));
107053d1c95SHong Zhang     if (format == PETSC_VIEWER_DEFAULT) {
108053d1c95SHong Zhang       MPI_Comm    comm = psubcomm->parent;
109053d1c95SHong Zhang       PetscMPIInt rank, size, subsize, subrank, duprank;
110053d1c95SHong Zhang 
1119566063dSJacob Faibussowitsch       PetscCallMPI(MPI_Comm_size(comm, &size));
1129566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "PetscSubcomm type %s with total %d MPI processes:\n", PetscSubcommTypes[psubcomm->type], size));
1139566063dSJacob Faibussowitsch       PetscCallMPI(MPI_Comm_rank(comm, &rank));
1149566063dSJacob Faibussowitsch       PetscCallMPI(MPI_Comm_size(psubcomm->child, &subsize));
1159566063dSJacob Faibussowitsch       PetscCallMPI(MPI_Comm_rank(psubcomm->child, &subrank));
1169566063dSJacob Faibussowitsch       PetscCallMPI(MPI_Comm_rank(psubcomm->dupparent, &duprank));
1179566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPushSynchronized(viewer));
1189566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIISynchronizedPrintf(viewer, "  [%d], color %d, sub-size %d, sub-rank %d, duprank %d\n", rank, psubcomm->color, subsize, subrank, duprank));
1199566063dSJacob Faibussowitsch       PetscCall(PetscViewerFlush(viewer));
1209566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPopSynchronized(viewer));
121053d1c95SHong Zhang     }
122053d1c95SHong Zhang   } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Not supported yet");
1233ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
124053d1c95SHong Zhang }
125053d1c95SHong Zhang 
126a530d236SBarry Smith /*@
127811af0c4SBarry Smith   PetscSubcommSetNumber - Set total number of subcommunicators desired in the given `PetscSubcomm`
128d8a68f86SHong Zhang 
129d083f849SBarry Smith   Collective
130d8a68f86SHong Zhang 
131d8d19677SJose E. Roman   Input Parameters:
132811af0c4SBarry Smith + psubcomm - `PetscSubcomm` context
133d8a68f86SHong Zhang - nsubcomm - the total number of subcommunicators in psubcomm
134d8a68f86SHong Zhang 
135d8a68f86SHong Zhang   Level: advanced
136d8a68f86SHong Zhang 
137811af0c4SBarry Smith .seealso: `PetscSubcomm`, `PetscSubcommCreate()`, `PetscSubcommDestroy()`, `PetscSubcommSetType()`, `PetscSubcommSetTypeGeneral()`
138d8a68f86SHong Zhang @*/
139d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommSetNumber(PetscSubcomm psubcomm, PetscInt nsubcomm)
140d71ae5a4SJacob Faibussowitsch {
141d8a68f86SHong Zhang   MPI_Comm    comm = psubcomm->parent;
14245487dadSJed Brown   PetscMPIInt msub, size;
143d8a68f86SHong Zhang 
144d8a68f86SHong Zhang   PetscFunctionBegin;
14528b400f6SJacob Faibussowitsch   PetscCheck(psubcomm, PETSC_COMM_SELF, PETSC_ERR_ARG_NULL, "PetscSubcomm is not created. Call PetscSubcommCreate() first");
1469566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
1479566063dSJacob Faibussowitsch   PetscCall(PetscMPIIntCast(nsubcomm, &msub));
148cc73adaaSBarry Smith   PetscCheck(msub >= 1 && msub <= size, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Num of subcommunicators %d cannot be < 1 or > input comm size %d", msub, size);
149d8a68f86SHong Zhang 
15045487dadSJed Brown   psubcomm->n = msub;
1513ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
152d8a68f86SHong Zhang }
153d8a68f86SHong Zhang 
154a530d236SBarry Smith /*@
155811af0c4SBarry Smith   PetscSubcommSetType - Set the way the original MPI communicator is divided up in the `PetscSubcomm`
156d8a68f86SHong Zhang 
157d083f849SBarry Smith   Collective
158d8a68f86SHong Zhang 
159d8d19677SJose E. Roman   Input Parameters:
160811af0c4SBarry Smith + psubcomm    - `PetscSubcomm` context
161811af0c4SBarry Smith - subcommtype - `PetscSubcommType` `PETSC_SUBCOMM_CONTIGUOUS` or `PETSC_SUBCOMM_INTERLACED`
162d8a68f86SHong Zhang 
163d8a68f86SHong Zhang   Level: advanced
164d8a68f86SHong Zhang 
165811af0c4SBarry Smith .seealso: `PetscSubcommType`, `PETSC_SUBCOMM_CONTIGUOUS`, `PETSC_SUBCOMM_INTERLACED`,
166aec76313SJacob Faibussowitsch           `PetscSubcommCreate()`, `PetscSubcommDestroy()`, `PetscSubcommSetNumber()`, `PetscSubcommSetTypeGeneral()`
167d8a68f86SHong Zhang @*/
168d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommSetType(PetscSubcomm psubcomm, PetscSubcommType subcommtype)
169d71ae5a4SJacob Faibussowitsch {
170d8a68f86SHong Zhang   PetscFunctionBegin;
17128b400f6SJacob Faibussowitsch   PetscCheck(psubcomm, PETSC_COMM_SELF, PETSC_ERR_ARG_NULL, "PetscSubcomm is not created. Call PetscSubcommCreate()");
17208401ef6SPierre Jolivet   PetscCheck(psubcomm->n >= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "number of subcommunicators %d is incorrect. Call PetscSubcommSetNumber()", psubcomm->n);
173d8a68f86SHong Zhang 
174d8a68f86SHong Zhang   if (subcommtype == PETSC_SUBCOMM_CONTIGUOUS) {
1759566063dSJacob Faibussowitsch     PetscCall(PetscSubcommCreate_contiguous(psubcomm));
176d8a68f86SHong Zhang   } else if (subcommtype == PETSC_SUBCOMM_INTERLACED) {
1779566063dSJacob Faibussowitsch     PetscCall(PetscSubcommCreate_interlaced(psubcomm));
17898921bdaSJacob Faibussowitsch   } else SETERRQ(psubcomm->parent, PETSC_ERR_SUP, "PetscSubcommType %s is not supported yet", PetscSubcommTypes[subcommtype]);
1793ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
180d8a68f86SHong Zhang }
181d8a68f86SHong Zhang 
182a530d236SBarry Smith /*@
183811af0c4SBarry Smith   PetscSubcommSetTypeGeneral - Divides up a communicator based on a specific user's specification
1841ba920a7SHong Zhang 
185d083f849SBarry Smith   Collective
1861ba920a7SHong Zhang 
187d8d19677SJose E. Roman   Input Parameters:
188811af0c4SBarry Smith + psubcomm - `PetscSubcomm` context
1891ba920a7SHong Zhang . color    - control of subset assignment (nonnegative integer). Processes with the same color are in the same subcommunicator.
19065d9b8f1SHong Zhang - subrank  - rank in the subcommunicator
1911ba920a7SHong Zhang 
1921ba920a7SHong Zhang   Level: advanced
1931ba920a7SHong Zhang 
194811af0c4SBarry Smith .seealso: `PetscSubcommType`, `PETSC_SUBCOMM_CONTIGUOUS`, `PETSC_SUBCOMM_INTERLACED`, `PetscSubcommCreate()`, `PetscSubcommDestroy()`, `PetscSubcommSetNumber()`, `PetscSubcommSetType()`
1951ba920a7SHong Zhang @*/
196d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommSetTypeGeneral(PetscSubcomm psubcomm, PetscMPIInt color, PetscMPIInt subrank)
197d71ae5a4SJacob Faibussowitsch {
1981ba920a7SHong Zhang   MPI_Comm    subcomm = 0, dupcomm = 0, comm = psubcomm->parent;
199c9e2ceb8SHong Zhang   PetscMPIInt size, icolor, duprank, *recvbuf, sendbuf[3], mysubsize, rank, *subsize;
20045487dadSJed Brown   PetscMPIInt i, nsubcomm = psubcomm->n;
2011ba920a7SHong Zhang 
202d8a68f86SHong Zhang   PetscFunctionBegin;
20328b400f6SJacob Faibussowitsch   PetscCheck(psubcomm, PETSC_COMM_SELF, PETSC_ERR_ARG_NULL, "PetscSubcomm is not created. Call PetscSubcommCreate()");
20408401ef6SPierre Jolivet   PetscCheck(nsubcomm >= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "number of subcommunicators %d is incorrect. Call PetscSubcommSetNumber()", nsubcomm);
2051ba920a7SHong Zhang 
2069566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_split(comm, color, subrank, &subcomm));
2071ba920a7SHong Zhang 
20865d9b8f1SHong Zhang   /* create dupcomm with same size as comm, but its rank, duprank, maps subcomm's contiguously into dupcomm */
2099abe469cSDmitry Karpeev   /* TODO: this can be done in an ostensibly scalale way (i.e., without allocating an array of size 'size') as is done in PetscObjectsCreateGlobalOrdering(). */
2109566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
2119566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(2 * size, &recvbuf));
21265d9b8f1SHong Zhang 
2139566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
2149566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(subcomm, &mysubsize));
21565d9b8f1SHong Zhang 
21665d9b8f1SHong Zhang   sendbuf[0] = color;
217c9e2ceb8SHong Zhang   sendbuf[1] = mysubsize;
2189566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Allgather(sendbuf, 2, MPI_INT, recvbuf, 2, MPI_INT, comm));
21965d9b8f1SHong Zhang 
2209566063dSJacob Faibussowitsch   PetscCall(PetscCalloc1(nsubcomm, &subsize));
221ad540459SPierre Jolivet   for (i = 0; i < 2 * size; i += 2) subsize[recvbuf[i]] = recvbuf[i + 1];
2229566063dSJacob Faibussowitsch   PetscCall(PetscFree(recvbuf));
22365d9b8f1SHong Zhang 
22465d9b8f1SHong Zhang   duprank = 0;
225c9e2ceb8SHong Zhang   for (icolor = 0; icolor < nsubcomm; icolor++) {
22665d9b8f1SHong Zhang     if (icolor != color) { /* not color of this process */
227c9e2ceb8SHong Zhang       duprank += subsize[icolor];
22865d9b8f1SHong Zhang     } else {
22965d9b8f1SHong Zhang       duprank += subrank;
23065d9b8f1SHong Zhang       break;
23165d9b8f1SHong Zhang     }
23265d9b8f1SHong Zhang   }
2339566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_split(comm, 0, duprank, &dupcomm));
23465d9b8f1SHong Zhang 
2359566063dSJacob Faibussowitsch   PetscCall(PetscCommDuplicate(dupcomm, &psubcomm->dupparent, NULL));
2369566063dSJacob Faibussowitsch   PetscCall(PetscCommDuplicate(subcomm, &psubcomm->child, NULL));
2379566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_free(&dupcomm));
2389566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_free(&subcomm));
239a297a907SKarl Rupp 
2401ba920a7SHong Zhang   psubcomm->color   = color;
241c9e2ceb8SHong Zhang   psubcomm->subsize = subsize;
242c9e2ceb8SHong Zhang   psubcomm->type    = PETSC_SUBCOMM_GENERAL;
2433ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
244d8a68f86SHong Zhang }
245638faf0bSHong Zhang 
246a530d236SBarry Smith /*@
247811af0c4SBarry Smith   PetscSubcommDestroy - Destroys a `PetscSubcomm` object
24889587e68SDave May 
249c3339decSBarry Smith   Collective
25089587e68SDave May 
25189587e68SDave May   Input Parameter:
252811af0c4SBarry Smith . psubcomm - the `PetscSubcomm` context
25389587e68SDave May 
25489587e68SDave May   Level: advanced
25589587e68SDave May 
256c2e3fba1SPatrick Sanan .seealso: `PetscSubcommCreate()`, `PetscSubcommSetType()`
25789587e68SDave May @*/
258d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommDestroy(PetscSubcomm *psubcomm)
259d71ae5a4SJacob Faibussowitsch {
260cd05a4c0SHong Zhang   PetscFunctionBegin;
2613ba16761SJacob Faibussowitsch   if (!*psubcomm) PetscFunctionReturn(PETSC_SUCCESS);
2629566063dSJacob Faibussowitsch   PetscCall(PetscCommDestroy(&(*psubcomm)->dupparent));
2639566063dSJacob Faibussowitsch   PetscCall(PetscCommDestroy(&(*psubcomm)->child));
2649566063dSJacob Faibussowitsch   PetscCall(PetscFree((*psubcomm)->subsize));
2659566063dSJacob Faibussowitsch   if ((*psubcomm)->subcommprefix) PetscCall(PetscFree((*psubcomm)->subcommprefix));
266f4f49eeaSPierre Jolivet   PetscCall(PetscFree(*psubcomm));
2673ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
268cd05a4c0SHong Zhang }
269cd05a4c0SHong Zhang 
270a530d236SBarry Smith /*@
271811af0c4SBarry Smith   PetscSubcommCreate - Create a `PetscSubcomm` context. This object is used to manage the division of a `MPI_Comm` into subcommunicators
272cd05a4c0SHong Zhang 
273d083f849SBarry Smith   Collective
274cd05a4c0SHong Zhang 
275cd05a4c0SHong Zhang   Input Parameter:
2769873d53eSJed Brown . comm - MPI communicator
277cd05a4c0SHong Zhang 
278cd05a4c0SHong Zhang   Output Parameter:
279811af0c4SBarry Smith . psubcomm - location to store the `PetscSubcomm` context
280cd05a4c0SHong Zhang 
281638faf0bSHong Zhang   Level: advanced
282cd05a4c0SHong Zhang 
283811af0c4SBarry Smith .seealso: `PetscSubcomm`, `PetscSubcommDestroy()`, `PetscSubcommSetTypeGeneral()`, `PetscSubcommSetFromOptions()`, `PetscSubcommSetType()`,
284db781477SPatrick Sanan           `PetscSubcommSetNumber()`
285638faf0bSHong Zhang @*/
286d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommCreate(MPI_Comm comm, PetscSubcomm *psubcomm)
287d71ae5a4SJacob Faibussowitsch {
288d3b23db5SHong Zhang   PetscMPIInt rank, size;
289638faf0bSHong Zhang 
290638faf0bSHong Zhang   PetscFunctionBegin;
2919566063dSJacob Faibussowitsch   PetscCall(PetscNew(psubcomm));
292a297a907SKarl Rupp 
293d3b23db5SHong Zhang   /* set defaults */
2949566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
2959566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
296f68be91cSHong Zhang 
297d8a68f86SHong Zhang   (*psubcomm)->parent    = comm;
298d3b23db5SHong Zhang   (*psubcomm)->dupparent = comm;
299306c2d5bSBarry Smith   (*psubcomm)->child     = PETSC_COMM_SELF;
300d3b23db5SHong Zhang   (*psubcomm)->n         = size;
301d3b23db5SHong Zhang   (*psubcomm)->color     = rank;
302e37c6257SHong Zhang   (*psubcomm)->subsize   = NULL;
303d3b23db5SHong Zhang   (*psubcomm)->type      = PETSC_SUBCOMM_INTERLACED;
3043ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
305638faf0bSHong Zhang }
306638faf0bSHong Zhang 
307a530d236SBarry Smith /*@C
308811af0c4SBarry Smith   PetscSubcommGetParent - Gets the communicator that was used to create the `PetscSubcomm`
309a530d236SBarry Smith 
310a530d236SBarry Smith   Collective
311a530d236SBarry Smith 
312a530d236SBarry Smith   Input Parameter:
313811af0c4SBarry Smith . scomm - the `PetscSubcomm`
314a530d236SBarry Smith 
315a530d236SBarry Smith   Output Parameter:
316a530d236SBarry Smith . pcomm - location to store the parent communicator
317a530d236SBarry Smith 
318a530d236SBarry Smith   Level: intermediate
319a530d236SBarry Smith 
320db781477SPatrick Sanan .seealso: `PetscSubcommDestroy()`, `PetscSubcommSetTypeGeneral()`, `PetscSubcommSetFromOptions()`, `PetscSubcommSetType()`,
321db781477SPatrick Sanan           `PetscSubcommSetNumber()`, `PetscSubcommGetChild()`, `PetscSubcommContiguousParent()`
322a530d236SBarry Smith @*/
323d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommGetParent(PetscSubcomm scomm, MPI_Comm *pcomm)
324d71ae5a4SJacob Faibussowitsch {
325a530d236SBarry Smith   *pcomm = PetscSubcommParent(scomm);
3263ba16761SJacob Faibussowitsch   return PETSC_SUCCESS;
327a530d236SBarry Smith }
328a530d236SBarry Smith 
329a530d236SBarry Smith /*@C
33015229ffcSPierre Jolivet   PetscSubcommGetContiguousParent - Gets a communicator that is a duplicate of the parent but has the ranks
331a530d236SBarry Smith   reordered by the order they are in the children
332a530d236SBarry Smith 
333a530d236SBarry Smith   Collective
334a530d236SBarry Smith 
335a530d236SBarry Smith   Input Parameter:
336811af0c4SBarry Smith . scomm - the `PetscSubcomm`
337a530d236SBarry Smith 
338a530d236SBarry Smith   Output Parameter:
339a530d236SBarry Smith . pcomm - location to store the parent communicator
340a530d236SBarry Smith 
341a530d236SBarry Smith   Level: intermediate
342a530d236SBarry Smith 
343db781477SPatrick Sanan .seealso: `PetscSubcommDestroy()`, `PetscSubcommSetTypeGeneral()`, `PetscSubcommSetFromOptions()`, `PetscSubcommSetType()`,
344db781477SPatrick Sanan           `PetscSubcommSetNumber()`, `PetscSubcommGetChild()`, `PetscSubcommContiguousParent()`
345a530d236SBarry Smith @*/
346d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommGetContiguousParent(PetscSubcomm scomm, MPI_Comm *pcomm)
347d71ae5a4SJacob Faibussowitsch {
348a530d236SBarry Smith   *pcomm = PetscSubcommContiguousParent(scomm);
3493ba16761SJacob Faibussowitsch   return PETSC_SUCCESS;
350a530d236SBarry Smith }
351a530d236SBarry Smith 
352a530d236SBarry Smith /*@C
353811af0c4SBarry Smith   PetscSubcommGetChild - Gets the communicator created by the `PetscSubcomm`. This is part of one of the subcommunicators created by the `PetscSubcomm`
354a530d236SBarry Smith 
355a530d236SBarry Smith   Collective
356a530d236SBarry Smith 
357a530d236SBarry Smith   Input Parameter:
358811af0c4SBarry Smith . scomm - the `PetscSubcomm`
359a530d236SBarry Smith 
360a530d236SBarry Smith   Output Parameter:
361a530d236SBarry Smith . ccomm - location to store the child communicator
362a530d236SBarry Smith 
363a530d236SBarry Smith   Level: intermediate
364a530d236SBarry Smith 
365db781477SPatrick Sanan .seealso: `PetscSubcommDestroy()`, `PetscSubcommSetTypeGeneral()`, `PetscSubcommSetFromOptions()`, `PetscSubcommSetType()`,
366db781477SPatrick Sanan           `PetscSubcommSetNumber()`, `PetscSubcommGetParent()`, `PetscSubcommContiguousParent()`
367a530d236SBarry Smith @*/
368d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSubcommGetChild(PetscSubcomm scomm, MPI_Comm *ccomm)
369d71ae5a4SJacob Faibussowitsch {
370a530d236SBarry Smith   *ccomm = PetscSubcommChild(scomm);
3713ba16761SJacob Faibussowitsch   return PETSC_SUCCESS;
372a530d236SBarry Smith }
373a530d236SBarry Smith 
374d71ae5a4SJacob Faibussowitsch static PetscErrorCode PetscSubcommCreate_contiguous(PetscSubcomm psubcomm)
375d71ae5a4SJacob Faibussowitsch {
376d6037b41SHong Zhang   PetscMPIInt rank, size, *subsize, duprank = -1, subrank = -1;
37745487dadSJed Brown   PetscMPIInt np_subcomm, nleftover, i, color = -1, rankstart, nsubcomm = psubcomm->n;
378d8a68f86SHong Zhang   MPI_Comm    subcomm = 0, dupcomm = 0, comm = psubcomm->parent;
379638faf0bSHong Zhang 
380638faf0bSHong Zhang   PetscFunctionBegin;
3819566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
3829566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
38355e3b8d2SHong Zhang 
384638faf0bSHong Zhang   /* get size of each subcommunicator */
3859566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(1 + nsubcomm, &subsize));
386a297a907SKarl Rupp 
387638faf0bSHong Zhang   np_subcomm = size / nsubcomm;
388638faf0bSHong Zhang   nleftover  = size - nsubcomm * np_subcomm;
389638faf0bSHong Zhang   for (i = 0; i < nsubcomm; i++) {
390638faf0bSHong Zhang     subsize[i] = np_subcomm;
391638faf0bSHong Zhang     if (i < nleftover) subsize[i]++;
392638faf0bSHong Zhang   }
393638faf0bSHong Zhang 
394638faf0bSHong Zhang   /* get color and subrank of this proc */
395638faf0bSHong Zhang   rankstart = 0;
396638faf0bSHong Zhang   for (i = 0; i < nsubcomm; i++) {
397638faf0bSHong Zhang     if (rank >= rankstart && rank < rankstart + subsize[i]) {
398638faf0bSHong Zhang       color   = i;
399638faf0bSHong Zhang       subrank = rank - rankstart;
400638faf0bSHong Zhang       duprank = rank;
401638faf0bSHong Zhang       break;
402a297a907SKarl Rupp     } else rankstart += subsize[i];
403638faf0bSHong Zhang   }
404638faf0bSHong Zhang 
4059566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_split(comm, color, subrank, &subcomm));
406638faf0bSHong Zhang 
407638faf0bSHong Zhang   /* create dupcomm with same size as comm, but its rank, duprank, maps subcomm's contiguously into dupcomm */
4089566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_split(comm, 0, duprank, &dupcomm));
4099566063dSJacob Faibussowitsch   PetscCall(PetscCommDuplicate(dupcomm, &psubcomm->dupparent, NULL));
4109566063dSJacob Faibussowitsch   PetscCall(PetscCommDuplicate(subcomm, &psubcomm->child, NULL));
4119566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_free(&dupcomm));
4129566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_free(&subcomm));
413a297a907SKarl Rupp 
414d8a68f86SHong Zhang   psubcomm->color   = color;
415e37c6257SHong Zhang   psubcomm->subsize = subsize;
416f38d543fSHong Zhang   psubcomm->type    = PETSC_SUBCOMM_CONTIGUOUS;
4173ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
418638faf0bSHong Zhang }
419638faf0bSHong Zhang 
420638faf0bSHong Zhang /*
421638faf0bSHong Zhang    Note:
422638faf0bSHong Zhang    In PCREDUNDANT, to avoid data scattering from subcomm back to original comm, we create subcommunicators
42345fc02eaSBarry Smith    by iteratively taking a process into a subcommunicator.
424cd05a4c0SHong Zhang    Example: size=4, nsubcomm=(*psubcomm)->n=3
425cd05a4c0SHong Zhang      comm=(*psubcomm)->parent:
426cd05a4c0SHong Zhang       rank:     [0]  [1]  [2]  [3]
427cd05a4c0SHong Zhang       color:     0    1    2    0
428cd05a4c0SHong Zhang 
429cd05a4c0SHong Zhang      subcomm=(*psubcomm)->comm:
430cd05a4c0SHong Zhang       subrank:  [0]  [0]  [0]  [1]
431cd05a4c0SHong Zhang 
432cd05a4c0SHong Zhang      dupcomm=(*psubcomm)->dupparent:
433cd05a4c0SHong Zhang       duprank:  [0]  [2]  [3]  [1]
434cd05a4c0SHong Zhang 
435cd05a4c0SHong Zhang      Here, subcomm[color = 0] has subsize=2, owns process [0] and [3]
436cd05a4c0SHong Zhang            subcomm[color = 1] has subsize=1, owns process [1]
437cd05a4c0SHong Zhang            subcomm[color = 2] has subsize=1, owns process [2]
438cd05a4c0SHong Zhang            dupcomm has same number of processes as comm, and its duprank maps
439cd05a4c0SHong Zhang            processes in subcomm contiguously into a 1d array:
440cd05a4c0SHong Zhang             duprank: [0] [1]      [2]         [3]
441cd05a4c0SHong Zhang             rank:    [0] [3]      [1]         [2]
442cd05a4c0SHong Zhang                     subcomm[0] subcomm[1]  subcomm[2]
443638faf0bSHong Zhang */
444cd05a4c0SHong Zhang 
445d71ae5a4SJacob Faibussowitsch static PetscErrorCode PetscSubcommCreate_interlaced(PetscSubcomm psubcomm)
446d71ae5a4SJacob Faibussowitsch {
447cd05a4c0SHong Zhang   PetscMPIInt rank, size, *subsize, duprank, subrank;
44845487dadSJed Brown   PetscMPIInt np_subcomm, nleftover, i, j, color, nsubcomm = psubcomm->n;
449d8a68f86SHong Zhang   MPI_Comm    subcomm = 0, dupcomm = 0, comm = psubcomm->parent;
450cd05a4c0SHong Zhang 
451cd05a4c0SHong Zhang   PetscFunctionBegin;
4529566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
4539566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
45455e3b8d2SHong Zhang 
455cd05a4c0SHong Zhang   /* get size of each subcommunicator */
4569566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(1 + nsubcomm, &subsize));
457a297a907SKarl Rupp 
458cd05a4c0SHong Zhang   np_subcomm = size / nsubcomm;
459cd05a4c0SHong Zhang   nleftover  = size - nsubcomm * np_subcomm;
460cd05a4c0SHong Zhang   for (i = 0; i < nsubcomm; i++) {
461cd05a4c0SHong Zhang     subsize[i] = np_subcomm;
462cd05a4c0SHong Zhang     if (i < nleftover) subsize[i]++;
463cd05a4c0SHong Zhang   }
464cd05a4c0SHong Zhang 
465cd05a4c0SHong Zhang   /* find color for this proc */
466cd05a4c0SHong Zhang   color   = rank % nsubcomm;
467cd05a4c0SHong Zhang   subrank = rank / nsubcomm;
468cd05a4c0SHong Zhang 
4699566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_split(comm, color, subrank, &subcomm));
470cd05a4c0SHong Zhang 
4719371c9d4SSatish Balay   j       = 0;
4729371c9d4SSatish Balay   duprank = 0;
473cd05a4c0SHong Zhang   for (i = 0; i < nsubcomm; i++) {
474cd05a4c0SHong Zhang     if (j == color) {
475cd05a4c0SHong Zhang       duprank += subrank;
476cd05a4c0SHong Zhang       break;
477cd05a4c0SHong Zhang     }
4789371c9d4SSatish Balay     duprank += subsize[i];
4799371c9d4SSatish Balay     j++;
480cd05a4c0SHong Zhang   }
481cd05a4c0SHong Zhang 
482cd05a4c0SHong Zhang   /* create dupcomm with same size as comm, but its rank, duprank, maps subcomm's contiguously into dupcomm */
4839566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_split(comm, 0, duprank, &dupcomm));
4849566063dSJacob Faibussowitsch   PetscCall(PetscCommDuplicate(dupcomm, &psubcomm->dupparent, NULL));
4859566063dSJacob Faibussowitsch   PetscCall(PetscCommDuplicate(subcomm, &psubcomm->child, NULL));
4869566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_free(&dupcomm));
4879566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_free(&subcomm));
488a297a907SKarl Rupp 
489d8a68f86SHong Zhang   psubcomm->color   = color;
490e37c6257SHong Zhang   psubcomm->subsize = subsize;
491f38d543fSHong Zhang   psubcomm->type    = PETSC_SUBCOMM_INTERLACED;
4923ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
493cd05a4c0SHong Zhang }
494