xref: /petsc/src/dm/impls/network/network.c (revision 8afb792131386bda8b2c85f4ef9a6e12bf6c0f6e)
1af0996ceSBarry Smith #include <petsc/private/dmnetworkimpl.h> /*I  "petscdmnetwork.h"  I*/
25f2c45f1SShri Abhyankar 
3e3b1a053SGetnet Betrie PetscLogEvent DMNetwork_LayoutSetUp;
4e3b1a053SGetnet Betrie PetscLogEvent DMNetwork_SetUpNetwork;
5e3b1a053SGetnet Betrie PetscLogEvent DMNetwork_Distribute;
6e3b1a053SGetnet Betrie 
754dfd506SHong Zhang /*
854dfd506SHong Zhang   Creates the component header and value objects for a network point
954dfd506SHong Zhang */
10d71ae5a4SJacob Faibussowitsch static PetscErrorCode SetUpNetworkHeaderComponentValue(DM dm, DMNetworkComponentHeader header, DMNetworkComponentValue cvalue)
11d71ae5a4SJacob Faibussowitsch {
1254dfd506SHong Zhang   PetscFunctionBegin;
1354dfd506SHong Zhang   /* Allocate arrays for component information */
149566063dSJacob Faibussowitsch   PetscCall(PetscCalloc5(header->maxcomps, &header->size, header->maxcomps, &header->key, header->maxcomps, &header->offset, header->maxcomps, &header->nvar, header->maxcomps, &header->offsetvarrel));
159566063dSJacob Faibussowitsch   PetscCall(PetscCalloc1(header->maxcomps, &cvalue->data));
1654dfd506SHong Zhang 
1754dfd506SHong Zhang   /* The size of the header is the size of struct _p_DMNetworkComponentHeader. Since the struct contains PetscInt pointers we cannot use sizeof(struct). So, we need to explicitly calculate the size.
1854dfd506SHong Zhang    If the data header struct changes then this header size calculation needs to be updated. */
1954dfd506SHong Zhang   header->hsize = sizeof(struct _p_DMNetworkComponentHeader) + 5 * header->maxcomps * sizeof(PetscInt);
2054dfd506SHong Zhang   header->hsize /= sizeof(DMNetworkComponentGenericDataType);
2154dfd506SHong Zhang   PetscFunctionReturn(0);
2254dfd506SHong Zhang }
2354dfd506SHong Zhang 
24d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkInitializeHeaderComponentData(DM dm)
25d71ae5a4SJacob Faibussowitsch {
26daad07d3SAidan Hamilton   DM_Network *network = (DM_Network *)dm->data;
27daad07d3SAidan Hamilton   PetscInt    np, p, defaultnumcomp = DMNETWORK_MAX_COMP_AT_POINT_DEFAULT;
28daad07d3SAidan Hamilton 
29daad07d3SAidan Hamilton   PetscFunctionBegin;
30daad07d3SAidan Hamilton   np = network->cloneshared->pEnd - network->cloneshared->pStart;
31daad07d3SAidan Hamilton   if (network->header)
32daad07d3SAidan Hamilton     for (p = 0; p < np; p++) {
33daad07d3SAidan Hamilton       network->header[p].maxcomps = defaultnumcomp;
34daad07d3SAidan Hamilton       PetscCall(SetUpNetworkHeaderComponentValue(dm, &network->header[p], &network->cvalue[p]));
35daad07d3SAidan Hamilton     }
36daad07d3SAidan Hamilton 
37daad07d3SAidan Hamilton   PetscFunctionReturn(0);
38daad07d3SAidan Hamilton }
395f2c45f1SShri Abhyankar /*@
40556ed216SShri Abhyankar   DMNetworkGetPlex - Gets the Plex DM associated with this network DM
41556ed216SShri Abhyankar 
42556ed216SShri Abhyankar   Not collective
43556ed216SShri Abhyankar 
44556ed216SShri Abhyankar   Input Parameters:
452bf73ac6SHong Zhang . dm - the dm object
462bf73ac6SHong Zhang 
472bf73ac6SHong Zhang   Output Parameters:
482bf73ac6SHong Zhang . plexdm - the plex dm object
49556ed216SShri Abhyankar 
50556ed216SShri Abhyankar   Level: Advanced
51556ed216SShri Abhyankar 
52db781477SPatrick Sanan .seealso: `DMNetworkCreate()`
53556ed216SShri Abhyankar @*/
54d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetPlex(DM dm, DM *plexdm)
55d71ae5a4SJacob Faibussowitsch {
562bf73ac6SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
57556ed216SShri Abhyankar 
58556ed216SShri Abhyankar   PetscFunctionBegin;
59556ed216SShri Abhyankar   *plexdm = network->plex;
60556ed216SShri Abhyankar   PetscFunctionReturn(0);
61556ed216SShri Abhyankar }
62556ed216SShri Abhyankar 
63556ed216SShri Abhyankar /*@
642bf73ac6SHong Zhang   DMNetworkGetNumSubNetworks - Gets the the number of subnetworks
6572c3e9f7SHong Zhang 
662bf73ac6SHong Zhang   Not collective
6772c3e9f7SHong Zhang 
68f899ff85SJose E. Roman   Input Parameter:
692bf73ac6SHong Zhang . dm - the dm object
702bf73ac6SHong Zhang 
712bf73ac6SHong Zhang   Output Parameters:
722bf73ac6SHong Zhang + nsubnet - local number of subnetworks
732bf73ac6SHong Zhang - Nsubnet - global number of subnetworks
7472c3e9f7SHong Zhang 
7597bb938eSShri Abhyankar   Level: beginner
7672c3e9f7SHong Zhang 
77db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkSetNumSubNetworks()`
7872c3e9f7SHong Zhang @*/
79d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetNumSubNetworks(DM dm, PetscInt *nsubnet, PetscInt *Nsubnet)
80d71ae5a4SJacob Faibussowitsch {
812bf73ac6SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
8272c3e9f7SHong Zhang 
8372c3e9f7SHong Zhang   PetscFunctionBegin;
84daad07d3SAidan Hamilton   if (nsubnet) *nsubnet = network->cloneshared->nsubnet;
85daad07d3SAidan Hamilton   if (Nsubnet) *Nsubnet = network->cloneshared->Nsubnet;
8672c3e9f7SHong Zhang   PetscFunctionReturn(0);
8772c3e9f7SHong Zhang }
8872c3e9f7SHong Zhang 
8972c3e9f7SHong Zhang /*@
902bf73ac6SHong Zhang   DMNetworkSetNumSubNetworks - Sets the number of subnetworks
915f2c45f1SShri Abhyankar 
92d083f849SBarry Smith   Collective on dm
935f2c45f1SShri Abhyankar 
945f2c45f1SShri Abhyankar   Input Parameters:
955f2c45f1SShri Abhyankar + dm - the dm object
962bf73ac6SHong Zhang . nsubnet - local number of subnetworks
972bf73ac6SHong Zhang - Nsubnet - global number of subnetworks
985f2c45f1SShri Abhyankar 
9997bb938eSShri Abhyankar    Level: beginner
1001b266c99SBarry Smith 
101db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkGetNumSubNetworks()`
1025f2c45f1SShri Abhyankar @*/
103d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkSetNumSubNetworks(DM dm, PetscInt nsubnet, PetscInt Nsubnet)
104d71ae5a4SJacob Faibussowitsch {
1055f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
1065f2c45f1SShri Abhyankar 
1075f2c45f1SShri Abhyankar   PetscFunctionBegin;
108daad07d3SAidan Hamilton   PetscCheck(network->cloneshared->Nsubnet == 0, PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_INCOMP, "Network sizes alread set, cannot resize the network");
1092bf73ac6SHong Zhang 
1105f2c45f1SShri Abhyankar   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1112bf73ac6SHong Zhang   PetscValidLogicalCollectiveInt(dm, nsubnet, 2);
1122bf73ac6SHong Zhang   PetscValidLogicalCollectiveInt(dm, Nsubnet, 3);
1137765340cSHong Zhang 
1142bf73ac6SHong Zhang   if (Nsubnet == PETSC_DECIDE) {
1155c6496baSHong Zhang     PetscCheck(nsubnet >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Number of local subnetworks %" PetscInt_FMT " cannot be less than 0", nsubnet);
1161c2dc1cbSBarry Smith     PetscCall(MPIU_Allreduce(&nsubnet, &Nsubnet, 1, MPIU_INT, MPI_SUM, PetscObjectComm((PetscObject)dm)));
117caf410d2SHong Zhang   }
1185c6496baSHong Zhang   PetscCheck(Nsubnet >= 1, PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_INCOMP, "Number of global subnetworks %" PetscInt_FMT " cannot be less than 1", Nsubnet);
119caf410d2SHong Zhang 
120daad07d3SAidan Hamilton   network->cloneshared->Nsubnet = Nsubnet;
121daad07d3SAidan Hamilton   network->cloneshared->nsubnet = 0; /* initial value; will be determind by DMNetworkAddSubnetwork() */
122daad07d3SAidan Hamilton   PetscCall(PetscCalloc1(Nsubnet, &network->cloneshared->subnet));
123caf410d2SHong Zhang 
1242bf73ac6SHong Zhang   /* num of shared vertices */
125daad07d3SAidan Hamilton   network->cloneshared->nsvtx = 0;
126daad07d3SAidan Hamilton   network->cloneshared->Nsvtx = 0;
1277765340cSHong Zhang   PetscFunctionReturn(0);
1287765340cSHong Zhang }
1297765340cSHong Zhang 
1305f2c45f1SShri Abhyankar /*@
1312bf73ac6SHong Zhang   DMNetworkAddSubnetwork - Add a subnetwork
1325f2c45f1SShri Abhyankar 
1332bf73ac6SHong Zhang   Collective on dm
1345f2c45f1SShri Abhyankar 
1355f2c45f1SShri Abhyankar   Input Parameters:
136e3e68989SHong Zhang + dm - the dm object
1372bf73ac6SHong Zhang . name - name of the subnetwork
1382bf73ac6SHong Zhang . ne - number of local edges of this subnetwork
1398d1cd658SBarry Smith - edgelist - list of edges for this subnetwork, this is a one dimensional array with pairs of entries being the two vertices (in global numbering of the vertices) of each edge,
1408d1cd658SBarry Smith $            [first vertex of first edge, second vertex of first edge, first vertex of second edge, second vertex of second edge, etc]
1412bf73ac6SHong Zhang 
1422bf73ac6SHong Zhang   Output Parameters:
1432bf73ac6SHong Zhang . netnum - global index of the subnetwork
1445f2c45f1SShri Abhyankar 
1455f2c45f1SShri Abhyankar   Notes:
1465f2c45f1SShri Abhyankar   There is no copy involved in this operation, only the pointer is referenced. The edgelist should
1472bf73ac6SHong Zhang   not be destroyed before the call to DMNetworkLayoutSetUp()
1485f2c45f1SShri Abhyankar 
1498d1cd658SBarry Smith   A network can comprise of a single subnetwork OR multiple subnetworks. For a single subnetwork, the subnetwork can be read either in serial or parallel. For a multiple subnetworks,
1508d1cd658SBarry Smith   each subnetwork topology needs to be set on a unique rank and the communicator size needs to be at least equal to the number of subnetworks.
151f11a936eSBarry Smith 
15297bb938eSShri Abhyankar   Level: beginner
1535f2c45f1SShri Abhyankar 
154e3e68989SHong Zhang   Example usage:
155f11a936eSBarry Smith   Consider the following networks:
156f11a936eSBarry Smith   1) A sigle subnetwork:
157e3e68989SHong Zhang .vb
158f11a936eSBarry Smith  network 0:
159f11a936eSBarry Smith  rank[0]:
160f11a936eSBarry Smith    v0 --> v2; v1 --> v2
161f11a936eSBarry Smith  rank[1]:
162f11a936eSBarry Smith    v3 --> v5; v4 --> v5
163e3e68989SHong Zhang .ve
164e3e68989SHong Zhang 
165e3e68989SHong Zhang  The resulting input
166f11a936eSBarry Smith  network 0:
167f11a936eSBarry Smith  rank[0]:
168f11a936eSBarry Smith    ne = 2
169f11a936eSBarry Smith    edgelist = [0 2 | 1 2]
170f11a936eSBarry Smith  rank[1]:
171f11a936eSBarry Smith    ne = 2
172f11a936eSBarry Smith    edgelist = [3 5 | 4 5]
173f11a936eSBarry Smith 
174f11a936eSBarry Smith   2) Two subnetworks:
175f11a936eSBarry Smith .vb
176f11a936eSBarry Smith  subnetwork 0:
177f11a936eSBarry Smith  rank[0]:
178f11a936eSBarry Smith    v0 --> v2; v2 --> v1; v1 --> v3;
179f11a936eSBarry Smith  subnetwork 1:
180f11a936eSBarry Smith  rank[1]:
181f11a936eSBarry Smith    v0 --> v3; v3 --> v2; v2 --> v1;
182f11a936eSBarry Smith .ve
183f11a936eSBarry Smith 
184f11a936eSBarry Smith  The resulting input
185f11a936eSBarry Smith  subnetwork 0:
186f11a936eSBarry Smith  rank[0]:
187f11a936eSBarry Smith    ne = 3
188f11a936eSBarry Smith    edgelist = [0 2 | 2 1 | 1 3]
189f11a936eSBarry Smith  rank[1]:
190f11a936eSBarry Smith    ne = 0
191f11a936eSBarry Smith    edgelist = NULL
192f11a936eSBarry Smith 
193f11a936eSBarry Smith  subnetwork 1:
194f11a936eSBarry Smith  rank[0]:
195f11a936eSBarry Smith    ne = 0
196f11a936eSBarry Smith    edgelist = NULL
197f11a936eSBarry Smith  rank[1]:
198f11a936eSBarry Smith    edgelist = [0 3 | 3 2 | 2 1]
199e3e68989SHong Zhang 
200db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkSetNumSubnetworks()`
2015f2c45f1SShri Abhyankar @*/
202d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkAddSubnetwork(DM dm, const char *name, PetscInt ne, PetscInt edgelist[], PetscInt *netnum)
203d71ae5a4SJacob Faibussowitsch {
2045f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
2055c6496baSHong Zhang   PetscInt    i, Nedge, j, Nvtx, nvtx, nvtx_min = -1, nvtx_max = 0;
206f11a936eSBarry Smith   PetscBT     table;
2075f2c45f1SShri Abhyankar 
2085f2c45f1SShri Abhyankar   PetscFunctionBegin;
209ad540459SPierre Jolivet   for (i = 0; i < ne; i++) PetscCheck(edgelist[2 * i] != edgelist[2 * i + 1], PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Edge %" PetscInt_FMT " has the same vertex %" PetscInt_FMT " at each endpoint", i, edgelist[2 * i]);
210f11a936eSBarry Smith 
2115c6496baSHong Zhang   i = 0;
2125c6496baSHong Zhang   if (ne) nvtx_min = nvtx_max = edgelist[0];
2135c6496baSHong Zhang   for (j = 0; j < ne; j++) {
2145c6496baSHong Zhang     nvtx_min = PetscMin(nvtx_min, edgelist[i]);
2155c6496baSHong Zhang     nvtx_max = PetscMax(nvtx_max, edgelist[i]);
2165c6496baSHong Zhang     i++;
2175c6496baSHong Zhang     nvtx_min = PetscMin(nvtx_min, edgelist[i]);
2185c6496baSHong Zhang     nvtx_max = PetscMax(nvtx_max, edgelist[i]);
2195c6496baSHong Zhang     i++;
2205c6496baSHong Zhang   }
2215c6496baSHong Zhang   Nvtx = nvtx_max - nvtx_min + 1; /* approximated total local nvtx for this subnet */
2225c6496baSHong Zhang 
2235c6496baSHong Zhang   /* Get exact local nvtx for this subnet: counting local values between nvtx_min and nvtx_max */
2249566063dSJacob Faibussowitsch   PetscCall(PetscBTCreate(Nvtx, &table));
2259566063dSJacob Faibussowitsch   PetscCall(PetscBTMemzero(Nvtx, table));
226f11a936eSBarry Smith   i = 0;
227f11a936eSBarry Smith   for (j = 0; j < ne; j++) {
2289566063dSJacob Faibussowitsch     PetscCall(PetscBTSet(table, edgelist[i++] - nvtx_min));
2299566063dSJacob Faibussowitsch     PetscCall(PetscBTSet(table, edgelist[i++] - nvtx_min));
230f11a936eSBarry Smith   }
231f11a936eSBarry Smith   nvtx = 0;
232f11a936eSBarry Smith   for (j = 0; j < Nvtx; j++) {
233f11a936eSBarry Smith     if (PetscBTLookup(table, j)) nvtx++;
234f11a936eSBarry Smith   }
2355c6496baSHong Zhang 
2365c6496baSHong Zhang   /* Get global total Nvtx = max(edgelist[])+1 for this subnet */
2371c2dc1cbSBarry Smith   PetscCall(MPIU_Allreduce(&nvtx_max, &Nvtx, 1, MPIU_INT, MPI_MAX, PetscObjectComm((PetscObject)dm)));
2385c6496baSHong Zhang   Nvtx++;
2399566063dSJacob Faibussowitsch   PetscCall(PetscBTDestroy(&table));
240f11a936eSBarry Smith 
241f11a936eSBarry Smith   /* Get global total Nedge for this subnet */
2421c2dc1cbSBarry Smith   PetscCall(MPIU_Allreduce(&ne, &Nedge, 1, MPIU_INT, MPI_SUM, PetscObjectComm((PetscObject)dm)));
243f11a936eSBarry Smith 
244daad07d3SAidan Hamilton   i = network->cloneshared->nsubnet;
24548a46eb9SPierre Jolivet   if (name) PetscCall(PetscStrcpy(network->cloneshared->subnet[i].name, name));
246daad07d3SAidan Hamilton   network->cloneshared->subnet[i].nvtx     = nvtx; /* include ghost vertices */
247daad07d3SAidan Hamilton   network->cloneshared->subnet[i].nedge    = ne;
248daad07d3SAidan Hamilton   network->cloneshared->subnet[i].edgelist = edgelist;
249daad07d3SAidan Hamilton   network->cloneshared->subnet[i].Nvtx     = Nvtx;
250daad07d3SAidan Hamilton   network->cloneshared->subnet[i].Nedge    = Nedge;
2512bf73ac6SHong Zhang 
2522bf73ac6SHong Zhang   /* ----------------------------------------------------------
2532bf73ac6SHong Zhang    p=v or e;
2542bf73ac6SHong Zhang    subnet[0].pStart   = 0
2552bf73ac6SHong Zhang    subnet[i+1].pStart = subnet[i].pEnd = subnet[i].pStart + (nE[i] or NV[i])
2562bf73ac6SHong Zhang    ----------------------------------------------------------------------- */
2572bf73ac6SHong Zhang   /* GLOBAL subnet[].vStart and vEnd, used by DMNetworkLayoutSetUp() */
258daad07d3SAidan Hamilton   network->cloneshared->subnet[i].vStart = network->cloneshared->NVertices;
259daad07d3SAidan Hamilton   network->cloneshared->subnet[i].vEnd   = network->cloneshared->subnet[i].vStart + network->cloneshared->subnet[i].Nvtx; /* global vEnd of subnet[i] */
2602bf73ac6SHong Zhang 
261daad07d3SAidan Hamilton   network->cloneshared->nVertices += nvtx; /* include ghost vertices */
262daad07d3SAidan Hamilton   network->cloneshared->NVertices += network->cloneshared->subnet[i].Nvtx;
2632bf73ac6SHong Zhang 
2642bf73ac6SHong Zhang   /* LOCAL subnet[].eStart and eEnd, used by DMNetworkLayoutSetUp() */
265daad07d3SAidan Hamilton   network->cloneshared->subnet[i].eStart = network->cloneshared->nEdges;
266daad07d3SAidan Hamilton   network->cloneshared->subnet[i].eEnd   = network->cloneshared->subnet[i].eStart + ne;
267daad07d3SAidan Hamilton   network->cloneshared->nEdges += ne;
268daad07d3SAidan Hamilton   network->cloneshared->NEdges += network->cloneshared->subnet[i].Nedge;
2692bf73ac6SHong Zhang 
270daad07d3SAidan Hamilton   PetscCall(PetscStrcpy(network->cloneshared->subnet[i].name, name));
271daad07d3SAidan Hamilton   if (netnum) *netnum = network->cloneshared->nsubnet;
272daad07d3SAidan Hamilton   network->cloneshared->nsubnet++;
2732bf73ac6SHong Zhang   PetscFunctionReturn(0);
2742bf73ac6SHong Zhang }
2752bf73ac6SHong Zhang 
2765c6496baSHong Zhang /*@C
2775c6496baSHong Zhang   DMNetworkSharedVertexGetInfo - Get info of a shared vertex struct, see petsc/private/dmnetworkimpl.h
2782bf73ac6SHong Zhang 
2795c6496baSHong Zhang   Not collective
2805c6496baSHong Zhang 
2815c6496baSHong Zhang   Input Parameters:
2825c6496baSHong Zhang + dm - the DM object
2835c6496baSHong Zhang - v - vertex point
2845c6496baSHong Zhang 
2855c6496baSHong Zhang   Output Parameters:
2865c6496baSHong Zhang + gidx - global number of this shared vertex in the internal dmplex
2875c6496baSHong Zhang . n - number of subnetworks that share this vertex
2885c6496baSHong Zhang - sv - array of size n: sv[2*i,2*i+1]=(net[i], idx[i]), i=0,...,n-1
2895c6496baSHong Zhang 
2905c6496baSHong Zhang   Level: intermediate
2915c6496baSHong Zhang 
292db781477SPatrick Sanan .seealso: `DMNetworkGetSharedVertices()`
2935c6496baSHong Zhang @*/
294d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkSharedVertexGetInfo(DM dm, PetscInt v, PetscInt *gidx, PetscInt *n, const PetscInt **sv)
295d71ae5a4SJacob Faibussowitsch {
2965c6496baSHong Zhang   DM_Network *network = (DM_Network *)dm->data;
297daad07d3SAidan Hamilton   SVtx       *svtx    = network->cloneshared->svtx;
2985c6496baSHong Zhang   PetscInt    i, gidx_tmp;
2995c6496baSHong Zhang 
3005c6496baSHong Zhang   PetscFunctionBegin;
3019566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetGlobalVertexIndex(dm, v, &gidx_tmp));
302daad07d3SAidan Hamilton   PetscCall(PetscTableFind(network->cloneshared->svtable, gidx_tmp + 1, &i));
3035c6496baSHong Zhang   PetscCheck(i > 0, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "input vertex is not a shared vertex");
3045c6496baSHong Zhang 
3055c6496baSHong Zhang   i--;
3065c6496baSHong Zhang   if (gidx) *gidx = gidx_tmp;
3075c6496baSHong Zhang   if (n) *n = svtx[i].n;
3085c6496baSHong Zhang   if (sv) *sv = svtx[i].sv;
3095c6496baSHong Zhang   PetscFunctionReturn(0);
3105c6496baSHong Zhang }
3115c6496baSHong Zhang 
3125c6496baSHong Zhang /*
3135c6496baSHong Zhang   VtxGetInfo - Get info of an input vertex=(net,idx)
3145c6496baSHong Zhang 
3155c6496baSHong Zhang   Input Parameters:
3165c6496baSHong Zhang + Nsvtx - global num of shared vertices
3175c6496baSHong Zhang . svtx - array of shared vertices (global)
3185c6496baSHong Zhang - (net,idx) - subnet number and local index for a vertex
3195c6496baSHong Zhang 
3205c6496baSHong Zhang   Output Parameters:
3215c6496baSHong Zhang + gidx - global index of (net,idx)
3225c6496baSHong Zhang . svtype - see petsc/private/dmnetworkimpl.h
3235c6496baSHong Zhang - svtx_idx - ordering in the svtx array
3245c6496baSHong Zhang */
325d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode VtxGetInfo(PetscInt Nsvtx, SVtx *svtx, PetscInt net, PetscInt idx, PetscInt *gidx, SVtxType *svtype, PetscInt *svtx_idx)
326d71ae5a4SJacob Faibussowitsch {
3275c6496baSHong Zhang   PetscInt i, j, *svto, g_idx;
3282bf73ac6SHong Zhang   SVtxType vtype;
3292bf73ac6SHong Zhang 
3302bf73ac6SHong Zhang   PetscFunctionBegin;
3312bf73ac6SHong Zhang   if (!Nsvtx) PetscFunctionReturn(0);
3322bf73ac6SHong Zhang 
3335c6496baSHong Zhang   g_idx = -1;
3342bf73ac6SHong Zhang   vtype = SVNONE;
3355c6496baSHong Zhang 
3362bf73ac6SHong Zhang   for (i = 0; i < Nsvtx; i++) {
3372bf73ac6SHong Zhang     if (net == svtx[i].sv[0] && idx == svtx[i].sv[1]) {
3385c6496baSHong Zhang       g_idx = svtx[i].gidx;
3392bf73ac6SHong Zhang       vtype = SVFROM;
3402bf73ac6SHong Zhang     } else { /* loop over svtx[i].n */
3412bf73ac6SHong Zhang       for (j = 1; j < svtx[i].n; j++) {
3422bf73ac6SHong Zhang         svto = svtx[i].sv + 2 * j;
3432bf73ac6SHong Zhang         if (net == svto[0] && idx == svto[1]) {
3442bf73ac6SHong Zhang           /* input vertex net.idx is a shared to_vertex, output its global index and its svtype */
3455c6496baSHong Zhang           g_idx = svtx[i].gidx; /* output gidx for to_vertex */
3462bf73ac6SHong Zhang           vtype = SVTO;
3472bf73ac6SHong Zhang         }
3482bf73ac6SHong Zhang       }
3492bf73ac6SHong Zhang     }
3502bf73ac6SHong Zhang     if (vtype != SVNONE) break;
3512bf73ac6SHong Zhang   }
3525c6496baSHong Zhang   if (gidx) *gidx = g_idx;
3532bf73ac6SHong Zhang   if (svtype) *svtype = vtype;
3542bf73ac6SHong Zhang   if (svtx_idx) *svtx_idx = i;
3552bf73ac6SHong Zhang   PetscFunctionReturn(0);
3562bf73ac6SHong Zhang }
3572bf73ac6SHong Zhang 
3582bf73ac6SHong Zhang /*
3595c6496baSHong Zhang   TableAddSVtx - Add a new shared vertice from sedgelist[k] to a ctable svta
3605c6496baSHong Zhang 
3615c6496baSHong Zhang   Input:  network, sedgelist, k, svta
3625c6496baSHong Zhang   Output: svta, tdata, ta2sv
3632bf73ac6SHong Zhang */
364d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode TableAddSVtx(DM_Network *network, PetscInt *sedgelist, PetscInt k, PetscTable svta, PetscInt *tdata, PetscInt *ta2sv)
365d71ae5a4SJacob Faibussowitsch {
3665c6496baSHong Zhang   PetscInt net, idx, gidx;
3672bf73ac6SHong Zhang 
3682bf73ac6SHong Zhang   PetscFunctionBegin;
3695c6496baSHong Zhang   net  = sedgelist[k];
3705c6496baSHong Zhang   idx  = sedgelist[k + 1];
371daad07d3SAidan Hamilton   gidx = network->cloneshared->subnet[net].vStart + idx;
3729566063dSJacob Faibussowitsch   PetscCall(PetscTableAdd(svta, gidx + 1, *tdata + 1, INSERT_VALUES));
3735c6496baSHong Zhang 
3745c6496baSHong Zhang   ta2sv[*tdata] = k; /* maps tdata to index of sedgelist */
3755c6496baSHong Zhang   (*tdata)++;
3762bf73ac6SHong Zhang   PetscFunctionReturn(0);
3772bf73ac6SHong Zhang }
3782bf73ac6SHong Zhang 
3792bf73ac6SHong Zhang /*
3805c6496baSHong Zhang   SharedVtxCreate - Create an array of global shared vertices. See SVtx and SVtxType in dmnetworkimpl.h
3812bf73ac6SHong Zhang 
3822bf73ac6SHong Zhang   Input:  dm, Nsedgelist, sedgelist
3832bf73ac6SHong Zhang 
3842bf73ac6SHong Zhang   Note: Output svtx is organized as
3852bf73ac6SHong Zhang         sv(net[0],idx[0]) --> sv(net[1],idx[1])
3862bf73ac6SHong Zhang                           --> sv(net[1],idx[1])
3872bf73ac6SHong Zhang                           ...
3882bf73ac6SHong Zhang                           --> sv(net[n-1],idx[n-1])
3892bf73ac6SHong Zhang         and net[0] < net[1] < ... < net[n-1]
3902bf73ac6SHong Zhang         where sv[0] has SVFROM type, sv[i], i>0, has SVTO type.
3912bf73ac6SHong Zhang  */
392d71ae5a4SJacob Faibussowitsch static PetscErrorCode SharedVtxCreate(DM dm, PetscInt Nsedgelist, PetscInt *sedgelist)
393d71ae5a4SJacob Faibussowitsch {
3945c6496baSHong Zhang   SVtx              *svtx = NULL;
3952bf73ac6SHong Zhang   PetscInt          *sv, k, j, nsv, *tdata, **ta2sv;
3962bf73ac6SHong Zhang   PetscTable        *svtas;
3975c6496baSHong Zhang   PetscInt           gidx, net, idx, i, nta, ita, idx_from, idx_to, n;
3982bf73ac6SHong Zhang   DM_Network        *network = (DM_Network *)dm->data;
3992bf73ac6SHong Zhang   PetscTablePosition ppos;
4002bf73ac6SHong Zhang 
4012bf73ac6SHong Zhang   PetscFunctionBegin;
4025c6496baSHong Zhang   /* (1) Crete an array of ctables svtas to map (net,idx) -> gidx; a svtas[] for a shared/merged vertex */
4039566063dSJacob Faibussowitsch   PetscCall(PetscCalloc3(Nsedgelist, &svtas, Nsedgelist, &tdata, 2 * Nsedgelist, &ta2sv));
4042bf73ac6SHong Zhang 
4052bf73ac6SHong Zhang   k   = 0; /* sedgelist vertex counter j = 4*k */
4065c6496baSHong Zhang   nta = 0; /* num of svta tables created */
4072bf73ac6SHong Zhang 
4082bf73ac6SHong Zhang   /* for j=0 */
409daad07d3SAidan Hamilton   PetscCall(PetscTableCreate(2 * Nsedgelist, network->cloneshared->NVertices + 1, &svtas[nta]));
4109566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(2 * Nsedgelist, &ta2sv[nta]));
4112bf73ac6SHong Zhang 
4129566063dSJacob Faibussowitsch   PetscCall(TableAddSVtx(network, sedgelist, k, svtas[nta], &tdata[nta], ta2sv[nta]));
4139566063dSJacob Faibussowitsch   PetscCall(TableAddSVtx(network, sedgelist, k + 2, svtas[nta], &tdata[nta], ta2sv[nta]));
4149371c9d4SSatish Balay   nta++;
4159371c9d4SSatish Balay   k += 4;
4162bf73ac6SHong Zhang 
4175c6496baSHong Zhang   for (j = 1; j < Nsedgelist; j++) { /* j: sedgelist counter */
4182bf73ac6SHong Zhang     for (ita = 0; ita < nta; ita++) {
4192bf73ac6SHong Zhang       /* vfrom */
4209371c9d4SSatish Balay       net  = sedgelist[k];
4219371c9d4SSatish Balay       idx  = sedgelist[k + 1];
422daad07d3SAidan Hamilton       gidx = network->cloneshared->subnet[net].vStart + idx; /* global index of the vertex net.idx before merging shared vertices */
4239566063dSJacob Faibussowitsch       PetscCall(PetscTableFind(svtas[ita], gidx + 1, &idx_from));
4242bf73ac6SHong Zhang 
4252bf73ac6SHong Zhang       /* vto */
4269371c9d4SSatish Balay       net  = sedgelist[k + 2];
4279371c9d4SSatish Balay       idx  = sedgelist[k + 3];
428daad07d3SAidan Hamilton       gidx = network->cloneshared->subnet[net].vStart + idx;
4299566063dSJacob Faibussowitsch       PetscCall(PetscTableFind(svtas[ita], gidx + 1, &idx_to));
4302bf73ac6SHong Zhang 
4312bf73ac6SHong Zhang       if (idx_from || idx_to) { /* vfrom or vto is on table svtas[ita] */
4329371c9d4SSatish Balay         idx_from--;
4339371c9d4SSatish Balay         idx_to--;
4342bf73ac6SHong Zhang         if (idx_from < 0) { /* vto is on svtas[ita] */
4359566063dSJacob Faibussowitsch           PetscCall(TableAddSVtx(network, sedgelist, k, svtas[ita], &tdata[ita], ta2sv[ita]));
4362bf73ac6SHong Zhang           break;
4372bf73ac6SHong Zhang         } else if (idx_to < 0) {
4389566063dSJacob Faibussowitsch           PetscCall(TableAddSVtx(network, sedgelist, k + 2, svtas[ita], &tdata[ita], ta2sv[ita]));
4392bf73ac6SHong Zhang           break;
4402bf73ac6SHong Zhang         }
4412bf73ac6SHong Zhang       }
4422bf73ac6SHong Zhang     }
4432bf73ac6SHong Zhang 
4442bf73ac6SHong Zhang     if (ita == nta) {
445daad07d3SAidan Hamilton       PetscCall(PetscTableCreate(2 * Nsedgelist, network->cloneshared->NVertices + 1, &svtas[nta]));
4469566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(2 * Nsedgelist, &ta2sv[nta]));
4472bf73ac6SHong Zhang 
4489566063dSJacob Faibussowitsch       PetscCall(TableAddSVtx(network, sedgelist, k, svtas[nta], &tdata[nta], ta2sv[nta]));
4499566063dSJacob Faibussowitsch       PetscCall(TableAddSVtx(network, sedgelist, k + 2, svtas[nta], &tdata[nta], ta2sv[nta]));
4502bf73ac6SHong Zhang       nta++;
4512bf73ac6SHong Zhang     }
4522bf73ac6SHong Zhang     k += 4;
4532bf73ac6SHong Zhang   }
4542bf73ac6SHong Zhang 
4556aad120cSJose E. Roman   /* (2) Create svtable for query shared vertices using gidx */
456daad07d3SAidan Hamilton   PetscCall(PetscTableCreate(nta, network->cloneshared->NVertices + 1, &network->cloneshared->svtable));
4575c6496baSHong Zhang 
4585c6496baSHong Zhang   /* (3) Construct svtx from svtas
4595c6496baSHong Zhang      svtx: array of SVtx: sv[0]=(net[0],idx[0]) to vertices sv[k], k=1,...,n-1;
4604f5c2772SJose E. Roman      net[k], k=0, ...,n-1, are in ascending order */
4619566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nta, &svtx));
4622bf73ac6SHong Zhang   for (nsv = 0; nsv < nta; nsv++) {
4634f5c2772SJose E. Roman     /* for a single svtx, put shared vertices in ascending order of gidx */
4649566063dSJacob Faibussowitsch     PetscCall(PetscTableGetCount(svtas[nsv], &n));
4659566063dSJacob Faibussowitsch     PetscCall(PetscCalloc1(2 * n, &sv));
4665c6496baSHong Zhang     svtx[nsv].sv   = sv;
4675c6496baSHong Zhang     svtx[nsv].n    = n;
468daad07d3SAidan Hamilton     svtx[nsv].gidx = network->cloneshared->NVertices; /* initialization */
4692bf73ac6SHong Zhang 
4709566063dSJacob Faibussowitsch     PetscCall(PetscTableGetHeadPosition(svtas[nsv], &ppos));
4714f5c2772SJose E. Roman     for (k = 0; k < n; k++) { /* gidx is sorted in ascending order */
4729566063dSJacob Faibussowitsch       PetscCall(PetscTableGetNext(svtas[nsv], &ppos, &gidx, &i));
4739371c9d4SSatish Balay       gidx--;
4749371c9d4SSatish Balay       i--;
4752bf73ac6SHong Zhang 
4765c6496baSHong Zhang       if (svtx[nsv].gidx > gidx) svtx[nsv].gidx = gidx; /*svtx[nsv].gidx = min(gidx) */
4775c6496baSHong Zhang 
4785c6496baSHong Zhang       j             = ta2sv[nsv][i];    /* maps i to index of sedgelist */
4795c6496baSHong Zhang       sv[2 * k]     = sedgelist[j];     /* subnet number */
4805c6496baSHong Zhang       sv[2 * k + 1] = sedgelist[j + 1]; /* index on the subnet */
4812bf73ac6SHong Zhang     }
4825c6496baSHong Zhang 
4836aad120cSJose E. Roman     /* Setup svtable for query shared vertices */
484daad07d3SAidan Hamilton     PetscCall(PetscTableAdd(network->cloneshared->svtable, svtx[nsv].gidx + 1, nsv + 1, INSERT_VALUES));
4852bf73ac6SHong Zhang   }
4862bf73ac6SHong Zhang 
4872bf73ac6SHong Zhang   for (j = 0; j < nta; j++) {
4889566063dSJacob Faibussowitsch     PetscCall(PetscTableDestroy(&svtas[j]));
4899566063dSJacob Faibussowitsch     PetscCall(PetscFree(ta2sv[j]));
4902bf73ac6SHong Zhang   }
4919566063dSJacob Faibussowitsch   PetscCall(PetscFree3(svtas, tdata, ta2sv));
4922bf73ac6SHong Zhang 
493daad07d3SAidan Hamilton   network->cloneshared->Nsvtx = nta;
494daad07d3SAidan Hamilton   network->cloneshared->svtx  = svtx;
4952bf73ac6SHong Zhang   PetscFunctionReturn(0);
4962bf73ac6SHong Zhang }
4972bf73ac6SHong Zhang 
4985c6496baSHong Zhang /*
4995c6496baSHong Zhang   GetEdgelist_Coupling - Get an integrated edgelist for dmplex from user-provided subnet[].edgelist when subnets are coupled by shared vertices
5005c6496baSHong Zhang 
5015c6496baSHong Zhang   Input Parameters:
5025c6496baSHong Zhang . dm - the dmnetwork object
5035c6496baSHong Zhang 
5045c6496baSHong Zhang    Output Parameters:
5055c6496baSHong Zhang +  edges - the integrated edgelist for dmplex
5065c6496baSHong Zhang -  nmerged_ptr - num of vertices being merged
5075c6496baSHong Zhang */
508d71ae5a4SJacob Faibussowitsch static PetscErrorCode GetEdgelist_Coupling(DM dm, PetscInt *edges, PetscInt *nmerged_ptr)
509d71ae5a4SJacob Faibussowitsch {
5102bf73ac6SHong Zhang   MPI_Comm    comm;
5112bf73ac6SHong Zhang   PetscMPIInt size, rank, *recvcounts = NULL, *displs = NULL;
512eac198afSGetnet   DM_Network *network = (DM_Network *)dm->data;
513eac198afSGetnet   PetscInt    i, j, ctr, np;
514daad07d3SAidan Hamilton   PetscInt   *vidxlTog, Nsv, Nsubnet = network->cloneshared->Nsubnet;
515daad07d3SAidan Hamilton   PetscInt   *sedgelist = network->cloneshared->sedgelist;
5165c6496baSHong Zhang   PetscInt    net, idx, gidx, nmerged, *vrange, gidx_from, net_from, sv_idx;
5172bf73ac6SHong Zhang   SVtxType    svtype = SVNONE;
5185c6496baSHong Zhang   SVtx       *svtx;
5192bf73ac6SHong Zhang 
5202bf73ac6SHong Zhang   PetscFunctionBegin;
5219566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
5229566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
5239566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
5242bf73ac6SHong Zhang 
5255c6496baSHong Zhang   /* (1) Create global svtx[] from sedgelist */
5265c6496baSHong Zhang   /* --------------------------------------- */
527daad07d3SAidan Hamilton   PetscCall(SharedVtxCreate(dm, network->cloneshared->Nsvtx, sedgelist));
528daad07d3SAidan Hamilton   Nsv  = network->cloneshared->Nsvtx;
529daad07d3SAidan Hamilton   svtx = network->cloneshared->svtx;
5302bf73ac6SHong Zhang 
5315c6496baSHong Zhang   /* (2) Merge shared vto vertices to their vfrom vertex with same global vetex index (gidx) */
5325c6496baSHong Zhang   /* --------------------------------------------------------------------------------------- */
5332bf73ac6SHong Zhang   /* (2.1) compute vrage[rank]: global index of 1st local vertex in proc[rank] */
534daad07d3SAidan Hamilton   PetscCall(PetscMalloc4(size + 1, &vrange, size, &displs, size, &recvcounts, network->cloneshared->nVertices, &vidxlTog));
5359371c9d4SSatish Balay   for (i = 0; i < size; i++) {
5369371c9d4SSatish Balay     displs[i]     = i;
5379371c9d4SSatish Balay     recvcounts[i] = 1;
5389371c9d4SSatish Balay   }
5392bf73ac6SHong Zhang 
5402bf73ac6SHong Zhang   vrange[0] = 0;
541daad07d3SAidan Hamilton   PetscCallMPI(MPI_Allgatherv(&network->cloneshared->nVertices, 1, MPIU_INT, vrange + 1, recvcounts, displs, MPIU_INT, comm));
5425c6496baSHong Zhang   for (i = 2; i < size + 1; i++) vrange[i] += vrange[i - 1];
5432bf73ac6SHong Zhang 
5442bf73ac6SHong Zhang   /* (2.2) Create vidxlTog: maps UN-MERGED local vertex index i to global index gidx (plex, excluding ghost vertices) */
5459371c9d4SSatish Balay   i                           = 0;
5469371c9d4SSatish Balay   gidx                        = 0;
5472bf73ac6SHong Zhang   nmerged                     = 0; /* local num of merged vertices */
548daad07d3SAidan Hamilton   network->cloneshared->nsvtx = 0; /* local num of SVtx structs, including ghosts */
5492bf73ac6SHong Zhang   for (net = 0; net < Nsubnet; net++) {
550daad07d3SAidan Hamilton     for (idx = 0; idx < network->cloneshared->subnet[net].Nvtx; idx++) { /* Note: global subnet[net].Nvtx */
5519566063dSJacob Faibussowitsch       PetscCall(VtxGetInfo(Nsv, svtx, net, idx, &gidx_from, &svtype, &sv_idx));
5522bf73ac6SHong Zhang       if (svtype == SVTO) {
553daad07d3SAidan Hamilton         if (network->cloneshared->subnet[net].nvtx) { /* this proc owns sv_to */
5545c6496baSHong Zhang           net_from = svtx[sv_idx].sv[0];              /* subnet number of its shared vertex */
555daad07d3SAidan Hamilton           if (network->cloneshared->subnet[net_from].nvtx == 0) {
5565c6496baSHong Zhang             /* this proc does not own v_from, thus a ghost local vertex */
557daad07d3SAidan Hamilton             network->cloneshared->nsvtx++;
5582bf73ac6SHong Zhang           }
5595c6496baSHong Zhang           vidxlTog[i++] = gidx_from; /* gidx before merging! Bug??? */
5605c6496baSHong Zhang           nmerged++;                 /* a shared vertex -- merged */
5612bf73ac6SHong Zhang         }
5622bf73ac6SHong Zhang       } else {
563daad07d3SAidan Hamilton         if (svtype == SVFROM && network->cloneshared->subnet[net].nvtx) {
5645c6496baSHong Zhang           /* this proc owns this v_from, a new local shared vertex */
565daad07d3SAidan Hamilton           network->cloneshared->nsvtx++;
5662bf73ac6SHong Zhang         }
567daad07d3SAidan Hamilton         if (network->cloneshared->subnet[net].nvtx) vidxlTog[i++] = gidx;
5682bf73ac6SHong Zhang         gidx++;
5692bf73ac6SHong Zhang       }
5702bf73ac6SHong Zhang     }
5712bf73ac6SHong Zhang   }
5722bf73ac6SHong Zhang #if defined(PETSC_USE_DEBUG)
573daad07d3SAidan Hamilton   PetscCheck(i == network->cloneshared->nVertices, PETSC_COMM_SELF, PETSC_ERR_ARG_NULL, "%" PetscInt_FMT " != %" PetscInt_FMT " nVertices", i, network->cloneshared->nVertices);
5742bf73ac6SHong Zhang #endif
5752bf73ac6SHong Zhang 
5765c6496baSHong Zhang   /* (2.3) Shared vertices in the subnetworks are merged, update global NVertices: np = sum(local nmerged) */
5779566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Allreduce(&nmerged, &np, 1, MPIU_INT, MPI_SUM, comm));
578daad07d3SAidan Hamilton   network->cloneshared->NVertices -= np;
5792bf73ac6SHong Zhang 
5802bf73ac6SHong Zhang   ctr = 0;
5812bf73ac6SHong Zhang   for (net = 0; net < Nsubnet; net++) {
582daad07d3SAidan Hamilton     for (j = 0; j < network->cloneshared->subnet[net].nedge; j++) {
5832bf73ac6SHong Zhang       /* vfrom: */
584daad07d3SAidan Hamilton       i              = network->cloneshared->subnet[net].edgelist[2 * j] + (network->cloneshared->subnet[net].vStart - vrange[rank]);
5852bf73ac6SHong Zhang       edges[2 * ctr] = vidxlTog[i];
5862bf73ac6SHong Zhang 
5872bf73ac6SHong Zhang       /* vto */
588daad07d3SAidan Hamilton       i                  = network->cloneshared->subnet[net].edgelist[2 * j + 1] + (network->cloneshared->subnet[net].vStart - vrange[rank]);
5892bf73ac6SHong Zhang       edges[2 * ctr + 1] = vidxlTog[i];
5902bf73ac6SHong Zhang       ctr++;
5912bf73ac6SHong Zhang     }
5922bf73ac6SHong Zhang   }
5939566063dSJacob Faibussowitsch   PetscCall(PetscFree4(vrange, displs, recvcounts, vidxlTog));
5949566063dSJacob Faibussowitsch   PetscCall(PetscFree(sedgelist)); /* created in DMNetworkAddSharedVertices() */
5952bf73ac6SHong Zhang 
596eac198afSGetnet   *nmerged_ptr = nmerged;
5975f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
5985f2c45f1SShri Abhyankar }
5995f2c45f1SShri Abhyankar 
600d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkInitializeNonTopological(DM dm)
601d71ae5a4SJacob Faibussowitsch {
602daad07d3SAidan Hamilton   DM_Network *network = (DM_Network *)dm->data;
603daad07d3SAidan Hamilton   PetscInt    p, pStart = network->cloneshared->pStart, pEnd = network->cloneshared->pEnd;
604daad07d3SAidan Hamilton   MPI_Comm    comm;
605daad07d3SAidan Hamilton 
606daad07d3SAidan Hamilton   PetscFunctionBegin;
607daad07d3SAidan Hamilton   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
608daad07d3SAidan Hamilton 
609daad07d3SAidan Hamilton   PetscCall(PetscSectionCreate(comm, &network->DataSection));
610daad07d3SAidan Hamilton   PetscCall(PetscSectionCreate(comm, &network->DofSection));
611daad07d3SAidan Hamilton   PetscCall(PetscSectionSetChart(network->DataSection, pStart, pEnd));
612daad07d3SAidan Hamilton   PetscCall(PetscSectionSetChart(network->DofSection, pStart, pEnd));
613daad07d3SAidan Hamilton 
614daad07d3SAidan Hamilton   PetscCall(DMNetworkInitializeHeaderComponentData(dm));
615daad07d3SAidan Hamilton 
616daad07d3SAidan Hamilton   for (p = 0; p < pEnd - pStart; p++) {
617daad07d3SAidan Hamilton     network->header[p].ndata           = 0;
618daad07d3SAidan Hamilton     network->header[p].offset[0]       = 0;
619daad07d3SAidan Hamilton     network->header[p].offsetvarrel[0] = 0;
620daad07d3SAidan Hamilton     PetscCall(PetscSectionAddDof(network->DataSection, p, network->header[p].hsize));
621daad07d3SAidan Hamilton   }
622daad07d3SAidan Hamilton   PetscFunctionReturn(0);
623daad07d3SAidan Hamilton }
624daad07d3SAidan Hamilton 
6255f2c45f1SShri Abhyankar /*@
6265f2c45f1SShri Abhyankar   DMNetworkLayoutSetUp - Sets up the bare layout (graph) for the network
6275f2c45f1SShri Abhyankar 
628eac198afSGetnet   Not Collective
6295f2c45f1SShri Abhyankar 
6307a7aea1fSJed Brown   Input Parameters:
631f11a936eSBarry Smith . dm - the dmnetwork object
6325f2c45f1SShri Abhyankar 
6335f2c45f1SShri Abhyankar   Notes:
6345f2c45f1SShri Abhyankar   This routine should be called after the network sizes and edgelists have been provided. It creates
6355f2c45f1SShri Abhyankar   the bare layout of the network and sets up the network to begin insertion of components.
6365f2c45f1SShri Abhyankar 
6375f2c45f1SShri Abhyankar   All the components should be registered before calling this routine.
6385f2c45f1SShri Abhyankar 
63997bb938eSShri Abhyankar   Level: beginner
6405f2c45f1SShri Abhyankar 
641db781477SPatrick Sanan .seealso: `DMNetworkSetNumSubNetworks()`, `DMNetworkAddSubnetwork()`
6425f2c45f1SShri Abhyankar @*/
643d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkLayoutSetUp(DM dm)
644d71ae5a4SJacob Faibussowitsch {
6455f2c45f1SShri Abhyankar   DM_Network     *network = (DM_Network *)dm->data;
646daad07d3SAidan Hamilton   PetscInt        i, j, ctr, Nsubnet = network->cloneshared->Nsubnet, np, *edges, *subnetvtx, *subnetedge, e, v, vfrom, vto, net, globaledgeoff;
647caf410d2SHong Zhang   const PetscInt *cone;
648caf410d2SHong Zhang   MPI_Comm        comm;
6495503a911SAidan Hamilton   PetscMPIInt     size;
650eac198afSGetnet   PetscSection    sectiong;
6515c6496baSHong Zhang   PetscInt        nmerged = 0;
6526500d4abSHong Zhang 
6536500d4abSHong Zhang   PetscFunctionBegin;
654e3b1a053SGetnet Betrie   PetscCall(PetscLogEventBegin(DMNetwork_LayoutSetUp, dm, 0, 0, 0));
655daad07d3SAidan Hamilton   PetscCheck(network->cloneshared->nsubnet == Nsubnet, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Must call DMNetworkAddSubnetwork() %" PetscInt_FMT " times", Nsubnet);
6562bf73ac6SHong Zhang 
657eac198afSGetnet   /* This implementation requires user input each subnet by a single processor when Nsubnet>1, thus subnet[net].nvtx=subnet[net].Nvtx when net>0 */
658eac198afSGetnet   for (net = 1; net < Nsubnet; net++) {
6599371c9d4SSatish Balay     if (network->cloneshared->subnet[net].nvtx)
6609371c9d4SSatish Balay       PetscCheck(network->cloneshared->subnet[net].nvtx == network->cloneshared->subnet[net].Nvtx, PETSC_COMM_SELF, PETSC_ERR_SUP, "subnetwork %" PetscInt_FMT " local num of vertices %" PetscInt_FMT " != %" PetscInt_FMT " global num", net,
6619371c9d4SSatish Balay                  network->cloneshared->subnet[net].nvtx, network->cloneshared->subnet[net].Nvtx);
662eac198afSGetnet   }
663eac198afSGetnet 
6649566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
6655503a911SAidan Hamilton   PetscCall(MPI_Comm_size(comm, &size));
6666500d4abSHong Zhang 
667f11a936eSBarry Smith   /* Create LOCAL edgelist in global vertex ordering for the network by concatenating local input edgelists of the subnetworks */
668daad07d3SAidan Hamilton   PetscCall(PetscCalloc1(2 * network->cloneshared->nEdges, &edges));
669eac198afSGetnet 
670daad07d3SAidan Hamilton   if (network->cloneshared->Nsvtx) { /* subnetworks are coupled via shared vertices */
6719566063dSJacob Faibussowitsch     PetscCall(GetEdgelist_Coupling(dm, edges, &nmerged));
672eac198afSGetnet   } else { /* subnetworks are not coupled */
6736aad120cSJose E. Roman     /* Create a 0-size svtable for query shared vertices */
674daad07d3SAidan Hamilton     PetscCall(PetscTableCreate(0, network->cloneshared->NVertices + 1, &network->cloneshared->svtable));
675caf410d2SHong Zhang     ctr = 0;
6762bf73ac6SHong Zhang     for (i = 0; i < Nsubnet; i++) {
677daad07d3SAidan Hamilton       for (j = 0; j < network->cloneshared->subnet[i].nedge; j++) {
678daad07d3SAidan Hamilton         edges[2 * ctr]     = network->cloneshared->subnet[i].vStart + network->cloneshared->subnet[i].edgelist[2 * j];
679daad07d3SAidan Hamilton         edges[2 * ctr + 1] = network->cloneshared->subnet[i].vStart + network->cloneshared->subnet[i].edgelist[2 * j + 1];
6806500d4abSHong Zhang         ctr++;
6816500d4abSHong Zhang       }
6826500d4abSHong Zhang     }
683eac198afSGetnet   }
6847765340cSHong Zhang 
6852bf73ac6SHong Zhang   /* Create network->plex; One dimensional network, numCorners=2 */
6869566063dSJacob Faibussowitsch   PetscCall(DMCreate(comm, &network->plex));
6879566063dSJacob Faibussowitsch   PetscCall(DMSetType(network->plex, DMPLEX));
6889566063dSJacob Faibussowitsch   PetscCall(DMSetDimension(network->plex, 1));
689eac198afSGetnet 
690daad07d3SAidan Hamilton   if (size == 1) PetscCall(DMPlexBuildFromCellList(network->plex, network->cloneshared->nEdges, PETSC_DECIDE, 2, edges));
691daad07d3SAidan Hamilton   else PetscCall(DMPlexBuildFromCellListParallel(network->plex, network->cloneshared->nEdges, PETSC_DECIDE, PETSC_DECIDE, 2, edges, NULL, NULL));
6926500d4abSHong Zhang 
693daad07d3SAidan Hamilton   PetscCall(DMPlexGetChart(network->plex, &network->cloneshared->pStart, &network->cloneshared->pEnd));
694daad07d3SAidan Hamilton   PetscCall(DMPlexGetHeightStratum(network->plex, 0, &network->cloneshared->eStart, &network->cloneshared->eEnd));
695daad07d3SAidan Hamilton   PetscCall(DMPlexGetHeightStratum(network->plex, 1, &network->cloneshared->vStart, &network->cloneshared->vEnd));
696daad07d3SAidan Hamilton   np = network->cloneshared->pEnd - network->cloneshared->pStart;
6979566063dSJacob Faibussowitsch   PetscCall(PetscCalloc2(np, &network->header, np, &network->cvalue));
698caf410d2SHong Zhang 
699f11a936eSBarry Smith   /* Create edge and vertex arrays for the subnetworks
700f11a936eSBarry Smith      This implementation assumes that DMNetwork reads
701f11a936eSBarry Smith      (1) a single subnetwork in parallel; or
702f11a936eSBarry Smith      (2) n subnetworks using n processors, one subnetwork/processor.
703f11a936eSBarry Smith   */
704daad07d3SAidan Hamilton   PetscCall(PetscCalloc2(network->cloneshared->nEdges, &subnetedge, network->cloneshared->nVertices + network->cloneshared->nsvtx, &subnetvtx)); /* Maps local edge/vertex to local subnetwork's edge/vertex */
705daad07d3SAidan Hamilton   network->cloneshared->subnetedge = subnetedge;
706daad07d3SAidan Hamilton   network->cloneshared->subnetvtx  = subnetvtx;
7075c6496baSHong Zhang   for (j = 0; j < Nsubnet; j++) {
708daad07d3SAidan Hamilton     network->cloneshared->subnet[j].edges = subnetedge;
709daad07d3SAidan Hamilton     subnetedge += network->cloneshared->subnet[j].nedge;
710f11a936eSBarry Smith 
711daad07d3SAidan Hamilton     network->cloneshared->subnet[j].vertices = subnetvtx;
712daad07d3SAidan Hamilton     subnetvtx += network->cloneshared->subnet[j].nvtx;
7136500d4abSHong Zhang   }
714daad07d3SAidan Hamilton   network->cloneshared->svertices = subnetvtx;
715caf410d2SHong Zhang 
716caf410d2SHong Zhang   /* Get edge ownership */
717daad07d3SAidan Hamilton   np = network->cloneshared->eEnd - network->cloneshared->eStart;
7185503a911SAidan Hamilton   PetscCallMPI(MPI_Scan(&np, &globaledgeoff, 1, MPIU_INT, MPI_SUM, comm));
7195503a911SAidan Hamilton   globaledgeoff -= np;
720caf410d2SHong Zhang 
721eac198afSGetnet   /* Setup local edge and vertex arrays for subnetworks */
7222bf73ac6SHong Zhang   e = 0;
7232bf73ac6SHong Zhang   for (i = 0; i < Nsubnet; i++) {
724f11a936eSBarry Smith     ctr = 0;
725daad07d3SAidan Hamilton     for (j = 0; j < network->cloneshared->subnet[i].nedge; j++) {
7262bf73ac6SHong Zhang       /* edge e */
7275503a911SAidan Hamilton       network->header[e].index                 = e + globaledgeoff; /* Global edge index */
7282bf73ac6SHong Zhang       network->header[e].subnetid              = i;
729daad07d3SAidan Hamilton       network->cloneshared->subnet[i].edges[j] = e;
7302bf73ac6SHong Zhang 
7312bf73ac6SHong Zhang       /* connected vertices */
7329566063dSJacob Faibussowitsch       PetscCall(DMPlexGetCone(network->plex, e, &cone));
7332bf73ac6SHong Zhang 
7342bf73ac6SHong Zhang       /* vertex cone[0] */
735f11a936eSBarry Smith       v                           = cone[0];
736f11a936eSBarry Smith       network->header[v].index    = edges[2 * e]; /* Global vertex index */
737f11a936eSBarry Smith       network->header[v].subnetid = i;            /* Subnetwork id */
738f11a936eSBarry Smith       if (Nsubnet == 1) {
739daad07d3SAidan Hamilton         network->cloneshared->subnet[i].vertices[v - network->cloneshared->vStart] = v; /* user's subnet[].idx = petsc's v */
740f11a936eSBarry Smith       } else {
741daad07d3SAidan Hamilton         vfrom                                           = network->cloneshared->subnet[i].edgelist[2 * ctr]; /* =subnet[i].idx, Global index! */
742daad07d3SAidan Hamilton         network->cloneshared->subnet[i].vertices[vfrom] = v;                                                 /* user's subnet[].dix = petsc's v */
743f11a936eSBarry Smith       }
7442bf73ac6SHong Zhang 
7452bf73ac6SHong Zhang       /* vertex cone[1] */
746f11a936eSBarry Smith       v                           = cone[1];
747f11a936eSBarry Smith       network->header[v].index    = edges[2 * e + 1]; /* Global vertex index */
748f11a936eSBarry Smith       network->header[v].subnetid = i;                /* Subnetwork id */
749f11a936eSBarry Smith       if (Nsubnet == 1) {
750daad07d3SAidan Hamilton         network->cloneshared->subnet[i].vertices[v - network->cloneshared->vStart] = v; /* user's subnet[].idx = petsc's v */
751f11a936eSBarry Smith       } else {
752daad07d3SAidan Hamilton         vto                                           = network->cloneshared->subnet[i].edgelist[2 * ctr + 1]; /* =subnet[i].idx, Global index! */
753daad07d3SAidan Hamilton         network->cloneshared->subnet[i].vertices[vto] = v;                                                     /* user's subnet[].dix = petsc's v */
754f11a936eSBarry Smith       }
7552bf73ac6SHong Zhang 
7569371c9d4SSatish Balay       e++;
7579371c9d4SSatish Balay       ctr++;
7586500d4abSHong Zhang     }
7596500d4abSHong Zhang   }
7605503a911SAidan Hamilton   PetscCall(PetscFree(edges));
761caf410d2SHong Zhang 
762eac198afSGetnet   /* Set local vertex array for the subnetworks */
763eac198afSGetnet   j = 0;
764daad07d3SAidan Hamilton   for (v = network->cloneshared->vStart; v < network->cloneshared->vEnd; v++) {
765eac198afSGetnet     /* local shared vertex */
766daad07d3SAidan Hamilton     PetscCall(PetscTableFind(network->cloneshared->svtable, network->header[v].index + 1, &i));
767daad07d3SAidan Hamilton     if (i) network->cloneshared->svertices[j++] = v;
7686500d4abSHong Zhang   }
769eac198afSGetnet 
770eac198afSGetnet   /* Create a global section to be used by DMNetworkIsGhostVertex() which is a non-collective routine */
771eac198afSGetnet   /* see snes_tutorials_network-ex1_4 */
7729566063dSJacob Faibussowitsch   PetscCall(DMGetGlobalSection(network->plex, &sectiong));
773daad07d3SAidan Hamilton   /* Initialize non-topological data structures  */
774daad07d3SAidan Hamilton   PetscCall(DMNetworkInitializeNonTopological(dm));
775e3b1a053SGetnet Betrie   PetscCall(PetscLogEventEnd(DMNetwork_LayoutSetUp, dm, 0, 0, 0));
7765f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
7775f2c45f1SShri Abhyankar }
7785f2c45f1SShri Abhyankar 
77994ef8ddeSSatish Balay /*@C
7802bf73ac6SHong Zhang   DMNetworkGetSubnetwork - Returns the information about a requested subnetwork
7812bf73ac6SHong Zhang 
7822bf73ac6SHong Zhang   Not collective
7832727e31bSShri Abhyankar 
7847a7aea1fSJed Brown   Input Parameters:
785caf410d2SHong Zhang + dm - the DM object
7862bf73ac6SHong Zhang - netnum - the global index of the subnetwork
7872727e31bSShri Abhyankar 
7887a7aea1fSJed Brown   Output Parameters:
7892727e31bSShri Abhyankar + nv - number of vertices (local)
7902727e31bSShri Abhyankar . ne - number of edges (local)
7912bf73ac6SHong Zhang . vtx - local vertices of the subnetwork
7922bf73ac6SHong Zhang - edge - local edges of the subnetwork
7932727e31bSShri Abhyankar 
7942727e31bSShri Abhyankar   Notes:
7952727e31bSShri Abhyankar     Cannot call this routine before DMNetworkLayoutSetup()
7962727e31bSShri Abhyankar 
797eac198afSGetnet     The local vertices returned on each rank are determined by DMNetwork. The user does not have any control over what vertices are local.
798eac198afSGetnet 
79906dd6b0eSSatish Balay   Level: intermediate
80006dd6b0eSSatish Balay 
801db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkAddSubnetwork()`, `DMNetworkLayoutSetUp()`
8022727e31bSShri Abhyankar @*/
803d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetSubnetwork(DM dm, PetscInt netnum, PetscInt *nv, PetscInt *ne, const PetscInt **vtx, const PetscInt **edge)
804d71ae5a4SJacob Faibussowitsch {
805caf410d2SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
8062727e31bSShri Abhyankar 
8072727e31bSShri Abhyankar   PetscFunctionBegin;
808daad07d3SAidan Hamilton   PetscCheck(netnum < network->cloneshared->Nsubnet, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Subnet index %" PetscInt_FMT " exceeds the num of subnets %" PetscInt_FMT, netnum, network->cloneshared->Nsubnet);
809daad07d3SAidan Hamilton   if (nv) *nv = network->cloneshared->subnet[netnum].nvtx;
810daad07d3SAidan Hamilton   if (ne) *ne = network->cloneshared->subnet[netnum].nedge;
811daad07d3SAidan Hamilton   if (vtx) *vtx = network->cloneshared->subnet[netnum].vertices;
812daad07d3SAidan Hamilton   if (edge) *edge = network->cloneshared->subnet[netnum].edges;
8132bf73ac6SHong Zhang   PetscFunctionReturn(0);
8142bf73ac6SHong Zhang }
8152bf73ac6SHong Zhang 
8162bf73ac6SHong Zhang /*@
8172bf73ac6SHong Zhang   DMNetworkAddSharedVertices - Add shared vertices that connect two given subnetworks
8182bf73ac6SHong Zhang 
8192bf73ac6SHong Zhang   Collective on dm
8202bf73ac6SHong Zhang 
8212bf73ac6SHong Zhang   Input Parameters:
8222bf73ac6SHong Zhang + dm - the dm object
8232bf73ac6SHong Zhang . anetnum - first subnetwork global numbering returned by DMNetworkAddSubnetwork()
8242bf73ac6SHong Zhang . bnetnum - second subnetwork global numbering returned by DMNetworkAddSubnetwork()
8252bf73ac6SHong Zhang . nsvtx - number of vertices that are shared by the two subnetworks
8262bf73ac6SHong Zhang . asvtx - vertex index in the first subnetwork
8272bf73ac6SHong Zhang - bsvtx - vertex index in the second subnetwork
8282bf73ac6SHong Zhang 
8292bf73ac6SHong Zhang   Level: beginner
8302bf73ac6SHong Zhang 
831db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkAddSubnetwork()`, `DMNetworkGetSharedVertices()`
8322bf73ac6SHong Zhang @*/
833d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkAddSharedVertices(DM dm, PetscInt anetnum, PetscInt bnetnum, PetscInt nsvtx, PetscInt asvtx[], PetscInt bsvtx[])
834d71ae5a4SJacob Faibussowitsch {
8352bf73ac6SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
836daad07d3SAidan Hamilton   PetscInt    i, nsubnet = network->cloneshared->Nsubnet, *sedgelist, Nsvtx = network->cloneshared->Nsvtx;
8372bf73ac6SHong Zhang 
8382bf73ac6SHong Zhang   PetscFunctionBegin;
8395c6496baSHong Zhang   PetscCheck(anetnum != bnetnum, PetscObjectComm((PetscObject)dm), PETSC_ERR_USER, "Subnetworks must have different netnum");
8405c6496baSHong Zhang   PetscCheck(anetnum >= 0 && bnetnum >= 0, PetscObjectComm((PetscObject)dm), PETSC_ERR_USER, "netnum cannot be negative");
8412bf73ac6SHong Zhang   if (!Nsvtx) {
8422bf73ac6SHong Zhang     /* allocate network->sedgelist to hold at most 2*nsubnet pairs of shared vertices */
843daad07d3SAidan Hamilton     PetscCall(PetscMalloc1(2 * 4 * nsubnet, &network->cloneshared->sedgelist));
8442bf73ac6SHong Zhang   }
8452bf73ac6SHong Zhang 
846daad07d3SAidan Hamilton   sedgelist = network->cloneshared->sedgelist;
8472bf73ac6SHong Zhang   for (i = 0; i < nsvtx; i++) {
8489371c9d4SSatish Balay     sedgelist[4 * Nsvtx]     = anetnum;
8499371c9d4SSatish Balay     sedgelist[4 * Nsvtx + 1] = asvtx[i];
8509371c9d4SSatish Balay     sedgelist[4 * Nsvtx + 2] = bnetnum;
8519371c9d4SSatish Balay     sedgelist[4 * Nsvtx + 3] = bsvtx[i];
8522bf73ac6SHong Zhang     Nsvtx++;
8532bf73ac6SHong Zhang   }
8545c6496baSHong Zhang   PetscCheck(Nsvtx <= 2 * nsubnet, PETSC_COMM_SELF, PETSC_ERR_SUP, "allocate more space for coupling edgelist");
855daad07d3SAidan Hamilton   network->cloneshared->Nsvtx = Nsvtx;
8562727e31bSShri Abhyankar   PetscFunctionReturn(0);
8572727e31bSShri Abhyankar }
8582727e31bSShri Abhyankar 
8592727e31bSShri Abhyankar /*@C
8602bf73ac6SHong Zhang   DMNetworkGetSharedVertices - Returns the info for the shared vertices
8612bf73ac6SHong Zhang 
8622bf73ac6SHong Zhang   Not collective
863caf410d2SHong Zhang 
864f899ff85SJose E. Roman   Input Parameter:
8652bf73ac6SHong Zhang . dm - the DM object
866caf410d2SHong Zhang 
8677a7aea1fSJed Brown   Output Parameters:
8682bf73ac6SHong Zhang + nsv - number of local shared vertices
8692bf73ac6SHong Zhang - svtx - local shared vertices
870caf410d2SHong Zhang 
871caf410d2SHong Zhang   Notes:
872caf410d2SHong Zhang   Cannot call this routine before DMNetworkLayoutSetup()
873caf410d2SHong Zhang 
874caf410d2SHong Zhang   Level: intermediate
875caf410d2SHong Zhang 
876db781477SPatrick Sanan .seealso: `DMNetworkGetSubnetwork()`, `DMNetworkLayoutSetUp()`, `DMNetworkAddSharedVertices()`
877caf410d2SHong Zhang @*/
878d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetSharedVertices(DM dm, PetscInt *nsv, const PetscInt **svtx)
879d71ae5a4SJacob Faibussowitsch {
880caf410d2SHong Zhang   DM_Network *net = (DM_Network *)dm->data;
881caf410d2SHong Zhang 
882caf410d2SHong Zhang   PetscFunctionBegin;
8835c6496baSHong Zhang   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
884daad07d3SAidan Hamilton   if (nsv) *nsv = net->cloneshared->nsvtx;
885daad07d3SAidan Hamilton   if (svtx) *svtx = net->cloneshared->svertices;
886caf410d2SHong Zhang   PetscFunctionReturn(0);
887caf410d2SHong Zhang }
888caf410d2SHong Zhang 
889caf410d2SHong Zhang /*@C
8905f2c45f1SShri Abhyankar   DMNetworkRegisterComponent - Registers the network component
8915f2c45f1SShri Abhyankar 
892d083f849SBarry Smith   Logically collective on dm
8935f2c45f1SShri Abhyankar 
8947a7aea1fSJed Brown   Input Parameters:
8955f2c45f1SShri Abhyankar + dm - the network object
8965f2c45f1SShri Abhyankar . name - the component name
8975f2c45f1SShri Abhyankar - size - the storage size in bytes for this component data
8985f2c45f1SShri Abhyankar 
8997a7aea1fSJed Brown    Output Parameters:
9005f2c45f1SShri Abhyankar .  key - an integer key that defines the component
9015f2c45f1SShri Abhyankar 
90287497f52SBarry Smith    Note:
90387497f52SBarry Smith    This routine should be called by all processors before calling `DMNetworkLayoutSetup()`.
9045f2c45f1SShri Abhyankar 
90597bb938eSShri Abhyankar    Level: beginner
9065f2c45f1SShri Abhyankar 
907db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkLayoutSetUp()`
9085f2c45f1SShri Abhyankar @*/
909d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkRegisterComponent(DM dm, const char *name, size_t size, PetscInt *key)
910d71ae5a4SJacob Faibussowitsch {
9115f2c45f1SShri Abhyankar   DM_Network         *network   = (DM_Network *)dm->data;
91254dfd506SHong Zhang   DMNetworkComponent *component = NULL, *newcomponent = NULL;
9135f2c45f1SShri Abhyankar   PetscBool           flg = PETSC_FALSE;
9145f2c45f1SShri Abhyankar   PetscInt            i;
9155f2c45f1SShri Abhyankar 
9165f2c45f1SShri Abhyankar   PetscFunctionBegin;
91748a46eb9SPierre Jolivet   if (!network->component) PetscCall(PetscCalloc1(network->max_comps_registered, &network->component));
91854dfd506SHong Zhang 
9195f2c45f1SShri Abhyankar   for (i = 0; i < network->ncomponent; i++) {
9209566063dSJacob Faibussowitsch     PetscCall(PetscStrcmp(network->component[i].name, name, &flg));
9215f2c45f1SShri Abhyankar     if (flg) {
9225f2c45f1SShri Abhyankar       *key = i;
9235f2c45f1SShri Abhyankar       PetscFunctionReturn(0);
9245f2c45f1SShri Abhyankar     }
9256d64e262SShri Abhyankar   }
92654dfd506SHong Zhang 
92754dfd506SHong Zhang   if (network->ncomponent == network->max_comps_registered) {
92854dfd506SHong Zhang     /* Reached max allowed so resize component */
92954dfd506SHong Zhang     network->max_comps_registered += 2;
9309566063dSJacob Faibussowitsch     PetscCall(PetscCalloc1(network->max_comps_registered, &newcomponent));
93154dfd506SHong Zhang     /* Copy over the previous component info */
93254dfd506SHong Zhang     for (i = 0; i < network->ncomponent; i++) {
9339566063dSJacob Faibussowitsch       PetscCall(PetscStrcpy(newcomponent[i].name, network->component[i].name));
93454dfd506SHong Zhang       newcomponent[i].size = network->component[i].size;
9355f2c45f1SShri Abhyankar     }
93654dfd506SHong Zhang     /* Free old one */
9379566063dSJacob Faibussowitsch     PetscCall(PetscFree(network->component));
93854dfd506SHong Zhang     /* Update pointer */
93954dfd506SHong Zhang     network->component = newcomponent;
94054dfd506SHong Zhang   }
94154dfd506SHong Zhang 
94254dfd506SHong Zhang   component = &network->component[network->ncomponent];
9435f2c45f1SShri Abhyankar 
9449566063dSJacob Faibussowitsch   PetscCall(PetscStrcpy(component->name, name));
9455f2c45f1SShri Abhyankar   component->size = size / sizeof(DMNetworkComponentGenericDataType);
9465f2c45f1SShri Abhyankar   *key            = network->ncomponent;
9475f2c45f1SShri Abhyankar   network->ncomponent++;
9485f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
9495f2c45f1SShri Abhyankar }
9505f2c45f1SShri Abhyankar 
9515f2c45f1SShri Abhyankar /*@
952*8afb7921SAidan Hamilton   DMNetworkGetNumVertices - Get the local and global number of vertices for the entire network.
953*8afb7921SAidan Hamilton 
954*8afb7921SAidan Hamilton   Not Collective
955*8afb7921SAidan Hamilton 
956*8afb7921SAidan Hamilton   Input Parameter:
957*8afb7921SAidan Hamilton . dm - the DMNetwork object
958*8afb7921SAidan Hamilton 
959*8afb7921SAidan Hamilton   Output Parameters:
960*8afb7921SAidan Hamilton + nVertices - the local number of vertices
961*8afb7921SAidan Hamilton - NVertices - the global number of vertices
962*8afb7921SAidan Hamilton 
963*8afb7921SAidan Hamilton   Level: beginner
964*8afb7921SAidan Hamilton 
965*8afb7921SAidan Hamilton .seealso: `DMNetworkGetNumEdges()`
966*8afb7921SAidan Hamilton @*/
967*8afb7921SAidan Hamilton PetscErrorCode DMNetworkGetNumVertices(DM dm, PetscInt *nVertices, PetscInt *NVertices)
968*8afb7921SAidan Hamilton {
969*8afb7921SAidan Hamilton   DM_Network *network = (DM_Network *)dm->data;
970*8afb7921SAidan Hamilton 
971*8afb7921SAidan Hamilton   PetscFunctionBegin;
972*8afb7921SAidan Hamilton   PetscValidHeaderSpecificType(dm, DM_CLASSID, 1, DMNETWORK);
973*8afb7921SAidan Hamilton   if (nVertices) {
974*8afb7921SAidan Hamilton     PetscValidIntPointer(nVertices, 2);
975*8afb7921SAidan Hamilton     *nVertices = network->cloneshared->nVertices;
976*8afb7921SAidan Hamilton   }
977*8afb7921SAidan Hamilton   if (NVertices) {
978*8afb7921SAidan Hamilton     PetscValidIntPointer(NVertices, 3);
979*8afb7921SAidan Hamilton     *NVertices = network->cloneshared->NVertices;
980*8afb7921SAidan Hamilton   }
981*8afb7921SAidan Hamilton   PetscFunctionReturn(0);
982*8afb7921SAidan Hamilton }
983*8afb7921SAidan Hamilton 
984*8afb7921SAidan Hamilton /*@
985*8afb7921SAidan Hamilton   DMNetworkGetNumEdges - Get the local and global number of edges for the entire network.
986*8afb7921SAidan Hamilton 
987*8afb7921SAidan Hamilton   Not Collective
988*8afb7921SAidan Hamilton 
989*8afb7921SAidan Hamilton   Input Parameter:
990*8afb7921SAidan Hamilton . dm - the DMNetwork object
991*8afb7921SAidan Hamilton 
992*8afb7921SAidan Hamilton   Output Parameters:
993*8afb7921SAidan Hamilton + nEdges - the local number of edges
994*8afb7921SAidan Hamilton -  NEdges - the global number of edges
995*8afb7921SAidan Hamilton 
996*8afb7921SAidan Hamilton   Level: beginner
997*8afb7921SAidan Hamilton 
998*8afb7921SAidan Hamilton .seealso: `DMNetworkGetNumVertices()`
999*8afb7921SAidan Hamilton @*/
1000*8afb7921SAidan Hamilton PetscErrorCode DMNetworkGetNumEdges(DM dm, PetscInt *nEdges, PetscInt *NEdges)
1001*8afb7921SAidan Hamilton {
1002*8afb7921SAidan Hamilton   DM_Network *network = (DM_Network *)dm->data;
1003*8afb7921SAidan Hamilton 
1004*8afb7921SAidan Hamilton   PetscFunctionBegin;
1005*8afb7921SAidan Hamilton   PetscValidHeaderSpecificType(dm, DM_CLASSID, 1, DMNETWORK);
1006*8afb7921SAidan Hamilton   if (nEdges) {
1007*8afb7921SAidan Hamilton     PetscValidIntPointer(nEdges, 2);
1008*8afb7921SAidan Hamilton     *nEdges = network->cloneshared->nEdges;
1009*8afb7921SAidan Hamilton   }
1010*8afb7921SAidan Hamilton   if (NEdges) {
1011*8afb7921SAidan Hamilton     PetscValidIntPointer(NEdges, 3);
1012*8afb7921SAidan Hamilton     *NEdges = network->cloneshared->NEdges;
1013*8afb7921SAidan Hamilton   }
1014*8afb7921SAidan Hamilton   PetscFunctionReturn(0);
1015*8afb7921SAidan Hamilton }
1016*8afb7921SAidan Hamilton 
1017*8afb7921SAidan Hamilton /*@
10182bf73ac6SHong Zhang   DMNetworkGetVertexRange - Get the bounds [start, end) for the local vertices
10195f2c45f1SShri Abhyankar 
10205f2c45f1SShri Abhyankar   Not Collective
10215f2c45f1SShri Abhyankar 
1022f899ff85SJose E. Roman   Input Parameter:
10232bf73ac6SHong Zhang . dm - the DMNetwork object
10245f2c45f1SShri Abhyankar 
1025fd292e60Sprj-   Output Parameters:
10262bf73ac6SHong Zhang + vStart - the first vertex point
10272bf73ac6SHong Zhang - vEnd - one beyond the last vertex point
10285f2c45f1SShri Abhyankar 
102997bb938eSShri Abhyankar   Level: beginner
10305f2c45f1SShri Abhyankar 
1031db781477SPatrick Sanan .seealso: `DMNetworkGetEdgeRange()`
10325f2c45f1SShri Abhyankar @*/
1033d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetVertexRange(DM dm, PetscInt *vStart, PetscInt *vEnd)
1034d71ae5a4SJacob Faibussowitsch {
10355f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
10365f2c45f1SShri Abhyankar 
10375f2c45f1SShri Abhyankar   PetscFunctionBegin;
1038daad07d3SAidan Hamilton   if (vStart) *vStart = network->cloneshared->vStart;
1039daad07d3SAidan Hamilton   if (vEnd) *vEnd = network->cloneshared->vEnd;
10405f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
10415f2c45f1SShri Abhyankar }
10425f2c45f1SShri Abhyankar 
10435f2c45f1SShri Abhyankar /*@
10442bf73ac6SHong Zhang   DMNetworkGetEdgeRange - Get the bounds [start, end) for the local edges
10455f2c45f1SShri Abhyankar 
10465f2c45f1SShri Abhyankar   Not Collective
10475f2c45f1SShri Abhyankar 
1048f899ff85SJose E. Roman   Input Parameter:
10492bf73ac6SHong Zhang . dm - the DMNetwork object
10505f2c45f1SShri Abhyankar 
1051fd292e60Sprj-   Output Parameters:
10525f2c45f1SShri Abhyankar + eStart - The first edge point
10535f2c45f1SShri Abhyankar - eEnd - One beyond the last edge point
10545f2c45f1SShri Abhyankar 
105597bb938eSShri Abhyankar   Level: beginner
10565f2c45f1SShri Abhyankar 
1057db781477SPatrick Sanan .seealso: `DMNetworkGetVertexRange()`
10585f2c45f1SShri Abhyankar @*/
1059d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetEdgeRange(DM dm, PetscInt *eStart, PetscInt *eEnd)
1060d71ae5a4SJacob Faibussowitsch {
10615f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
10625f2c45f1SShri Abhyankar 
10635f2c45f1SShri Abhyankar   PetscFunctionBegin;
10645c6496baSHong Zhang   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1065daad07d3SAidan Hamilton   if (eStart) *eStart = network->cloneshared->eStart;
1066daad07d3SAidan Hamilton   if (eEnd) *eEnd = network->cloneshared->eEnd;
10675f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
10685f2c45f1SShri Abhyankar }
10695f2c45f1SShri Abhyankar 
1070d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetIndex(DM dm, PetscInt p, PetscInt *index)
1071d71ae5a4SJacob Faibussowitsch {
10722bf73ac6SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
10735c6496baSHong Zhang 
10745c6496baSHong Zhang   PetscFunctionBegin;
10755c6496baSHong Zhang   if (network->header) {
10765c6496baSHong Zhang     *index = network->header[p].index;
10775c6496baSHong Zhang   } else {
10782bf73ac6SHong Zhang     PetscInt                 offsetp;
10792bf73ac6SHong Zhang     DMNetworkComponentHeader header;
10802bf73ac6SHong Zhang 
10819566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(network->DataSection, p, &offsetp));
10822bf73ac6SHong Zhang     header = (DMNetworkComponentHeader)(network->componentdataarray + offsetp);
10832bf73ac6SHong Zhang     *index = header->index;
10845c6496baSHong Zhang   }
10852bf73ac6SHong Zhang   PetscFunctionReturn(0);
10862bf73ac6SHong Zhang }
10872bf73ac6SHong Zhang 
1088d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetSubnetID(DM dm, PetscInt p, PetscInt *subnetid)
1089d71ae5a4SJacob Faibussowitsch {
1090daad07d3SAidan Hamilton   DM_Network *network = (DM_Network *)dm->data;
1091daad07d3SAidan Hamilton 
1092daad07d3SAidan Hamilton   PetscFunctionBegin;
1093daad07d3SAidan Hamilton   if (network->header) {
1094daad07d3SAidan Hamilton     *subnetid = network->header[p].subnetid;
1095daad07d3SAidan Hamilton   } else {
1096daad07d3SAidan Hamilton     PetscInt                 offsetp;
1097daad07d3SAidan Hamilton     DMNetworkComponentHeader header;
1098daad07d3SAidan Hamilton 
1099daad07d3SAidan Hamilton     PetscCall(PetscSectionGetOffset(network->DataSection, p, &offsetp));
1100daad07d3SAidan Hamilton     header    = (DMNetworkComponentHeader)(network->componentdataarray + offsetp);
1101daad07d3SAidan Hamilton     *subnetid = header->subnetid;
1102daad07d3SAidan Hamilton   }
1103daad07d3SAidan Hamilton   PetscFunctionReturn(0);
1104daad07d3SAidan Hamilton }
1105daad07d3SAidan Hamilton 
11067b6afd5bSHong Zhang /*@
11072bf73ac6SHong Zhang   DMNetworkGetGlobalEdgeIndex - Get the global numbering for the edge on the network
11087b6afd5bSHong Zhang 
11097b6afd5bSHong Zhang   Not Collective
11107b6afd5bSHong Zhang 
11117b6afd5bSHong Zhang   Input Parameters:
11127b6afd5bSHong Zhang + dm - DMNetwork object
1113e85e6aecSHong Zhang - p - edge point
11147b6afd5bSHong Zhang 
1115fd292e60Sprj-   Output Parameters:
11162bf73ac6SHong Zhang . index - the global numbering for the edge
11177b6afd5bSHong Zhang 
11187b6afd5bSHong Zhang   Level: intermediate
11197b6afd5bSHong Zhang 
1120db781477SPatrick Sanan .seealso: `DMNetworkGetGlobalVertexIndex()`
11217b6afd5bSHong Zhang @*/
1122d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetGlobalEdgeIndex(DM dm, PetscInt p, PetscInt *index)
1123d71ae5a4SJacob Faibussowitsch {
11247b6afd5bSHong Zhang   PetscFunctionBegin;
11259566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetIndex(dm, p, index));
11267b6afd5bSHong Zhang   PetscFunctionReturn(0);
11277b6afd5bSHong Zhang }
11287b6afd5bSHong Zhang 
11295f2c45f1SShri Abhyankar /*@
11302bf73ac6SHong Zhang   DMNetworkGetGlobalVertexIndex - Get the global numbering for the vertex on the network
1131e85e6aecSHong Zhang 
1132e85e6aecSHong Zhang   Not Collective
1133e85e6aecSHong Zhang 
1134e85e6aecSHong Zhang   Input Parameters:
1135e85e6aecSHong Zhang + dm - DMNetwork object
1136e85e6aecSHong Zhang - p  - vertex point
1137e85e6aecSHong Zhang 
1138fd292e60Sprj-   Output Parameters:
11392bf73ac6SHong Zhang . index - the global numbering for the vertex
1140e85e6aecSHong Zhang 
1141e85e6aecSHong Zhang   Level: intermediate
1142e85e6aecSHong Zhang 
1143db781477SPatrick Sanan .seealso: `DMNetworkGetGlobalEdgeIndex()`, `DMNetworkGetLocalVertexIndex()`
1144e85e6aecSHong Zhang @*/
1145d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetGlobalVertexIndex(DM dm, PetscInt p, PetscInt *index)
1146d71ae5a4SJacob Faibussowitsch {
1147e85e6aecSHong Zhang   PetscFunctionBegin;
11489566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetIndex(dm, p, index));
11499988b915SShri Abhyankar   PetscFunctionReturn(0);
11509988b915SShri Abhyankar }
11519988b915SShri Abhyankar 
11529988b915SShri Abhyankar /*@
11535f2c45f1SShri Abhyankar   DMNetworkGetNumComponents - Get the number of components at a vertex/edge
11545f2c45f1SShri Abhyankar 
11555f2c45f1SShri Abhyankar   Not Collective
11565f2c45f1SShri Abhyankar 
11575f2c45f1SShri Abhyankar   Input Parameters:
11582bf73ac6SHong Zhang + dm - the DMNetwork object
1159a2b725a8SWilliam Gropp - p - vertex/edge point
11605f2c45f1SShri Abhyankar 
11615f2c45f1SShri Abhyankar   Output Parameters:
11625f2c45f1SShri Abhyankar . numcomponents - Number of components at the vertex/edge
11635f2c45f1SShri Abhyankar 
116497bb938eSShri Abhyankar   Level: beginner
11655f2c45f1SShri Abhyankar 
1166db781477SPatrick Sanan .seealso: `DMNetworkRegisterComponent()`, `DMNetworkAddComponent()`
11675f2c45f1SShri Abhyankar @*/
1168d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetNumComponents(DM dm, PetscInt p, PetscInt *numcomponents)
1169d71ae5a4SJacob Faibussowitsch {
11705f2c45f1SShri Abhyankar   PetscInt    offset;
11715f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
11725f2c45f1SShri Abhyankar 
11735f2c45f1SShri Abhyankar   PetscFunctionBegin;
11749566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->DataSection, p, &offset));
11755f2c45f1SShri Abhyankar   *numcomponents = ((DMNetworkComponentHeader)(network->componentdataarray + offset))->ndata;
11765f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
11775f2c45f1SShri Abhyankar }
11785f2c45f1SShri Abhyankar 
11795f2c45f1SShri Abhyankar /*@
11802bf73ac6SHong Zhang   DMNetworkGetLocalVecOffset - Get the offset for accessing the variables associated with a component at the given vertex/edge from the local vector
11815f2c45f1SShri Abhyankar 
11825f2c45f1SShri Abhyankar   Not Collective
11835f2c45f1SShri Abhyankar 
11845f2c45f1SShri Abhyankar   Input Parameters:
11852bf73ac6SHong Zhang + dm - the DMNetwork object
1186f2f58720SBarry Smith . p - the edge or vertex point
11872bf73ac6SHong Zhang - compnum - component number; use ALL_COMPONENTS if no specific component is requested
11889988b915SShri Abhyankar 
11899988b915SShri Abhyankar   Output Parameters:
11902bf73ac6SHong Zhang . offset - the local offset
11919988b915SShri Abhyankar 
1192f2f58720SBarry Smith   Notes:
1193f2f58720SBarry Smith     These offsets can be passed to MatSetValuesLocal() for matrices obtained with DMCreateMatrix().
1194f2f58720SBarry Smith 
1195f2f58720SBarry Smith     For vectors obtained with DMCreateLocalVector() the offsets can be used with VecSetValues().
1196f2f58720SBarry Smith 
1197f2f58720SBarry Smith     For vectors obtained with DMCreateLocalVector() and the array obtained with VecGetArray(vec,&array) you can access or set
1198f2f58720SBarry Smith     the vector values with array[offset].
1199f2f58720SBarry Smith 
1200f2f58720SBarry Smith     For vectors obtained with DMCreateGlobalVector() the offsets can be used with VecSetValuesLocal().
1201f2f58720SBarry Smith 
12029988b915SShri Abhyankar   Level: intermediate
12039988b915SShri Abhyankar 
1204db781477SPatrick Sanan .seealso: `DMGetLocalVector()`, `DMNetworkGetComponent()`, `DMNetworkGetGlobalVecOffset()`, `DMCreateGlobalVector()`, `VecGetArray()`, `VecSetValuesLocal()`, `MatSetValuesLocal()`
12059988b915SShri Abhyankar @*/
1206d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetLocalVecOffset(DM dm, PetscInt p, PetscInt compnum, PetscInt *offset)
1207d71ae5a4SJacob Faibussowitsch {
12089988b915SShri Abhyankar   DM_Network              *network = (DM_Network *)dm->data;
12099988b915SShri Abhyankar   PetscInt                 offsetp, offsetd;
12109988b915SShri Abhyankar   DMNetworkComponentHeader header;
12119988b915SShri Abhyankar 
12129988b915SShri Abhyankar   PetscFunctionBegin;
12139566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->plex->localSection, p, &offsetp));
12142bf73ac6SHong Zhang   if (compnum == ALL_COMPONENTS) {
12152bf73ac6SHong Zhang     *offset = offsetp;
12162bf73ac6SHong Zhang     PetscFunctionReturn(0);
12172bf73ac6SHong Zhang   }
12182bf73ac6SHong Zhang 
12199566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->DataSection, p, &offsetd));
12209988b915SShri Abhyankar   header  = (DMNetworkComponentHeader)(network->componentdataarray + offsetd);
12219988b915SShri Abhyankar   *offset = offsetp + header->offsetvarrel[compnum];
12229988b915SShri Abhyankar   PetscFunctionReturn(0);
12239988b915SShri Abhyankar }
12249988b915SShri Abhyankar 
12259988b915SShri Abhyankar /*@
12262bf73ac6SHong Zhang   DMNetworkGetGlobalVecOffset - Get the global offset for accessing the variables associated with a component for the given vertex/edge from the global vector
12279988b915SShri Abhyankar 
12289988b915SShri Abhyankar   Not Collective
12299988b915SShri Abhyankar 
12309988b915SShri Abhyankar   Input Parameters:
12312bf73ac6SHong Zhang + dm - the DMNetwork object
1232f2f58720SBarry Smith . p - the edge or vertex point
12332bf73ac6SHong Zhang - compnum - component number; use ALL_COMPONENTS if no specific component is requested
12349988b915SShri Abhyankar 
12359988b915SShri Abhyankar   Output Parameters:
12369988b915SShri Abhyankar . offsetg - the global offset
12379988b915SShri Abhyankar 
1238f2f58720SBarry Smith   Notes:
1239f2f58720SBarry Smith     These offsets can be passed to MatSetValues() for matrices obtained with DMCreateMatrix().
1240f2f58720SBarry Smith 
1241f2f58720SBarry Smith     For vectors obtained with DMCreateGlobalVector() the offsets can be used with VecSetValues().
1242f2f58720SBarry Smith 
1243f2f58720SBarry Smith     For vectors obtained with DMCreateGlobalVector() and the array obtained with VecGetArray(vec,&array) you can access or set
1244f2f58720SBarry Smith     the vector values with array[offset - rstart] where restart is obtained with VecGetOwnershipRange(v,&rstart,NULL);
1245f2f58720SBarry Smith 
12469988b915SShri Abhyankar   Level: intermediate
12479988b915SShri Abhyankar 
1248db781477SPatrick Sanan .seealso: `DMNetworkGetLocalVecOffset()`, `DMGetGlobalVector()`, `DMNetworkGetComponent()`, `DMCreateGlobalVector()`, `VecGetArray()`, `VecSetValues()`, `MatSetValues()`
12499988b915SShri Abhyankar @*/
1250d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetGlobalVecOffset(DM dm, PetscInt p, PetscInt compnum, PetscInt *offsetg)
1251d71ae5a4SJacob Faibussowitsch {
12529988b915SShri Abhyankar   DM_Network              *network = (DM_Network *)dm->data;
12539988b915SShri Abhyankar   PetscInt                 offsetp, offsetd;
12549988b915SShri Abhyankar   DMNetworkComponentHeader header;
12559988b915SShri Abhyankar 
12569988b915SShri Abhyankar   PetscFunctionBegin;
12579566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->plex->globalSection, p, &offsetp));
12582bf73ac6SHong Zhang   if (offsetp < 0) offsetp = -(offsetp + 1); /* Convert to actual global offset for ghost vertex */
12592bf73ac6SHong Zhang 
12602bf73ac6SHong Zhang   if (compnum == ALL_COMPONENTS) {
12612bf73ac6SHong Zhang     *offsetg = offsetp;
12622bf73ac6SHong Zhang     PetscFunctionReturn(0);
12632bf73ac6SHong Zhang   }
12649566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->DataSection, p, &offsetd));
12659988b915SShri Abhyankar   header   = (DMNetworkComponentHeader)(network->componentdataarray + offsetd);
12669988b915SShri Abhyankar   *offsetg = offsetp + header->offsetvarrel[compnum];
12679988b915SShri Abhyankar   PetscFunctionReturn(0);
12689988b915SShri Abhyankar }
12699988b915SShri Abhyankar 
12709988b915SShri Abhyankar /*@
12712bf73ac6SHong Zhang   DMNetworkGetEdgeOffset - Get the offset for accessing the variables associated with the given edge from the local subvector
127224121865SAdrian Maldonado 
127324121865SAdrian Maldonado   Not Collective
127424121865SAdrian Maldonado 
127524121865SAdrian Maldonado   Input Parameters:
12762bf73ac6SHong Zhang + dm - the DMNetwork object
127724121865SAdrian Maldonado - p - the edge point
127824121865SAdrian Maldonado 
127924121865SAdrian Maldonado   Output Parameters:
128024121865SAdrian Maldonado . offset - the offset
128124121865SAdrian Maldonado 
128224121865SAdrian Maldonado   Level: intermediate
128324121865SAdrian Maldonado 
1284db781477SPatrick Sanan .seealso: `DMNetworkGetLocalVecOffset()`, `DMGetLocalVector()`
128524121865SAdrian Maldonado @*/
1286d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetEdgeOffset(DM dm, PetscInt p, PetscInt *offset)
1287d71ae5a4SJacob Faibussowitsch {
128824121865SAdrian Maldonado   DM_Network *network = (DM_Network *)dm->data;
128924121865SAdrian Maldonado 
129024121865SAdrian Maldonado   PetscFunctionBegin;
12919566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->edge.DofSection, p, offset));
129224121865SAdrian Maldonado   PetscFunctionReturn(0);
129324121865SAdrian Maldonado }
129424121865SAdrian Maldonado 
129524121865SAdrian Maldonado /*@
12962bf73ac6SHong Zhang   DMNetworkGetVertexOffset - Get the offset for accessing the variables associated with the given vertex from the local subvector
129724121865SAdrian Maldonado 
129824121865SAdrian Maldonado   Not Collective
129924121865SAdrian Maldonado 
130024121865SAdrian Maldonado   Input Parameters:
13012bf73ac6SHong Zhang + dm - the DMNetwork object
130224121865SAdrian Maldonado - p - the vertex point
130324121865SAdrian Maldonado 
130424121865SAdrian Maldonado   Output Parameters:
130524121865SAdrian Maldonado . offset - the offset
130624121865SAdrian Maldonado 
130724121865SAdrian Maldonado   Level: intermediate
130824121865SAdrian Maldonado 
1309db781477SPatrick Sanan .seealso: `DMNetworkGetEdgeOffset()`, `DMGetLocalVector()`
131024121865SAdrian Maldonado @*/
1311d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetVertexOffset(DM dm, PetscInt p, PetscInt *offset)
1312d71ae5a4SJacob Faibussowitsch {
131324121865SAdrian Maldonado   DM_Network *network = (DM_Network *)dm->data;
131424121865SAdrian Maldonado 
131524121865SAdrian Maldonado   PetscFunctionBegin;
1316daad07d3SAidan Hamilton   p -= network->cloneshared->vStart;
13179566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->vertex.DofSection, p, offset));
131824121865SAdrian Maldonado   PetscFunctionReturn(0);
131924121865SAdrian Maldonado }
13202bf73ac6SHong Zhang 
13215f2c45f1SShri Abhyankar /*@
13222bf73ac6SHong Zhang   DMNetworkAddComponent - Adds a network component and number of variables at the given point (vertex/edge)
13235f2c45f1SShri Abhyankar 
1324eac198afSGetnet   Collective on dm
13255f2c45f1SShri Abhyankar 
13265f2c45f1SShri Abhyankar   Input Parameters:
13274dc646bcSBarry Smith + dm - the DMNetwork
1328eac198afSGetnet . p - the vertex/edge point. These points are local indices provided by DMNetworkGetSubnetwork()
1329eac198afSGetnet . componentkey - component key returned while registering the component with DMNetworkRegisterComponent()
133024359064SBarry Smith . compvalue - pointer to the data structure for the component, or NULL if the component does not require data, this data is not copied so you cannot
133124359064SBarry Smith               free this space until after DMSetUp() is called.
1332eac198afSGetnet - nvar - number of variables for the component at the vertex/edge point, zero if the component does not introduce any degrees of freedom at the point
13335f2c45f1SShri Abhyankar 
1334eac198afSGetnet   Notes:
1335eac198afSGetnet     The owning rank and any other ranks that have this point as a ghost location must call this routine to add a component and number of variables in the same order at the given point.
1336eac198afSGetnet 
1337eac198afSGetnet     DMNetworkLayoutSetUp() must be called before this routine.
1338eac198afSGetnet 
1339eac198afSGetnet   Developer Notes:
1340eac198afSGetnet      The requirement that all the ranks with access to a vertex (as owner or as ghost) add all the components comes from a limitation of the underlying implementation based on DMPLEX.
134197bb938eSShri Abhyankar   Level: beginner
13425f2c45f1SShri Abhyankar 
1343db781477SPatrick Sanan .seealso: `DMNetworkGetComponent()`, `DMNetworkGetSubnetwork()`, `DMNetworkIsGhostVertex()`, `DMNetworkLayoutSetUp()`
13445f2c45f1SShri Abhyankar @*/
1345d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkAddComponent(DM dm, PetscInt p, PetscInt componentkey, void *compvalue, PetscInt nvar)
1346d71ae5a4SJacob Faibussowitsch {
13475f2c45f1SShri Abhyankar   DM_Network              *network   = (DM_Network *)dm->data;
13482bf73ac6SHong Zhang   DMNetworkComponent      *component = &network->component[componentkey];
134954dfd506SHong Zhang   DMNetworkComponentHeader header;
135054dfd506SHong Zhang   DMNetworkComponentValue  cvalue;
135154dfd506SHong Zhang   PetscInt                 compnum;
135254dfd506SHong Zhang   PetscInt                *compsize, *compkey, *compoffset, *compnvar, *compoffsetvarrel;
135354dfd506SHong Zhang   void                   **compdata;
13545f2c45f1SShri Abhyankar 
13555f2c45f1SShri Abhyankar   PetscFunctionBegin;
13565c6496baSHong Zhang   PetscCheck(componentkey >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "componentkey %" PetscInt_FMT " cannot be negative. Input a component key returned while registering the component with DMNetworkRegisterComponent()", componentkey);
1357daad07d3SAidan Hamilton   PetscCheck(network->componentsetup == PETSC_FALSE, PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONGSTATE, "The network has already finalized the components. No new components can be added.");
1358eac198afSGetnet   /* The owning rank and all ghost ranks add nvar */
13599566063dSJacob Faibussowitsch   PetscCall(PetscSectionAddDof(network->DofSection, p, nvar));
13602bf73ac6SHong Zhang 
1361eac198afSGetnet   /* The owning rank and all ghost ranks add a component, including compvalue=NULL */
136254dfd506SHong Zhang   header = &network->header[p];
136354dfd506SHong Zhang   cvalue = &network->cvalue[p];
136454dfd506SHong Zhang   if (header->ndata == header->maxcomps) {
1365f11a936eSBarry Smith     PetscInt additional_size;
1366f11a936eSBarry Smith 
136754dfd506SHong Zhang     /* Reached limit so resize header component arrays */
136854dfd506SHong Zhang     header->maxcomps += 2;
136954dfd506SHong Zhang 
137054dfd506SHong Zhang     /* Allocate arrays for component information and value */
13719566063dSJacob Faibussowitsch     PetscCall(PetscCalloc5(header->maxcomps, &compsize, header->maxcomps, &compkey, header->maxcomps, &compoffset, header->maxcomps, &compnvar, header->maxcomps, &compoffsetvarrel));
13729566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(header->maxcomps, &compdata));
137354dfd506SHong Zhang 
137454dfd506SHong Zhang     /* Recalculate header size */
137554dfd506SHong Zhang     header->hsize = sizeof(struct _p_DMNetworkComponentHeader) + 5 * header->maxcomps * sizeof(PetscInt);
137654dfd506SHong Zhang 
137754dfd506SHong Zhang     header->hsize /= sizeof(DMNetworkComponentGenericDataType);
137854dfd506SHong Zhang 
137954dfd506SHong Zhang     /* Copy over component info */
13809566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(compsize, header->size, header->ndata * sizeof(PetscInt)));
13819566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(compkey, header->key, header->ndata * sizeof(PetscInt)));
13829566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(compoffset, header->offset, header->ndata * sizeof(PetscInt)));
13839566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(compnvar, header->nvar, header->ndata * sizeof(PetscInt)));
13849566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(compoffsetvarrel, header->offsetvarrel, header->ndata * sizeof(PetscInt)));
138554dfd506SHong Zhang 
138654dfd506SHong Zhang     /* Copy over component data pointers */
13879566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(compdata, cvalue->data, header->ndata * sizeof(void *)));
138854dfd506SHong Zhang 
138954dfd506SHong Zhang     /* Free old arrays */
13909566063dSJacob Faibussowitsch     PetscCall(PetscFree5(header->size, header->key, header->offset, header->nvar, header->offsetvarrel));
13919566063dSJacob Faibussowitsch     PetscCall(PetscFree(cvalue->data));
139254dfd506SHong Zhang 
139354dfd506SHong Zhang     /* Update pointers */
139454dfd506SHong Zhang     header->size         = compsize;
139554dfd506SHong Zhang     header->key          = compkey;
139654dfd506SHong Zhang     header->offset       = compoffset;
139754dfd506SHong Zhang     header->nvar         = compnvar;
139854dfd506SHong Zhang     header->offsetvarrel = compoffsetvarrel;
139954dfd506SHong Zhang 
140054dfd506SHong Zhang     cvalue->data = compdata;
140154dfd506SHong Zhang 
140254dfd506SHong Zhang     /* Update DataSection Dofs */
140354dfd506SHong Zhang     /* The dofs for datasection point p equals sizeof the header (i.e. header->hsize) + sizes of the components added at point p. With the resizing of the header, we need to update the dofs for point p. Hence, we add the extra size added for the header */
1404f11a936eSBarry Smith     additional_size = (5 * (header->maxcomps - header->ndata) * sizeof(PetscInt)) / sizeof(DMNetworkComponentGenericDataType);
14059566063dSJacob Faibussowitsch     PetscCall(PetscSectionAddDof(network->DataSection, p, additional_size));
140654dfd506SHong Zhang   }
140754dfd506SHong Zhang   header = &network->header[p];
140854dfd506SHong Zhang   cvalue = &network->cvalue[p];
140954dfd506SHong Zhang 
141054dfd506SHong Zhang   compnum = header->ndata;
14112bf73ac6SHong Zhang 
14122bf73ac6SHong Zhang   header->size[compnum] = component->size;
14139566063dSJacob Faibussowitsch   PetscCall(PetscSectionAddDof(network->DataSection, p, component->size));
14142bf73ac6SHong Zhang   header->key[compnum] = componentkey;
14152bf73ac6SHong Zhang   if (compnum != 0) header->offset[compnum] = header->offset[compnum - 1] + header->size[compnum - 1];
14162bf73ac6SHong Zhang   cvalue->data[compnum] = (void *)compvalue;
14172bf73ac6SHong Zhang 
14182bf73ac6SHong Zhang   /* variables */
14192bf73ac6SHong Zhang   header->nvar[compnum] += nvar;
14202bf73ac6SHong Zhang   if (compnum != 0) header->offsetvarrel[compnum] = header->offsetvarrel[compnum - 1] + header->nvar[compnum - 1];
14212bf73ac6SHong Zhang 
14222bf73ac6SHong Zhang   header->ndata++;
14235f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
14245f2c45f1SShri Abhyankar }
14255f2c45f1SShri Abhyankar 
142627f51fceSHong Zhang /*@
14272bf73ac6SHong Zhang   DMNetworkGetComponent - Gets the component key, the component data, and the number of variables at a given network point
142827f51fceSHong Zhang 
142927f51fceSHong Zhang   Not Collective
143027f51fceSHong Zhang 
143127f51fceSHong Zhang   Input Parameters:
14322bf73ac6SHong Zhang + dm - the DMNetwork object
14332bf73ac6SHong Zhang . p - vertex/edge point
143499c90e12SSatish Balay - compnum - component number; use ALL_COMPONENTS if sum up all the components
143527f51fceSHong Zhang 
143627f51fceSHong Zhang   Output Parameters:
14372bf73ac6SHong Zhang + compkey - the key obtained when registering the component (use NULL if not required)
14382bf73ac6SHong Zhang . component - the component data (use NULL if not required)
14392bf73ac6SHong Zhang - nvar  - number of variables (use NULL if not required)
144027f51fceSHong Zhang 
144197bb938eSShri Abhyankar   Level: beginner
144227f51fceSHong Zhang 
1443db781477SPatrick Sanan .seealso: `DMNetworkAddComponent()`, `DMNetworkGetNumComponents()`
144427f51fceSHong Zhang @*/
1445d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetComponent(DM dm, PetscInt p, PetscInt compnum, PetscInt *compkey, void **component, PetscInt *nvar)
1446d71ae5a4SJacob Faibussowitsch {
144727f51fceSHong Zhang   DM_Network              *network = (DM_Network *)dm->data;
14482bf73ac6SHong Zhang   PetscInt                 offset  = 0;
14492bf73ac6SHong Zhang   DMNetworkComponentHeader header;
145027f51fceSHong Zhang 
145127f51fceSHong Zhang   PetscFunctionBegin;
14522bf73ac6SHong Zhang   if (compnum == ALL_COMPONENTS) {
14539566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetDof(network->DofSection, p, nvar));
145427f51fceSHong Zhang     PetscFunctionReturn(0);
145527f51fceSHong Zhang   }
145627f51fceSHong Zhang 
14579566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->DataSection, p, &offset));
145842dc13f1SHong Zhang   header = (DMNetworkComponentHeader)(network->componentdataarray + offset);
14595f2c45f1SShri Abhyankar 
14602bf73ac6SHong Zhang   if (compnum >= 0) {
14612bf73ac6SHong Zhang     if (compkey) *compkey = header->key[compnum];
14622bf73ac6SHong Zhang     if (component) {
146354dfd506SHong Zhang       offset += header->hsize + header->offset[compnum];
14642bf73ac6SHong Zhang       *component = network->componentdataarray + offset;
14652bf73ac6SHong Zhang     }
14662bf73ac6SHong Zhang   }
14675f2c45f1SShri Abhyankar 
14682bf73ac6SHong Zhang   if (nvar) *nvar = header->nvar[compnum];
146954dfd506SHong Zhang 
14705f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
14715f2c45f1SShri Abhyankar }
14725f2c45f1SShri Abhyankar 
14732bf73ac6SHong Zhang /*
14742bf73ac6SHong Zhang  Sets up the array that holds the data for all components and its associated section.
14752bf73ac6SHong Zhang  It copies the data for all components in a contiguous array called componentdataarray. The component data is stored pointwise with an additional header (metadata) stored for each point. The header has metadata information such as number of components at each point, number of variables for each component, offsets for the components data, etc.
14762bf73ac6SHong Zhang */
1477d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkComponentSetUp(DM dm)
1478d71ae5a4SJacob Faibussowitsch {
14795f2c45f1SShri Abhyankar   DM_Network                        *network = (DM_Network *)dm->data;
1480f11a936eSBarry Smith   PetscInt                           arr_size, p, offset, offsetp, ncomp, i, *headerarr;
14815f2c45f1SShri Abhyankar   DMNetworkComponentHeader           header;
14825f2c45f1SShri Abhyankar   DMNetworkComponentValue            cvalue;
1483f11a936eSBarry Smith   DMNetworkComponentHeader           headerinfo;
14845f2c45f1SShri Abhyankar   DMNetworkComponentGenericDataType *componentdataarray;
14855f2c45f1SShri Abhyankar 
14865f2c45f1SShri Abhyankar   PetscFunctionBegin;
14879566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetUp(network->DataSection));
14889566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetStorageSize(network->DataSection, &arr_size));
1489f11a936eSBarry Smith   /* arr_size+1 fixes pipeline test of opensolaris-misc for src/dm/tests/ex10.c -- Do not know why */
14909566063dSJacob Faibussowitsch   PetscCall(PetscCalloc1(arr_size + 1, &network->componentdataarray));
14915f2c45f1SShri Abhyankar   componentdataarray = network->componentdataarray;
1492daad07d3SAidan Hamilton   for (p = network->cloneshared->pStart; p < network->cloneshared->pEnd; p++) {
14939566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(network->DataSection, p, &offsetp));
14945f2c45f1SShri Abhyankar     /* Copy header */
14955f2c45f1SShri Abhyankar     header     = &network->header[p];
1496f11a936eSBarry Smith     headerinfo = (DMNetworkComponentHeader)(componentdataarray + offsetp);
14979566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(headerinfo, header, sizeof(struct _p_DMNetworkComponentHeader)));
1498f11a936eSBarry Smith     headerarr = (PetscInt *)(headerinfo + 1);
14999566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(headerarr, header->size, header->maxcomps * sizeof(PetscInt)));
1500aeb78aa7SBarry Smith     headerinfo->size = headerarr;
150154dfd506SHong Zhang     headerarr += header->maxcomps;
15029566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(headerarr, header->key, header->maxcomps * sizeof(PetscInt)));
1503aeb78aa7SBarry Smith     headerinfo->key = headerarr;
150454dfd506SHong Zhang     headerarr += header->maxcomps;
15059566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(headerarr, header->offset, header->maxcomps * sizeof(PetscInt)));
1506aeb78aa7SBarry Smith     headerinfo->offset = headerarr;
150754dfd506SHong Zhang     headerarr += header->maxcomps;
15089566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(headerarr, header->nvar, header->maxcomps * sizeof(PetscInt)));
1509aeb78aa7SBarry Smith     headerinfo->nvar = headerarr;
151054dfd506SHong Zhang     headerarr += header->maxcomps;
15119566063dSJacob Faibussowitsch     PetscCall(PetscMemcpy(headerarr, header->offsetvarrel, header->maxcomps * sizeof(PetscInt)));
1512aeb78aa7SBarry Smith     headerinfo->offsetvarrel = headerarr;
151354dfd506SHong Zhang 
15145f2c45f1SShri Abhyankar     /* Copy data */
15155f2c45f1SShri Abhyankar     cvalue = &network->cvalue[p];
15165f2c45f1SShri Abhyankar     ncomp  = header->ndata;
15172bf73ac6SHong Zhang 
15185f2c45f1SShri Abhyankar     for (i = 0; i < ncomp; i++) {
151954dfd506SHong Zhang       offset = offsetp + header->hsize + header->offset[i];
15209566063dSJacob Faibussowitsch       PetscCall(PetscMemcpy(componentdataarray + offset, cvalue->data[i], header->size[i] * sizeof(DMNetworkComponentGenericDataType)));
15215f2c45f1SShri Abhyankar     }
15225f2c45f1SShri Abhyankar   }
1523aeb78aa7SBarry Smith 
1524daad07d3SAidan Hamilton   for (i = network->cloneshared->pStart; i < network->cloneshared->pEnd; i++) {
1525aeb78aa7SBarry Smith     PetscCall(PetscFree5(network->header[i].size, network->header[i].key, network->header[i].offset, network->header[i].nvar, network->header[i].offsetvarrel));
1526aeb78aa7SBarry Smith     PetscCall(PetscFree(network->cvalue[i].data));
1527aeb78aa7SBarry Smith   }
1528aeb78aa7SBarry Smith   PetscCall(PetscFree2(network->header, network->cvalue));
15295f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
15305f2c45f1SShri Abhyankar }
15315f2c45f1SShri Abhyankar 
15325f2c45f1SShri Abhyankar /* Sets up the section for dofs. This routine is called during DMSetUp() */
1533d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMNetworkVariablesSetUp(DM dm)
1534d71ae5a4SJacob Faibussowitsch {
15355f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
15365f2c45f1SShri Abhyankar 
15375f2c45f1SShri Abhyankar   PetscFunctionBegin;
15389566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetUp(network->DofSection));
15395f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
15405f2c45f1SShri Abhyankar }
15415f2c45f1SShri Abhyankar 
154224121865SAdrian Maldonado /* Get a subsection from a range of points */
1543d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMNetworkGetSubSection_private(PetscSection main, PetscInt pstart, PetscInt pend, PetscSection *subsection)
1544d71ae5a4SJacob Faibussowitsch {
154524121865SAdrian Maldonado   PetscInt i, nvar;
154624121865SAdrian Maldonado 
154724121865SAdrian Maldonado   PetscFunctionBegin;
15489566063dSJacob Faibussowitsch   PetscCall(PetscSectionCreate(PetscObjectComm((PetscObject)main), subsection));
15499566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetChart(*subsection, 0, pend - pstart));
155024121865SAdrian Maldonado   for (i = pstart; i < pend; i++) {
15519566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetDof(main, i, &nvar));
15529566063dSJacob Faibussowitsch     PetscCall(PetscSectionSetDof(*subsection, i - pstart, nvar));
155324121865SAdrian Maldonado   }
155424121865SAdrian Maldonado 
15559566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetUp(*subsection));
155624121865SAdrian Maldonado   PetscFunctionReturn(0);
155724121865SAdrian Maldonado }
155824121865SAdrian Maldonado 
155924121865SAdrian Maldonado /* Create a submap of points with a GlobalToLocal structure */
1560d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMNetworkSetSubMap_private(PetscInt pstart, PetscInt pend, ISLocalToGlobalMapping *map)
1561d71ae5a4SJacob Faibussowitsch {
156224121865SAdrian Maldonado   PetscInt i, *subpoints;
156324121865SAdrian Maldonado 
156424121865SAdrian Maldonado   PetscFunctionBegin;
156524121865SAdrian Maldonado   /* Create index sets to map from "points" to "subpoints" */
15669566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(pend - pstart, &subpoints));
1567ad540459SPierre Jolivet   for (i = pstart; i < pend; i++) subpoints[i - pstart] = i;
15689566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingCreate(PETSC_COMM_WORLD, 1, pend - pstart, subpoints, PETSC_COPY_VALUES, map));
15699566063dSJacob Faibussowitsch   PetscCall(PetscFree(subpoints));
157024121865SAdrian Maldonado   PetscFunctionReturn(0);
157124121865SAdrian Maldonado }
157224121865SAdrian Maldonado 
157324121865SAdrian Maldonado /*@
15742bf73ac6SHong Zhang   DMNetworkAssembleGraphStructures - Assembles vertex and edge data structures. Must be called after DMNetworkDistribute
157524121865SAdrian Maldonado 
15762bf73ac6SHong Zhang   Collective on dm
157724121865SAdrian Maldonado 
157824121865SAdrian Maldonado   Input Parameters:
15792bf73ac6SHong Zhang . dm - the DMNetworkObject
158024121865SAdrian Maldonado 
158124121865SAdrian Maldonado   Note: the routine will create alternative orderings for the vertices and edges. Assume global network points are:
158224121865SAdrian Maldonado 
158324121865SAdrian Maldonado   points = [0 1 2 3 4 5 6]
158424121865SAdrian Maldonado 
1585caf410d2SHong Zhang   where edges = [0,1,2,3] and vertices = [4,5,6]. The new orderings will be specific to the subset (i.e vertices = [0,1,2] <- [4,5,6]).
158624121865SAdrian Maldonado 
158724121865SAdrian Maldonado   With this new ordering a local PetscSection, global PetscSection and PetscSF will be created specific to the subset.
158824121865SAdrian Maldonado 
158924121865SAdrian Maldonado   Level: intermediate
159024121865SAdrian Maldonado 
159124121865SAdrian Maldonado @*/
1592d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkAssembleGraphStructures(DM dm)
1593d71ae5a4SJacob Faibussowitsch {
159424121865SAdrian Maldonado   MPI_Comm    comm;
1595f11a936eSBarry Smith   PetscMPIInt size;
159624121865SAdrian Maldonado   DM_Network *network = (DM_Network *)dm->data;
159724121865SAdrian Maldonado 
1598eab1376dSHong Zhang   PetscFunctionBegin;
15999566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
16009566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
160124121865SAdrian Maldonado 
160224121865SAdrian Maldonado   /* Create maps for vertices and edges */
1603daad07d3SAidan Hamilton   PetscCall(DMNetworkSetSubMap_private(network->cloneshared->vStart, network->cloneshared->vEnd, &network->vertex.mapping));
1604daad07d3SAidan Hamilton   PetscCall(DMNetworkSetSubMap_private(network->cloneshared->eStart, network->cloneshared->eEnd, &network->edge.mapping));
160524121865SAdrian Maldonado 
160624121865SAdrian Maldonado   /* Create local sub-sections */
1607daad07d3SAidan Hamilton   PetscCall(DMNetworkGetSubSection_private(network->DofSection, network->cloneshared->vStart, network->cloneshared->vEnd, &network->vertex.DofSection));
1608daad07d3SAidan Hamilton   PetscCall(DMNetworkGetSubSection_private(network->DofSection, network->cloneshared->eStart, network->cloneshared->eEnd, &network->edge.DofSection));
160924121865SAdrian Maldonado 
16109852e123SBarry Smith   if (size > 1) {
16119566063dSJacob Faibussowitsch     PetscCall(PetscSFGetSubSF(network->plex->sf, network->vertex.mapping, &network->vertex.sf));
161222bbedd7SHong Zhang 
16139566063dSJacob Faibussowitsch     PetscCall(PetscSectionCreateGlobalSection(network->vertex.DofSection, network->vertex.sf, PETSC_FALSE, PETSC_FALSE, &network->vertex.GlobalDofSection));
16149566063dSJacob Faibussowitsch     PetscCall(PetscSFGetSubSF(network->plex->sf, network->edge.mapping, &network->edge.sf));
16159566063dSJacob Faibussowitsch     PetscCall(PetscSectionCreateGlobalSection(network->edge.DofSection, network->edge.sf, PETSC_FALSE, PETSC_FALSE, &network->edge.GlobalDofSection));
161624121865SAdrian Maldonado   } else {
161724121865SAdrian Maldonado     /* create structures for vertex */
16189566063dSJacob Faibussowitsch     PetscCall(PetscSectionClone(network->vertex.DofSection, &network->vertex.GlobalDofSection));
161924121865SAdrian Maldonado     /* create structures for edge */
16209566063dSJacob Faibussowitsch     PetscCall(PetscSectionClone(network->edge.DofSection, &network->edge.GlobalDofSection));
162124121865SAdrian Maldonado   }
162224121865SAdrian Maldonado 
162324121865SAdrian Maldonado   /* Add viewers */
16249566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetName((PetscObject)network->edge.GlobalDofSection, "Global edge dof section"));
16259566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetName((PetscObject)network->vertex.GlobalDofSection, "Global vertex dof section"));
16269566063dSJacob Faibussowitsch   PetscCall(PetscSectionViewFromOptions(network->edge.GlobalDofSection, NULL, "-edge_global_section_view"));
16279566063dSJacob Faibussowitsch   PetscCall(PetscSectionViewFromOptions(network->vertex.GlobalDofSection, NULL, "-vertex_global_section_view"));
162824121865SAdrian Maldonado   PetscFunctionReturn(0);
162924121865SAdrian Maldonado }
16307b6afd5bSHong Zhang 
1631f11a936eSBarry Smith /*
16325c6496baSHong Zhang    Setup a lookup btable for the input v's owning subnetworks
16335c6496baSHong Zhang    - add all owing subnetworks that connect to this v to the btable
1634f11a936eSBarry Smith      vertex_subnetid = supportingedge_subnetid
1635f11a936eSBarry Smith */
1636d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode SetSubnetIdLookupBT(DM dm, PetscInt v, PetscInt Nsubnet, PetscBT btable)
1637d71ae5a4SJacob Faibussowitsch {
1638f11a936eSBarry Smith   PetscInt                 e, nedges, offset;
1639f11a936eSBarry Smith   const PetscInt          *edges;
1640f11a936eSBarry Smith   DM_Network              *newDMnetwork = (DM_Network *)dm->data;
1641f11a936eSBarry Smith   DMNetworkComponentHeader header;
1642f11a936eSBarry Smith 
1643f11a936eSBarry Smith   PetscFunctionBegin;
16449566063dSJacob Faibussowitsch   PetscCall(PetscBTMemzero(Nsubnet, btable));
16459566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetSupportingEdges(dm, v, &nedges, &edges));
1646f11a936eSBarry Smith   for (e = 0; e < nedges; e++) {
16479566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(newDMnetwork->DataSection, edges[e], &offset));
1648f11a936eSBarry Smith     header = (DMNetworkComponentHeader)(newDMnetwork->componentdataarray + offset);
16499566063dSJacob Faibussowitsch     PetscCall(PetscBTSet(btable, header->subnetid));
1650f11a936eSBarry Smith   }
1651f11a936eSBarry Smith   PetscFunctionReturn(0);
1652f11a936eSBarry Smith }
1653f11a936eSBarry Smith 
1654*8afb7921SAidan Hamilton /*
1655*8afb7921SAidan Hamilton   DMNetworkDistributeCoordinates - Internal function to distribute the coordinate network and coordinates.
1656*8afb7921SAidan Hamilton 
1657*8afb7921SAidan Hamilton   Collective
1658*8afb7921SAidan Hamilton 
1659*8afb7921SAidan Hamilton   Input Parameters:
1660*8afb7921SAidan Hamilton   + dm - The original DMNetwork object
1661*8afb7921SAidan Hamilton   - migrationSF - The PetscSF discribing the migrgration from dm to dmnew
1662*8afb7921SAidan Hamilton   - newDM - The new distributed dmnetwork object.
1663*8afb7921SAidan Hamilton */
1664*8afb7921SAidan Hamilton 
1665*8afb7921SAidan Hamilton static PetscErrorCode DMNetworkDistributeCoordinates(DM dm, PetscSF migrationSF, DM newDM)
1666*8afb7921SAidan Hamilton {
1667*8afb7921SAidan Hamilton   DM_Network              *newDMnetwork = (DM_Network *)((newDM)->data), *newCoordnetwork, *oldCoordnetwork;
1668*8afb7921SAidan Hamilton   DM                       cdm, newcdm;
1669*8afb7921SAidan Hamilton   PetscInt                 cdim, bs, p, pStart, pEnd, offset;
1670*8afb7921SAidan Hamilton   Vec                      oldCoord, newCoord;
1671*8afb7921SAidan Hamilton   DMNetworkComponentHeader header;
1672*8afb7921SAidan Hamilton   const char              *name;
1673*8afb7921SAidan Hamilton 
1674*8afb7921SAidan Hamilton   PetscFunctionBegin;
1675*8afb7921SAidan Hamilton   /* Distribute the coordinate network and coordinates */
1676*8afb7921SAidan Hamilton   PetscCall(DMGetCoordinateDim(dm, &cdim));
1677*8afb7921SAidan Hamilton   PetscCall(DMSetCoordinateDim(newDM, cdim));
1678*8afb7921SAidan Hamilton 
1679*8afb7921SAidan Hamilton   /* Migrate only if original network had coordinates */
1680*8afb7921SAidan Hamilton   PetscCall(DMGetCoordinatesLocal(dm, &oldCoord));
1681*8afb7921SAidan Hamilton   if (oldCoord) {
1682*8afb7921SAidan Hamilton     PetscCall(DMGetCoordinateDM(dm, &cdm));
1683*8afb7921SAidan Hamilton     PetscCall(DMGetCoordinateDM(newDM, &newcdm));
1684*8afb7921SAidan Hamilton     newCoordnetwork = (DM_Network *)newcdm->data;
1685*8afb7921SAidan Hamilton     oldCoordnetwork = (DM_Network *)cdm->data;
1686*8afb7921SAidan Hamilton 
1687*8afb7921SAidan Hamilton     PetscCall(VecCreate(PETSC_COMM_SELF, &newCoord));
1688*8afb7921SAidan Hamilton     PetscCall(PetscObjectGetName((PetscObject)oldCoord, &name));
1689*8afb7921SAidan Hamilton     PetscCall(PetscObjectSetName((PetscObject)newCoord, name));
1690*8afb7921SAidan Hamilton     PetscCall(VecGetBlockSize(oldCoord, &bs));
1691*8afb7921SAidan Hamilton     PetscCall(VecSetBlockSize(newCoord, bs));
1692*8afb7921SAidan Hamilton 
1693*8afb7921SAidan Hamilton     PetscCall(DMPlexDistributeField(newDMnetwork->plex, migrationSF, oldCoordnetwork->DofSection, oldCoord, newCoordnetwork->DofSection, newCoord));
1694*8afb7921SAidan Hamilton     PetscCall(DMSetCoordinatesLocal(newDM, newCoord));
1695*8afb7921SAidan Hamilton 
1696*8afb7921SAidan Hamilton     PetscCall(VecDestroy(&newCoord));
1697*8afb7921SAidan Hamilton     /* Migrate the components from the orignal coordinate network to the new coordinate network */
1698*8afb7921SAidan Hamilton     PetscCall(DMPlexDistributeData(newDMnetwork->plex, migrationSF, oldCoordnetwork->DataSection, MPIU_INT, (void *)oldCoordnetwork->componentdataarray, newCoordnetwork->DataSection, (void **)&newCoordnetwork->componentdataarray));
1699*8afb7921SAidan Hamilton     /* update the header pointers in the new coordinate network components */
1700*8afb7921SAidan Hamilton     PetscCall(PetscSectionGetChart(newCoordnetwork->DataSection, &pStart, &pEnd));
1701*8afb7921SAidan Hamilton     for (p = pStart; p < pEnd; p++) {
1702*8afb7921SAidan Hamilton       PetscCall(PetscSectionGetOffset(newCoordnetwork->DataSection, p, &offset));
1703*8afb7921SAidan Hamilton       header = (DMNetworkComponentHeader)(newCoordnetwork->componentdataarray + offset);
1704*8afb7921SAidan Hamilton       /* Update pointers */
1705*8afb7921SAidan Hamilton       header->size         = (PetscInt *)(header + 1);
1706*8afb7921SAidan Hamilton       header->key          = header->size + header->maxcomps;
1707*8afb7921SAidan Hamilton       header->offset       = header->key + header->maxcomps;
1708*8afb7921SAidan Hamilton       header->nvar         = header->offset + header->maxcomps;
1709*8afb7921SAidan Hamilton       header->offsetvarrel = header->nvar + header->maxcomps;
1710*8afb7921SAidan Hamilton     }
1711*8afb7921SAidan Hamilton 
1712*8afb7921SAidan Hamilton     PetscCall(DMSetLocalSection(newCoordnetwork->plex, newCoordnetwork->DofSection));
1713*8afb7921SAidan Hamilton     PetscCall(DMGetGlobalSection(newCoordnetwork->plex, &newCoordnetwork->GlobalDofSection));
1714*8afb7921SAidan Hamilton     newCoordnetwork->componentsetup = PETSC_TRUE;
1715*8afb7921SAidan Hamilton   }
1716*8afb7921SAidan Hamilton   PetscFunctionReturn(0);
1717*8afb7921SAidan Hamilton }
1718*8afb7921SAidan Hamilton 
17195f2c45f1SShri Abhyankar /*@
17202bf73ac6SHong Zhang   DMNetworkDistribute - Distributes the network and moves associated component data
17215f2c45f1SShri Abhyankar 
17225f2c45f1SShri Abhyankar   Collective
17235f2c45f1SShri Abhyankar 
1724d8d19677SJose E. Roman   Input Parameters:
1725d3464fd4SAdrian Maldonado + DM - the DMNetwork object
17262bf73ac6SHong Zhang - overlap - the overlap of partitions, 0 is the default
17275f2c45f1SShri Abhyankar 
17285b3f975aSHong Zhang   Options Database Key:
17295b3f975aSHong Zhang + -dmnetwork_view - Calls DMView() at the conclusion of DMSetUp()
17305b3f975aSHong Zhang - -dmnetwork_view_distributed - Calls DMView() at the conclusion of DMNetworkDistribute()
17315b3f975aSHong Zhang 
17325f2c45f1SShri Abhyankar   Notes:
17338b171c8eSHong Zhang   Distributes the network with <overlap>-overlapping partitioning of the edges.
17345f2c45f1SShri Abhyankar 
17355f2c45f1SShri Abhyankar   Level: intermediate
17365f2c45f1SShri Abhyankar 
1737db781477SPatrick Sanan .seealso: `DMNetworkCreate()`
17385f2c45f1SShri Abhyankar @*/
1739d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkDistribute(DM *dm, PetscInt overlap)
1740d71ae5a4SJacob Faibussowitsch {
1741d3464fd4SAdrian Maldonado   MPI_Comm                 comm;
1742d3464fd4SAdrian Maldonado   PetscMPIInt              size;
1743*8afb7921SAidan Hamilton   DM_Network              *oldDMnetwork = (DM_Network *)((*dm)->data), *newDMnetwork;
1744caf410d2SHong Zhang   PetscSF                  pointsf      = NULL;
17455f2c45f1SShri Abhyankar   DM                       newDM;
1746*8afb7921SAidan Hamilton   PetscInt                 j, e, v, offset, *subnetvtx, *subnetedge, Nsubnet, gidx, svtx_idx, nv, net;
1747*8afb7921SAidan Hamilton   PetscInt                *sv;
1748f11a936eSBarry Smith   PetscBT                  btable;
174951ac5effSHong Zhang   PetscPartitioner         part;
1750b9c6e19dSShri Abhyankar   DMNetworkComponentHeader header;
17515f2c45f1SShri Abhyankar 
17525f2c45f1SShri Abhyankar   PetscFunctionBegin;
17535c6496baSHong Zhang   PetscValidPointer(dm, 1);
17545c6496baSHong Zhang   PetscValidHeaderSpecific(*dm, DM_CLASSID, 1);
17559566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)*dm, &comm));
17569566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
1757d3464fd4SAdrian Maldonado   if (size == 1) PetscFunctionReturn(0);
1758d3464fd4SAdrian Maldonado 
17595c6496baSHong Zhang   PetscCheck(!overlap, PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "overlap %" PetscInt_FMT " != 0 is not supported yet", overlap);
17605b3f975aSHong Zhang 
17612bf73ac6SHong Zhang   /* This routine moves the component data to the appropriate processors. It makes use of the DataSection and the componentdataarray to move the component data to appropriate processors and returns a new DataSection and new componentdataarray. */
1762e3b1a053SGetnet Betrie   PetscCall(PetscLogEventBegin(DMNetwork_Distribute, dm, 0, 0, 0));
17639566063dSJacob Faibussowitsch   PetscCall(DMNetworkCreate(PetscObjectComm((PetscObject)*dm), &newDM));
17645f2c45f1SShri Abhyankar   newDMnetwork                       = (DM_Network *)newDM->data;
176554dfd506SHong Zhang   newDMnetwork->max_comps_registered = oldDMnetwork->max_comps_registered;
17669566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(newDMnetwork->max_comps_registered, &newDMnetwork->component));
176751ac5effSHong Zhang 
176851ac5effSHong Zhang   /* Enable runtime options for petscpartitioner */
17699566063dSJacob Faibussowitsch   PetscCall(DMPlexGetPartitioner(oldDMnetwork->plex, &part));
17709566063dSJacob Faibussowitsch   PetscCall(PetscPartitionerSetFromOptions(part));
177151ac5effSHong Zhang 
17722bf73ac6SHong Zhang   /* Distribute plex dm */
17739566063dSJacob Faibussowitsch   PetscCall(DMPlexDistribute(oldDMnetwork->plex, overlap, &pointsf, &newDMnetwork->plex));
177451ac5effSHong Zhang 
17755f2c45f1SShri Abhyankar   /* Distribute dof section */
17769566063dSJacob Faibussowitsch   PetscCall(PetscSectionCreate(comm, &newDMnetwork->DofSection));
17779566063dSJacob Faibussowitsch   PetscCall(PetscSFDistributeSection(pointsf, oldDMnetwork->DofSection, NULL, newDMnetwork->DofSection));
177851ac5effSHong Zhang 
17795f2c45f1SShri Abhyankar   /* Distribute data and associated section */
17809566063dSJacob Faibussowitsch   PetscCall(PetscSectionCreate(comm, &newDMnetwork->DataSection));
17819566063dSJacob Faibussowitsch   PetscCall(DMPlexDistributeData(newDMnetwork->plex, pointsf, oldDMnetwork->DataSection, MPIU_INT, (void *)oldDMnetwork->componentdataarray, newDMnetwork->DataSection, (void **)&newDMnetwork->componentdataarray));
178224121865SAdrian Maldonado 
1783daad07d3SAidan Hamilton   PetscCall(PetscSectionGetChart(newDMnetwork->DataSection, &newDMnetwork->cloneshared->pStart, &newDMnetwork->cloneshared->pEnd));
1784daad07d3SAidan Hamilton   PetscCall(DMPlexGetHeightStratum(newDMnetwork->plex, 0, &newDMnetwork->cloneshared->eStart, &newDMnetwork->cloneshared->eEnd));
1785daad07d3SAidan Hamilton   PetscCall(DMPlexGetHeightStratum(newDMnetwork->plex, 1, &newDMnetwork->cloneshared->vStart, &newDMnetwork->cloneshared->vEnd));
1786daad07d3SAidan Hamilton   newDMnetwork->cloneshared->nEdges    = newDMnetwork->cloneshared->eEnd - newDMnetwork->cloneshared->eStart;
1787daad07d3SAidan Hamilton   newDMnetwork->cloneshared->nVertices = newDMnetwork->cloneshared->vEnd - newDMnetwork->cloneshared->vStart;
1788daad07d3SAidan Hamilton   newDMnetwork->cloneshared->NVertices = oldDMnetwork->cloneshared->NVertices;
1789daad07d3SAidan Hamilton   newDMnetwork->cloneshared->NEdges    = oldDMnetwork->cloneshared->NEdges;
1790daad07d3SAidan Hamilton   newDMnetwork->cloneshared->svtable   = oldDMnetwork->cloneshared->svtable; /* global table! */
1791daad07d3SAidan Hamilton   oldDMnetwork->cloneshared->svtable   = NULL;
179224121865SAdrian Maldonado 
17931bb6d2a8SBarry Smith   /* Set Dof section as the section for dm */
17949566063dSJacob Faibussowitsch   PetscCall(DMSetLocalSection(newDMnetwork->plex, newDMnetwork->DofSection));
17959566063dSJacob Faibussowitsch   PetscCall(DMGetGlobalSection(newDMnetwork->plex, &newDMnetwork->GlobalDofSection));
17965f2c45f1SShri Abhyankar 
1797b9c6e19dSShri Abhyankar   /* Setup subnetwork info in the newDM */
1798daad07d3SAidan Hamilton   newDMnetwork->cloneshared->Nsubnet = oldDMnetwork->cloneshared->Nsubnet;
1799daad07d3SAidan Hamilton   newDMnetwork->cloneshared->Nsvtx   = oldDMnetwork->cloneshared->Nsvtx;
1800daad07d3SAidan Hamilton   oldDMnetwork->cloneshared->Nsvtx   = 0;
1801daad07d3SAidan Hamilton   newDMnetwork->cloneshared->svtx    = oldDMnetwork->cloneshared->svtx; /* global vertices! */
1802daad07d3SAidan Hamilton   oldDMnetwork->cloneshared->svtx    = NULL;
1803daad07d3SAidan Hamilton   PetscCall(PetscCalloc1(newDMnetwork->cloneshared->Nsubnet, &newDMnetwork->cloneshared->subnet));
18042bf73ac6SHong Zhang 
18052bf73ac6SHong Zhang   /* Copy over the global number of vertices and edges in each subnetwork.
18062bf73ac6SHong Zhang      Note: these are calculated in DMNetworkLayoutSetUp()
1807b9c6e19dSShri Abhyankar   */
1808daad07d3SAidan Hamilton   Nsubnet = newDMnetwork->cloneshared->Nsubnet;
1809f11a936eSBarry Smith   for (j = 0; j < Nsubnet; j++) {
1810daad07d3SAidan Hamilton     newDMnetwork->cloneshared->subnet[j].Nvtx  = oldDMnetwork->cloneshared->subnet[j].Nvtx;
1811daad07d3SAidan Hamilton     newDMnetwork->cloneshared->subnet[j].Nedge = oldDMnetwork->cloneshared->subnet[j].Nedge;
1812b9c6e19dSShri Abhyankar   }
1813b9c6e19dSShri Abhyankar 
1814f11a936eSBarry Smith   /* Count local nedges for subnetworks */
1815daad07d3SAidan Hamilton   for (e = newDMnetwork->cloneshared->eStart; e < newDMnetwork->cloneshared->eEnd; e++) {
18169566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(newDMnetwork->DataSection, e, &offset));
181754dfd506SHong Zhang     header = (DMNetworkComponentHeader)(newDMnetwork->componentdataarray + offset);
18185c6496baSHong Zhang 
181954dfd506SHong Zhang     /* Update pointers */
182054dfd506SHong Zhang     header->size         = (PetscInt *)(header + 1);
182154dfd506SHong Zhang     header->key          = header->size + header->maxcomps;
182254dfd506SHong Zhang     header->offset       = header->key + header->maxcomps;
182354dfd506SHong Zhang     header->nvar         = header->offset + header->maxcomps;
182454dfd506SHong Zhang     header->offsetvarrel = header->nvar + header->maxcomps;
182554dfd506SHong Zhang 
1826daad07d3SAidan Hamilton     newDMnetwork->cloneshared->subnet[header->subnetid].nedge++;
1827b9c6e19dSShri Abhyankar   }
1828b9c6e19dSShri Abhyankar 
18295c6496baSHong Zhang   /* Setup a btable to keep track subnetworks owned by this process at a shared vertex */
183048a46eb9SPierre Jolivet   if (newDMnetwork->cloneshared->Nsvtx) PetscCall(PetscBTCreate(Nsubnet, &btable));
18315c6496baSHong Zhang 
18325c6496baSHong Zhang   /* Count local nvtx for subnetworks */
1833daad07d3SAidan Hamilton   for (v = newDMnetwork->cloneshared->vStart; v < newDMnetwork->cloneshared->vEnd; v++) {
18349566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(newDMnetwork->DataSection, v, &offset));
18355f80ce2aSJacob Faibussowitsch     header = (DMNetworkComponentHeader)(newDMnetwork->componentdataarray + offset);
18365c6496baSHong Zhang 
183754dfd506SHong Zhang     /* Update pointers */
183854dfd506SHong Zhang     header->size         = (PetscInt *)(header + 1);
183954dfd506SHong Zhang     header->key          = header->size + header->maxcomps;
184054dfd506SHong Zhang     header->offset       = header->key + header->maxcomps;
184154dfd506SHong Zhang     header->nvar         = header->offset + header->maxcomps;
184254dfd506SHong Zhang     header->offsetvarrel = header->nvar + header->maxcomps;
184354dfd506SHong Zhang 
18442bf73ac6SHong Zhang     /* shared vertices: use gidx=header->index to check if v is a shared vertex */
18452bf73ac6SHong Zhang     gidx = header->index;
1846daad07d3SAidan Hamilton     PetscCall(PetscTableFind(newDMnetwork->cloneshared->svtable, gidx + 1, &svtx_idx));
18472bf73ac6SHong Zhang     svtx_idx--;
18482bf73ac6SHong Zhang 
18492bf73ac6SHong Zhang     if (svtx_idx < 0) { /* not a shared vertex */
1850daad07d3SAidan Hamilton       newDMnetwork->cloneshared->subnet[header->subnetid].nvtx++;
18512bf73ac6SHong Zhang     } else { /* a shared vertex belongs to more than one subnetworks, it is being counted by multiple subnets */
18525c6496baSHong Zhang       /* Setup a lookup btable for this v's owning subnetworks */
18539566063dSJacob Faibussowitsch       PetscCall(SetSubnetIdLookupBT(newDM, v, Nsubnet, btable));
1854f11a936eSBarry Smith 
1855daad07d3SAidan Hamilton       for (j = 0; j < newDMnetwork->cloneshared->svtx[svtx_idx].n; j++) {
1856daad07d3SAidan Hamilton         sv  = newDMnetwork->cloneshared->svtx[svtx_idx].sv + 2 * j;
18575c6496baSHong Zhang         net = sv[0];
1858daad07d3SAidan Hamilton         if (PetscBTLookup(btable, net)) newDMnetwork->cloneshared->subnet[net].nvtx++; /* sv is on net owned by this proces */
18592bf73ac6SHong Zhang       }
18602bf73ac6SHong Zhang     }
1861b9c6e19dSShri Abhyankar   }
1862b9c6e19dSShri Abhyankar 
18632bf73ac6SHong Zhang   /* Get total local nvtx for subnetworks */
18642bf73ac6SHong Zhang   nv = 0;
1865daad07d3SAidan Hamilton   for (j = 0; j < Nsubnet; j++) nv += newDMnetwork->cloneshared->subnet[j].nvtx;
1866daad07d3SAidan Hamilton   nv += newDMnetwork->cloneshared->Nsvtx;
1867caf410d2SHong Zhang 
18682bf73ac6SHong Zhang   /* Now create the vertices and edge arrays for the subnetworks */
1869daad07d3SAidan Hamilton   PetscCall(PetscCalloc2(newDMnetwork->cloneshared->nEdges, &subnetedge, nv, &subnetvtx)); /* Maps local vertex to local subnetwork's vertex */
1870daad07d3SAidan Hamilton   newDMnetwork->cloneshared->subnetedge = subnetedge;
1871daad07d3SAidan Hamilton   newDMnetwork->cloneshared->subnetvtx  = subnetvtx;
1872daad07d3SAidan Hamilton   for (j = 0; j < newDMnetwork->cloneshared->Nsubnet; j++) {
1873daad07d3SAidan Hamilton     newDMnetwork->cloneshared->subnet[j].edges = subnetedge;
1874daad07d3SAidan Hamilton     subnetedge += newDMnetwork->cloneshared->subnet[j].nedge;
18752bf73ac6SHong Zhang 
1876daad07d3SAidan Hamilton     newDMnetwork->cloneshared->subnet[j].vertices = subnetvtx;
1877daad07d3SAidan Hamilton     subnetvtx += newDMnetwork->cloneshared->subnet[j].nvtx;
1878caf410d2SHong Zhang 
18792bf73ac6SHong Zhang     /* Temporarily setting nvtx and nedge to 0 so we can use them as counters in the below for loop. These get updated when the vertices and edges are added. */
1880daad07d3SAidan Hamilton     newDMnetwork->cloneshared->subnet[j].nvtx = newDMnetwork->cloneshared->subnet[j].nedge = 0;
1881b9c6e19dSShri Abhyankar   }
1882daad07d3SAidan Hamilton   newDMnetwork->cloneshared->svertices = subnetvtx;
1883b9c6e19dSShri Abhyankar 
18842bf73ac6SHong Zhang   /* Set the edges and vertices in each subnetwork */
1885daad07d3SAidan Hamilton   for (e = newDMnetwork->cloneshared->eStart; e < newDMnetwork->cloneshared->eEnd; e++) {
18869566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(newDMnetwork->DataSection, e, &offset));
18875f80ce2aSJacob Faibussowitsch     header                                                                                                                 = (DMNetworkComponentHeader)(newDMnetwork->componentdataarray + offset);
1888daad07d3SAidan Hamilton     newDMnetwork->cloneshared->subnet[header->subnetid].edges[newDMnetwork->cloneshared->subnet[header->subnetid].nedge++] = e;
1889b9c6e19dSShri Abhyankar   }
1890b9c6e19dSShri Abhyankar 
18912bf73ac6SHong Zhang   nv = 0;
1892daad07d3SAidan Hamilton   for (v = newDMnetwork->cloneshared->vStart; v < newDMnetwork->cloneshared->vEnd; v++) {
18939566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(newDMnetwork->DataSection, v, &offset));
18945f80ce2aSJacob Faibussowitsch     header = (DMNetworkComponentHeader)(newDMnetwork->componentdataarray + offset);
18952bf73ac6SHong Zhang 
18962bf73ac6SHong Zhang     /* coupling vertices: use gidx = header->index to check if v is a coupling vertex */
1897daad07d3SAidan Hamilton     PetscCall(PetscTableFind(newDMnetwork->cloneshared->svtable, header->index + 1, &svtx_idx));
18982bf73ac6SHong Zhang     svtx_idx--;
18992bf73ac6SHong Zhang     if (svtx_idx < 0) {
1900daad07d3SAidan Hamilton       newDMnetwork->cloneshared->subnet[header->subnetid].vertices[newDMnetwork->cloneshared->subnet[header->subnetid].nvtx++] = v;
19012bf73ac6SHong Zhang     } else { /* a shared vertex */
1902daad07d3SAidan Hamilton       newDMnetwork->cloneshared->svertices[nv++] = v;
19032bf73ac6SHong Zhang 
19045c6496baSHong Zhang       /* Setup a lookup btable for this v's owning subnetworks */
19059566063dSJacob Faibussowitsch       PetscCall(SetSubnetIdLookupBT(newDM, v, Nsubnet, btable));
1906f11a936eSBarry Smith 
1907daad07d3SAidan Hamilton       for (j = 0; j < newDMnetwork->cloneshared->svtx[svtx_idx].n; j++) {
1908daad07d3SAidan Hamilton         sv  = newDMnetwork->cloneshared->svtx[svtx_idx].sv + 2 * j;
19095c6496baSHong Zhang         net = sv[0];
19109371c9d4SSatish Balay         if (PetscBTLookup(btable, net)) newDMnetwork->cloneshared->subnet[net].vertices[newDMnetwork->cloneshared->subnet[net].nvtx++] = v;
1911b9c6e19dSShri Abhyankar       }
19122bf73ac6SHong Zhang     }
19132bf73ac6SHong Zhang   }
1914daad07d3SAidan Hamilton   newDMnetwork->cloneshared->nsvtx = nv; /* num of local shared vertices */
1915b9c6e19dSShri Abhyankar 
1916*8afb7921SAidan Hamilton   PetscCall(DMNetworkDistributeCoordinates(*dm, pointsf, newDM));
1917caf410d2SHong Zhang   newDM->setupcalled                          = (*dm)->setupcalled;
1918daad07d3SAidan Hamilton   newDMnetwork->cloneshared->distributecalled = PETSC_TRUE;
1919caf410d2SHong Zhang 
19202bf73ac6SHong Zhang   /* Free spaces */
19219566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&pointsf));
19229566063dSJacob Faibussowitsch   PetscCall(DMDestroy(dm));
192348a46eb9SPierre Jolivet   if (newDMnetwork->cloneshared->Nsvtx) PetscCall(PetscBTDestroy(&btable));
19242bf73ac6SHong Zhang 
19255b3f975aSHong Zhang   /* View distributed dmnetwork */
19269566063dSJacob Faibussowitsch   PetscCall(DMViewFromOptions(newDM, NULL, "-dmnetwork_view_distributed"));
19275b3f975aSHong Zhang 
1928d3464fd4SAdrian Maldonado   *dm = newDM;
1929e3b1a053SGetnet Betrie   PetscCall(PetscLogEventEnd(DMNetwork_Distribute, dm, 0, 0, 0));
19305f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
19315f2c45f1SShri Abhyankar }
19325f2c45f1SShri Abhyankar 
193324121865SAdrian Maldonado /*@C
19342bf73ac6SHong Zhang   PetscSFGetSubSF - Returns an SF for a specific subset of points. Leaves are re-numbered to reflect the new ordering
19352bf73ac6SHong Zhang 
19362bf73ac6SHong Zhang  Collective
193724121865SAdrian Maldonado 
193824121865SAdrian Maldonado   Input Parameters:
19399dddd249SSatish Balay + mainSF - the original SF structure
194024121865SAdrian Maldonado - map - a ISLocalToGlobal mapping that contains the subset of points
194124121865SAdrian Maldonado 
194297bb3fdcSJose E. Roman   Output Parameter:
19439dddd249SSatish Balay . subSF - a subset of the mainSF for the desired subset.
1944ee300463SSatish Balay 
1945ee300463SSatish Balay   Level: intermediate
19467d928bffSSatish Balay @*/
1947d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscSFGetSubSF(PetscSF mainsf, ISLocalToGlobalMapping map, PetscSF *subSF)
1948d71ae5a4SJacob Faibussowitsch {
194924121865SAdrian Maldonado   PetscInt           nroots, nleaves, *ilocal_sub;
195024121865SAdrian Maldonado   PetscInt           i, *ilocal_map, nroots_sub, nleaves_sub = 0;
195124121865SAdrian Maldonado   PetscInt          *local_points, *remote_points;
195224121865SAdrian Maldonado   PetscSFNode       *iremote_sub;
195324121865SAdrian Maldonado   const PetscInt    *ilocal;
195424121865SAdrian Maldonado   const PetscSFNode *iremote;
195524121865SAdrian Maldonado 
195624121865SAdrian Maldonado   PetscFunctionBegin;
19579566063dSJacob Faibussowitsch   PetscCall(PetscSFGetGraph(mainsf, &nroots, &nleaves, &ilocal, &iremote));
195824121865SAdrian Maldonado 
195924121865SAdrian Maldonado   /* Look for leaves that pertain to the subset of points. Get the local ordering */
19609566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nleaves, &ilocal_map));
19619566063dSJacob Faibussowitsch   PetscCall(ISGlobalToLocalMappingApply(map, IS_GTOLM_MASK, nleaves, ilocal, NULL, ilocal_map));
196224121865SAdrian Maldonado   for (i = 0; i < nleaves; i++) {
196324121865SAdrian Maldonado     if (ilocal_map[i] != -1) nleaves_sub += 1;
196424121865SAdrian Maldonado   }
196524121865SAdrian Maldonado   /* Re-number ilocal with subset numbering. Need information from roots */
19669566063dSJacob Faibussowitsch   PetscCall(PetscMalloc2(nroots, &local_points, nroots, &remote_points));
196724121865SAdrian Maldonado   for (i = 0; i < nroots; i++) local_points[i] = i;
19689566063dSJacob Faibussowitsch   PetscCall(ISGlobalToLocalMappingApply(map, IS_GTOLM_MASK, nroots, local_points, NULL, local_points));
19699566063dSJacob Faibussowitsch   PetscCall(PetscSFBcastBegin(mainsf, MPIU_INT, local_points, remote_points, MPI_REPLACE));
19709566063dSJacob Faibussowitsch   PetscCall(PetscSFBcastEnd(mainsf, MPIU_INT, local_points, remote_points, MPI_REPLACE));
197124121865SAdrian Maldonado   /* Fill up graph using local (that is, local to the subset) numbering. */
19729566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nleaves_sub, &ilocal_sub));
19739566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nleaves_sub, &iremote_sub));
197424121865SAdrian Maldonado   nleaves_sub = 0;
197524121865SAdrian Maldonado   for (i = 0; i < nleaves; i++) {
197624121865SAdrian Maldonado     if (ilocal_map[i] != -1) {
197724121865SAdrian Maldonado       ilocal_sub[nleaves_sub]        = ilocal_map[i];
19784b70a8deSAdrian Maldonado       iremote_sub[nleaves_sub].rank  = iremote[i].rank;
197924121865SAdrian Maldonado       iremote_sub[nleaves_sub].index = remote_points[ilocal[i]];
198024121865SAdrian Maldonado       nleaves_sub += 1;
198124121865SAdrian Maldonado     }
198224121865SAdrian Maldonado   }
19839566063dSJacob Faibussowitsch   PetscCall(PetscFree2(local_points, remote_points));
19849566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingGetSize(map, &nroots_sub));
198524121865SAdrian Maldonado 
198624121865SAdrian Maldonado   /* Create new subSF */
19879566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD, subSF));
19889566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(*subSF));
19899566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(*subSF, nroots_sub, nleaves_sub, ilocal_sub, PETSC_OWN_POINTER, iremote_sub, PETSC_COPY_VALUES));
19909566063dSJacob Faibussowitsch   PetscCall(PetscFree(ilocal_map));
19919566063dSJacob Faibussowitsch   PetscCall(PetscFree(iremote_sub));
199224121865SAdrian Maldonado   PetscFunctionReturn(0);
199324121865SAdrian Maldonado }
199424121865SAdrian Maldonado 
19955f2c45f1SShri Abhyankar /*@C
19965f2c45f1SShri Abhyankar   DMNetworkGetSupportingEdges - Return the supporting edges for this vertex point
19975f2c45f1SShri Abhyankar 
19985f2c45f1SShri Abhyankar   Not Collective
19995f2c45f1SShri Abhyankar 
20005f2c45f1SShri Abhyankar   Input Parameters:
20012bf73ac6SHong Zhang + dm - the DMNetwork object
20025f2c45f1SShri Abhyankar - p  - the vertex point
20035f2c45f1SShri Abhyankar 
2004fd292e60Sprj-   Output Parameters:
20055f2c45f1SShri Abhyankar + nedges - number of edges connected to this vertex point
20062bf73ac6SHong Zhang - edges  - list of edge points
20075f2c45f1SShri Abhyankar 
200897bb938eSShri Abhyankar   Level: beginner
20095f2c45f1SShri Abhyankar 
20105f2c45f1SShri Abhyankar   Fortran Notes:
20115f2c45f1SShri Abhyankar   Since it returns an array, this routine is only available in Fortran 90, and you must
20125f2c45f1SShri Abhyankar   include petsc.h90 in your code.
20135f2c45f1SShri Abhyankar 
2014db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkGetConnectedVertices()`
20155f2c45f1SShri Abhyankar @*/
2016d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetSupportingEdges(DM dm, PetscInt vertex, PetscInt *nedges, const PetscInt *edges[])
2017d71ae5a4SJacob Faibussowitsch {
20185f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
20195f2c45f1SShri Abhyankar 
20205f2c45f1SShri Abhyankar   PetscFunctionBegin;
20219566063dSJacob Faibussowitsch   PetscCall(DMPlexGetSupportSize(network->plex, vertex, nedges));
20229566063dSJacob Faibussowitsch   if (edges) PetscCall(DMPlexGetSupport(network->plex, vertex, edges));
20235f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
20245f2c45f1SShri Abhyankar }
20255f2c45f1SShri Abhyankar 
20265f2c45f1SShri Abhyankar /*@C
2027d842c372SHong Zhang   DMNetworkGetConnectedVertices - Return the connected vertices for this edge point
20285f2c45f1SShri Abhyankar 
20295f2c45f1SShri Abhyankar   Not Collective
20305f2c45f1SShri Abhyankar 
20315f2c45f1SShri Abhyankar   Input Parameters:
20322bf73ac6SHong Zhang + dm - the DMNetwork object
20335f2c45f1SShri Abhyankar - p - the edge point
20345f2c45f1SShri Abhyankar 
2035fd292e60Sprj-   Output Parameters:
20365f2c45f1SShri Abhyankar . vertices - vertices connected to this edge
20375f2c45f1SShri Abhyankar 
203897bb938eSShri Abhyankar   Level: beginner
20395f2c45f1SShri Abhyankar 
20405f2c45f1SShri Abhyankar   Fortran Notes:
20415f2c45f1SShri Abhyankar   Since it returns an array, this routine is only available in Fortran 90, and you must
20425f2c45f1SShri Abhyankar   include petsc.h90 in your code.
20435f2c45f1SShri Abhyankar 
2044db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkGetSupportingEdges()`
20455f2c45f1SShri Abhyankar @*/
2046d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetConnectedVertices(DM dm, PetscInt edge, const PetscInt *vertices[])
2047d71ae5a4SJacob Faibussowitsch {
20485f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
20495f2c45f1SShri Abhyankar 
20505f2c45f1SShri Abhyankar   PetscFunctionBegin;
20519566063dSJacob Faibussowitsch   PetscCall(DMPlexGetCone(network->plex, edge, vertices));
20525f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
20535f2c45f1SShri Abhyankar }
20545f2c45f1SShri Abhyankar 
20555f2c45f1SShri Abhyankar /*@
20562bf73ac6SHong Zhang   DMNetworkIsSharedVertex - Returns TRUE if the vertex is shared by subnetworks
20572bf73ac6SHong Zhang 
20582bf73ac6SHong Zhang   Not Collective
20592bf73ac6SHong Zhang 
20602bf73ac6SHong Zhang   Input Parameters:
20612bf73ac6SHong Zhang + dm - the DMNetwork object
20622bf73ac6SHong Zhang - p - the vertex point
20632bf73ac6SHong Zhang 
20642bf73ac6SHong Zhang   Output Parameter:
20652bf73ac6SHong Zhang . flag - TRUE if the vertex is shared by subnetworks
20662bf73ac6SHong Zhang 
20672bf73ac6SHong Zhang   Level: beginner
20682bf73ac6SHong Zhang 
2069db781477SPatrick Sanan .seealso: `DMNetworkAddSharedVertices()`, `DMNetworkIsGhostVertex()`
20702bf73ac6SHong Zhang @*/
2071d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkIsSharedVertex(DM dm, PetscInt p, PetscBool *flag)
2072d71ae5a4SJacob Faibussowitsch {
20732bf73ac6SHong Zhang   PetscInt i;
20742bf73ac6SHong Zhang 
20752bf73ac6SHong Zhang   PetscFunctionBegin;
20762bf73ac6SHong Zhang   *flag = PETSC_FALSE;
20772bf73ac6SHong Zhang 
20782bf73ac6SHong Zhang   if (dm->setupcalled) { /* DMNetworkGetGlobalVertexIndex() requires DMSetUp() be called */
20792bf73ac6SHong Zhang     DM_Network *network = (DM_Network *)dm->data;
20802bf73ac6SHong Zhang     PetscInt    gidx;
20819566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetGlobalVertexIndex(dm, p, &gidx));
2082daad07d3SAidan Hamilton     PetscCall(PetscTableFind(network->cloneshared->svtable, gidx + 1, &i));
20832bf73ac6SHong Zhang     if (i) *flag = PETSC_TRUE;
20842bf73ac6SHong Zhang   } else { /* would be removed? */
20852bf73ac6SHong Zhang     PetscInt        nv;
20862bf73ac6SHong Zhang     const PetscInt *vtx;
20879566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetSharedVertices(dm, &nv, &vtx));
20882bf73ac6SHong Zhang     for (i = 0; i < nv; i++) {
20892bf73ac6SHong Zhang       if (p == vtx[i]) {
20902bf73ac6SHong Zhang         *flag = PETSC_TRUE;
20912bf73ac6SHong Zhang         break;
20922bf73ac6SHong Zhang       }
20932bf73ac6SHong Zhang     }
20942bf73ac6SHong Zhang   }
20952bf73ac6SHong Zhang   PetscFunctionReturn(0);
20962bf73ac6SHong Zhang }
20972bf73ac6SHong Zhang 
20982bf73ac6SHong Zhang /*@
20995f2c45f1SShri Abhyankar   DMNetworkIsGhostVertex - Returns TRUE if the vertex is a ghost vertex
21005f2c45f1SShri Abhyankar 
21015f2c45f1SShri Abhyankar   Not Collective
21025f2c45f1SShri Abhyankar 
21035f2c45f1SShri Abhyankar   Input Parameters:
21042bf73ac6SHong Zhang + dm - the DMNetwork object
2105a2b725a8SWilliam Gropp - p - the vertex point
21065f2c45f1SShri Abhyankar 
21075f2c45f1SShri Abhyankar   Output Parameter:
21085f2c45f1SShri Abhyankar . isghost - TRUE if the vertex is a ghost point
21095f2c45f1SShri Abhyankar 
211097bb938eSShri Abhyankar   Level: beginner
21115f2c45f1SShri Abhyankar 
2112db781477SPatrick Sanan .seealso: `DMNetworkGetConnectedVertices()`, `DMNetworkGetVertexRange()`, `DMNetworkIsSharedVertex()`
21135f2c45f1SShri Abhyankar @*/
2114d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkIsGhostVertex(DM dm, PetscInt p, PetscBool *isghost)
2115d71ae5a4SJacob Faibussowitsch {
21165f2c45f1SShri Abhyankar   DM_Network  *network = (DM_Network *)dm->data;
21175f2c45f1SShri Abhyankar   PetscInt     offsetg;
21185f2c45f1SShri Abhyankar   PetscSection sectiong;
21195f2c45f1SShri Abhyankar 
21205f2c45f1SShri Abhyankar   PetscFunctionBegin;
21215f2c45f1SShri Abhyankar   *isghost = PETSC_FALSE;
21229566063dSJacob Faibussowitsch   PetscCall(DMGetGlobalSection(network->plex, &sectiong));
21239566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(sectiong, p, &offsetg));
21245f2c45f1SShri Abhyankar   if (offsetg < 0) *isghost = PETSC_TRUE;
21255f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
21265f2c45f1SShri Abhyankar }
21275f2c45f1SShri Abhyankar 
2128d71ae5a4SJacob Faibussowitsch PetscErrorCode DMSetUp_Network(DM dm)
2129d71ae5a4SJacob Faibussowitsch {
21305f2c45f1SShri Abhyankar   PetscFunctionBegin;
2131e3b1a053SGetnet Betrie   PetscCall(PetscLogEventBegin(DMNetwork_SetUpNetwork, dm, 0, 0, 0));
2132daad07d3SAidan Hamilton   PetscCall(DMNetworkFinalizeComponents(dm));
21335b3f975aSHong Zhang   /* View dmnetwork */
21349566063dSJacob Faibussowitsch   PetscCall(DMViewFromOptions(dm, NULL, "-dmnetwork_view"));
2135e3b1a053SGetnet Betrie   PetscCall(PetscLogEventEnd(DMNetwork_SetUpNetwork, dm, 0, 0, 0));
21365f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
21375f2c45f1SShri Abhyankar }
21385f2c45f1SShri Abhyankar 
21391ad426b7SHong Zhang /*@
214017df6e9eSHong Zhang   DMNetworkHasJacobian - Sets global flag for using user's sub Jacobian matrices
21411ad426b7SHong Zhang       -- replaced by DMNetworkSetOption(network,userjacobian,PETSC_TURE)?
21421ad426b7SHong Zhang 
21431ad426b7SHong Zhang   Collective
21441ad426b7SHong Zhang 
21451ad426b7SHong Zhang   Input Parameters:
21462bf73ac6SHong Zhang + dm - the DMNetwork object
214783b2e829SHong Zhang . eflg - turn the option on (PETSC_TRUE) or off (PETSC_FALSE) if user provides Jacobian for edges
214883b2e829SHong Zhang - vflg - turn the option on (PETSC_TRUE) or off (PETSC_FALSE) if user provides Jacobian for vertices
21491ad426b7SHong Zhang 
21501ad426b7SHong Zhang  Level: intermediate
21511ad426b7SHong Zhang 
21521ad426b7SHong Zhang @*/
2153d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkHasJacobian(DM dm, PetscBool eflg, PetscBool vflg)
2154d71ae5a4SJacob Faibussowitsch {
21551ad426b7SHong Zhang   DM_Network *network   = (DM_Network *)dm->data;
2156daad07d3SAidan Hamilton   PetscInt    nVertices = network->cloneshared->nVertices;
21571ad426b7SHong Zhang 
21581ad426b7SHong Zhang   PetscFunctionBegin;
215983b2e829SHong Zhang   network->userEdgeJacobian   = eflg;
216083b2e829SHong Zhang   network->userVertexJacobian = vflg;
21618675203cSHong Zhang 
216248a46eb9SPierre Jolivet   if (eflg && !network->Je) PetscCall(PetscCalloc1(3 * network->cloneshared->nEdges, &network->Je));
21638675203cSHong Zhang 
216466b4e0ffSHong Zhang   if (vflg && !network->Jv && nVertices) {
2165daad07d3SAidan Hamilton     PetscInt        i, *vptr, nedges, vStart = network->cloneshared->vStart;
216666b4e0ffSHong Zhang     PetscInt        nedges_total;
21678675203cSHong Zhang     const PetscInt *edges;
21688675203cSHong Zhang 
21698675203cSHong Zhang     /* count nvertex_total */
21708675203cSHong Zhang     nedges_total = 0;
21719566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nVertices + 1, &vptr));
21728675203cSHong Zhang 
21738675203cSHong Zhang     vptr[0] = 0;
21748675203cSHong Zhang     for (i = 0; i < nVertices; i++) {
21759566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetSupportingEdges(dm, i + vStart, &nedges, &edges));
21768675203cSHong Zhang       nedges_total += nedges;
21778675203cSHong Zhang       vptr[i + 1] = vptr[i] + 2 * nedges + 1;
21788675203cSHong Zhang     }
21798675203cSHong Zhang 
21809566063dSJacob Faibussowitsch     PetscCall(PetscCalloc1(2 * nedges_total + nVertices, &network->Jv));
21818675203cSHong Zhang     network->Jvptr = vptr;
21828675203cSHong Zhang   }
21831ad426b7SHong Zhang   PetscFunctionReturn(0);
21841ad426b7SHong Zhang }
21851ad426b7SHong Zhang 
21861ad426b7SHong Zhang /*@
218783b2e829SHong Zhang   DMNetworkEdgeSetMatrix - Sets user-provided Jacobian matrices for this edge to the network
218883b2e829SHong Zhang 
218983b2e829SHong Zhang   Not Collective
219083b2e829SHong Zhang 
219183b2e829SHong Zhang   Input Parameters:
21922bf73ac6SHong Zhang + dm - the DMNetwork object
219383b2e829SHong Zhang . p - the edge point
21943e97b6e8SHong Zhang - J - array (size = 3) of Jacobian submatrices for this edge point:
21953e97b6e8SHong Zhang         J[0]: this edge
2196d842c372SHong Zhang         J[1] and J[2]: connected vertices, obtained by calling DMNetworkGetConnectedVertices()
219783b2e829SHong Zhang 
219897bb938eSShri Abhyankar   Level: advanced
219983b2e829SHong Zhang 
2200db781477SPatrick Sanan .seealso: `DMNetworkVertexSetMatrix()`
220183b2e829SHong Zhang @*/
2202d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkEdgeSetMatrix(DM dm, PetscInt p, Mat J[])
2203d71ae5a4SJacob Faibussowitsch {
220483b2e829SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
220583b2e829SHong Zhang 
220683b2e829SHong Zhang   PetscFunctionBegin;
22075c6496baSHong Zhang   PetscCheck(network->Je, PetscObjectComm((PetscObject)dm), PETSC_ERR_ORDER, "Must call DMNetworkHasJacobian() collectively before calling DMNetworkEdgeSetMatrix");
22088675203cSHong Zhang 
22098675203cSHong Zhang   if (J) {
2210883e35e8SHong Zhang     network->Je[3 * p]     = J[0];
2211883e35e8SHong Zhang     network->Je[3 * p + 1] = J[1];
2212883e35e8SHong Zhang     network->Je[3 * p + 2] = J[2];
22138675203cSHong Zhang   }
221483b2e829SHong Zhang   PetscFunctionReturn(0);
221583b2e829SHong Zhang }
221683b2e829SHong Zhang 
221783b2e829SHong Zhang /*@
221876ddfea5SHong Zhang   DMNetworkVertexSetMatrix - Sets user-provided Jacobian matrix for this vertex to the network
22191ad426b7SHong Zhang 
22201ad426b7SHong Zhang   Not Collective
22211ad426b7SHong Zhang 
22221ad426b7SHong Zhang   Input Parameters:
22231ad426b7SHong Zhang + dm - The DMNetwork object
22241ad426b7SHong Zhang . p - the vertex point
22253e97b6e8SHong Zhang - J - array of Jacobian (size = 2*(num of supporting edges) + 1) submatrices for this vertex point:
22263e97b6e8SHong Zhang         J[0]:       this vertex
22273e97b6e8SHong Zhang         J[1+2*i]:   i-th supporting edge
22283e97b6e8SHong Zhang         J[1+2*i+1]: i-th connected vertex
22291ad426b7SHong Zhang 
223097bb938eSShri Abhyankar   Level: advanced
22311ad426b7SHong Zhang 
2232db781477SPatrick Sanan .seealso: `DMNetworkEdgeSetMatrix()`
22331ad426b7SHong Zhang @*/
2234d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkVertexSetMatrix(DM dm, PetscInt p, Mat J[])
2235d71ae5a4SJacob Faibussowitsch {
22365f2c45f1SShri Abhyankar   DM_Network     *network = (DM_Network *)dm->data;
2237daad07d3SAidan Hamilton   PetscInt        i, *vptr, nedges, vStart = network->cloneshared->vStart;
2238883e35e8SHong Zhang   const PetscInt *edges;
22395f2c45f1SShri Abhyankar 
22405f2c45f1SShri Abhyankar   PetscFunctionBegin;
22415c6496baSHong Zhang   PetscCheck(network->Jv, PetscObjectComm((PetscObject)dm), PETSC_ERR_ORDER, "Must call DMNetworkHasJacobian() collectively before calling DMNetworkVertexSetMatrix");
2242883e35e8SHong Zhang 
22438675203cSHong Zhang   if (J) {
2244883e35e8SHong Zhang     vptr                          = network->Jvptr;
22453e97b6e8SHong Zhang     network->Jv[vptr[p - vStart]] = J[0]; /* Set Jacobian for this vertex */
22463e97b6e8SHong Zhang 
22473e97b6e8SHong Zhang     /* Set Jacobian for each supporting edge and connected vertex */
22489566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetSupportingEdges(dm, p, &nedges, &edges));
2249883e35e8SHong Zhang     for (i = 1; i <= 2 * nedges; i++) network->Jv[vptr[p - vStart] + i] = J[i];
22508675203cSHong Zhang   }
2251883e35e8SHong Zhang   PetscFunctionReturn(0);
2252883e35e8SHong Zhang }
2253883e35e8SHong Zhang 
2254d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSetPreallocationDenseblock_private(PetscInt nrows, PetscInt *rows, PetscInt ncols, PetscBool ghost, Vec vdnz, Vec vonz)
2255d71ae5a4SJacob Faibussowitsch {
22565cf7da58SHong Zhang   PetscInt    j;
22575cf7da58SHong Zhang   PetscScalar val = (PetscScalar)ncols;
22585cf7da58SHong Zhang 
22595cf7da58SHong Zhang   PetscFunctionBegin;
22605cf7da58SHong Zhang   if (!ghost) {
226148a46eb9SPierre Jolivet     for (j = 0; j < nrows; j++) PetscCall(VecSetValues(vdnz, 1, &rows[j], &val, ADD_VALUES));
22625cf7da58SHong Zhang   } else {
226348a46eb9SPierre Jolivet     for (j = 0; j < nrows; j++) PetscCall(VecSetValues(vonz, 1, &rows[j], &val, ADD_VALUES));
22645cf7da58SHong Zhang   }
22655cf7da58SHong Zhang   PetscFunctionReturn(0);
22665cf7da58SHong Zhang }
22675cf7da58SHong Zhang 
2268d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSetPreallocationUserblock_private(Mat Ju, PetscInt nrows, PetscInt *rows, PetscInt ncols, PetscBool ghost, Vec vdnz, Vec vonz)
2269d71ae5a4SJacob Faibussowitsch {
22705cf7da58SHong Zhang   PetscInt    j, ncols_u;
22715cf7da58SHong Zhang   PetscScalar val;
22725cf7da58SHong Zhang 
22735cf7da58SHong Zhang   PetscFunctionBegin;
22745cf7da58SHong Zhang   if (!ghost) {
22755cf7da58SHong Zhang     for (j = 0; j < nrows; j++) {
22769566063dSJacob Faibussowitsch       PetscCall(MatGetRow(Ju, j, &ncols_u, NULL, NULL));
22775cf7da58SHong Zhang       val = (PetscScalar)ncols_u;
22789566063dSJacob Faibussowitsch       PetscCall(VecSetValues(vdnz, 1, &rows[j], &val, ADD_VALUES));
22799566063dSJacob Faibussowitsch       PetscCall(MatRestoreRow(Ju, j, &ncols_u, NULL, NULL));
22805cf7da58SHong Zhang     }
22815cf7da58SHong Zhang   } else {
22825cf7da58SHong Zhang     for (j = 0; j < nrows; j++) {
22839566063dSJacob Faibussowitsch       PetscCall(MatGetRow(Ju, j, &ncols_u, NULL, NULL));
22845cf7da58SHong Zhang       val = (PetscScalar)ncols_u;
22859566063dSJacob Faibussowitsch       PetscCall(VecSetValues(vonz, 1, &rows[j], &val, ADD_VALUES));
22869566063dSJacob Faibussowitsch       PetscCall(MatRestoreRow(Ju, j, &ncols_u, NULL, NULL));
22875cf7da58SHong Zhang     }
22885cf7da58SHong Zhang   }
22895cf7da58SHong Zhang   PetscFunctionReturn(0);
22905cf7da58SHong Zhang }
22915cf7da58SHong Zhang 
2292d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSetPreallocationblock_private(Mat Ju, PetscInt nrows, PetscInt *rows, PetscInt ncols, PetscBool ghost, Vec vdnz, Vec vonz)
2293d71ae5a4SJacob Faibussowitsch {
22945cf7da58SHong Zhang   PetscFunctionBegin;
22955cf7da58SHong Zhang   if (Ju) {
22969566063dSJacob Faibussowitsch     PetscCall(MatSetPreallocationUserblock_private(Ju, nrows, rows, ncols, ghost, vdnz, vonz));
22975cf7da58SHong Zhang   } else {
22989566063dSJacob Faibussowitsch     PetscCall(MatSetPreallocationDenseblock_private(nrows, rows, ncols, ghost, vdnz, vonz));
22995cf7da58SHong Zhang   }
23005cf7da58SHong Zhang   PetscFunctionReturn(0);
23015cf7da58SHong Zhang }
23025cf7da58SHong Zhang 
2303d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSetDenseblock_private(PetscInt nrows, PetscInt *rows, PetscInt ncols, PetscInt cstart, Mat *J)
2304d71ae5a4SJacob Faibussowitsch {
2305883e35e8SHong Zhang   PetscInt     j, *cols;
2306883e35e8SHong Zhang   PetscScalar *zeros;
2307883e35e8SHong Zhang 
2308883e35e8SHong Zhang   PetscFunctionBegin;
23099566063dSJacob Faibussowitsch   PetscCall(PetscCalloc2(ncols, &cols, nrows * ncols, &zeros));
2310883e35e8SHong Zhang   for (j = 0; j < ncols; j++) cols[j] = j + cstart;
23119566063dSJacob Faibussowitsch   PetscCall(MatSetValues(*J, nrows, rows, ncols, cols, zeros, INSERT_VALUES));
23129566063dSJacob Faibussowitsch   PetscCall(PetscFree2(cols, zeros));
23131ad426b7SHong Zhang   PetscFunctionReturn(0);
23141ad426b7SHong Zhang }
2315a4e85ca8SHong Zhang 
2316d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSetUserblock_private(Mat Ju, PetscInt nrows, PetscInt *rows, PetscInt ncols, PetscInt cstart, Mat *J)
2317d71ae5a4SJacob Faibussowitsch {
23183e97b6e8SHong Zhang   PetscInt        j, M, N, row, col, ncols_u;
23193e97b6e8SHong Zhang   const PetscInt *cols;
23203e97b6e8SHong Zhang   PetscScalar     zero = 0.0;
23213e97b6e8SHong Zhang 
23223e97b6e8SHong Zhang   PetscFunctionBegin;
23239566063dSJacob Faibussowitsch   PetscCall(MatGetSize(Ju, &M, &N));
232463a3b9bcSJacob Faibussowitsch   PetscCheck(nrows == M && ncols == N, PetscObjectComm((PetscObject)Ju), PETSC_ERR_USER, "%" PetscInt_FMT " by %" PetscInt_FMT " must equal %" PetscInt_FMT " by %" PetscInt_FMT, nrows, ncols, M, N);
23253e97b6e8SHong Zhang 
23263e97b6e8SHong Zhang   for (row = 0; row < nrows; row++) {
23279566063dSJacob Faibussowitsch     PetscCall(MatGetRow(Ju, row, &ncols_u, &cols, NULL));
23283e97b6e8SHong Zhang     for (j = 0; j < ncols_u; j++) {
23293e97b6e8SHong Zhang       col = cols[j] + cstart;
23309566063dSJacob Faibussowitsch       PetscCall(MatSetValues(*J, 1, &rows[row], 1, &col, &zero, INSERT_VALUES));
23313e97b6e8SHong Zhang     }
23329566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow(Ju, row, &ncols_u, &cols, NULL));
23333e97b6e8SHong Zhang   }
23343e97b6e8SHong Zhang   PetscFunctionReturn(0);
23353e97b6e8SHong Zhang }
23361ad426b7SHong Zhang 
2337d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode MatSetblock_private(Mat Ju, PetscInt nrows, PetscInt *rows, PetscInt ncols, PetscInt cstart, Mat *J)
2338d71ae5a4SJacob Faibussowitsch {
2339a4e85ca8SHong Zhang   PetscFunctionBegin;
2340a4e85ca8SHong Zhang   if (Ju) {
23419566063dSJacob Faibussowitsch     PetscCall(MatSetUserblock_private(Ju, nrows, rows, ncols, cstart, J));
2342a4e85ca8SHong Zhang   } else {
23439566063dSJacob Faibussowitsch     PetscCall(MatSetDenseblock_private(nrows, rows, ncols, cstart, J));
2344a4e85ca8SHong Zhang   }
2345a4e85ca8SHong Zhang   PetscFunctionReturn(0);
2346a4e85ca8SHong Zhang }
2347a4e85ca8SHong Zhang 
234824121865SAdrian Maldonado /* Creates a GlobalToLocal mapping with a Local and Global section. This is akin to the routine DMGetLocalToGlobalMapping but without the need of providing a dm.
234924121865SAdrian Maldonado */
2350d71ae5a4SJacob Faibussowitsch PetscErrorCode CreateSubGlobalToLocalMapping_private(PetscSection globalsec, PetscSection localsec, ISLocalToGlobalMapping *ltog)
2351d71ae5a4SJacob Faibussowitsch {
235224121865SAdrian Maldonado   PetscInt  i, size, dof;
235324121865SAdrian Maldonado   PetscInt *glob2loc;
235424121865SAdrian Maldonado 
235524121865SAdrian Maldonado   PetscFunctionBegin;
23569566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetStorageSize(localsec, &size));
23579566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size, &glob2loc));
235824121865SAdrian Maldonado 
235924121865SAdrian Maldonado   for (i = 0; i < size; i++) {
23609566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetOffset(globalsec, i, &dof));
236124121865SAdrian Maldonado     dof         = (dof >= 0) ? dof : -(dof + 1);
236224121865SAdrian Maldonado     glob2loc[i] = dof;
236324121865SAdrian Maldonado   }
236424121865SAdrian Maldonado 
23659566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingCreate(PETSC_COMM_WORLD, 1, size, glob2loc, PETSC_OWN_POINTER, ltog));
236624121865SAdrian Maldonado #if 0
23679566063dSJacob Faibussowitsch   PetscCall(PetscIntView(size,glob2loc,PETSC_VIEWER_STDOUT_WORLD));
236824121865SAdrian Maldonado #endif
236924121865SAdrian Maldonado   PetscFunctionReturn(0);
237024121865SAdrian Maldonado }
237124121865SAdrian Maldonado 
237201ad2aeeSHong Zhang #include <petsc/private/matimpl.h>
23739e1d080bSHong Zhang 
2374d71ae5a4SJacob Faibussowitsch PetscErrorCode DMCreateMatrix_Network_Nest(DM dm, Mat *J)
2375d71ae5a4SJacob Faibussowitsch {
23761ad426b7SHong Zhang   DM_Network            *network = (DM_Network *)dm->data;
237724121865SAdrian Maldonado   PetscInt               eDof, vDof;
237824121865SAdrian Maldonado   Mat                    j11, j12, j21, j22, bA[2][2];
23799e1d080bSHong Zhang   MPI_Comm               comm;
238024121865SAdrian Maldonado   ISLocalToGlobalMapping eISMap, vISMap;
238124121865SAdrian Maldonado 
23829e1d080bSHong Zhang   PetscFunctionBegin;
23839566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
238424121865SAdrian Maldonado 
23859566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetConstrainedStorageSize(network->edge.GlobalDofSection, &eDof));
23869566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetConstrainedStorageSize(network->vertex.GlobalDofSection, &vDof));
238724121865SAdrian Maldonado 
23889566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm, &j11));
23899566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(j11, eDof, eDof, PETSC_DETERMINE, PETSC_DETERMINE));
23909566063dSJacob Faibussowitsch   PetscCall(MatSetType(j11, MATMPIAIJ));
239124121865SAdrian Maldonado 
23929566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm, &j12));
23939566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(j12, eDof, vDof, PETSC_DETERMINE, PETSC_DETERMINE));
23949566063dSJacob Faibussowitsch   PetscCall(MatSetType(j12, MATMPIAIJ));
239524121865SAdrian Maldonado 
23969566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm, &j21));
23979566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(j21, vDof, eDof, PETSC_DETERMINE, PETSC_DETERMINE));
23989566063dSJacob Faibussowitsch   PetscCall(MatSetType(j21, MATMPIAIJ));
239924121865SAdrian Maldonado 
24009566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm, &j22));
24019566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(j22, vDof, vDof, PETSC_DETERMINE, PETSC_DETERMINE));
24029566063dSJacob Faibussowitsch   PetscCall(MatSetType(j22, MATMPIAIJ));
240324121865SAdrian Maldonado 
24043f6a6bdaSHong Zhang   bA[0][0] = j11;
24053f6a6bdaSHong Zhang   bA[0][1] = j12;
24063f6a6bdaSHong Zhang   bA[1][0] = j21;
24073f6a6bdaSHong Zhang   bA[1][1] = j22;
240824121865SAdrian Maldonado 
24099566063dSJacob Faibussowitsch   PetscCall(CreateSubGlobalToLocalMapping_private(network->edge.GlobalDofSection, network->edge.DofSection, &eISMap));
24109566063dSJacob Faibussowitsch   PetscCall(CreateSubGlobalToLocalMapping_private(network->vertex.GlobalDofSection, network->vertex.DofSection, &vISMap));
241124121865SAdrian Maldonado 
24129566063dSJacob Faibussowitsch   PetscCall(MatSetLocalToGlobalMapping(j11, eISMap, eISMap));
24139566063dSJacob Faibussowitsch   PetscCall(MatSetLocalToGlobalMapping(j12, eISMap, vISMap));
24149566063dSJacob Faibussowitsch   PetscCall(MatSetLocalToGlobalMapping(j21, vISMap, eISMap));
24159566063dSJacob Faibussowitsch   PetscCall(MatSetLocalToGlobalMapping(j22, vISMap, vISMap));
241624121865SAdrian Maldonado 
24179566063dSJacob Faibussowitsch   PetscCall(MatSetUp(j11));
24189566063dSJacob Faibussowitsch   PetscCall(MatSetUp(j12));
24199566063dSJacob Faibussowitsch   PetscCall(MatSetUp(j21));
24209566063dSJacob Faibussowitsch   PetscCall(MatSetUp(j22));
242124121865SAdrian Maldonado 
24229566063dSJacob Faibussowitsch   PetscCall(MatCreateNest(comm, 2, NULL, 2, NULL, &bA[0][0], J));
24239566063dSJacob Faibussowitsch   PetscCall(MatSetUp(*J));
24249566063dSJacob Faibussowitsch   PetscCall(MatNestSetVecType(*J, VECNEST));
24259566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&j11));
24269566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&j12));
24279566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&j21));
24289566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&j22));
242924121865SAdrian Maldonado 
24309566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(*J, MAT_FINAL_ASSEMBLY));
24319566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(*J, MAT_FINAL_ASSEMBLY));
24329566063dSJacob Faibussowitsch   PetscCall(MatSetOption(*J, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE));
243324121865SAdrian Maldonado 
243424121865SAdrian Maldonado   /* Free structures */
24359566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingDestroy(&eISMap));
24369566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingDestroy(&vISMap));
243724121865SAdrian Maldonado   PetscFunctionReturn(0);
24389e1d080bSHong Zhang }
24399e1d080bSHong Zhang 
2440d71ae5a4SJacob Faibussowitsch PetscErrorCode DMCreateMatrix_Network(DM dm, Mat *J)
2441d71ae5a4SJacob Faibussowitsch {
24429e1d080bSHong Zhang   DM_Network     *network = (DM_Network *)dm->data;
24439e1d080bSHong Zhang   PetscInt        eStart, eEnd, vStart, vEnd, rstart, nrows, *rows, localSize;
24449e1d080bSHong Zhang   PetscInt        cstart, ncols, j, e, v;
24459e1d080bSHong Zhang   PetscBool       ghost, ghost_vc, ghost2, isNest;
24469e1d080bSHong Zhang   Mat             Juser;
24479e1d080bSHong Zhang   PetscSection    sectionGlobal;
24489e1d080bSHong Zhang   PetscInt        nedges, *vptr = NULL, vc, *rows_v; /* suppress maybe-uninitialized warning */
24499e1d080bSHong Zhang   const PetscInt *edges, *cone;
24509e1d080bSHong Zhang   MPI_Comm        comm;
24519e1d080bSHong Zhang   MatType         mtype;
24529e1d080bSHong Zhang   Vec             vd_nz, vo_nz;
24539e1d080bSHong Zhang   PetscInt       *dnnz, *onnz;
24549e1d080bSHong Zhang   PetscScalar    *vdnz, *vonz;
24559e1d080bSHong Zhang 
24569e1d080bSHong Zhang   PetscFunctionBegin;
24579e1d080bSHong Zhang   mtype = dm->mattype;
24589566063dSJacob Faibussowitsch   PetscCall(PetscStrcmp(mtype, MATNEST, &isNest));
24599e1d080bSHong Zhang   if (isNest) {
24609566063dSJacob Faibussowitsch     PetscCall(DMCreateMatrix_Network_Nest(dm, J));
24619566063dSJacob Faibussowitsch     PetscCall(MatSetDM(*J, dm));
24629e1d080bSHong Zhang     PetscFunctionReturn(0);
24639e1d080bSHong Zhang   }
24649e1d080bSHong Zhang 
24659e1d080bSHong Zhang   if (!network->userEdgeJacobian && !network->userVertexJacobian) {
2466a4e85ca8SHong Zhang     /* user does not provide Jacobian blocks */
24679566063dSJacob Faibussowitsch     PetscCall(DMCreateMatrix_Plex(network->plex, J));
24689566063dSJacob Faibussowitsch     PetscCall(MatSetDM(*J, dm));
24691ad426b7SHong Zhang     PetscFunctionReturn(0);
24701ad426b7SHong Zhang   }
24711ad426b7SHong Zhang 
24729566063dSJacob Faibussowitsch   PetscCall(MatCreate(PetscObjectComm((PetscObject)dm), J));
24739566063dSJacob Faibussowitsch   PetscCall(DMGetGlobalSection(network->plex, &sectionGlobal));
24749566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetConstrainedStorageSize(sectionGlobal, &localSize));
24759566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(*J, localSize, localSize, PETSC_DETERMINE, PETSC_DETERMINE));
24762a945128SHong Zhang 
24779566063dSJacob Faibussowitsch   PetscCall(MatSetType(*J, MATAIJ));
24789566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(*J));
247989898e50SHong Zhang 
248089898e50SHong Zhang   /* (1) Set matrix preallocation */
248189898e50SHong Zhang   /*------------------------------*/
24829566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
24839566063dSJacob Faibussowitsch   PetscCall(VecCreate(comm, &vd_nz));
24849566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(vd_nz, localSize, PETSC_DECIDE));
24859566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(vd_nz));
24869566063dSJacob Faibussowitsch   PetscCall(VecSet(vd_nz, 0.0));
24879566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(vd_nz, &vo_nz));
2488840c2264SHong Zhang 
248989898e50SHong Zhang   /* Set preallocation for edges */
249089898e50SHong Zhang   /*-----------------------------*/
24919566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetEdgeRange(dm, &eStart, &eEnd));
2492840c2264SHong Zhang 
24939566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(localSize, &rows));
2494840c2264SHong Zhang   for (e = eStart; e < eEnd; e++) {
2495840c2264SHong Zhang     /* Get row indices */
24969566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetGlobalVecOffset(dm, e, ALL_COMPONENTS, &rstart));
24979566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetDof(network->DofSection, e, &nrows));
2498840c2264SHong Zhang     if (nrows) {
2499840c2264SHong Zhang       for (j = 0; j < nrows; j++) rows[j] = j + rstart;
2500840c2264SHong Zhang 
2501a5b23f4aSJose E. Roman       /* Set preallocation for connected vertices */
25029566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetConnectedVertices(dm, e, &cone));
2503840c2264SHong Zhang       for (v = 0; v < 2; v++) {
25049566063dSJacob Faibussowitsch         PetscCall(PetscSectionGetDof(network->DofSection, cone[v], &ncols));
2505840c2264SHong Zhang 
25068675203cSHong Zhang         if (network->Je) {
2507840c2264SHong Zhang           Juser = network->Je[3 * e + 1 + v]; /* Jacobian(e,v) */
25088675203cSHong Zhang         } else Juser = NULL;
25099566063dSJacob Faibussowitsch         PetscCall(DMNetworkIsGhostVertex(dm, cone[v], &ghost));
25109566063dSJacob Faibussowitsch         PetscCall(MatSetPreallocationblock_private(Juser, nrows, rows, ncols, ghost, vd_nz, vo_nz));
2511840c2264SHong Zhang       }
2512840c2264SHong Zhang 
251389898e50SHong Zhang       /* Set preallocation for edge self */
2514840c2264SHong Zhang       cstart = rstart;
25158675203cSHong Zhang       if (network->Je) {
2516840c2264SHong Zhang         Juser = network->Je[3 * e]; /* Jacobian(e,e) */
25178675203cSHong Zhang       } else Juser = NULL;
25189566063dSJacob Faibussowitsch       PetscCall(MatSetPreallocationblock_private(Juser, nrows, rows, nrows, PETSC_FALSE, vd_nz, vo_nz));
2519840c2264SHong Zhang     }
2520840c2264SHong Zhang   }
2521840c2264SHong Zhang 
252289898e50SHong Zhang   /* Set preallocation for vertices */
252389898e50SHong Zhang   /*--------------------------------*/
25249566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetVertexRange(dm, &vStart, &vEnd));
25258675203cSHong Zhang   if (vEnd - vStart) vptr = network->Jvptr;
2526840c2264SHong Zhang 
2527840c2264SHong Zhang   for (v = vStart; v < vEnd; v++) {
2528840c2264SHong Zhang     /* Get row indices */
25299566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetGlobalVecOffset(dm, v, ALL_COMPONENTS, &rstart));
25309566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetDof(network->DofSection, v, &nrows));
2531840c2264SHong Zhang     if (!nrows) continue;
2532840c2264SHong Zhang 
25339566063dSJacob Faibussowitsch     PetscCall(DMNetworkIsGhostVertex(dm, v, &ghost));
2534bdcb62a2SHong Zhang     if (ghost) {
25359566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(nrows, &rows_v));
2536bdcb62a2SHong Zhang     } else {
2537bdcb62a2SHong Zhang       rows_v = rows;
2538bdcb62a2SHong Zhang     }
2539bdcb62a2SHong Zhang 
2540bdcb62a2SHong Zhang     for (j = 0; j < nrows; j++) rows_v[j] = j + rstart;
2541840c2264SHong Zhang 
2542840c2264SHong Zhang     /* Get supporting edges and connected vertices */
25439566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetSupportingEdges(dm, v, &nedges, &edges));
2544840c2264SHong Zhang 
2545840c2264SHong Zhang     for (e = 0; e < nedges; e++) {
2546840c2264SHong Zhang       /* Supporting edges */
25479566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetGlobalVecOffset(dm, edges[e], ALL_COMPONENTS, &cstart));
25489566063dSJacob Faibussowitsch       PetscCall(PetscSectionGetDof(network->DofSection, edges[e], &ncols));
2549840c2264SHong Zhang 
25508675203cSHong Zhang       if (network->Jv) {
2551840c2264SHong Zhang         Juser = network->Jv[vptr[v - vStart] + 2 * e + 1]; /* Jacobian(v,e) */
25528675203cSHong Zhang       } else Juser = NULL;
25539566063dSJacob Faibussowitsch       PetscCall(MatSetPreallocationblock_private(Juser, nrows, rows_v, ncols, ghost, vd_nz, vo_nz));
2554840c2264SHong Zhang 
2555840c2264SHong Zhang       /* Connected vertices */
25569566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetConnectedVertices(dm, edges[e], &cone));
2557840c2264SHong Zhang       vc = (v == cone[0]) ? cone[1] : cone[0];
25589566063dSJacob Faibussowitsch       PetscCall(DMNetworkIsGhostVertex(dm, vc, &ghost_vc));
2559840c2264SHong Zhang 
25609566063dSJacob Faibussowitsch       PetscCall(PetscSectionGetDof(network->DofSection, vc, &ncols));
2561840c2264SHong Zhang 
25628675203cSHong Zhang       if (network->Jv) {
2563840c2264SHong Zhang         Juser = network->Jv[vptr[v - vStart] + 2 * e + 2]; /* Jacobian(v,vc) */
25648675203cSHong Zhang       } else Juser = NULL;
2565e102a522SHong Zhang       if (ghost_vc || ghost) {
2566e102a522SHong Zhang         ghost2 = PETSC_TRUE;
2567e102a522SHong Zhang       } else {
2568e102a522SHong Zhang         ghost2 = PETSC_FALSE;
2569e102a522SHong Zhang       }
25709566063dSJacob Faibussowitsch       PetscCall(MatSetPreallocationblock_private(Juser, nrows, rows_v, ncols, ghost2, vd_nz, vo_nz));
2571840c2264SHong Zhang     }
2572840c2264SHong Zhang 
257389898e50SHong Zhang     /* Set preallocation for vertex self */
25749566063dSJacob Faibussowitsch     PetscCall(DMNetworkIsGhostVertex(dm, v, &ghost));
2575840c2264SHong Zhang     if (!ghost) {
25769566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetGlobalVecOffset(dm, v, ALL_COMPONENTS, &cstart));
25778675203cSHong Zhang       if (network->Jv) {
2578840c2264SHong Zhang         Juser = network->Jv[vptr[v - vStart]]; /* Jacobian(v,v) */
25798675203cSHong Zhang       } else Juser = NULL;
25809566063dSJacob Faibussowitsch       PetscCall(MatSetPreallocationblock_private(Juser, nrows, rows_v, nrows, PETSC_FALSE, vd_nz, vo_nz));
2581840c2264SHong Zhang     }
25821baa6e33SBarry Smith     if (ghost) PetscCall(PetscFree(rows_v));
2583840c2264SHong Zhang   }
2584840c2264SHong Zhang 
25859566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(vd_nz));
25869566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(vo_nz));
25875cf7da58SHong Zhang 
25889566063dSJacob Faibussowitsch   PetscCall(PetscMalloc2(localSize, &dnnz, localSize, &onnz));
25895cf7da58SHong Zhang 
25909566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(vd_nz));
25919566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(vo_nz));
2592840c2264SHong Zhang 
25939566063dSJacob Faibussowitsch   PetscCall(VecGetArray(vd_nz, &vdnz));
25949566063dSJacob Faibussowitsch   PetscCall(VecGetArray(vo_nz, &vonz));
2595840c2264SHong Zhang   for (j = 0; j < localSize; j++) {
2596e102a522SHong Zhang     dnnz[j] = (PetscInt)PetscRealPart(vdnz[j]);
2597e102a522SHong Zhang     onnz[j] = (PetscInt)PetscRealPart(vonz[j]);
2598840c2264SHong Zhang   }
25999566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(vd_nz, &vdnz));
26009566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(vo_nz, &vonz));
26019566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&vd_nz));
26029566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&vo_nz));
2603840c2264SHong Zhang 
26049566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(*J, 0, dnnz));
26059566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(*J, 0, dnnz, 0, onnz));
26069566063dSJacob Faibussowitsch   PetscCall(MatSetOption(*J, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE));
26075cf7da58SHong Zhang 
26089566063dSJacob Faibussowitsch   PetscCall(PetscFree2(dnnz, onnz));
26095cf7da58SHong Zhang 
261089898e50SHong Zhang   /* (2) Set matrix entries for edges */
261189898e50SHong Zhang   /*----------------------------------*/
26121ad426b7SHong Zhang   for (e = eStart; e < eEnd; e++) {
2613bfbc38dcSHong Zhang     /* Get row indices */
26149566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetGlobalVecOffset(dm, e, ALL_COMPONENTS, &rstart));
26159566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetDof(network->DofSection, e, &nrows));
26164b976069SHong Zhang     if (nrows) {
261717df6e9eSHong Zhang       for (j = 0; j < nrows; j++) rows[j] = j + rstart;
26181ad426b7SHong Zhang 
2619a5b23f4aSJose E. Roman       /* Set matrix entries for connected vertices */
26209566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetConnectedVertices(dm, e, &cone));
2621bfbc38dcSHong Zhang       for (v = 0; v < 2; v++) {
26229566063dSJacob Faibussowitsch         PetscCall(DMNetworkGetGlobalVecOffset(dm, cone[v], ALL_COMPONENTS, &cstart));
26239566063dSJacob Faibussowitsch         PetscCall(PetscSectionGetDof(network->DofSection, cone[v], &ncols));
26243e97b6e8SHong Zhang 
26258675203cSHong Zhang         if (network->Je) {
2626a4e85ca8SHong Zhang           Juser = network->Je[3 * e + 1 + v]; /* Jacobian(e,v) */
26278675203cSHong Zhang         } else Juser = NULL;
26289566063dSJacob Faibussowitsch         PetscCall(MatSetblock_private(Juser, nrows, rows, ncols, cstart, J));
2629bfbc38dcSHong Zhang       }
263017df6e9eSHong Zhang 
2631bfbc38dcSHong Zhang       /* Set matrix entries for edge self */
26323e97b6e8SHong Zhang       cstart = rstart;
26338675203cSHong Zhang       if (network->Je) {
2634a4e85ca8SHong Zhang         Juser = network->Je[3 * e]; /* Jacobian(e,e) */
26358675203cSHong Zhang       } else Juser = NULL;
26369566063dSJacob Faibussowitsch       PetscCall(MatSetblock_private(Juser, nrows, rows, nrows, cstart, J));
26371ad426b7SHong Zhang     }
26384b976069SHong Zhang   }
26391ad426b7SHong Zhang 
2640bfbc38dcSHong Zhang   /* Set matrix entries for vertices */
264183b2e829SHong Zhang   /*---------------------------------*/
26421ad426b7SHong Zhang   for (v = vStart; v < vEnd; v++) {
2643bfbc38dcSHong Zhang     /* Get row indices */
26449566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetGlobalVecOffset(dm, v, ALL_COMPONENTS, &rstart));
26459566063dSJacob Faibussowitsch     PetscCall(PetscSectionGetDof(network->DofSection, v, &nrows));
26464b976069SHong Zhang     if (!nrows) continue;
2647596e729fSHong Zhang 
26489566063dSJacob Faibussowitsch     PetscCall(DMNetworkIsGhostVertex(dm, v, &ghost));
2649bdcb62a2SHong Zhang     if (ghost) {
26509566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(nrows, &rows_v));
2651bdcb62a2SHong Zhang     } else {
2652bdcb62a2SHong Zhang       rows_v = rows;
2653bdcb62a2SHong Zhang     }
2654bdcb62a2SHong Zhang     for (j = 0; j < nrows; j++) rows_v[j] = j + rstart;
2655596e729fSHong Zhang 
2656bfbc38dcSHong Zhang     /* Get supporting edges and connected vertices */
26579566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetSupportingEdges(dm, v, &nedges, &edges));
2658596e729fSHong Zhang 
2659596e729fSHong Zhang     for (e = 0; e < nedges; e++) {
2660bfbc38dcSHong Zhang       /* Supporting edges */
26619566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetGlobalVecOffset(dm, edges[e], ALL_COMPONENTS, &cstart));
26629566063dSJacob Faibussowitsch       PetscCall(PetscSectionGetDof(network->DofSection, edges[e], &ncols));
2663596e729fSHong Zhang 
26648675203cSHong Zhang       if (network->Jv) {
2665a4e85ca8SHong Zhang         Juser = network->Jv[vptr[v - vStart] + 2 * e + 1]; /* Jacobian(v,e) */
26668675203cSHong Zhang       } else Juser = NULL;
26679566063dSJacob Faibussowitsch       PetscCall(MatSetblock_private(Juser, nrows, rows_v, ncols, cstart, J));
2668596e729fSHong Zhang 
2669bfbc38dcSHong Zhang       /* Connected vertices */
26709566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetConnectedVertices(dm, edges[e], &cone));
26712a945128SHong Zhang       vc = (v == cone[0]) ? cone[1] : cone[0];
26722a945128SHong Zhang 
26739566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetGlobalVecOffset(dm, vc, ALL_COMPONENTS, &cstart));
26749566063dSJacob Faibussowitsch       PetscCall(PetscSectionGetDof(network->DofSection, vc, &ncols));
2675a4e85ca8SHong Zhang 
26768675203cSHong Zhang       if (network->Jv) {
2677a4e85ca8SHong Zhang         Juser = network->Jv[vptr[v - vStart] + 2 * e + 2]; /* Jacobian(v,vc) */
26788675203cSHong Zhang       } else Juser = NULL;
26799566063dSJacob Faibussowitsch       PetscCall(MatSetblock_private(Juser, nrows, rows_v, ncols, cstart, J));
2680596e729fSHong Zhang     }
2681596e729fSHong Zhang 
2682bfbc38dcSHong Zhang     /* Set matrix entries for vertex self */
26831ad426b7SHong Zhang     if (!ghost) {
26849566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetGlobalVecOffset(dm, v, ALL_COMPONENTS, &cstart));
26858675203cSHong Zhang       if (network->Jv) {
2686a4e85ca8SHong Zhang         Juser = network->Jv[vptr[v - vStart]]; /* Jacobian(v,v) */
26878675203cSHong Zhang       } else Juser = NULL;
26889566063dSJacob Faibussowitsch       PetscCall(MatSetblock_private(Juser, nrows, rows_v, nrows, cstart, J));
2689bdcb62a2SHong Zhang     }
26901baa6e33SBarry Smith     if (ghost) PetscCall(PetscFree(rows_v));
26911ad426b7SHong Zhang   }
26929566063dSJacob Faibussowitsch   PetscCall(PetscFree(rows));
2693bdcb62a2SHong Zhang 
26949566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(*J, MAT_FINAL_ASSEMBLY));
26959566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(*J, MAT_FINAL_ASSEMBLY));
2696dd6f46cdSHong Zhang 
26979566063dSJacob Faibussowitsch   PetscCall(MatSetDM(*J, dm));
26985f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
26995f2c45f1SShri Abhyankar }
27005f2c45f1SShri Abhyankar 
2701d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMNetworkDestroyComponentData(DM dm)
2702d71ae5a4SJacob Faibussowitsch {
2703daad07d3SAidan Hamilton   DM_Network *network = (DM_Network *)dm->data;
2704daad07d3SAidan Hamilton   PetscInt    j, np;
2705daad07d3SAidan Hamilton 
2706daad07d3SAidan Hamilton   PetscFunctionBegin;
2707daad07d3SAidan Hamilton   if (network->header) {
2708daad07d3SAidan Hamilton     np = network->cloneshared->pEnd - network->cloneshared->pStart;
2709daad07d3SAidan Hamilton     for (j = 0; j < np; j++) {
2710daad07d3SAidan Hamilton       PetscCall(PetscFree5(network->header[j].size, network->header[j].key, network->header[j].offset, network->header[j].nvar, network->header[j].offsetvarrel));
2711daad07d3SAidan Hamilton       PetscCall(PetscFree(network->cvalue[j].data));
2712daad07d3SAidan Hamilton     }
2713daad07d3SAidan Hamilton     PetscCall(PetscFree2(network->header, network->cvalue));
2714daad07d3SAidan Hamilton   }
2715daad07d3SAidan Hamilton   PetscFunctionReturn(0);
2716daad07d3SAidan Hamilton }
2717daad07d3SAidan Hamilton 
2718d71ae5a4SJacob Faibussowitsch PetscErrorCode DMDestroy_Network(DM dm)
2719d71ae5a4SJacob Faibussowitsch {
27205f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
2721aeb78aa7SBarry Smith   PetscInt    j;
27225f2c45f1SShri Abhyankar 
27235f2c45f1SShri Abhyankar   PetscFunctionBegin;
2724daad07d3SAidan Hamilton   /*
2725daad07d3SAidan Hamilton     Developers Note: Due to the mixed topological definition of DMNetwork and data defined ON the
2726daad07d3SAidan Hamilton     network like DofSection, DataSection, *componentdataarray, and friends, when cloning, we share
2727daad07d3SAidan Hamilton     only the true topological data, and make our own data ON the network. Thus refct only refers
2728daad07d3SAidan Hamilton     to the number of references to topological data, and data ON the network is always destroyed.
2729daad07d3SAidan Hamilton     It is understood this is atypical for a DM, but is very intentional.
2730daad07d3SAidan Hamilton   */
2731daad07d3SAidan Hamilton 
2732daad07d3SAidan Hamilton   /* Always destroy data ON the network */
27339566063dSJacob Faibussowitsch   PetscCall(PetscFree(network->Je));
273483b2e829SHong Zhang   if (network->Jv) {
27359566063dSJacob Faibussowitsch     PetscCall(PetscFree(network->Jvptr));
27369566063dSJacob Faibussowitsch     PetscCall(PetscFree(network->Jv));
27371ad426b7SHong Zhang   }
2738daad07d3SAidan Hamilton   PetscCall(PetscSectionDestroy(&network->DataSection));
2739daad07d3SAidan Hamilton   PetscCall(PetscSectionDestroy(&network->DofSection));
2740daad07d3SAidan Hamilton   PetscCall(PetscFree(network->component));
2741daad07d3SAidan Hamilton   PetscCall(PetscFree(network->componentdataarray));
2742daad07d3SAidan Hamilton   PetscCall(DMNetworkDestroyComponentData(dm));
274313c2a604SAdrian Maldonado 
2744daad07d3SAidan Hamilton   PetscCall(DMDestroy(&network->plex)); /* this is cloned in DMClone_Network, so safe to destroy */
2745daad07d3SAidan Hamilton 
2746daad07d3SAidan Hamilton   /*
2747daad07d3SAidan Hamilton   Developers Note: The DMNetworkVertexInfo and DMNetworkEdgeInfo data structures are completely
2748daad07d3SAidan Hamilton   destroyed as they are again a mix of topological data:
2749daad07d3SAidan Hamilton     ISLocalToGlobalMapping            mapping;
2750daad07d3SAidan Hamilton     PetscSF                           sf;
2751daad07d3SAidan Hamilton   and data ON the network
2752daad07d3SAidan Hamilton     PetscSection                      DofSection;
2753daad07d3SAidan Hamilton     PetscSection                      GlobalDofSection;
2754daad07d3SAidan Hamilton   And the only way to access them currently is through DMNetworkAssembleGraphStructures which assembles
2755daad07d3SAidan Hamilton   everything. So we must destroy everything and require DMNetworkAssembleGraphStructures is called again
2756daad07d3SAidan Hamilton   for any clone.
2757daad07d3SAidan Hamilton   */
27589566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingDestroy(&network->vertex.mapping));
27599566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&network->vertex.DofSection));
27609566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&network->vertex.GlobalDofSection));
27619566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&network->vertex.sf));
276213c2a604SAdrian Maldonado   /* edge */
27639566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingDestroy(&network->edge.mapping));
27649566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&network->edge.DofSection));
27659566063dSJacob Faibussowitsch   PetscCall(PetscSectionDestroy(&network->edge.GlobalDofSection));
27669566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&network->edge.sf));
2767daad07d3SAidan Hamilton   /* Destroy the potentially cloneshared data */
2768daad07d3SAidan Hamilton   if (--network->cloneshared->refct <= 0) {
2769daad07d3SAidan Hamilton     /* Developer Note: I'm not sure if vltog can be reused or not, as I'm not sure what it's purpose is. I
2770daad07d3SAidan Hamilton      naively think it can be reused. */
2771daad07d3SAidan Hamilton     PetscCall(PetscFree(network->cloneshared->vltog));
2772daad07d3SAidan Hamilton     for (j = 0; j < network->cloneshared->Nsvtx; j++) PetscCall(PetscFree(network->cloneshared->svtx[j].sv));
2773daad07d3SAidan Hamilton     PetscCall(PetscFree(network->cloneshared->svtx));
2774daad07d3SAidan Hamilton     PetscCall(PetscFree2(network->cloneshared->subnetedge, network->cloneshared->subnetvtx));
2775daad07d3SAidan Hamilton     PetscCall(PetscTableDestroy(&network->cloneshared->svtable));
2776daad07d3SAidan Hamilton     PetscCall(PetscFree(network->cloneshared->subnet));
2777daad07d3SAidan Hamilton     PetscCall(PetscFree(network->cloneshared));
2778daad07d3SAidan Hamilton   }
2779daad07d3SAidan Hamilton   PetscCall(PetscFree(network)); /* Always freed as this structure is copied in a clone, not cloneshared */
27805f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
27815f2c45f1SShri Abhyankar }
27825f2c45f1SShri Abhyankar 
2783d71ae5a4SJacob Faibussowitsch PetscErrorCode DMView_Network(DM dm, PetscViewer viewer)
2784d71ae5a4SJacob Faibussowitsch {
2785caf410d2SHong Zhang   PetscBool   iascii;
2786caf410d2SHong Zhang   PetscMPIInt rank;
27875f2c45f1SShri Abhyankar 
27885f2c45f1SShri Abhyankar   PetscFunctionBegin;
2789caf410d2SHong Zhang   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
2790caf410d2SHong Zhang   PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2);
27919566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PetscObjectComm((PetscObject)dm), &rank));
27929566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii));
2793caf410d2SHong Zhang   if (iascii) {
2794caf410d2SHong Zhang     const PetscInt *cone, *vtx, *edges;
27955c6496baSHong Zhang     PetscInt        vfrom, vto, i, j, nv, ne, nsv, p, nsubnet;
27962bf73ac6SHong Zhang     DM_Network     *network = (DM_Network *)dm->data;
2797caf410d2SHong Zhang 
2798daad07d3SAidan Hamilton     nsubnet = network->cloneshared->Nsubnet; /* num of subnetworks */
2799dd400576SPatrick Sanan     if (rank == 0) {
28009371c9d4SSatish Balay       PetscCall(PetscPrintf(PETSC_COMM_SELF, "  NSubnets: %" PetscInt_FMT "; NEdges: %" PetscInt_FMT "; NVertices: %" PetscInt_FMT "; NSharedVertices: %" PetscInt_FMT ".\n", nsubnet, network->cloneshared->NEdges, network->cloneshared->NVertices,
28019371c9d4SSatish Balay                             network->cloneshared->Nsvtx));
28022bf73ac6SHong Zhang     }
28032bf73ac6SHong Zhang 
28049566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetSharedVertices(dm, &nsv, NULL));
28059566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPushSynchronized(viewer));
2806daad07d3SAidan Hamilton     PetscCall(PetscViewerASCIISynchronizedPrintf(viewer, "  [%d] nEdges: %" PetscInt_FMT "; nVertices: %" PetscInt_FMT "; nSharedVertices: %" PetscInt_FMT "\n", rank, network->cloneshared->nEdges, network->cloneshared->nVertices, nsv));
2807caf410d2SHong Zhang 
2808caf410d2SHong Zhang     for (i = 0; i < nsubnet; i++) {
28099566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetSubnetwork(dm, i, &nv, &ne, &vtx, &edges));
2810caf410d2SHong Zhang       if (ne) {
28119566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIISynchronizedPrintf(viewer, "     Subnet %" PetscInt_FMT ": nEdges %" PetscInt_FMT ", nVertices(include shared vertices) %" PetscInt_FMT "\n", i, ne, nv));
2812caf410d2SHong Zhang         for (j = 0; j < ne; j++) {
2813caf410d2SHong Zhang           p = edges[j];
28149566063dSJacob Faibussowitsch           PetscCall(DMNetworkGetConnectedVertices(dm, p, &cone));
28159566063dSJacob Faibussowitsch           PetscCall(DMNetworkGetGlobalVertexIndex(dm, cone[0], &vfrom));
28169566063dSJacob Faibussowitsch           PetscCall(DMNetworkGetGlobalVertexIndex(dm, cone[1], &vto));
28179566063dSJacob Faibussowitsch           PetscCall(DMNetworkGetGlobalEdgeIndex(dm, edges[j], &p));
28189566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIISynchronizedPrintf(viewer, "       edge %" PetscInt_FMT ": %" PetscInt_FMT " ----> %" PetscInt_FMT "\n", p, vfrom, vto));
2819caf410d2SHong Zhang         }
2820caf410d2SHong Zhang       }
2821caf410d2SHong Zhang     }
28222bf73ac6SHong Zhang 
28232bf73ac6SHong Zhang     /* Shared vertices */
28249566063dSJacob Faibussowitsch     PetscCall(DMNetworkGetSharedVertices(dm, NULL, &vtx));
28255c6496baSHong Zhang     if (nsv) {
28265c6496baSHong Zhang       PetscInt        gidx;
28272bf73ac6SHong Zhang       PetscBool       ghost;
28285c6496baSHong Zhang       const PetscInt *sv = NULL;
28295c6496baSHong Zhang 
28309566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIISynchronizedPrintf(viewer, "     SharedVertices:\n"));
28315c6496baSHong Zhang       for (i = 0; i < nsv; i++) {
28329566063dSJacob Faibussowitsch         PetscCall(DMNetworkIsGhostVertex(dm, vtx[i], &ghost));
28332bf73ac6SHong Zhang         if (ghost) continue;
28342bf73ac6SHong Zhang 
28359566063dSJacob Faibussowitsch         PetscCall(DMNetworkSharedVertexGetInfo(dm, vtx[i], &gidx, &nv, &sv));
28369566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIISynchronizedPrintf(viewer, "       svtx %" PetscInt_FMT ": global index %" PetscInt_FMT ", subnet[%" PetscInt_FMT "].%" PetscInt_FMT " ---->\n", i, gidx, sv[0], sv[1]));
283748a46eb9SPierre Jolivet         for (j = 1; j < nv; j++) PetscCall(PetscViewerASCIISynchronizedPrintf(viewer, "                                           ----> subnet[%" PetscInt_FMT "].%" PetscInt_FMT "\n", sv[2 * j], sv[2 * j + 1]));
2838caf410d2SHong Zhang       }
2839caf410d2SHong Zhang     }
28409566063dSJacob Faibussowitsch     PetscCall(PetscViewerFlush(viewer));
28419566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPopSynchronized(viewer));
28425c6496baSHong Zhang   } else PetscCheck(iascii, PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "Viewer type %s not yet supported for DMNetwork writing", ((PetscObject)viewer)->type_name);
28435f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
28445f2c45f1SShri Abhyankar }
28455f2c45f1SShri Abhyankar 
2846d71ae5a4SJacob Faibussowitsch PetscErrorCode DMGlobalToLocalBegin_Network(DM dm, Vec g, InsertMode mode, Vec l)
2847d71ae5a4SJacob Faibussowitsch {
28485f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
28495f2c45f1SShri Abhyankar 
28505f2c45f1SShri Abhyankar   PetscFunctionBegin;
28519566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalBegin(network->plex, g, mode, l));
28525f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
28535f2c45f1SShri Abhyankar }
28545f2c45f1SShri Abhyankar 
2855d71ae5a4SJacob Faibussowitsch PetscErrorCode DMGlobalToLocalEnd_Network(DM dm, Vec g, InsertMode mode, Vec l)
2856d71ae5a4SJacob Faibussowitsch {
28575f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
28585f2c45f1SShri Abhyankar 
28595f2c45f1SShri Abhyankar   PetscFunctionBegin;
28609566063dSJacob Faibussowitsch   PetscCall(DMGlobalToLocalEnd(network->plex, g, mode, l));
28615f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
28625f2c45f1SShri Abhyankar }
28635f2c45f1SShri Abhyankar 
2864d71ae5a4SJacob Faibussowitsch PetscErrorCode DMLocalToGlobalBegin_Network(DM dm, Vec l, InsertMode mode, Vec g)
2865d71ae5a4SJacob Faibussowitsch {
28665f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
28675f2c45f1SShri Abhyankar 
28685f2c45f1SShri Abhyankar   PetscFunctionBegin;
28699566063dSJacob Faibussowitsch   PetscCall(DMLocalToGlobalBegin(network->plex, l, mode, g));
28705f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
28715f2c45f1SShri Abhyankar }
28725f2c45f1SShri Abhyankar 
2873d71ae5a4SJacob Faibussowitsch PetscErrorCode DMLocalToGlobalEnd_Network(DM dm, Vec l, InsertMode mode, Vec g)
2874d71ae5a4SJacob Faibussowitsch {
28755f2c45f1SShri Abhyankar   DM_Network *network = (DM_Network *)dm->data;
28765f2c45f1SShri Abhyankar 
28775f2c45f1SShri Abhyankar   PetscFunctionBegin;
28789566063dSJacob Faibussowitsch   PetscCall(DMLocalToGlobalEnd(network->plex, l, mode, g));
28795f2c45f1SShri Abhyankar   PetscFunctionReturn(0);
28805f2c45f1SShri Abhyankar }
288122bbedd7SHong Zhang 
288222bbedd7SHong Zhang /*@
288364238763SRodolfo Oliveira   DMNetworkGetVertexLocalToGlobalOrdering - Get vertex global index
288422bbedd7SHong Zhang 
288522bbedd7SHong Zhang   Not collective
288622bbedd7SHong Zhang 
28877a7aea1fSJed Brown   Input Parameters:
288822bbedd7SHong Zhang + dm - the dm object
288922bbedd7SHong Zhang - vloc - local vertex ordering, start from 0
289022bbedd7SHong Zhang 
28917a7aea1fSJed Brown   Output Parameters:
2892f0fc11ceSJed Brown .  vg  - global vertex ordering, start from 0
289322bbedd7SHong Zhang 
289497bb938eSShri Abhyankar   Level: advanced
289522bbedd7SHong Zhang 
2896db781477SPatrick Sanan .seealso: `DMNetworkSetVertexLocalToGlobalOrdering()`
289722bbedd7SHong Zhang @*/
2898d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkGetVertexLocalToGlobalOrdering(DM dm, PetscInt vloc, PetscInt *vg)
2899d71ae5a4SJacob Faibussowitsch {
290022bbedd7SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
2901daad07d3SAidan Hamilton   PetscInt   *vltog   = network->cloneshared->vltog;
290222bbedd7SHong Zhang 
290322bbedd7SHong Zhang   PetscFunctionBegin;
29045c6496baSHong Zhang   PetscCheck(vltog, PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONGSTATE, "Must call DMNetworkSetVertexLocalToGlobalOrdering() first");
290522bbedd7SHong Zhang   *vg = vltog[vloc];
290622bbedd7SHong Zhang   PetscFunctionReturn(0);
290722bbedd7SHong Zhang }
290822bbedd7SHong Zhang 
290922bbedd7SHong Zhang /*@
291064238763SRodolfo Oliveira   DMNetworkSetVertexLocalToGlobalOrdering - Create and setup vertex local to global map
291122bbedd7SHong Zhang 
291222bbedd7SHong Zhang   Collective
291322bbedd7SHong Zhang 
291422bbedd7SHong Zhang   Input Parameters:
2915f0fc11ceSJed Brown . dm - the dm object
291622bbedd7SHong Zhang 
291797bb938eSShri Abhyankar   Level: advanced
291822bbedd7SHong Zhang 
2919db781477SPatrick Sanan .seealso: `DMNetworkGetGlobalVertexIndex()`
292022bbedd7SHong Zhang @*/
2921d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkSetVertexLocalToGlobalOrdering(DM dm)
2922d71ae5a4SJacob Faibussowitsch {
292322bbedd7SHong Zhang   DM_Network        *network = (DM_Network *)dm->data;
292422bbedd7SHong Zhang   MPI_Comm           comm;
29252bf73ac6SHong Zhang   PetscMPIInt        rank, size, *displs = NULL, *recvcounts = NULL, remoterank;
292622bbedd7SHong Zhang   PetscBool          ghost;
292763029d29SHong Zhang   PetscInt          *vltog, nroots, nleaves, i, *vrange, k, N, lidx;
292822bbedd7SHong Zhang   const PetscSFNode *iremote;
292922bbedd7SHong Zhang   PetscSF            vsf;
293063029d29SHong Zhang   Vec                Vleaves, Vleaves_seq;
293163029d29SHong Zhang   VecScatter         ctx;
293263029d29SHong Zhang   PetscScalar       *varr, val;
293363029d29SHong Zhang   const PetscScalar *varr_read;
293422bbedd7SHong Zhang 
293522bbedd7SHong Zhang   PetscFunctionBegin;
29369566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
29379566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm, &size));
29389566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
293922bbedd7SHong Zhang 
294022bbedd7SHong Zhang   if (size == 1) {
2941daad07d3SAidan Hamilton     nroots = network->cloneshared->vEnd - network->cloneshared->vStart;
29429566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(nroots, &vltog));
294322bbedd7SHong Zhang     for (i = 0; i < nroots; i++) vltog[i] = i;
2944daad07d3SAidan Hamilton     network->cloneshared->vltog = vltog;
294522bbedd7SHong Zhang     PetscFunctionReturn(0);
294622bbedd7SHong Zhang   }
294722bbedd7SHong Zhang 
2948daad07d3SAidan Hamilton   PetscCheck(network->cloneshared->distributecalled, comm, PETSC_ERR_ARG_WRONGSTATE, "Must call DMNetworkDistribute() first");
2949daad07d3SAidan Hamilton   if (network->cloneshared->vltog) PetscCall(PetscFree(network->cloneshared->vltog));
295022bbedd7SHong Zhang 
2951daad07d3SAidan Hamilton   PetscCall(DMNetworkSetSubMap_private(network->cloneshared->vStart, network->cloneshared->vEnd, &network->vertex.mapping));
29529566063dSJacob Faibussowitsch   PetscCall(PetscSFGetSubSF(network->plex->sf, network->vertex.mapping, &network->vertex.sf));
295322bbedd7SHong Zhang   vsf = network->vertex.sf;
295422bbedd7SHong Zhang 
29559566063dSJacob Faibussowitsch   PetscCall(PetscMalloc3(size + 1, &vrange, size, &displs, size, &recvcounts));
29569566063dSJacob Faibussowitsch   PetscCall(PetscSFGetGraph(vsf, &nroots, &nleaves, NULL, &iremote));
295722bbedd7SHong Zhang 
29589371c9d4SSatish Balay   for (i = 0; i < size; i++) {
29599371c9d4SSatish Balay     displs[i]     = i;
29609371c9d4SSatish Balay     recvcounts[i] = 1;
29619371c9d4SSatish Balay   }
296222bbedd7SHong Zhang 
296322bbedd7SHong Zhang   i         = nroots - nleaves; /* local number of vertices, excluding ghosts */
296422bbedd7SHong Zhang   vrange[0] = 0;
29659566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Allgatherv(&i, 1, MPIU_INT, vrange + 1, recvcounts, displs, MPIU_INT, comm));
2966ad540459SPierre Jolivet   for (i = 2; i < size + 1; i++) vrange[i] += vrange[i - 1];
296722bbedd7SHong Zhang 
29689566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nroots, &vltog));
2969daad07d3SAidan Hamilton   network->cloneshared->vltog = vltog;
297022bbedd7SHong Zhang 
297163029d29SHong Zhang   /* Set vltog for non-ghost vertices */
297263029d29SHong Zhang   k = 0;
297322bbedd7SHong Zhang   for (i = 0; i < nroots; i++) {
2974daad07d3SAidan Hamilton     PetscCall(DMNetworkIsGhostVertex(dm, i + network->cloneshared->vStart, &ghost));
297563029d29SHong Zhang     if (ghost) continue;
297663029d29SHong Zhang     vltog[i] = vrange[rank] + k++;
297722bbedd7SHong Zhang   }
29789566063dSJacob Faibussowitsch   PetscCall(PetscFree3(vrange, displs, recvcounts));
297963029d29SHong Zhang 
298063029d29SHong Zhang   /* Set vltog for ghost vertices */
298163029d29SHong Zhang   /* (a) create parallel Vleaves and sequential Vleaves_seq to convert local iremote[*].index to global index */
29829566063dSJacob Faibussowitsch   PetscCall(VecCreate(comm, &Vleaves));
29839566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(Vleaves, 2 * nleaves, PETSC_DETERMINE));
29849566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(Vleaves));
29859566063dSJacob Faibussowitsch   PetscCall(VecGetArray(Vleaves, &varr));
298663029d29SHong Zhang   for (i = 0; i < nleaves; i++) {
298763029d29SHong Zhang     varr[2 * i]     = (PetscScalar)(iremote[i].rank);  /* rank of remote process */
298863029d29SHong Zhang     varr[2 * i + 1] = (PetscScalar)(iremote[i].index); /* local index in remote process */
298963029d29SHong Zhang   }
29909566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(Vleaves, &varr));
299163029d29SHong Zhang 
299263029d29SHong Zhang   /* (b) scatter local info to remote processes via VecScatter() */
29939566063dSJacob Faibussowitsch   PetscCall(VecScatterCreateToAll(Vleaves, &ctx, &Vleaves_seq));
29949566063dSJacob Faibussowitsch   PetscCall(VecScatterBegin(ctx, Vleaves, Vleaves_seq, INSERT_VALUES, SCATTER_FORWARD));
29959566063dSJacob Faibussowitsch   PetscCall(VecScatterEnd(ctx, Vleaves, Vleaves_seq, INSERT_VALUES, SCATTER_FORWARD));
299663029d29SHong Zhang 
299763029d29SHong Zhang   /* (c) convert local indices to global indices in parallel vector Vleaves */
29989566063dSJacob Faibussowitsch   PetscCall(VecGetSize(Vleaves_seq, &N));
29999566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(Vleaves_seq, &varr_read));
300063029d29SHong Zhang   for (i = 0; i < N; i += 2) {
30012e4cff2eSHong Zhang     remoterank = (PetscMPIInt)PetscRealPart(varr_read[i]);
300263029d29SHong Zhang     if (remoterank == rank) {
300363029d29SHong Zhang       k    = i + 1; /* row number */
30042e4cff2eSHong Zhang       lidx = (PetscInt)PetscRealPart(varr_read[i + 1]);
300563029d29SHong Zhang       val  = (PetscScalar)vltog[lidx]; /* global index for non-ghost vertex computed above */
30069566063dSJacob Faibussowitsch       PetscCall(VecSetValues(Vleaves, 1, &k, &val, INSERT_VALUES));
300763029d29SHong Zhang     }
300863029d29SHong Zhang   }
30099566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(Vleaves_seq, &varr_read));
30109566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(Vleaves));
30119566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(Vleaves));
301263029d29SHong Zhang 
301363029d29SHong Zhang   /* (d) Set vltog for ghost vertices by copying local values of Vleaves */
30149566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(Vleaves, &varr_read));
301563029d29SHong Zhang   k = 0;
301663029d29SHong Zhang   for (i = 0; i < nroots; i++) {
3017daad07d3SAidan Hamilton     PetscCall(DMNetworkIsGhostVertex(dm, i + network->cloneshared->vStart, &ghost));
301863029d29SHong Zhang     if (!ghost) continue;
30199371c9d4SSatish Balay     vltog[i] = (PetscInt)PetscRealPart(varr_read[2 * k + 1]);
30209371c9d4SSatish Balay     k++;
302163029d29SHong Zhang   }
30229566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(Vleaves, &varr_read));
302363029d29SHong Zhang 
30249566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&Vleaves));
30259566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&Vleaves_seq));
30269566063dSJacob Faibussowitsch   PetscCall(VecScatterDestroy(&ctx));
302722bbedd7SHong Zhang   PetscFunctionReturn(0);
302822bbedd7SHong Zhang }
302942dc13f1SHong Zhang 
3030d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode DMISAddSize_private(DM_Network *network, PetscInt p, PetscInt numkeys, PetscInt keys[], PetscInt blocksize[], PetscInt nselectedvar[], PetscInt *nidx)
3031d71ae5a4SJacob Faibussowitsch {
303242dc13f1SHong Zhang   PetscInt                 i, j, ncomps, nvar, key, offset = 0;
303342dc13f1SHong Zhang   DMNetworkComponentHeader header;
303442dc13f1SHong Zhang 
303542dc13f1SHong Zhang   PetscFunctionBegin;
30369566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->DataSection, p, &offset));
303742dc13f1SHong Zhang   ncomps = ((DMNetworkComponentHeader)(network->componentdataarray + offset))->ndata;
303842dc13f1SHong Zhang   header = (DMNetworkComponentHeader)(network->componentdataarray + offset);
303942dc13f1SHong Zhang 
304042dc13f1SHong Zhang   for (i = 0; i < ncomps; i++) {
304142dc13f1SHong Zhang     key  = header->key[i];
304242dc13f1SHong Zhang     nvar = header->nvar[i];
304342dc13f1SHong Zhang     for (j = 0; j < numkeys; j++) {
304442dc13f1SHong Zhang       if (key == keys[j]) {
304542dc13f1SHong Zhang         if (!blocksize || blocksize[j] == -1) {
304642dc13f1SHong Zhang           *nidx += nvar;
304742dc13f1SHong Zhang         } else {
304842dc13f1SHong Zhang           *nidx += nselectedvar[j] * nvar / blocksize[j];
304942dc13f1SHong Zhang         }
305042dc13f1SHong Zhang       }
305142dc13f1SHong Zhang     }
305242dc13f1SHong Zhang   }
305342dc13f1SHong Zhang   PetscFunctionReturn(0);
305442dc13f1SHong Zhang }
305542dc13f1SHong Zhang 
3056d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode DMISComputeIdx_private(DM dm, PetscInt p, PetscInt numkeys, PetscInt keys[], PetscInt blocksize[], PetscInt nselectedvar[], PetscInt *selectedvar[], PetscInt *ii, PetscInt *idx)
3057d71ae5a4SJacob Faibussowitsch {
305842dc13f1SHong Zhang   PetscInt                 i, j, ncomps, nvar, key, offsetg, k, k1, offset = 0;
305942dc13f1SHong Zhang   DM_Network              *network = (DM_Network *)dm->data;
306042dc13f1SHong Zhang   DMNetworkComponentHeader header;
306142dc13f1SHong Zhang 
306242dc13f1SHong Zhang   PetscFunctionBegin;
30639566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->DataSection, p, &offset));
306442dc13f1SHong Zhang   ncomps = ((DMNetworkComponentHeader)(network->componentdataarray + offset))->ndata;
306542dc13f1SHong Zhang   header = (DMNetworkComponentHeader)(network->componentdataarray + offset);
306642dc13f1SHong Zhang 
306742dc13f1SHong Zhang   for (i = 0; i < ncomps; i++) {
306842dc13f1SHong Zhang     key  = header->key[i];
306942dc13f1SHong Zhang     nvar = header->nvar[i];
307042dc13f1SHong Zhang     for (j = 0; j < numkeys; j++) {
307142dc13f1SHong Zhang       if (key != keys[j]) continue;
307242dc13f1SHong Zhang 
30739566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetGlobalVecOffset(dm, p, i, &offsetg));
307442dc13f1SHong Zhang       if (!blocksize || blocksize[j] == -1) {
307542dc13f1SHong Zhang         for (k = 0; k < nvar; k++) idx[(*ii)++] = offsetg + k;
307642dc13f1SHong Zhang       } else {
307742dc13f1SHong Zhang         for (k = 0; k < nvar; k += blocksize[j]) {
307842dc13f1SHong Zhang           for (k1 = 0; k1 < nselectedvar[j]; k1++) idx[(*ii)++] = offsetg + k + selectedvar[j][k1];
307942dc13f1SHong Zhang         }
308042dc13f1SHong Zhang       }
308142dc13f1SHong Zhang     }
308242dc13f1SHong Zhang   }
308342dc13f1SHong Zhang   PetscFunctionReturn(0);
308442dc13f1SHong Zhang }
308542dc13f1SHong Zhang 
308642dc13f1SHong Zhang /*@
308742dc13f1SHong Zhang   DMNetworkCreateIS - Create an index set object from the global vector of the network
308842dc13f1SHong Zhang 
308942dc13f1SHong Zhang   Collective
309042dc13f1SHong Zhang 
309142dc13f1SHong Zhang   Input Parameters:
309242dc13f1SHong Zhang + dm - DMNetwork object
309342dc13f1SHong Zhang . numkeys - number of keys
309442dc13f1SHong Zhang . keys - array of keys that define the components of the variables you wish to extract
309542dc13f1SHong Zhang . blocksize - block size of the variables associated to the component
309642dc13f1SHong Zhang . nselectedvar - number of variables in each block to select
309742dc13f1SHong Zhang - selectedvar - the offset into the block of each variable in each block to select
309842dc13f1SHong Zhang 
309942dc13f1SHong Zhang   Output Parameters:
310042dc13f1SHong Zhang . is - the index set
310142dc13f1SHong Zhang 
310242dc13f1SHong Zhang   Level: Advanced
310342dc13f1SHong Zhang 
310442dc13f1SHong Zhang   Notes:
310542dc13f1SHong Zhang     Use blocksize[i] of -1 to indicate select all the variables of the i-th component, for which nselectvar[i] and selectedvar[i] are ignored. Use NULL, NULL, NULL to indicate for all selected components one wishes to obtain all the values of that component. For example, DMNetworkCreateIS(dm,1,&key,NULL,NULL,NULL,&is) will return an is that extracts all the variables for the 0-th component.
310642dc13f1SHong Zhang 
3107db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `ISCreateGeneral()`, `DMNetworkCreateLocalIS()`
310842dc13f1SHong Zhang @*/
3109d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkCreateIS(DM dm, PetscInt numkeys, PetscInt keys[], PetscInt blocksize[], PetscInt nselectedvar[], PetscInt *selectedvar[], IS *is)
3110d71ae5a4SJacob Faibussowitsch {
311142dc13f1SHong Zhang   MPI_Comm    comm;
311242dc13f1SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
311342dc13f1SHong Zhang   PetscInt    i, p, estart, eend, vstart, vend, nidx, *idx;
311442dc13f1SHong Zhang   PetscBool   ghost;
311542dc13f1SHong Zhang 
311642dc13f1SHong Zhang   PetscFunctionBegin;
31179566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
311842dc13f1SHong Zhang 
311942dc13f1SHong Zhang   /* Check input parameters */
312042dc13f1SHong Zhang   for (i = 0; i < numkeys; i++) {
312142dc13f1SHong Zhang     if (!blocksize || blocksize[i] == -1) continue;
312263a3b9bcSJacob Faibussowitsch     PetscCheck(nselectedvar[i] <= blocksize[i], PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "number of selectedvariables %" PetscInt_FMT " cannot be larger than blocksize %" PetscInt_FMT, nselectedvar[i], blocksize[i]);
312342dc13f1SHong Zhang   }
312442dc13f1SHong Zhang 
31259566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetEdgeRange(dm, &estart, &eend));
31269566063dSJacob Faibussowitsch   PetscCall(DMNetworkGetVertexRange(dm, &vstart, &vend));
312742dc13f1SHong Zhang 
312842dc13f1SHong Zhang   /* Get local number of idx */
312942dc13f1SHong Zhang   nidx = 0;
313048a46eb9SPierre Jolivet   for (p = estart; p < eend; p++) PetscCall(DMISAddSize_private(network, p, numkeys, keys, blocksize, nselectedvar, &nidx));
313142dc13f1SHong Zhang   for (p = vstart; p < vend; p++) {
31329566063dSJacob Faibussowitsch     PetscCall(DMNetworkIsGhostVertex(dm, p, &ghost));
313342dc13f1SHong Zhang     if (ghost) continue;
31349566063dSJacob Faibussowitsch     PetscCall(DMISAddSize_private(network, p, numkeys, keys, blocksize, nselectedvar, &nidx));
313542dc13f1SHong Zhang   }
313642dc13f1SHong Zhang 
313742dc13f1SHong Zhang   /* Compute idx */
31389566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nidx, &idx));
313942dc13f1SHong Zhang   i = 0;
314048a46eb9SPierre Jolivet   for (p = estart; p < eend; p++) PetscCall(DMISComputeIdx_private(dm, p, numkeys, keys, blocksize, nselectedvar, selectedvar, &i, idx));
314142dc13f1SHong Zhang   for (p = vstart; p < vend; p++) {
31429566063dSJacob Faibussowitsch     PetscCall(DMNetworkIsGhostVertex(dm, p, &ghost));
314342dc13f1SHong Zhang     if (ghost) continue;
31449566063dSJacob Faibussowitsch     PetscCall(DMISComputeIdx_private(dm, p, numkeys, keys, blocksize, nselectedvar, selectedvar, &i, idx));
314542dc13f1SHong Zhang   }
314642dc13f1SHong Zhang 
314742dc13f1SHong Zhang   /* Create is */
31489566063dSJacob Faibussowitsch   PetscCall(ISCreateGeneral(comm, nidx, idx, PETSC_COPY_VALUES, is));
31499566063dSJacob Faibussowitsch   PetscCall(PetscFree(idx));
315042dc13f1SHong Zhang   PetscFunctionReturn(0);
315142dc13f1SHong Zhang }
315242dc13f1SHong Zhang 
3153d71ae5a4SJacob Faibussowitsch static inline PetscErrorCode DMISComputeLocalIdx_private(DM dm, PetscInt p, PetscInt numkeys, PetscInt keys[], PetscInt blocksize[], PetscInt nselectedvar[], PetscInt *selectedvar[], PetscInt *ii, PetscInt *idx)
3154d71ae5a4SJacob Faibussowitsch {
315542dc13f1SHong Zhang   PetscInt                 i, j, ncomps, nvar, key, offsetl, k, k1, offset = 0;
315642dc13f1SHong Zhang   DM_Network              *network = (DM_Network *)dm->data;
315742dc13f1SHong Zhang   DMNetworkComponentHeader header;
315842dc13f1SHong Zhang 
315942dc13f1SHong Zhang   PetscFunctionBegin;
31609566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetOffset(network->DataSection, p, &offset));
316142dc13f1SHong Zhang   ncomps = ((DMNetworkComponentHeader)(network->componentdataarray + offset))->ndata;
316242dc13f1SHong Zhang   header = (DMNetworkComponentHeader)(network->componentdataarray + offset);
316342dc13f1SHong Zhang 
316442dc13f1SHong Zhang   for (i = 0; i < ncomps; i++) {
316542dc13f1SHong Zhang     key  = header->key[i];
316642dc13f1SHong Zhang     nvar = header->nvar[i];
316742dc13f1SHong Zhang     for (j = 0; j < numkeys; j++) {
316842dc13f1SHong Zhang       if (key != keys[j]) continue;
316942dc13f1SHong Zhang 
31709566063dSJacob Faibussowitsch       PetscCall(DMNetworkGetLocalVecOffset(dm, p, i, &offsetl));
317142dc13f1SHong Zhang       if (!blocksize || blocksize[j] == -1) {
317242dc13f1SHong Zhang         for (k = 0; k < nvar; k++) idx[(*ii)++] = offsetl + k;
317342dc13f1SHong Zhang       } else {
317442dc13f1SHong Zhang         for (k = 0; k < nvar; k += blocksize[j]) {
317542dc13f1SHong Zhang           for (k1 = 0; k1 < nselectedvar[j]; k1++) idx[(*ii)++] = offsetl + k + selectedvar[j][k1];
317642dc13f1SHong Zhang         }
317742dc13f1SHong Zhang       }
317842dc13f1SHong Zhang     }
317942dc13f1SHong Zhang   }
318042dc13f1SHong Zhang   PetscFunctionReturn(0);
318142dc13f1SHong Zhang }
318242dc13f1SHong Zhang 
318342dc13f1SHong Zhang /*@
318442dc13f1SHong Zhang   DMNetworkCreateLocalIS - Create an index set object from the local vector of the network
318542dc13f1SHong Zhang 
318642dc13f1SHong Zhang   Not collective
318742dc13f1SHong Zhang 
318842dc13f1SHong Zhang   Input Parameters:
318942dc13f1SHong Zhang + dm - DMNetwork object
319042dc13f1SHong Zhang . numkeys - number of keys
319142dc13f1SHong Zhang . keys - array of keys that define the components of the variables you wish to extract
319242dc13f1SHong Zhang . blocksize - block size of the variables associated to the component
319342dc13f1SHong Zhang . nselectedvar - number of variables in each block to select
319442dc13f1SHong Zhang - selectedvar - the offset into the block of each variable in each block to select
319542dc13f1SHong Zhang 
319642dc13f1SHong Zhang   Output Parameters:
319742dc13f1SHong Zhang . is - the index set
319842dc13f1SHong Zhang 
319942dc13f1SHong Zhang   Level: Advanced
320042dc13f1SHong Zhang 
320142dc13f1SHong Zhang   Notes:
320242dc13f1SHong Zhang     Use blocksize[i] of -1 to indicate select all the variables of the i-th component, for which nselectvar[i] and selectedvar[i] are ignored. Use NULL, NULL, NULL to indicate for all selected components one wishes to obtain all the values of that component. For example, DMNetworkCreateLocalIS(dm,1,&key,NULL,NULL,NULL,&is) will return an is that extracts all the variables for the 0-th component.
320342dc13f1SHong Zhang 
3204db781477SPatrick Sanan .seealso: `DMNetworkCreate()`, `DMNetworkCreateIS`, `ISCreateGeneral()`
320542dc13f1SHong Zhang @*/
3206d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkCreateLocalIS(DM dm, PetscInt numkeys, PetscInt keys[], PetscInt blocksize[], PetscInt nselectedvar[], PetscInt *selectedvar[], IS *is)
3207d71ae5a4SJacob Faibussowitsch {
320842dc13f1SHong Zhang   DM_Network *network = (DM_Network *)dm->data;
320942dc13f1SHong Zhang   PetscInt    i, p, pstart, pend, nidx, *idx;
321042dc13f1SHong Zhang 
321142dc13f1SHong Zhang   PetscFunctionBegin;
321242dc13f1SHong Zhang   /* Check input parameters */
321342dc13f1SHong Zhang   for (i = 0; i < numkeys; i++) {
321442dc13f1SHong Zhang     if (!blocksize || blocksize[i] == -1) continue;
321563a3b9bcSJacob Faibussowitsch     PetscCheck(nselectedvar[i] <= blocksize[i], PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "number of selectedvariables %" PetscInt_FMT " cannot be larger than blocksize %" PetscInt_FMT, nselectedvar[i], blocksize[i]);
321642dc13f1SHong Zhang   }
321742dc13f1SHong Zhang 
3218daad07d3SAidan Hamilton   pstart = network->cloneshared->pStart;
3219daad07d3SAidan Hamilton   pend   = network->cloneshared->pEnd;
322042dc13f1SHong Zhang 
322142dc13f1SHong Zhang   /* Get local number of idx */
322242dc13f1SHong Zhang   nidx = 0;
322348a46eb9SPierre Jolivet   for (p = pstart; p < pend; p++) PetscCall(DMISAddSize_private(network, p, numkeys, keys, blocksize, nselectedvar, &nidx));
322442dc13f1SHong Zhang 
322542dc13f1SHong Zhang   /* Compute local idx */
32269566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nidx, &idx));
322742dc13f1SHong Zhang   i = 0;
322848a46eb9SPierre Jolivet   for (p = pstart; p < pend; p++) PetscCall(DMISComputeLocalIdx_private(dm, p, numkeys, keys, blocksize, nselectedvar, selectedvar, &i, idx));
322942dc13f1SHong Zhang 
323042dc13f1SHong Zhang   /* Create is */
32319566063dSJacob Faibussowitsch   PetscCall(ISCreateGeneral(PETSC_COMM_SELF, nidx, idx, PETSC_COPY_VALUES, is));
32329566063dSJacob Faibussowitsch   PetscCall(PetscFree(idx));
323342dc13f1SHong Zhang   PetscFunctionReturn(0);
323442dc13f1SHong Zhang }
3235daad07d3SAidan Hamilton /*@
3236daad07d3SAidan Hamilton   DMNetworkFinalizeComponents - Sets up interal data structures for the sections and components. It is called after registering new components and adding all components
3237daad07d3SAidan Hamilton   to the cloned network. After calling this subroutine, no new components can be added to the network.
3238daad07d3SAidan Hamilton 
3239daad07d3SAidan Hamilton   Collective
3240daad07d3SAidan Hamilton 
3241daad07d3SAidan Hamilton   Input Parameters:
3242daad07d3SAidan Hamilton . dm - the dmnetwork object
3243daad07d3SAidan Hamilton 
3244daad07d3SAidan Hamilton   Level: beginner
3245daad07d3SAidan Hamilton 
3246daad07d3SAidan Hamilton .seealso: `DMNetworkAddComponent()`, `DMNetworkRegisterComponent()`, `DMSetUp()`
3247daad07d3SAidan Hamilton @*/
3248d71ae5a4SJacob Faibussowitsch PetscErrorCode DMNetworkFinalizeComponents(DM dm)
3249d71ae5a4SJacob Faibussowitsch {
3250daad07d3SAidan Hamilton   DM_Network *network = (DM_Network *)dm->data;
3251daad07d3SAidan Hamilton 
3252daad07d3SAidan Hamilton   PetscFunctionBegin;
3253daad07d3SAidan Hamilton   if (network->componentsetup) PetscFunctionReturn(0);
3254daad07d3SAidan Hamilton   PetscCall(DMNetworkComponentSetUp(dm));
3255daad07d3SAidan Hamilton   PetscCall(DMNetworkVariablesSetUp(dm));
3256daad07d3SAidan Hamilton   PetscCall(DMSetLocalSection(network->plex, network->DofSection));
3257daad07d3SAidan Hamilton   PetscCall(DMGetGlobalSection(network->plex, &network->GlobalDofSection));
3258daad07d3SAidan Hamilton   network->componentsetup = PETSC_TRUE;
3259daad07d3SAidan Hamilton   PetscFunctionReturn(0);
3260daad07d3SAidan Hamilton }
3261