xref: /petsc/src/vec/is/sf/interface/sf.c (revision 38ab3f8ade3d9d5a6e753c5c879a9fe9edd01cb0)
1af0996ceSBarry Smith #include <petsc/private/sfimpl.h> /*I "petscsf.h" I*/
295fce210SBarry Smith #include <petscctable.h>
395fce210SBarry Smith 
4563ffbabSMatthew G. Knepley /* Logging support */
5563ffbabSMatthew G. Knepley PetscLogEvent PETSCSF_SetGraph, PETSCSF_BcastBegin, PETSCSF_BcastEnd, PETSCSF_ReduceBegin, PETSCSF_ReduceEnd, PETSCSF_FetchAndOpBegin, PETSCSF_FetchAndOpEnd;
6563ffbabSMatthew G. Knepley 
795fce210SBarry Smith #if defined(PETSC_USE_DEBUG)
895fce210SBarry Smith #  define PetscSFCheckGraphSet(sf,arg) do {                          \
995fce210SBarry Smith     if (PetscUnlikely(!(sf)->graphset))                              \
1095fce210SBarry Smith       SETERRQ3(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Must call PetscSFSetGraph() on argument %D \"%s\" before %s()",(arg),#sf,PETSC_FUNCTION_NAME); \
1195fce210SBarry Smith   } while (0)
1295fce210SBarry Smith #else
1395fce210SBarry Smith #  define PetscSFCheckGraphSet(sf,arg) do {} while (0)
1495fce210SBarry Smith #endif
1595fce210SBarry Smith 
1695fce210SBarry Smith const char *const PetscSFDuplicateOptions[] = {"CONFONLY","RANKS","GRAPH","PetscSFDuplicateOption","PETSCSF_DUPLICATE_",0};
1795fce210SBarry Smith 
188af6ec1cSBarry Smith /*@
1995fce210SBarry Smith    PetscSFCreate - create a star forest communication context
2095fce210SBarry Smith 
2195fce210SBarry Smith    Not Collective
2295fce210SBarry Smith 
2395fce210SBarry Smith    Input Arguments:
2495fce210SBarry Smith .  comm - communicator on which the star forest will operate
2595fce210SBarry Smith 
2695fce210SBarry Smith    Output Arguments:
2795fce210SBarry Smith .  sf - new star forest context
2895fce210SBarry Smith 
2995fce210SBarry Smith    Level: intermediate
3095fce210SBarry Smith 
3195fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFDestroy()
3295fce210SBarry Smith @*/
3395fce210SBarry Smith PetscErrorCode PetscSFCreate(MPI_Comm comm,PetscSF *sf)
3495fce210SBarry Smith {
3595fce210SBarry Smith   PetscErrorCode ierr;
3695fce210SBarry Smith   PetscSF        b;
3795fce210SBarry Smith 
3895fce210SBarry Smith   PetscFunctionBegin;
3995fce210SBarry Smith   PetscValidPointer(sf,2);
40607a6623SBarry Smith   ierr = PetscSFInitializePackage();CHKERRQ(ierr);
4195fce210SBarry Smith 
4273107ff1SLisandro Dalcin   ierr = PetscHeaderCreate(b,PETSCSF_CLASSID,"PetscSF","Star Forest","PetscSF",comm,PetscSFDestroy,PetscSFView);CHKERRQ(ierr);
4395fce210SBarry Smith 
4495fce210SBarry Smith   b->nroots    = -1;
4595fce210SBarry Smith   b->nleaves   = -1;
4695fce210SBarry Smith   b->nranks    = -1;
4795fce210SBarry Smith   b->rankorder = PETSC_TRUE;
4895fce210SBarry Smith   b->ingroup   = MPI_GROUP_NULL;
4995fce210SBarry Smith   b->outgroup  = MPI_GROUP_NULL;
5095fce210SBarry Smith   b->graphset  = PETSC_FALSE;
5195fce210SBarry Smith 
5295fce210SBarry Smith   *sf = b;
5395fce210SBarry Smith   PetscFunctionReturn(0);
5495fce210SBarry Smith }
5595fce210SBarry Smith 
5695fce210SBarry Smith /*@C
5795fce210SBarry Smith    PetscSFReset - Reset a star forest so that different sizes or neighbors can be used
5895fce210SBarry Smith 
5995fce210SBarry Smith    Collective
6095fce210SBarry Smith 
6195fce210SBarry Smith    Input Arguments:
6295fce210SBarry Smith .  sf - star forest
6395fce210SBarry Smith 
6495fce210SBarry Smith    Level: advanced
6595fce210SBarry Smith 
6695fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFSetGraph(), PetscSFDestroy()
6795fce210SBarry Smith @*/
6895fce210SBarry Smith PetscErrorCode PetscSFReset(PetscSF sf)
6995fce210SBarry Smith {
7095fce210SBarry Smith   PetscErrorCode ierr;
7195fce210SBarry Smith 
7295fce210SBarry Smith   PetscFunctionBegin;
7395fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
7479715d56SJed Brown   if (sf->ops->Reset) {ierr = (*sf->ops->Reset)(sf);CHKERRQ(ierr);}
7595fce210SBarry Smith   sf->mine   = NULL;
7695fce210SBarry Smith   ierr       = PetscFree(sf->mine_alloc);CHKERRQ(ierr);
7795fce210SBarry Smith   sf->remote = NULL;
7895fce210SBarry Smith   ierr       = PetscFree(sf->remote_alloc);CHKERRQ(ierr);
7995fce210SBarry Smith   ierr       = PetscFree4(sf->ranks,sf->roffset,sf->rmine,sf->rremote);CHKERRQ(ierr);
8021c688dcSJed Brown   sf->nranks = -1;
8195fce210SBarry Smith   ierr       = PetscFree(sf->degree);CHKERRQ(ierr);
8295fce210SBarry Smith   if (sf->ingroup  != MPI_GROUP_NULL) {ierr = MPI_Group_free(&sf->ingroup);CHKERRQ(ierr);}
8395fce210SBarry Smith   if (sf->outgroup != MPI_GROUP_NULL) {ierr = MPI_Group_free(&sf->outgroup);CHKERRQ(ierr);}
8495fce210SBarry Smith   ierr         = PetscSFDestroy(&sf->multi);CHKERRQ(ierr);
8595fce210SBarry Smith   sf->graphset = PETSC_FALSE;
8695fce210SBarry Smith   sf->setupcalled = PETSC_FALSE;
8795fce210SBarry Smith   PetscFunctionReturn(0);
8895fce210SBarry Smith }
8995fce210SBarry Smith 
9095fce210SBarry Smith /*@C
9195fce210SBarry Smith    PetscSFSetType - set the PetscSF communication implementation
9295fce210SBarry Smith 
9395fce210SBarry Smith    Collective on PetscSF
9495fce210SBarry Smith 
9595fce210SBarry Smith    Input Parameters:
9695fce210SBarry Smith +  sf - the PetscSF context
9795fce210SBarry Smith -  type - a known method
9895fce210SBarry Smith 
9995fce210SBarry Smith    Options Database Key:
10095fce210SBarry Smith .  -sf_type <type> - Sets the method; use -help for a list
10195fce210SBarry Smith    of available methods (for instance, window, pt2pt, neighbor)
10295fce210SBarry Smith 
10395fce210SBarry Smith    Notes:
10495fce210SBarry Smith    See "include/petscsf.h" for available methods (for instance)
10595fce210SBarry Smith +    PETSCSFWINDOW - MPI-2/3 one-sided
10695fce210SBarry Smith -    PETSCSFBASIC - basic implementation using MPI-1 two-sided
10795fce210SBarry Smith 
10895fce210SBarry Smith   Level: intermediate
10995fce210SBarry Smith 
11095fce210SBarry Smith .keywords: PetscSF, set, type
11195fce210SBarry Smith 
11295fce210SBarry Smith .seealso: PetscSFType, PetscSFCreate()
11395fce210SBarry Smith @*/
11495fce210SBarry Smith PetscErrorCode PetscSFSetType(PetscSF sf,PetscSFType type)
11595fce210SBarry Smith {
11695fce210SBarry Smith   PetscErrorCode ierr,(*r)(PetscSF);
11795fce210SBarry Smith   PetscBool      match;
11895fce210SBarry Smith 
11995fce210SBarry Smith   PetscFunctionBegin;
12095fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
12195fce210SBarry Smith   PetscValidCharPointer(type,2);
12295fce210SBarry Smith 
12395fce210SBarry Smith   ierr = PetscObjectTypeCompare((PetscObject)sf,type,&match);CHKERRQ(ierr);
12495fce210SBarry Smith   if (match) PetscFunctionReturn(0);
12595fce210SBarry Smith 
126adc40e5bSBarry Smith   ierr = PetscFunctionListFind(PetscSFList,type,&r);CHKERRQ(ierr);
12795fce210SBarry Smith   if (!r) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_UNKNOWN_TYPE,"Unable to find requested PetscSF type %s",type);
12895fce210SBarry Smith   /* Destroy the previous private PetscSF context */
12995fce210SBarry Smith   if (sf->ops->Destroy) {
13095fce210SBarry Smith     ierr = (*(sf)->ops->Destroy)(sf);CHKERRQ(ierr);
13195fce210SBarry Smith   }
13295fce210SBarry Smith   ierr = PetscMemzero(sf->ops,sizeof(*sf->ops));CHKERRQ(ierr);
13395fce210SBarry Smith   ierr = PetscObjectChangeTypeName((PetscObject)sf,type);CHKERRQ(ierr);
13495fce210SBarry Smith   ierr = (*r)(sf);CHKERRQ(ierr);
13595fce210SBarry Smith   PetscFunctionReturn(0);
13695fce210SBarry Smith }
13795fce210SBarry Smith 
138d36d33e4SMatthew G. Knepley /*@
13995fce210SBarry Smith    PetscSFDestroy - destroy star forest
14095fce210SBarry Smith 
14195fce210SBarry Smith    Collective
14295fce210SBarry Smith 
14395fce210SBarry Smith    Input Arguments:
14495fce210SBarry Smith .  sf - address of star forest
14595fce210SBarry Smith 
14695fce210SBarry Smith    Level: intermediate
14795fce210SBarry Smith 
14895fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFReset()
14995fce210SBarry Smith @*/
15095fce210SBarry Smith PetscErrorCode PetscSFDestroy(PetscSF *sf)
15195fce210SBarry Smith {
15295fce210SBarry Smith   PetscErrorCode ierr;
15395fce210SBarry Smith 
15495fce210SBarry Smith   PetscFunctionBegin;
15595fce210SBarry Smith   if (!*sf) PetscFunctionReturn(0);
15695fce210SBarry Smith   PetscValidHeaderSpecific((*sf),PETSCSF_CLASSID,1);
15795fce210SBarry Smith   if (--((PetscObject)(*sf))->refct > 0) {*sf = 0; PetscFunctionReturn(0);}
15895fce210SBarry Smith   ierr = PetscSFReset(*sf);CHKERRQ(ierr);
15995fce210SBarry Smith   if ((*sf)->ops->Destroy) {ierr = (*(*sf)->ops->Destroy)(*sf);CHKERRQ(ierr);}
16095fce210SBarry Smith   ierr = PetscHeaderDestroy(sf);CHKERRQ(ierr);
16195fce210SBarry Smith   PetscFunctionReturn(0);
16295fce210SBarry Smith }
16395fce210SBarry Smith 
16495fce210SBarry Smith /*@
16595fce210SBarry Smith    PetscSFSetUp - set up communication structures
16695fce210SBarry Smith 
16795fce210SBarry Smith    Collective
16895fce210SBarry Smith 
16995fce210SBarry Smith    Input Arguments:
17095fce210SBarry Smith .  sf - star forest communication object
17195fce210SBarry Smith 
17295fce210SBarry Smith    Level: beginner
17395fce210SBarry Smith 
17495fce210SBarry Smith .seealso: PetscSFSetFromOptions(), PetscSFSetType()
17595fce210SBarry Smith @*/
17695fce210SBarry Smith PetscErrorCode PetscSFSetUp(PetscSF sf)
17795fce210SBarry Smith {
17895fce210SBarry Smith   PetscErrorCode ierr;
17995fce210SBarry Smith 
18095fce210SBarry Smith   PetscFunctionBegin;
18195fce210SBarry Smith   if (sf->setupcalled) PetscFunctionReturn(0);
18295fce210SBarry Smith   if (!((PetscObject)sf)->type_name) {ierr = PetscSFSetType(sf,PETSCSFBASIC);CHKERRQ(ierr);}
18395fce210SBarry Smith   if (sf->ops->SetUp) {ierr = (*sf->ops->SetUp)(sf);CHKERRQ(ierr);}
18495fce210SBarry Smith   sf->setupcalled = PETSC_TRUE;
18595fce210SBarry Smith   PetscFunctionReturn(0);
18695fce210SBarry Smith }
18795fce210SBarry Smith 
1888af6ec1cSBarry Smith /*@
18995fce210SBarry Smith    PetscSFSetFromOptions - set PetscSF options using the options database
19095fce210SBarry Smith 
19195fce210SBarry Smith    Logically Collective
19295fce210SBarry Smith 
19395fce210SBarry Smith    Input Arguments:
19495fce210SBarry Smith .  sf - star forest
19595fce210SBarry Smith 
19695fce210SBarry Smith    Options Database Keys:
19760263706SJed Brown +  -sf_type - implementation type, see PetscSFSetType()
19860263706SJed Brown -  -sf_rank_order - sort composite points for gathers and scatters in rank order, gathers are non-deterministic otherwise
19995fce210SBarry Smith 
20095fce210SBarry Smith    Level: intermediate
20195fce210SBarry Smith 
20295fce210SBarry Smith .keywords: KSP, set, from, options, database
20395fce210SBarry Smith 
20495fce210SBarry Smith .seealso: PetscSFWindowSetSyncType()
20595fce210SBarry Smith @*/
20695fce210SBarry Smith PetscErrorCode PetscSFSetFromOptions(PetscSF sf)
20795fce210SBarry Smith {
20895fce210SBarry Smith   PetscSFType    deft;
20995fce210SBarry Smith   char           type[256];
21095fce210SBarry Smith   PetscErrorCode ierr;
21195fce210SBarry Smith   PetscBool      flg;
21295fce210SBarry Smith 
21395fce210SBarry Smith   PetscFunctionBegin;
21495fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
21595fce210SBarry Smith   ierr = PetscObjectOptionsBegin((PetscObject)sf);CHKERRQ(ierr);
21695fce210SBarry Smith   deft = ((PetscObject)sf)->type_name ? ((PetscObject)sf)->type_name : PETSCSFBASIC;
217a264d7a6SBarry Smith   ierr = PetscOptionsFList("-sf_type","PetscSF implementation type","PetscSFSetType",PetscSFList,deft,type,256,&flg);CHKERRQ(ierr);
21895fce210SBarry Smith   ierr = PetscSFSetType(sf,flg ? type : deft);CHKERRQ(ierr);
21995fce210SBarry Smith   ierr = PetscOptionsBool("-sf_rank_order","sort composite points for gathers and scatters in rank order, gathers are non-deterministic otherwise","PetscSFSetRankOrder",sf->rankorder,&sf->rankorder,NULL);CHKERRQ(ierr);
220e55864a3SBarry Smith   if (sf->ops->SetFromOptions) {ierr = (*sf->ops->SetFromOptions)(PetscOptionsObject,sf);CHKERRQ(ierr);}
22195fce210SBarry Smith   ierr = PetscOptionsEnd();CHKERRQ(ierr);
22295fce210SBarry Smith   PetscFunctionReturn(0);
22395fce210SBarry Smith }
22495fce210SBarry Smith 
22595fce210SBarry Smith /*@C
22695fce210SBarry Smith    PetscSFSetRankOrder - sort multi-points for gathers and scatters by rank order
22795fce210SBarry Smith 
22895fce210SBarry Smith    Logically Collective
22995fce210SBarry Smith 
23095fce210SBarry Smith    Input Arguments:
23195fce210SBarry Smith +  sf - star forest
23295fce210SBarry Smith -  flg - PETSC_TRUE to sort, PETSC_FALSE to skip sorting (lower setup cost, but non-deterministic)
23395fce210SBarry Smith 
23495fce210SBarry Smith    Level: advanced
23595fce210SBarry Smith 
23695fce210SBarry Smith .seealso: PetscSFGatherBegin(), PetscSFScatterBegin()
23795fce210SBarry Smith @*/
23895fce210SBarry Smith PetscErrorCode PetscSFSetRankOrder(PetscSF sf,PetscBool flg)
23995fce210SBarry Smith {
24095fce210SBarry Smith 
24195fce210SBarry Smith   PetscFunctionBegin;
24295fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
24395fce210SBarry Smith   PetscValidLogicalCollectiveBool(sf,flg,2);
24495fce210SBarry Smith   if (sf->multi) SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_WRONGSTATE,"Rank ordering must be set before first call to PetscSFGatherBegin() or PetscSFScatterBegin()");
24595fce210SBarry Smith   sf->rankorder = flg;
24695fce210SBarry Smith   PetscFunctionReturn(0);
24795fce210SBarry Smith }
24895fce210SBarry Smith 
2498af6ec1cSBarry Smith /*@
25095fce210SBarry Smith    PetscSFSetGraph - Set a parallel star forest
25195fce210SBarry Smith 
25295fce210SBarry Smith    Collective
25395fce210SBarry Smith 
25495fce210SBarry Smith    Input Arguments:
25595fce210SBarry Smith +  sf - star forest
25695fce210SBarry Smith .  nroots - number of root vertices on the current process (these are possible targets for other process to attach leaves)
25795fce210SBarry Smith .  nleaves - number of leaf vertices on the current process, each of these references a root on any process
25895fce210SBarry Smith .  ilocal - locations of leaves in leafdata buffers, pass NULL for contiguous storage
25995fce210SBarry Smith .  localmode - copy mode for ilocal
26095fce210SBarry Smith .  iremote - remote locations of root vertices for each leaf on the current process
26195fce210SBarry Smith -  remotemode - copy mode for iremote
26295fce210SBarry Smith 
26395fce210SBarry Smith    Level: intermediate
26495fce210SBarry Smith 
265*38ab3f8aSBarry Smith    Notes: In Fortran you must use PETSC_COPY_VALUES for localmode and remotemode
266*38ab3f8aSBarry Smith 
26795fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFView(), PetscSFGetGraph()
26895fce210SBarry Smith @*/
26995fce210SBarry Smith PetscErrorCode PetscSFSetGraph(PetscSF sf,PetscInt nroots,PetscInt nleaves,const PetscInt *ilocal,PetscCopyMode localmode,const PetscSFNode *iremote,PetscCopyMode remotemode)
27095fce210SBarry Smith {
27195fce210SBarry Smith   PetscErrorCode     ierr;
27295fce210SBarry Smith 
27395fce210SBarry Smith   PetscFunctionBegin;
27495fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
275563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_SetGraph,sf,0,0,0);CHKERRQ(ierr);
27695fce210SBarry Smith   if (nleaves && ilocal) PetscValidIntPointer(ilocal,4);
27795fce210SBarry Smith   if (nleaves) PetscValidPointer(iremote,6);
27895fce210SBarry Smith   if (nroots < 0) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"roots %D, cannot be negative",nroots);
27995fce210SBarry Smith   if (nleaves < 0) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"nleaves %D, cannot be negative",nleaves);
28095fce210SBarry Smith   ierr        = PetscSFReset(sf);CHKERRQ(ierr);
28195fce210SBarry Smith   sf->nroots  = nroots;
28295fce210SBarry Smith   sf->nleaves = nleaves;
28395fce210SBarry Smith   if (ilocal) {
28421c688dcSJed Brown     PetscInt i;
28595fce210SBarry Smith     switch (localmode) {
28695fce210SBarry Smith     case PETSC_COPY_VALUES:
287785e854fSJed Brown       ierr        = PetscMalloc1(nleaves,&sf->mine_alloc);CHKERRQ(ierr);
28895fce210SBarry Smith       sf->mine    = sf->mine_alloc;
28995fce210SBarry Smith       ierr        = PetscMemcpy(sf->mine,ilocal,nleaves*sizeof(*sf->mine));CHKERRQ(ierr);
29095fce210SBarry Smith       sf->minleaf = PETSC_MAX_INT;
29195fce210SBarry Smith       sf->maxleaf = PETSC_MIN_INT;
29295fce210SBarry Smith       for (i=0; i<nleaves; i++) {
29395fce210SBarry Smith         sf->minleaf = PetscMin(sf->minleaf,ilocal[i]);
29495fce210SBarry Smith         sf->maxleaf = PetscMax(sf->maxleaf,ilocal[i]);
29595fce210SBarry Smith       }
29695fce210SBarry Smith       break;
29795fce210SBarry Smith     case PETSC_OWN_POINTER:
29895fce210SBarry Smith       sf->mine_alloc = (PetscInt*)ilocal;
29995fce210SBarry Smith       sf->mine       = sf->mine_alloc;
30095fce210SBarry Smith       break;
30195fce210SBarry Smith     case PETSC_USE_POINTER:
30295fce210SBarry Smith       sf->mine = (PetscInt*)ilocal;
30395fce210SBarry Smith       break;
30495fce210SBarry Smith     default: SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_OUTOFRANGE,"Unknown localmode");
30595fce210SBarry Smith     }
30695fce210SBarry Smith   }
30795fce210SBarry Smith   if (!ilocal || nleaves > 0) {
30895fce210SBarry Smith     sf->minleaf = 0;
30995fce210SBarry Smith     sf->maxleaf = nleaves - 1;
31095fce210SBarry Smith   }
31195fce210SBarry Smith   switch (remotemode) {
31295fce210SBarry Smith   case PETSC_COPY_VALUES:
313785e854fSJed Brown     ierr       = PetscMalloc1(nleaves,&sf->remote_alloc);CHKERRQ(ierr);
31495fce210SBarry Smith     sf->remote = sf->remote_alloc;
31595fce210SBarry Smith     ierr       = PetscMemcpy(sf->remote,iremote,nleaves*sizeof(*sf->remote));CHKERRQ(ierr);
31695fce210SBarry Smith     break;
31795fce210SBarry Smith   case PETSC_OWN_POINTER:
31895fce210SBarry Smith     sf->remote_alloc = (PetscSFNode*)iremote;
31995fce210SBarry Smith     sf->remote       = sf->remote_alloc;
32095fce210SBarry Smith     break;
32195fce210SBarry Smith   case PETSC_USE_POINTER:
32295fce210SBarry Smith     sf->remote = (PetscSFNode*)iremote;
32395fce210SBarry Smith     break;
32495fce210SBarry Smith   default: SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_OUTOFRANGE,"Unknown remotemode");
32595fce210SBarry Smith   }
32695fce210SBarry Smith 
32795fce210SBarry Smith   sf->graphset = PETSC_TRUE;
328563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_SetGraph,sf,0,0,0);CHKERRQ(ierr);
32995fce210SBarry Smith   PetscFunctionReturn(0);
33095fce210SBarry Smith }
33195fce210SBarry Smith 
33295fce210SBarry Smith /*@C
33395fce210SBarry Smith    PetscSFCreateInverseSF - given a PetscSF in which all vertices have degree 1, creates the inverse map
33495fce210SBarry Smith 
33595fce210SBarry Smith    Collective
33695fce210SBarry Smith 
33795fce210SBarry Smith    Input Arguments:
33895fce210SBarry Smith .  sf - star forest to invert
33995fce210SBarry Smith 
34095fce210SBarry Smith    Output Arguments:
34195fce210SBarry Smith .  isf - inverse of sf
34295fce210SBarry Smith 
34395fce210SBarry Smith    Level: advanced
34495fce210SBarry Smith 
34595fce210SBarry Smith    Notes:
34695fce210SBarry Smith    All roots must have degree 1.
34795fce210SBarry Smith 
34895fce210SBarry Smith    The local space may be a permutation, but cannot be sparse.
34995fce210SBarry Smith 
35095fce210SBarry Smith .seealso: PetscSFSetGraph()
35195fce210SBarry Smith @*/
35295fce210SBarry Smith PetscErrorCode PetscSFCreateInverseSF(PetscSF sf,PetscSF *isf)
35395fce210SBarry Smith {
35495fce210SBarry Smith   PetscErrorCode ierr;
35595fce210SBarry Smith   PetscMPIInt    rank;
35695fce210SBarry Smith   PetscInt       i,nroots,nleaves,maxlocal,count,*newilocal;
35795fce210SBarry Smith   const PetscInt *ilocal;
35895fce210SBarry Smith   PetscSFNode    *roots,*leaves;
35995fce210SBarry Smith 
36095fce210SBarry Smith   PetscFunctionBegin;
36195fce210SBarry Smith   ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
36295fce210SBarry Smith   ierr = PetscSFGetGraph(sf,&nroots,&nleaves,&ilocal,NULL);CHKERRQ(ierr);
36395fce210SBarry Smith   for (i=0,maxlocal=0; i<nleaves; i++) maxlocal = PetscMax(maxlocal,(ilocal ? ilocal[i] : i)+1);
364ae9aee6dSMatthew G. Knepley   ierr = PetscMalloc2(nroots,&roots,maxlocal,&leaves);CHKERRQ(ierr);
365ae9aee6dSMatthew G. Knepley   for (i=0; i<maxlocal; i++) {
36695fce210SBarry Smith     leaves[i].rank  = rank;
36795fce210SBarry Smith     leaves[i].index = i;
36895fce210SBarry Smith   }
36995fce210SBarry Smith   for (i=0; i <nroots; i++) {
37095fce210SBarry Smith     roots[i].rank  = -1;
37195fce210SBarry Smith     roots[i].index = -1;
37295fce210SBarry Smith   }
3738bfbc91cSJed Brown   ierr = PetscSFReduceBegin(sf,MPIU_2INT,leaves,roots,MPIU_REPLACE);CHKERRQ(ierr);
3748bfbc91cSJed Brown   ierr = PetscSFReduceEnd(sf,MPIU_2INT,leaves,roots,MPIU_REPLACE);CHKERRQ(ierr);
37595fce210SBarry Smith 
37695fce210SBarry Smith   /* Check whether our leaves are sparse */
37795fce210SBarry Smith   for (i=0,count=0; i<nroots; i++) if (roots[i].rank >= 0) count++;
37895fce210SBarry Smith   if (count == nroots) newilocal = NULL;
37995fce210SBarry Smith   else {                        /* Index for sparse leaves and compact "roots" array (which is to become our leaves). */
380785e854fSJed Brown     ierr = PetscMalloc1(count,&newilocal);CHKERRQ(ierr);
38195fce210SBarry Smith     for (i=0,count=0; i<nroots; i++) {
38295fce210SBarry Smith       if (roots[i].rank >= 0) {
38395fce210SBarry Smith         newilocal[count]   = i;
38495fce210SBarry Smith         roots[count].rank  = roots[i].rank;
38595fce210SBarry Smith         roots[count].index = roots[i].index;
38695fce210SBarry Smith         count++;
38795fce210SBarry Smith       }
38895fce210SBarry Smith     }
38995fce210SBarry Smith   }
39095fce210SBarry Smith 
39195fce210SBarry Smith   ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_CONFONLY,isf);CHKERRQ(ierr);
39295fce210SBarry Smith   ierr = PetscSFSetGraph(*isf,maxlocal,count,newilocal,PETSC_OWN_POINTER,roots,PETSC_COPY_VALUES);CHKERRQ(ierr);
39395fce210SBarry Smith   ierr = PetscFree2(roots,leaves);CHKERRQ(ierr);
39495fce210SBarry Smith   PetscFunctionReturn(0);
39595fce210SBarry Smith }
39695fce210SBarry Smith 
39795fce210SBarry Smith /*@
39895fce210SBarry Smith    PetscSFDuplicate - duplicate a PetscSF, optionally preserving rank connectivity and graph
39995fce210SBarry Smith 
40095fce210SBarry Smith    Collective
40195fce210SBarry Smith 
40295fce210SBarry Smith    Input Arguments:
40395fce210SBarry Smith +  sf - communication object to duplicate
40495fce210SBarry Smith -  opt - PETSCSF_DUPLICATE_CONFONLY, PETSCSF_DUPLICATE_RANKS, or PETSCSF_DUPLICATE_GRAPH (see PetscSFDuplicateOption)
40595fce210SBarry Smith 
40695fce210SBarry Smith    Output Arguments:
40795fce210SBarry Smith .  newsf - new communication object
40895fce210SBarry Smith 
40995fce210SBarry Smith    Level: beginner
41095fce210SBarry Smith 
41195fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFSetType(), PetscSFSetGraph()
41295fce210SBarry Smith @*/
41395fce210SBarry Smith PetscErrorCode PetscSFDuplicate(PetscSF sf,PetscSFDuplicateOption opt,PetscSF *newsf)
41495fce210SBarry Smith {
41595fce210SBarry Smith   PetscErrorCode ierr;
41695fce210SBarry Smith 
41795fce210SBarry Smith   PetscFunctionBegin;
41895fce210SBarry Smith   ierr = PetscSFCreate(PetscObjectComm((PetscObject)sf),newsf);CHKERRQ(ierr);
41995fce210SBarry Smith   ierr = PetscSFSetType(*newsf,((PetscObject)sf)->type_name);CHKERRQ(ierr);
42095fce210SBarry Smith   if (sf->ops->Duplicate) {ierr = (*sf->ops->Duplicate)(sf,opt,*newsf);CHKERRQ(ierr);}
42195fce210SBarry Smith   if (opt == PETSCSF_DUPLICATE_GRAPH) {
42295fce210SBarry Smith     PetscInt          nroots,nleaves;
42395fce210SBarry Smith     const PetscInt    *ilocal;
42495fce210SBarry Smith     const PetscSFNode *iremote;
42595fce210SBarry Smith     ierr = PetscSFGetGraph(sf,&nroots,&nleaves,&ilocal,&iremote);CHKERRQ(ierr);
42695fce210SBarry Smith     ierr = PetscSFSetGraph(*newsf,nroots,nleaves,ilocal,PETSC_COPY_VALUES,iremote,PETSC_COPY_VALUES);CHKERRQ(ierr);
42795fce210SBarry Smith   }
42895fce210SBarry Smith   PetscFunctionReturn(0);
42995fce210SBarry Smith }
43095fce210SBarry Smith 
43195fce210SBarry Smith /*@C
43295fce210SBarry Smith    PetscSFGetGraph - Get the graph specifying a parallel star forest
43395fce210SBarry Smith 
43495fce210SBarry Smith    Not Collective
43595fce210SBarry Smith 
43695fce210SBarry Smith    Input Arguments:
43795fce210SBarry Smith .  sf - star forest
43895fce210SBarry Smith 
43995fce210SBarry Smith    Output Arguments:
44095fce210SBarry Smith +  nroots - number of root vertices on the current process (these are possible targets for other process to attach leaves)
44195fce210SBarry Smith .  nleaves - number of leaf vertices on the current process, each of these references a root on any process
44295fce210SBarry Smith .  ilocal - locations of leaves in leafdata buffers
44395fce210SBarry Smith -  iremote - remote locations of root vertices for each leaf on the current process
44495fce210SBarry Smith 
44595fce210SBarry Smith    Level: intermediate
44695fce210SBarry Smith 
44795fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFView(), PetscSFSetGraph()
44895fce210SBarry Smith @*/
44995fce210SBarry Smith PetscErrorCode PetscSFGetGraph(PetscSF sf,PetscInt *nroots,PetscInt *nleaves,const PetscInt **ilocal,const PetscSFNode **iremote)
45095fce210SBarry Smith {
45195fce210SBarry Smith 
45295fce210SBarry Smith   PetscFunctionBegin;
45395fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
45495fce210SBarry Smith   /* We are not currently requiring that the graph is set, thus returning nroots=-1 if it has not been set */
45595fce210SBarry Smith   /* if (!sf->graphset) SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_WRONGSTATE,"Graph has not been set, must call PetscSFSetGraph()"); */
45695fce210SBarry Smith   if (nroots) *nroots = sf->nroots;
45795fce210SBarry Smith   if (nleaves) *nleaves = sf->nleaves;
45895fce210SBarry Smith   if (ilocal) *ilocal = sf->mine;
45995fce210SBarry Smith   if (iremote) *iremote = sf->remote;
46095fce210SBarry Smith   PetscFunctionReturn(0);
46195fce210SBarry Smith }
46295fce210SBarry Smith 
46395fce210SBarry Smith /*@C
46495fce210SBarry Smith    PetscSFGetLeafRange - Get the active leaf ranges
46595fce210SBarry Smith 
46695fce210SBarry Smith    Not Collective
46795fce210SBarry Smith 
46895fce210SBarry Smith    Input Arguments:
46995fce210SBarry Smith .  sf - star forest
47095fce210SBarry Smith 
47195fce210SBarry Smith    Output Arguments:
47295fce210SBarry Smith +  minleaf - minimum active leaf on this process
47395fce210SBarry Smith -  maxleaf - maximum active leaf on this process
47495fce210SBarry Smith 
47595fce210SBarry Smith    Level: developer
47695fce210SBarry Smith 
47795fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFView(), PetscSFSetGraph(), PetscSFGetGraph()
47895fce210SBarry Smith @*/
47995fce210SBarry Smith PetscErrorCode PetscSFGetLeafRange(PetscSF sf,PetscInt *minleaf,PetscInt *maxleaf)
48095fce210SBarry Smith {
48195fce210SBarry Smith 
48295fce210SBarry Smith   PetscFunctionBegin;
48395fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
48495fce210SBarry Smith   if (minleaf) *minleaf = sf->minleaf;
48595fce210SBarry Smith   if (maxleaf) *maxleaf = sf->maxleaf;
48695fce210SBarry Smith   PetscFunctionReturn(0);
48795fce210SBarry Smith }
48895fce210SBarry Smith 
48995fce210SBarry Smith /*@C
49095fce210SBarry Smith    PetscSFView - view a star forest
49195fce210SBarry Smith 
49295fce210SBarry Smith    Collective
49395fce210SBarry Smith 
49495fce210SBarry Smith    Input Arguments:
49595fce210SBarry Smith +  sf - star forest
49695fce210SBarry Smith -  viewer - viewer to display graph, for example PETSC_VIEWER_STDOUT_WORLD
49795fce210SBarry Smith 
49895fce210SBarry Smith    Level: beginner
49995fce210SBarry Smith 
50095fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFSetGraph()
50195fce210SBarry Smith @*/
50295fce210SBarry Smith PetscErrorCode PetscSFView(PetscSF sf,PetscViewer viewer)
50395fce210SBarry Smith {
50495fce210SBarry Smith   PetscErrorCode    ierr;
50595fce210SBarry Smith   PetscBool         iascii;
50695fce210SBarry Smith   PetscViewerFormat format;
50795fce210SBarry Smith 
50895fce210SBarry Smith   PetscFunctionBegin;
50995fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
51095fce210SBarry Smith   if (!viewer) {ierr = PetscViewerASCIIGetStdout(PetscObjectComm((PetscObject)sf),&viewer);CHKERRQ(ierr);}
51195fce210SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
51295fce210SBarry Smith   PetscCheckSameComm(sf,1,viewer,2);
513dcca2fcaSJed Brown   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
51495fce210SBarry Smith   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
51595fce210SBarry Smith   if (iascii) {
51695fce210SBarry Smith     PetscMPIInt rank;
51781bfa7aaSJed Brown     PetscInt    ii,i,j;
51895fce210SBarry Smith 
519dae58748SBarry Smith     ierr = PetscObjectPrintClassNamePrefixType((PetscObject)sf,viewer);CHKERRQ(ierr);
52095fce210SBarry Smith     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
52195fce210SBarry Smith     if (sf->ops->View) {ierr = (*sf->ops->View)(sf,viewer);CHKERRQ(ierr);}
52295fce210SBarry Smith     ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
5231575c14dSBarry Smith     ierr = PetscViewerASCIIPushSynchronized(viewer);CHKERRQ(ierr);
52495fce210SBarry Smith     ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d] Number of roots=%D, leaves=%D, remote ranks=%D\n",rank,sf->nroots,sf->nleaves,sf->nranks);CHKERRQ(ierr);
52595fce210SBarry Smith     for (i=0; i<sf->nleaves; i++) {
52695fce210SBarry Smith       ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d] %D <- (%D,%D)\n",rank,sf->mine ? sf->mine[i] : i,sf->remote[i].rank,sf->remote[i].index);CHKERRQ(ierr);
52795fce210SBarry Smith     }
52895fce210SBarry Smith     ierr = PetscViewerFlush(viewer);CHKERRQ(ierr);
52995fce210SBarry Smith     ierr = PetscViewerGetFormat(viewer,&format);CHKERRQ(ierr);
53095fce210SBarry Smith     if (format == PETSC_VIEWER_ASCII_INFO_DETAIL) {
53181bfa7aaSJed Brown       PetscMPIInt *tmpranks,*perm;
53281bfa7aaSJed Brown       ierr = PetscMalloc2(sf->nranks,&tmpranks,sf->nranks,&perm);CHKERRQ(ierr);
53381bfa7aaSJed Brown       ierr = PetscMemcpy(tmpranks,sf->ranks,sf->nranks*sizeof(tmpranks[0]));CHKERRQ(ierr);
53481bfa7aaSJed Brown       for (i=0; i<sf->nranks; i++) perm[i] = i;
53581bfa7aaSJed Brown       ierr = PetscSortMPIIntWithArray(sf->nranks,tmpranks,perm);CHKERRQ(ierr);
53695fce210SBarry Smith       ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d] Roots referenced by my leaves, by rank\n",rank);CHKERRQ(ierr);
53781bfa7aaSJed Brown       for (ii=0; ii<sf->nranks; ii++) {
53881bfa7aaSJed Brown         i = perm[ii];
5397904a332SBarry Smith         ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d] %d: %D edges\n",rank,sf->ranks[i],sf->roffset[i+1]-sf->roffset[i]);CHKERRQ(ierr);
54095fce210SBarry Smith         for (j=sf->roffset[i]; j<sf->roffset[i+1]; j++) {
54195fce210SBarry Smith           ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d]    %D <- %D\n",rank,sf->rmine[j],sf->rremote[j]);CHKERRQ(ierr);
54295fce210SBarry Smith         }
54395fce210SBarry Smith       }
54481bfa7aaSJed Brown       ierr = PetscFree2(tmpranks,perm);CHKERRQ(ierr);
54595fce210SBarry Smith     }
54695fce210SBarry Smith     ierr = PetscViewerFlush(viewer);CHKERRQ(ierr);
5471575c14dSBarry Smith     ierr = PetscViewerASCIIPopSynchronized(viewer);CHKERRQ(ierr);
54895fce210SBarry Smith     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
54995fce210SBarry Smith   }
55095fce210SBarry Smith   PetscFunctionReturn(0);
55195fce210SBarry Smith }
55295fce210SBarry Smith 
55395fce210SBarry Smith /*@C
55495fce210SBarry Smith    PetscSFGetRanks - Get ranks and number of vertices referenced by leaves on this process
55595fce210SBarry Smith 
55695fce210SBarry Smith    Not Collective
55795fce210SBarry Smith 
55895fce210SBarry Smith    Input Arguments:
55995fce210SBarry Smith .  sf - star forest
56095fce210SBarry Smith 
56195fce210SBarry Smith    Output Arguments:
56295fce210SBarry Smith +  nranks - number of ranks referenced by local part
56395fce210SBarry Smith .  ranks - array of ranks
56495fce210SBarry Smith .  roffset - offset in rmine/rremote for each rank (length nranks+1)
56595fce210SBarry Smith .  rmine - concatenated array holding local indices referencing each remote rank
56695fce210SBarry Smith -  rremote - concatenated array holding remote indices referenced for each remote rank
56795fce210SBarry Smith 
56895fce210SBarry Smith    Level: developer
56995fce210SBarry Smith 
57095fce210SBarry Smith .seealso: PetscSFSetGraph()
57195fce210SBarry Smith @*/
57295fce210SBarry Smith PetscErrorCode PetscSFGetRanks(PetscSF sf,PetscInt *nranks,const PetscMPIInt **ranks,const PetscInt **roffset,const PetscInt **rmine,const PetscInt **rremote)
57395fce210SBarry Smith {
57495fce210SBarry Smith 
57595fce210SBarry Smith   PetscFunctionBegin;
57695fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
577dcca2fcaSJed Brown   if (!sf->setupcalled) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Must call PetscSFSetUp before obtaining ranks");
57895fce210SBarry Smith   if (nranks)  *nranks  = sf->nranks;
57995fce210SBarry Smith   if (ranks)   *ranks   = sf->ranks;
58095fce210SBarry Smith   if (roffset) *roffset = sf->roffset;
58195fce210SBarry Smith   if (rmine)   *rmine   = sf->rmine;
58295fce210SBarry Smith   if (rremote) *rremote = sf->rremote;
58395fce210SBarry Smith   PetscFunctionReturn(0);
58495fce210SBarry Smith }
58595fce210SBarry Smith 
586b5a8e515SJed Brown static PetscBool InList(PetscMPIInt needle,PetscMPIInt n,const PetscMPIInt *list) {
587b5a8e515SJed Brown   PetscInt i;
588b5a8e515SJed Brown   for (i=0; i<n; i++) {
589b5a8e515SJed Brown     if (needle == list[i]) return PETSC_TRUE;
590b5a8e515SJed Brown   }
591b5a8e515SJed Brown   return PETSC_FALSE;
592b5a8e515SJed Brown }
593b5a8e515SJed Brown 
59495fce210SBarry Smith /*@C
59521c688dcSJed Brown    PetscSFSetUpRanks - Set up data structures associated with ranks; this is for internal use by PetscSF implementations.
59621c688dcSJed Brown 
59721c688dcSJed Brown    Collective
59821c688dcSJed Brown 
59921c688dcSJed Brown    Input Arguments:
600b5a8e515SJed Brown +  sf - PetscSF to set up; PetscSFSetGraph() must have been called
601b5a8e515SJed Brown -  dgroup - MPI_Group of ranks to be distinguished (e.g., for self or shared memory exchange)
60221c688dcSJed Brown 
60321c688dcSJed Brown    Level: developer
60421c688dcSJed Brown 
60521c688dcSJed Brown .seealso: PetscSFGetRanks()
60621c688dcSJed Brown @*/
607b5a8e515SJed Brown PetscErrorCode PetscSFSetUpRanks(PetscSF sf,MPI_Group dgroup)
60821c688dcSJed Brown {
60921c688dcSJed Brown   PetscErrorCode     ierr;
61021c688dcSJed Brown   PetscTable         table;
61121c688dcSJed Brown   PetscTablePosition pos;
612b5a8e515SJed Brown   PetscMPIInt        size,groupsize,*groupranks;
61321c688dcSJed Brown   PetscInt           i,*rcount,*ranks;
61421c688dcSJed Brown 
61521c688dcSJed Brown   PetscFunctionBegin;
61621c688dcSJed Brown   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
61721c688dcSJed Brown   if (!sf->graphset) SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_WRONGSTATE,"PetscSFSetGraph() has not been called yet");
61821c688dcSJed Brown   ierr = MPI_Comm_size(PetscObjectComm((PetscObject)sf),&size);CHKERRQ(ierr);
61921c688dcSJed Brown   ierr = PetscTableCreate(10,size,&table);CHKERRQ(ierr);
62021c688dcSJed Brown   for (i=0; i<sf->nleaves; i++) {
62121c688dcSJed Brown     /* Log 1-based rank */
62221c688dcSJed Brown     ierr = PetscTableAdd(table,sf->remote[i].rank+1,1,ADD_VALUES);CHKERRQ(ierr);
62321c688dcSJed Brown   }
62421c688dcSJed Brown   ierr = PetscTableGetCount(table,&sf->nranks);CHKERRQ(ierr);
62521c688dcSJed Brown   ierr = PetscMalloc4(sf->nranks,&sf->ranks,sf->nranks+1,&sf->roffset,sf->nleaves,&sf->rmine,sf->nleaves,&sf->rremote);CHKERRQ(ierr);
62621c688dcSJed Brown   ierr = PetscMalloc2(sf->nranks,&rcount,sf->nranks,&ranks);CHKERRQ(ierr);
62721c688dcSJed Brown   ierr = PetscTableGetHeadPosition(table,&pos);CHKERRQ(ierr);
62821c688dcSJed Brown   for (i=0; i<sf->nranks; i++) {
62921c688dcSJed Brown     ierr = PetscTableGetNext(table,&pos,&ranks[i],&rcount[i]);CHKERRQ(ierr);
63021c688dcSJed Brown     ranks[i]--;             /* Convert back to 0-based */
63121c688dcSJed Brown   }
63221c688dcSJed Brown   ierr = PetscTableDestroy(&table);CHKERRQ(ierr);
633b5a8e515SJed Brown 
634b5a8e515SJed Brown   /* We expect that dgroup is reliably "small" while nranks could be large */
635b5a8e515SJed Brown   {
6367fb8a5e4SKarl Rupp     MPI_Group group = MPI_GROUP_NULL;
637b5a8e515SJed Brown     PetscMPIInt *dgroupranks;
638b5a8e515SJed Brown     ierr = MPI_Comm_group(PetscObjectComm((PetscObject)sf),&group);CHKERRQ(ierr);
639b5a8e515SJed Brown     ierr = MPI_Group_size(dgroup,&groupsize);CHKERRQ(ierr);
640b5a8e515SJed Brown     ierr = PetscMalloc1(groupsize,&dgroupranks);CHKERRQ(ierr);
641b5a8e515SJed Brown     ierr = PetscMalloc1(groupsize,&groupranks);CHKERRQ(ierr);
642b5a8e515SJed Brown     for (i=0; i<groupsize; i++) dgroupranks[i] = i;
643f3fc9a17SJed Brown     if (groupsize) {ierr = MPI_Group_translate_ranks(dgroup,groupsize,dgroupranks,group,groupranks);CHKERRQ(ierr);}
644b5a8e515SJed Brown     ierr = MPI_Group_free(&group);CHKERRQ(ierr);
645b5a8e515SJed Brown     ierr = PetscFree(dgroupranks);CHKERRQ(ierr);
646b5a8e515SJed Brown   }
647b5a8e515SJed Brown 
648b5a8e515SJed Brown   /* Partition ranks[] into distinguished (first sf->ndranks) followed by non-distinguished */
649b5a8e515SJed Brown   for (sf->ndranks=0,i=sf->nranks; sf->ndranks<i; ) {
650b5a8e515SJed Brown     for (i--; sf->ndranks<i; i--) { /* Scan i backward looking for distinguished rank */
651b5a8e515SJed Brown       if (InList(ranks[i],groupsize,groupranks)) break;
652b5a8e515SJed Brown     }
653b5a8e515SJed Brown     for ( ; sf->ndranks<=i; sf->ndranks++) { /* Scan sf->ndranks forward looking for non-distinguished rank */
654b5a8e515SJed Brown       if (!InList(ranks[sf->ndranks],groupsize,groupranks)) break;
655b5a8e515SJed Brown     }
656b5a8e515SJed Brown     if (sf->ndranks < i) {                         /* Swap ranks[sf->ndranks] with ranks[i] */
657b5a8e515SJed Brown       PetscInt    tmprank,tmpcount;
658b5a8e515SJed Brown       tmprank = ranks[i];
659b5a8e515SJed Brown       tmpcount = rcount[i];
660b5a8e515SJed Brown       ranks[i] = ranks[sf->ndranks];
661b5a8e515SJed Brown       rcount[i] = rcount[sf->ndranks];
662b5a8e515SJed Brown       ranks[sf->ndranks] = tmprank;
663b5a8e515SJed Brown       rcount[sf->ndranks] = tmpcount;
664b5a8e515SJed Brown       sf->ndranks++;
665b5a8e515SJed Brown     }
666b5a8e515SJed Brown   }
667b5a8e515SJed Brown   ierr = PetscFree(groupranks);CHKERRQ(ierr);
668b5a8e515SJed Brown   ierr = PetscSortIntWithArray(sf->ndranks,ranks,rcount);CHKERRQ(ierr);
669b5a8e515SJed Brown   ierr = PetscSortIntWithArray(sf->nranks-sf->ndranks,ranks+sf->ndranks,rcount+sf->ndranks);CHKERRQ(ierr);
67021c688dcSJed Brown   sf->roffset[0] = 0;
67121c688dcSJed Brown   for (i=0; i<sf->nranks; i++) {
67221c688dcSJed Brown     ierr = PetscMPIIntCast(ranks[i],sf->ranks+i);CHKERRQ(ierr);
67321c688dcSJed Brown     sf->roffset[i+1] = sf->roffset[i] + rcount[i];
67421c688dcSJed Brown     rcount[i]        = 0;
67521c688dcSJed Brown   }
67621c688dcSJed Brown   for (i=0; i<sf->nleaves; i++) {
677b5a8e515SJed Brown     PetscInt irank;
67821c688dcSJed Brown     /* Search for index of iremote[i].rank in sf->ranks */
679b5a8e515SJed Brown     ierr = PetscFindMPIInt(sf->remote[i].rank,sf->ndranks,sf->ranks,&irank);CHKERRQ(ierr);
680b5a8e515SJed Brown     if (irank < 0) {
681b5a8e515SJed Brown       ierr = PetscFindMPIInt(sf->remote[i].rank,sf->nranks-sf->ndranks,sf->ranks+sf->ndranks,&irank);CHKERRQ(ierr);
682b5a8e515SJed Brown       if (irank >= 0) irank += sf->ndranks;
68321c688dcSJed Brown     }
684b5a8e515SJed Brown     if (irank < 0) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Could not find rank %D in array",sf->remote[i].rank);
68521c688dcSJed Brown     sf->rmine[sf->roffset[irank] + rcount[irank]]   = sf->mine ? sf->mine[i] : i;
68621c688dcSJed Brown     sf->rremote[sf->roffset[irank] + rcount[irank]] = sf->remote[i].index;
68721c688dcSJed Brown     rcount[irank]++;
68821c688dcSJed Brown   }
68921c688dcSJed Brown   ierr = PetscFree2(rcount,ranks);CHKERRQ(ierr);
69021c688dcSJed Brown   PetscFunctionReturn(0);
69121c688dcSJed Brown }
69221c688dcSJed Brown 
69321c688dcSJed Brown /*@C
69495fce210SBarry Smith    PetscSFGetGroups - gets incoming and outgoing process groups
69595fce210SBarry Smith 
69695fce210SBarry Smith    Collective
69795fce210SBarry Smith 
69895fce210SBarry Smith    Input Argument:
69995fce210SBarry Smith .  sf - star forest
70095fce210SBarry Smith 
70195fce210SBarry Smith    Output Arguments:
70295fce210SBarry Smith +  incoming - group of origin processes for incoming edges (leaves that reference my roots)
70395fce210SBarry Smith -  outgoing - group of destination processes for outgoing edges (roots that I reference)
70495fce210SBarry Smith 
70595fce210SBarry Smith    Level: developer
70695fce210SBarry Smith 
70795fce210SBarry Smith .seealso: PetscSFGetWindow(), PetscSFRestoreWindow()
70895fce210SBarry Smith @*/
70995fce210SBarry Smith PetscErrorCode PetscSFGetGroups(PetscSF sf,MPI_Group *incoming,MPI_Group *outgoing)
71095fce210SBarry Smith {
71195fce210SBarry Smith   PetscErrorCode ierr;
7127fb8a5e4SKarl Rupp   MPI_Group      group = MPI_GROUP_NULL;
71395fce210SBarry Smith 
71495fce210SBarry Smith   PetscFunctionBegin;
71595fce210SBarry Smith   if (sf->ingroup == MPI_GROUP_NULL) {
71695fce210SBarry Smith     PetscInt       i;
71795fce210SBarry Smith     const PetscInt *indegree;
71895fce210SBarry Smith     PetscMPIInt    rank,*outranks,*inranks;
71995fce210SBarry Smith     PetscSFNode    *remote;
72095fce210SBarry Smith     PetscSF        bgcount;
72195fce210SBarry Smith 
72295fce210SBarry Smith     /* Compute the number of incoming ranks */
723785e854fSJed Brown     ierr = PetscMalloc1(sf->nranks,&remote);CHKERRQ(ierr);
72495fce210SBarry Smith     for (i=0; i<sf->nranks; i++) {
72595fce210SBarry Smith       remote[i].rank  = sf->ranks[i];
72695fce210SBarry Smith       remote[i].index = 0;
72795fce210SBarry Smith     }
72895fce210SBarry Smith     ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_CONFONLY,&bgcount);CHKERRQ(ierr);
72995fce210SBarry Smith     ierr = PetscSFSetGraph(bgcount,1,sf->nranks,NULL,PETSC_COPY_VALUES,remote,PETSC_OWN_POINTER);CHKERRQ(ierr);
73095fce210SBarry Smith     ierr = PetscSFComputeDegreeBegin(bgcount,&indegree);CHKERRQ(ierr);
73195fce210SBarry Smith     ierr = PetscSFComputeDegreeEnd(bgcount,&indegree);CHKERRQ(ierr);
73295fce210SBarry Smith 
73395fce210SBarry Smith     /* Enumerate the incoming ranks */
734dcca6d9dSJed Brown     ierr = PetscMalloc2(indegree[0],&inranks,sf->nranks,&outranks);CHKERRQ(ierr);
73595fce210SBarry Smith     ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
73695fce210SBarry Smith     for (i=0; i<sf->nranks; i++) outranks[i] = rank;
73795fce210SBarry Smith     ierr = PetscSFGatherBegin(bgcount,MPI_INT,outranks,inranks);CHKERRQ(ierr);
73895fce210SBarry Smith     ierr = PetscSFGatherEnd(bgcount,MPI_INT,outranks,inranks);CHKERRQ(ierr);
73995fce210SBarry Smith     ierr = MPI_Comm_group(PetscObjectComm((PetscObject)sf),&group);CHKERRQ(ierr);
74095fce210SBarry Smith     ierr = MPI_Group_incl(group,indegree[0],inranks,&sf->ingroup);CHKERRQ(ierr);
74195fce210SBarry Smith     ierr = MPI_Group_free(&group);CHKERRQ(ierr);
74295fce210SBarry Smith     ierr = PetscFree2(inranks,outranks);CHKERRQ(ierr);
74395fce210SBarry Smith     ierr = PetscSFDestroy(&bgcount);CHKERRQ(ierr);
74495fce210SBarry Smith   }
74595fce210SBarry Smith   *incoming = sf->ingroup;
74695fce210SBarry Smith 
74795fce210SBarry Smith   if (sf->outgroup == MPI_GROUP_NULL) {
74895fce210SBarry Smith     ierr = MPI_Comm_group(PetscObjectComm((PetscObject)sf),&group);CHKERRQ(ierr);
74995fce210SBarry Smith     ierr = MPI_Group_incl(group,sf->nranks,sf->ranks,&sf->outgroup);CHKERRQ(ierr);
75095fce210SBarry Smith     ierr = MPI_Group_free(&group);CHKERRQ(ierr);
75195fce210SBarry Smith   }
75295fce210SBarry Smith   *outgoing = sf->outgroup;
75395fce210SBarry Smith   PetscFunctionReturn(0);
75495fce210SBarry Smith }
75595fce210SBarry Smith 
75695fce210SBarry Smith /*@C
75795fce210SBarry Smith    PetscSFGetMultiSF - gets the inner SF implemeting gathers and scatters
75895fce210SBarry Smith 
75995fce210SBarry Smith    Collective
76095fce210SBarry Smith 
76195fce210SBarry Smith    Input Argument:
76295fce210SBarry Smith .  sf - star forest that may contain roots with 0 or with more than 1 vertex
76395fce210SBarry Smith 
76495fce210SBarry Smith    Output Arguments:
76595fce210SBarry Smith .  multi - star forest with split roots, such that each root has degree exactly 1
76695fce210SBarry Smith 
76795fce210SBarry Smith    Level: developer
76895fce210SBarry Smith 
76995fce210SBarry Smith    Notes:
77095fce210SBarry Smith 
77195fce210SBarry Smith    In most cases, users should use PetscSFGatherBegin() and PetscSFScatterBegin() instead of manipulating multi
77295fce210SBarry Smith    directly. Since multi satisfies the stronger condition that each entry in the global space has exactly one incoming
77395fce210SBarry Smith    edge, it is a candidate for future optimization that might involve its removal.
77495fce210SBarry Smith 
77595fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFGatherBegin(), PetscSFScatterBegin()
77695fce210SBarry Smith @*/
77795fce210SBarry Smith PetscErrorCode PetscSFGetMultiSF(PetscSF sf,PetscSF *multi)
77895fce210SBarry Smith {
77995fce210SBarry Smith   PetscErrorCode ierr;
78095fce210SBarry Smith 
78195fce210SBarry Smith   PetscFunctionBegin;
78295fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
78395fce210SBarry Smith   PetscValidPointer(multi,2);
78495fce210SBarry Smith   if (sf->nroots < 0) {         /* Graph has not been set yet; why do we need this? */
78595fce210SBarry Smith     ierr   = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_RANKS,&sf->multi);CHKERRQ(ierr);
78695fce210SBarry Smith     *multi = sf->multi;
78795fce210SBarry Smith     PetscFunctionReturn(0);
78895fce210SBarry Smith   }
78995fce210SBarry Smith   if (!sf->multi) {
79095fce210SBarry Smith     const PetscInt *indegree;
7919837ea96SMatthew G. Knepley     PetscInt       i,*inoffset,*outones,*outoffset,maxlocal;
79295fce210SBarry Smith     PetscSFNode    *remote;
79395fce210SBarry Smith     ierr        = PetscSFComputeDegreeBegin(sf,&indegree);CHKERRQ(ierr);
79495fce210SBarry Smith     ierr        = PetscSFComputeDegreeEnd(sf,&indegree);CHKERRQ(ierr);
7959837ea96SMatthew G. Knepley     for (i=0,maxlocal=0; i<sf->nleaves; i++) maxlocal = PetscMax(maxlocal,(sf->mine ? sf->mine[i] : i)+1);
7969837ea96SMatthew G. Knepley     ierr        = PetscMalloc3(sf->nroots+1,&inoffset,maxlocal,&outones,maxlocal,&outoffset);CHKERRQ(ierr);
79795fce210SBarry Smith     inoffset[0] = 0;
79895fce210SBarry Smith     for (i=0; i<sf->nroots; i++) inoffset[i+1] = inoffset[i] + indegree[i];
7999837ea96SMatthew G. Knepley     for (i=0; i<maxlocal; i++) outones[i] = 1;
800dbd2ff41SBarry Smith     ierr = PetscSFFetchAndOpBegin(sf,MPIU_INT,inoffset,outones,outoffset,MPI_SUM);CHKERRQ(ierr);
801dbd2ff41SBarry Smith     ierr = PetscSFFetchAndOpEnd(sf,MPIU_INT,inoffset,outones,outoffset,MPI_SUM);CHKERRQ(ierr);
80295fce210SBarry Smith     for (i=0; i<sf->nroots; i++) inoffset[i] -= indegree[i]; /* Undo the increment */
80395fce210SBarry Smith #if 0
80495fce210SBarry Smith #if defined(PETSC_USE_DEBUG)                                 /* Check that the expected number of increments occurred */
80595fce210SBarry Smith     for (i=0; i<sf->nroots; i++) {
80695fce210SBarry Smith       if (inoffset[i] + indegree[i] != inoffset[i+1]) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Incorrect result after PetscSFFetchAndOp");
80795fce210SBarry Smith     }
80895fce210SBarry Smith #endif
80995fce210SBarry Smith #endif
810785e854fSJed Brown     ierr = PetscMalloc1(sf->nleaves,&remote);CHKERRQ(ierr);
81195fce210SBarry Smith     for (i=0; i<sf->nleaves; i++) {
81295fce210SBarry Smith       remote[i].rank  = sf->remote[i].rank;
81338e7336fSToby Isaac       remote[i].index = outoffset[sf->mine ? sf->mine[i] : i];
81495fce210SBarry Smith     }
81595fce210SBarry Smith     ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_RANKS,&sf->multi);CHKERRQ(ierr);
81601365b40SToby Isaac     ierr = PetscSFSetGraph(sf->multi,inoffset[sf->nroots],sf->nleaves,sf->mine,PETSC_COPY_VALUES,remote,PETSC_OWN_POINTER);CHKERRQ(ierr);
81795fce210SBarry Smith     if (sf->rankorder) {        /* Sort the ranks */
81895fce210SBarry Smith       PetscMPIInt rank;
81995fce210SBarry Smith       PetscInt    *inranks,*newoffset,*outranks,*newoutoffset,*tmpoffset,maxdegree;
82095fce210SBarry Smith       PetscSFNode *newremote;
82195fce210SBarry Smith       ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
82295fce210SBarry Smith       for (i=0,maxdegree=0; i<sf->nroots; i++) maxdegree = PetscMax(maxdegree,indegree[i]);
8239837ea96SMatthew G. Knepley       ierr = PetscMalloc5(sf->multi->nroots,&inranks,sf->multi->nroots,&newoffset,maxlocal,&outranks,maxlocal,&newoutoffset,maxdegree,&tmpoffset);CHKERRQ(ierr);
8249837ea96SMatthew G. Knepley       for (i=0; i<maxlocal; i++) outranks[i] = rank;
8258bfbc91cSJed Brown       ierr = PetscSFReduceBegin(sf->multi,MPIU_INT,outranks,inranks,MPIU_REPLACE);CHKERRQ(ierr);
8268bfbc91cSJed Brown       ierr = PetscSFReduceEnd(sf->multi,MPIU_INT,outranks,inranks,MPIU_REPLACE);CHKERRQ(ierr);
82795fce210SBarry Smith       /* Sort the incoming ranks at each vertex, build the inverse map */
82895fce210SBarry Smith       for (i=0; i<sf->nroots; i++) {
82995fce210SBarry Smith         PetscInt j;
83095fce210SBarry Smith         for (j=0; j<indegree[i]; j++) tmpoffset[j] = j;
83195fce210SBarry Smith         ierr = PetscSortIntWithArray(indegree[i],inranks+inoffset[i],tmpoffset);CHKERRQ(ierr);
83295fce210SBarry Smith         for (j=0; j<indegree[i]; j++) newoffset[inoffset[i] + tmpoffset[j]] = inoffset[i] + j;
83395fce210SBarry Smith       }
83495fce210SBarry Smith       ierr = PetscSFBcastBegin(sf->multi,MPIU_INT,newoffset,newoutoffset);CHKERRQ(ierr);
83595fce210SBarry Smith       ierr = PetscSFBcastEnd(sf->multi,MPIU_INT,newoffset,newoutoffset);CHKERRQ(ierr);
836785e854fSJed Brown       ierr = PetscMalloc1(sf->nleaves,&newremote);CHKERRQ(ierr);
83795fce210SBarry Smith       for (i=0; i<sf->nleaves; i++) {
83895fce210SBarry Smith         newremote[i].rank  = sf->remote[i].rank;
83901365b40SToby Isaac         newremote[i].index = newoutoffset[sf->mine ? sf->mine[i] : i];
84095fce210SBarry Smith       }
84101365b40SToby Isaac       ierr = PetscSFSetGraph(sf->multi,inoffset[sf->nroots],sf->nleaves,sf->mine,PETSC_COPY_VALUES,newremote,PETSC_OWN_POINTER);CHKERRQ(ierr);
84295fce210SBarry Smith       ierr = PetscFree5(inranks,newoffset,outranks,newoutoffset,tmpoffset);CHKERRQ(ierr);
84395fce210SBarry Smith     }
84495fce210SBarry Smith     ierr = PetscFree3(inoffset,outones,outoffset);CHKERRQ(ierr);
84595fce210SBarry Smith   }
84695fce210SBarry Smith   *multi = sf->multi;
84795fce210SBarry Smith   PetscFunctionReturn(0);
84895fce210SBarry Smith }
84995fce210SBarry Smith 
85095fce210SBarry Smith /*@C
85195fce210SBarry Smith    PetscSFCreateEmbeddedSF - removes edges from all but the selected roots, does not remap indices
85295fce210SBarry Smith 
85395fce210SBarry Smith    Collective
85495fce210SBarry Smith 
85595fce210SBarry Smith    Input Arguments:
85695fce210SBarry Smith +  sf - original star forest
85795fce210SBarry Smith .  nroots - number of roots to select on this process
85895fce210SBarry Smith -  selected - selected roots on this process
85995fce210SBarry Smith 
86095fce210SBarry Smith    Output Arguments:
86195fce210SBarry Smith .  newsf - new star forest
86295fce210SBarry Smith 
86395fce210SBarry Smith    Level: advanced
86495fce210SBarry Smith 
86595fce210SBarry Smith    Note:
86695fce210SBarry Smith    To use the new PetscSF, it may be necessary to know the indices of the leaves that are still participating. This can
86795fce210SBarry Smith    be done by calling PetscSFGetGraph().
86895fce210SBarry Smith 
86995fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFGetGraph()
87095fce210SBarry Smith @*/
87195fce210SBarry Smith PetscErrorCode PetscSFCreateEmbeddedSF(PetscSF sf,PetscInt nroots,const PetscInt *selected,PetscSF *newsf)
87295fce210SBarry Smith {
8730511a646SMatthew G. Knepley   PetscInt      *rootdata, *leafdata, *ilocal;
87495fce210SBarry Smith   PetscSFNode   *iremote;
875fc1ede2bSMatthew G. Knepley   PetscInt       leafsize = 0, nleaves = 0, n, i;
8760511a646SMatthew G. Knepley   PetscErrorCode ierr;
87795fce210SBarry Smith 
87895fce210SBarry Smith   PetscFunctionBegin;
87995fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
88095fce210SBarry Smith   if (nroots) PetscValidPointer(selected,3);
88195fce210SBarry Smith   PetscValidPointer(newsf,4);
8820511a646SMatthew G. Knepley   if (sf->mine) for (i = 0; i < sf->nleaves; ++i) {leafsize = PetscMax(leafsize, sf->mine[i]+1);}
8830511a646SMatthew G. Knepley   else leafsize = sf->nleaves;
8841795a4d1SJed Brown   ierr = PetscCalloc2(sf->nroots,&rootdata,leafsize,&leafdata);CHKERRQ(ierr);
8850511a646SMatthew G. Knepley   for (i=0; i<nroots; ++i) rootdata[selected[i]] = 1;
88695fce210SBarry Smith   ierr = PetscSFBcastBegin(sf,MPIU_INT,rootdata,leafdata);CHKERRQ(ierr);
88795fce210SBarry Smith   ierr = PetscSFBcastEnd(sf,MPIU_INT,rootdata,leafdata);CHKERRQ(ierr);
88895fce210SBarry Smith 
8890511a646SMatthew G. Knepley   for (i = 0; i < leafsize; ++i) nleaves += leafdata[i];
890785e854fSJed Brown   ierr = PetscMalloc1(nleaves,&ilocal);CHKERRQ(ierr);
891785e854fSJed Brown   ierr = PetscMalloc1(nleaves,&iremote);CHKERRQ(ierr);
892fc1ede2bSMatthew G. Knepley   for (i = 0, n = 0; i < sf->nleaves; ++i) {
8930511a646SMatthew G. Knepley     const PetscInt lidx = sf->mine ? sf->mine[i] : i;
8940511a646SMatthew G. Knepley 
8950511a646SMatthew G. Knepley     if (leafdata[lidx]) {
896fc1ede2bSMatthew G. Knepley       ilocal[n]        = lidx;
897fc1ede2bSMatthew G. Knepley       iremote[n].rank  = sf->remote[i].rank;
898fc1ede2bSMatthew G. Knepley       iremote[n].index = sf->remote[i].index;
899fc1ede2bSMatthew G. Knepley       ++n;
90095fce210SBarry Smith     }
90195fce210SBarry Smith   }
902fc1ede2bSMatthew G. Knepley   if (n != nleaves) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "There is a size mismatch in the SF embedding, %d != %d", n, nleaves);
90395fce210SBarry Smith   ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_RANKS,newsf);CHKERRQ(ierr);
90495fce210SBarry Smith   ierr = PetscSFSetGraph(*newsf,sf->nroots,nleaves,ilocal,PETSC_OWN_POINTER,iremote,PETSC_OWN_POINTER);CHKERRQ(ierr);
90595fce210SBarry Smith   ierr = PetscFree2(rootdata,leafdata);CHKERRQ(ierr);
90695fce210SBarry Smith   PetscFunctionReturn(0);
90795fce210SBarry Smith }
90895fce210SBarry Smith 
9092f5fb4c2SMatthew G. Knepley /*@C
9102f5fb4c2SMatthew G. Knepley   PetscSFCreateEmbeddedLeafSF - removes edges from all but the selected leaves, does not remap indices
9112f5fb4c2SMatthew G. Knepley 
9122f5fb4c2SMatthew G. Knepley   Collective
9132f5fb4c2SMatthew G. Knepley 
9142f5fb4c2SMatthew G. Knepley   Input Arguments:
9152f5fb4c2SMatthew G. Knepley + sf - original star forest
9162f5fb4c2SMatthew G. Knepley . nleaves - number of leaves to select on this process
9172f5fb4c2SMatthew G. Knepley - selected - selected leaves on this process
9182f5fb4c2SMatthew G. Knepley 
9192f5fb4c2SMatthew G. Knepley   Output Arguments:
9202f5fb4c2SMatthew G. Knepley .  newsf - new star forest
9212f5fb4c2SMatthew G. Knepley 
9222f5fb4c2SMatthew G. Knepley   Level: advanced
9232f5fb4c2SMatthew G. Knepley 
9242f5fb4c2SMatthew G. Knepley .seealso: PetscSFCreateEmbeddedSF(), PetscSFSetGraph(), PetscSFGetGraph()
9252f5fb4c2SMatthew G. Knepley @*/
9262f5fb4c2SMatthew G. Knepley PetscErrorCode PetscSFCreateEmbeddedLeafSF(PetscSF sf, PetscInt nleaves, const PetscInt *selected, PetscSF *newsf)
9272f5fb4c2SMatthew G. Knepley {
9282f5fb4c2SMatthew G. Knepley   PetscSFNode   *iremote;
9292f5fb4c2SMatthew G. Knepley   PetscInt      *ilocal;
9302f5fb4c2SMatthew G. Knepley   PetscInt       i;
9312f5fb4c2SMatthew G. Knepley   PetscErrorCode ierr;
9322f5fb4c2SMatthew G. Knepley 
9332f5fb4c2SMatthew G. Knepley   PetscFunctionBegin;
9342f5fb4c2SMatthew G. Knepley   PetscValidHeaderSpecific(sf, PETSCSF_CLASSID, 1);
9352f5fb4c2SMatthew G. Knepley   if (nleaves) PetscValidPointer(selected, 3);
9362f5fb4c2SMatthew G. Knepley   PetscValidPointer(newsf, 4);
9372f5fb4c2SMatthew G. Knepley   ierr = PetscMalloc1(nleaves, &ilocal);CHKERRQ(ierr);
9382f5fb4c2SMatthew G. Knepley   ierr = PetscMalloc1(nleaves, &iremote);CHKERRQ(ierr);
9392f5fb4c2SMatthew G. Knepley   for (i = 0; i < nleaves; ++i) {
9402f5fb4c2SMatthew G. Knepley     const PetscInt l = selected[i];
9412f5fb4c2SMatthew G. Knepley 
9422f5fb4c2SMatthew G. Knepley     ilocal[i]        = sf->mine ? sf->mine[l] : l;
9432f5fb4c2SMatthew G. Knepley     iremote[i].rank  = sf->remote[l].rank;
9442f5fb4c2SMatthew G. Knepley     iremote[i].index = sf->remote[l].index;
9452f5fb4c2SMatthew G. Knepley   }
9462f5fb4c2SMatthew G. Knepley   ierr = PetscSFDuplicate(sf, PETSCSF_DUPLICATE_RANKS, newsf);CHKERRQ(ierr);
9472f5fb4c2SMatthew G. Knepley   ierr = PetscSFSetGraph(*newsf, sf->nroots, nleaves, ilocal, PETSC_OWN_POINTER, iremote, PETSC_OWN_POINTER);CHKERRQ(ierr);
9482f5fb4c2SMatthew G. Knepley   PetscFunctionReturn(0);
9492f5fb4c2SMatthew G. Knepley }
9502f5fb4c2SMatthew G. Knepley 
95195fce210SBarry Smith /*@C
95295fce210SBarry Smith    PetscSFBcastBegin - begin pointwise broadcast to be concluded with call to PetscSFBcastEnd()
95395fce210SBarry Smith 
95495fce210SBarry Smith    Collective on PetscSF
95595fce210SBarry Smith 
95695fce210SBarry Smith    Input Arguments:
95795fce210SBarry Smith +  sf - star forest on which to communicate
95895fce210SBarry Smith .  unit - data type associated with each node
95995fce210SBarry Smith -  rootdata - buffer to broadcast
96095fce210SBarry Smith 
96195fce210SBarry Smith    Output Arguments:
96295fce210SBarry Smith .  leafdata - buffer to update with values from each leaf's respective root
96395fce210SBarry Smith 
96495fce210SBarry Smith    Level: intermediate
96595fce210SBarry Smith 
96695fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFSetGraph(), PetscSFView(), PetscSFBcastEnd(), PetscSFReduceBegin()
96795fce210SBarry Smith @*/
96895fce210SBarry Smith PetscErrorCode PetscSFBcastBegin(PetscSF sf,MPI_Datatype unit,const void *rootdata,void *leafdata)
96995fce210SBarry Smith {
97095fce210SBarry Smith   PetscErrorCode ierr;
97195fce210SBarry Smith 
97295fce210SBarry Smith   PetscFunctionBegin;
97395fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
97495fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
975563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_BcastBegin,sf,0,0,0);CHKERRQ(ierr);
97695fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
97795fce210SBarry Smith   ierr = (*sf->ops->BcastBegin)(sf,unit,rootdata,leafdata);CHKERRQ(ierr);
978563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_BcastBegin,sf,0,0,0);CHKERRQ(ierr);
97995fce210SBarry Smith   PetscFunctionReturn(0);
98095fce210SBarry Smith }
98195fce210SBarry Smith 
98295fce210SBarry Smith /*@C
98395fce210SBarry Smith    PetscSFBcastEnd - end a broadcast operation started with PetscSFBcastBegin()
98495fce210SBarry Smith 
98595fce210SBarry Smith    Collective
98695fce210SBarry Smith 
98795fce210SBarry Smith    Input Arguments:
98895fce210SBarry Smith +  sf - star forest
98995fce210SBarry Smith .  unit - data type
99095fce210SBarry Smith -  rootdata - buffer to broadcast
99195fce210SBarry Smith 
99295fce210SBarry Smith    Output Arguments:
99395fce210SBarry Smith .  leafdata - buffer to update with values from each leaf's respective root
99495fce210SBarry Smith 
99595fce210SBarry Smith    Level: intermediate
99695fce210SBarry Smith 
99795fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFReduceEnd()
99895fce210SBarry Smith @*/
99995fce210SBarry Smith PetscErrorCode PetscSFBcastEnd(PetscSF sf,MPI_Datatype unit,const void *rootdata,void *leafdata)
100095fce210SBarry Smith {
100195fce210SBarry Smith   PetscErrorCode ierr;
100295fce210SBarry Smith 
100395fce210SBarry Smith   PetscFunctionBegin;
100495fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
100595fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1006563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_BcastEnd,sf,0,0,0);CHKERRQ(ierr);
100795fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
100895fce210SBarry Smith   ierr = (*sf->ops->BcastEnd)(sf,unit,rootdata,leafdata);CHKERRQ(ierr);
1009563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_BcastEnd,sf,0,0,0);CHKERRQ(ierr);
101095fce210SBarry Smith   PetscFunctionReturn(0);
101195fce210SBarry Smith }
101295fce210SBarry Smith 
101395fce210SBarry Smith /*@C
101495fce210SBarry Smith    PetscSFReduceBegin - begin reduction of leafdata into rootdata, to be completed with call to PetscSFReduceEnd()
101595fce210SBarry Smith 
101695fce210SBarry Smith    Collective
101795fce210SBarry Smith 
101895fce210SBarry Smith    Input Arguments:
101995fce210SBarry Smith +  sf - star forest
102095fce210SBarry Smith .  unit - data type
102195fce210SBarry Smith .  leafdata - values to reduce
102295fce210SBarry Smith -  op - reduction operation
102395fce210SBarry Smith 
102495fce210SBarry Smith    Output Arguments:
102595fce210SBarry Smith .  rootdata - result of reduction of values from all leaves of each root
102695fce210SBarry Smith 
102795fce210SBarry Smith    Level: intermediate
102895fce210SBarry Smith 
102995fce210SBarry Smith .seealso: PetscSFBcastBegin()
103095fce210SBarry Smith @*/
103195fce210SBarry Smith PetscErrorCode PetscSFReduceBegin(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *rootdata,MPI_Op op)
103295fce210SBarry Smith {
103395fce210SBarry Smith   PetscErrorCode ierr;
103495fce210SBarry Smith 
103595fce210SBarry Smith   PetscFunctionBegin;
103695fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
103795fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1038563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_ReduceBegin,sf,0,0,0);CHKERRQ(ierr);
103995fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
104095fce210SBarry Smith   ierr = (sf->ops->ReduceBegin)(sf,unit,leafdata,rootdata,op);CHKERRQ(ierr);
1041563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_ReduceBegin,sf,0,0,0);CHKERRQ(ierr);
104295fce210SBarry Smith   PetscFunctionReturn(0);
104395fce210SBarry Smith }
104495fce210SBarry Smith 
104595fce210SBarry Smith /*@C
104695fce210SBarry Smith    PetscSFReduceEnd - end a reduction operation started with PetscSFReduceBegin()
104795fce210SBarry Smith 
104895fce210SBarry Smith    Collective
104995fce210SBarry Smith 
105095fce210SBarry Smith    Input Arguments:
105195fce210SBarry Smith +  sf - star forest
105295fce210SBarry Smith .  unit - data type
105395fce210SBarry Smith .  leafdata - values to reduce
105495fce210SBarry Smith -  op - reduction operation
105595fce210SBarry Smith 
105695fce210SBarry Smith    Output Arguments:
105795fce210SBarry Smith .  rootdata - result of reduction of values from all leaves of each root
105895fce210SBarry Smith 
105995fce210SBarry Smith    Level: intermediate
106095fce210SBarry Smith 
106195fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFBcastEnd()
106295fce210SBarry Smith @*/
106395fce210SBarry Smith PetscErrorCode PetscSFReduceEnd(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *rootdata,MPI_Op op)
106495fce210SBarry Smith {
106595fce210SBarry Smith   PetscErrorCode ierr;
106695fce210SBarry Smith 
106795fce210SBarry Smith   PetscFunctionBegin;
106895fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
106995fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1070563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_ReduceEnd,sf,0,0,0);CHKERRQ(ierr);
107195fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
107295fce210SBarry Smith   ierr = (*sf->ops->ReduceEnd)(sf,unit,leafdata,rootdata,op);CHKERRQ(ierr);
1073563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_ReduceEnd,sf,0,0,0);CHKERRQ(ierr);
107495fce210SBarry Smith   PetscFunctionReturn(0);
107595fce210SBarry Smith }
107695fce210SBarry Smith 
107795fce210SBarry Smith /*@C
107895fce210SBarry Smith    PetscSFComputeDegreeBegin - begin computation of degree for each root vertex, to be completed with PetscSFComputeDegreeEnd()
107995fce210SBarry Smith 
108095fce210SBarry Smith    Collective
108195fce210SBarry Smith 
108295fce210SBarry Smith    Input Arguments:
108395fce210SBarry Smith .  sf - star forest
108495fce210SBarry Smith 
108595fce210SBarry Smith    Output Arguments:
108695fce210SBarry Smith .  degree - degree of each root vertex
108795fce210SBarry Smith 
108895fce210SBarry Smith    Level: advanced
108995fce210SBarry Smith 
109095fce210SBarry Smith .seealso: PetscSFGatherBegin()
109195fce210SBarry Smith @*/
109295fce210SBarry Smith PetscErrorCode PetscSFComputeDegreeBegin(PetscSF sf,const PetscInt **degree)
109395fce210SBarry Smith {
109495fce210SBarry Smith   PetscErrorCode ierr;
109595fce210SBarry Smith 
109695fce210SBarry Smith   PetscFunctionBegin;
109795fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
109895fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
109995fce210SBarry Smith   PetscValidPointer(degree,2);
1100803bd9e8SMatthew G. Knepley   if (!sf->degreeknown) {
11019837ea96SMatthew G. Knepley     PetscInt i,maxlocal;
1102803bd9e8SMatthew G. Knepley     if (sf->degree) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Calls to PetscSFComputeDegreeBegin() cannot be nested.");
11039837ea96SMatthew G. Knepley     for (i=0,maxlocal=0; i<sf->nleaves; i++) maxlocal = PetscMax(maxlocal,(sf->mine ? sf->mine[i] : i)+1);
1104785e854fSJed Brown     ierr = PetscMalloc1(sf->nroots,&sf->degree);CHKERRQ(ierr);
11059837ea96SMatthew G. Knepley     ierr = PetscMalloc1(maxlocal,&sf->degreetmp);CHKERRQ(ierr);
110695fce210SBarry Smith     for (i=0; i<sf->nroots; i++) sf->degree[i] = 0;
11079837ea96SMatthew G. Knepley     for (i=0; i<maxlocal; i++) sf->degreetmp[i] = 1;
1108dbd2ff41SBarry Smith     ierr = PetscSFReduceBegin(sf,MPIU_INT,sf->degreetmp,sf->degree,MPI_SUM);CHKERRQ(ierr);
110995fce210SBarry Smith   }
111095fce210SBarry Smith   *degree = NULL;
111195fce210SBarry Smith   PetscFunctionReturn(0);
111295fce210SBarry Smith }
111395fce210SBarry Smith 
111495fce210SBarry Smith /*@C
111595fce210SBarry Smith    PetscSFComputeDegreeEnd - complete computation of degree for each root vertex, started with PetscSFComputeDegreeBegin()
111695fce210SBarry Smith 
111795fce210SBarry Smith    Collective
111895fce210SBarry Smith 
111995fce210SBarry Smith    Input Arguments:
112095fce210SBarry Smith .  sf - star forest
112195fce210SBarry Smith 
112295fce210SBarry Smith    Output Arguments:
112395fce210SBarry Smith .  degree - degree of each root vertex
112495fce210SBarry Smith 
112595fce210SBarry Smith    Level: developer
112695fce210SBarry Smith 
112795fce210SBarry Smith .seealso:
112895fce210SBarry Smith @*/
112995fce210SBarry Smith PetscErrorCode PetscSFComputeDegreeEnd(PetscSF sf,const PetscInt **degree)
113095fce210SBarry Smith {
113195fce210SBarry Smith   PetscErrorCode ierr;
113295fce210SBarry Smith 
113395fce210SBarry Smith   PetscFunctionBegin;
113495fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
113595fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
113695fce210SBarry Smith   if (!sf->degreeknown) {
1137dbd2ff41SBarry Smith     ierr = PetscSFReduceEnd(sf,MPIU_INT,sf->degreetmp,sf->degree,MPI_SUM);CHKERRQ(ierr);
113895fce210SBarry Smith     ierr = PetscFree(sf->degreetmp);CHKERRQ(ierr);
113995fce210SBarry Smith 
114095fce210SBarry Smith     sf->degreeknown = PETSC_TRUE;
114195fce210SBarry Smith   }
114295fce210SBarry Smith   *degree = sf->degree;
114395fce210SBarry Smith   PetscFunctionReturn(0);
114495fce210SBarry Smith }
114595fce210SBarry Smith 
114695fce210SBarry Smith /*@C
114795fce210SBarry Smith    PetscSFFetchAndOpBegin - begin operation that fetches values from root and updates atomically by applying operation using my leaf value, to be completed with PetscSFFetchAndOpEnd()
114895fce210SBarry Smith 
114995fce210SBarry Smith    Collective
115095fce210SBarry Smith 
115195fce210SBarry Smith    Input Arguments:
115295fce210SBarry Smith +  sf - star forest
115395fce210SBarry Smith .  unit - data type
115495fce210SBarry Smith .  leafdata - leaf values to use in reduction
115595fce210SBarry Smith -  op - operation to use for reduction
115695fce210SBarry Smith 
115795fce210SBarry Smith    Output Arguments:
115895fce210SBarry Smith +  rootdata - root values to be updated, input state is seen by first process to perform an update
115995fce210SBarry Smith -  leafupdate - state at each leaf's respective root immediately prior to my atomic update
116095fce210SBarry Smith 
116195fce210SBarry Smith    Level: advanced
116295fce210SBarry Smith 
116395fce210SBarry Smith    Note:
116495fce210SBarry Smith    The update is only atomic at the granularity provided by the hardware. Different roots referenced by the same process
116595fce210SBarry Smith    might be updated in a different order. Furthermore, if a composite type is used for the unit datatype, atomicity is
116695fce210SBarry Smith    not guaranteed across the whole vertex. Therefore, this function is mostly only used with primitive types such as
116795fce210SBarry Smith    integers.
116895fce210SBarry Smith 
116995fce210SBarry Smith .seealso: PetscSFComputeDegreeBegin(), PetscSFReduceBegin(), PetscSFSetGraph()
117095fce210SBarry Smith @*/
117195fce210SBarry Smith PetscErrorCode PetscSFFetchAndOpBegin(PetscSF sf,MPI_Datatype unit,void *rootdata,const void *leafdata,void *leafupdate,MPI_Op op)
117295fce210SBarry Smith {
117395fce210SBarry Smith   PetscErrorCode ierr;
117495fce210SBarry Smith 
117595fce210SBarry Smith   PetscFunctionBegin;
117695fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
117795fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1178563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_FetchAndOpBegin,sf,0,0,0);CHKERRQ(ierr);
117995fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
118095fce210SBarry Smith   ierr = (*sf->ops->FetchAndOpBegin)(sf,unit,rootdata,leafdata,leafupdate,op);CHKERRQ(ierr);
1181563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_FetchAndOpBegin,sf,0,0,0);CHKERRQ(ierr);
118295fce210SBarry Smith   PetscFunctionReturn(0);
118395fce210SBarry Smith }
118495fce210SBarry Smith 
118595fce210SBarry Smith /*@C
118695fce210SBarry Smith    PetscSFFetchAndOpEnd - end operation started in matching call to PetscSFFetchAndOpBegin() to fetch values from roots and update atomically by applying operation using my leaf value
118795fce210SBarry Smith 
118895fce210SBarry Smith    Collective
118995fce210SBarry Smith 
119095fce210SBarry Smith    Input Arguments:
119195fce210SBarry Smith +  sf - star forest
119295fce210SBarry Smith .  unit - data type
119395fce210SBarry Smith .  leafdata - leaf values to use in reduction
119495fce210SBarry Smith -  op - operation to use for reduction
119595fce210SBarry Smith 
119695fce210SBarry Smith    Output Arguments:
119795fce210SBarry Smith +  rootdata - root values to be updated, input state is seen by first process to perform an update
119895fce210SBarry Smith -  leafupdate - state at each leaf's respective root immediately prior to my atomic update
119995fce210SBarry Smith 
120095fce210SBarry Smith    Level: advanced
120195fce210SBarry Smith 
120295fce210SBarry Smith .seealso: PetscSFComputeDegreeEnd(), PetscSFReduceEnd(), PetscSFSetGraph()
120395fce210SBarry Smith @*/
120495fce210SBarry Smith PetscErrorCode PetscSFFetchAndOpEnd(PetscSF sf,MPI_Datatype unit,void *rootdata,const void *leafdata,void *leafupdate,MPI_Op op)
120595fce210SBarry Smith {
120695fce210SBarry Smith   PetscErrorCode ierr;
120795fce210SBarry Smith 
120895fce210SBarry Smith   PetscFunctionBegin;
120995fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
121095fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1211563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_FetchAndOpEnd,sf,0,0,0);CHKERRQ(ierr);
121295fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
121395fce210SBarry Smith   ierr = (*sf->ops->FetchAndOpEnd)(sf,unit,rootdata,leafdata,leafupdate,op);CHKERRQ(ierr);
1214563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_FetchAndOpEnd,sf,0,0,0);CHKERRQ(ierr);
121595fce210SBarry Smith   PetscFunctionReturn(0);
121695fce210SBarry Smith }
121795fce210SBarry Smith 
121895fce210SBarry Smith /*@C
121995fce210SBarry Smith    PetscSFGatherBegin - begin pointwise gather of all leaves into multi-roots, to be completed with PetscSFGatherEnd()
122095fce210SBarry Smith 
122195fce210SBarry Smith    Collective
122295fce210SBarry Smith 
122395fce210SBarry Smith    Input Arguments:
122495fce210SBarry Smith +  sf - star forest
122595fce210SBarry Smith .  unit - data type
122695fce210SBarry Smith -  leafdata - leaf data to gather to roots
122795fce210SBarry Smith 
122895fce210SBarry Smith    Output Argument:
122995fce210SBarry Smith .  multirootdata - root buffer to gather into, amount of space per root is equal to its degree
123095fce210SBarry Smith 
123195fce210SBarry Smith    Level: intermediate
123295fce210SBarry Smith 
123395fce210SBarry Smith .seealso: PetscSFComputeDegreeBegin(), PetscSFScatterBegin()
123495fce210SBarry Smith @*/
123595fce210SBarry Smith PetscErrorCode PetscSFGatherBegin(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *multirootdata)
123695fce210SBarry Smith {
123795fce210SBarry Smith   PetscErrorCode ierr;
123895fce210SBarry Smith   PetscSF        multi;
123995fce210SBarry Smith 
124095fce210SBarry Smith   PetscFunctionBegin;
124195fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
124295fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
12438bfbc91cSJed Brown   ierr = PetscSFReduceBegin(multi,unit,leafdata,multirootdata,MPIU_REPLACE);CHKERRQ(ierr);
124495fce210SBarry Smith   PetscFunctionReturn(0);
124595fce210SBarry Smith }
124695fce210SBarry Smith 
124795fce210SBarry Smith /*@C
124895fce210SBarry Smith    PetscSFGatherEnd - ends pointwise gather operation that was started with PetscSFGatherBegin()
124995fce210SBarry Smith 
125095fce210SBarry Smith    Collective
125195fce210SBarry Smith 
125295fce210SBarry Smith    Input Arguments:
125395fce210SBarry Smith +  sf - star forest
125495fce210SBarry Smith .  unit - data type
125595fce210SBarry Smith -  leafdata - leaf data to gather to roots
125695fce210SBarry Smith 
125795fce210SBarry Smith    Output Argument:
125895fce210SBarry Smith .  multirootdata - root buffer to gather into, amount of space per root is equal to its degree
125995fce210SBarry Smith 
126095fce210SBarry Smith    Level: intermediate
126195fce210SBarry Smith 
126295fce210SBarry Smith .seealso: PetscSFComputeDegreeEnd(), PetscSFScatterEnd()
126395fce210SBarry Smith @*/
126495fce210SBarry Smith PetscErrorCode PetscSFGatherEnd(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *multirootdata)
126595fce210SBarry Smith {
126695fce210SBarry Smith   PetscErrorCode ierr;
126795fce210SBarry Smith   PetscSF        multi;
126895fce210SBarry Smith 
126995fce210SBarry Smith   PetscFunctionBegin;
127095fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
127195fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
127295fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
127395fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
12748bfbc91cSJed Brown   ierr = PetscSFReduceEnd(multi,unit,leafdata,multirootdata,MPIU_REPLACE);CHKERRQ(ierr);
127595fce210SBarry Smith   PetscFunctionReturn(0);
127695fce210SBarry Smith }
127795fce210SBarry Smith 
127895fce210SBarry Smith /*@C
127995fce210SBarry Smith    PetscSFScatterBegin - begin pointwise scatter operation from multi-roots to leaves, to be completed with PetscSFScatterEnd()
128095fce210SBarry Smith 
128195fce210SBarry Smith    Collective
128295fce210SBarry Smith 
128395fce210SBarry Smith    Input Arguments:
128495fce210SBarry Smith +  sf - star forest
128595fce210SBarry Smith .  unit - data type
128695fce210SBarry Smith -  multirootdata - root buffer to send to each leaf, one unit of data per leaf
128795fce210SBarry Smith 
128895fce210SBarry Smith    Output Argument:
128995fce210SBarry Smith .  leafdata - leaf data to be update with personal data from each respective root
129095fce210SBarry Smith 
129195fce210SBarry Smith    Level: intermediate
129295fce210SBarry Smith 
129395fce210SBarry Smith .seealso: PetscSFComputeDegreeBegin(), PetscSFScatterBegin()
129495fce210SBarry Smith @*/
129595fce210SBarry Smith PetscErrorCode PetscSFScatterBegin(PetscSF sf,MPI_Datatype unit,const void *multirootdata,void *leafdata)
129695fce210SBarry Smith {
129795fce210SBarry Smith   PetscErrorCode ierr;
129895fce210SBarry Smith   PetscSF        multi;
129995fce210SBarry Smith 
130095fce210SBarry Smith   PetscFunctionBegin;
130195fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
130295fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
130395fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
130495fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
130595fce210SBarry Smith   ierr = PetscSFBcastBegin(multi,unit,multirootdata,leafdata);CHKERRQ(ierr);
130695fce210SBarry Smith   PetscFunctionReturn(0);
130795fce210SBarry Smith }
130895fce210SBarry Smith 
130995fce210SBarry Smith /*@C
131095fce210SBarry Smith    PetscSFScatterEnd - ends pointwise scatter operation that was started with PetscSFScatterBegin()
131195fce210SBarry Smith 
131295fce210SBarry Smith    Collective
131395fce210SBarry Smith 
131495fce210SBarry Smith    Input Arguments:
131595fce210SBarry Smith +  sf - star forest
131695fce210SBarry Smith .  unit - data type
131795fce210SBarry Smith -  multirootdata - root buffer to send to each leaf, one unit of data per leaf
131895fce210SBarry Smith 
131995fce210SBarry Smith    Output Argument:
132095fce210SBarry Smith .  leafdata - leaf data to be update with personal data from each respective root
132195fce210SBarry Smith 
132295fce210SBarry Smith    Level: intermediate
132395fce210SBarry Smith 
132495fce210SBarry Smith .seealso: PetscSFComputeDegreeEnd(), PetscSFScatterEnd()
132595fce210SBarry Smith @*/
132695fce210SBarry Smith PetscErrorCode PetscSFScatterEnd(PetscSF sf,MPI_Datatype unit,const void *multirootdata,void *leafdata)
132795fce210SBarry Smith {
132895fce210SBarry Smith   PetscErrorCode ierr;
132995fce210SBarry Smith   PetscSF        multi;
133095fce210SBarry Smith 
133195fce210SBarry Smith   PetscFunctionBegin;
133295fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
133395fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
133495fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
133595fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
133695fce210SBarry Smith   ierr = PetscSFBcastEnd(multi,unit,multirootdata,leafdata);CHKERRQ(ierr);
133795fce210SBarry Smith   PetscFunctionReturn(0);
133895fce210SBarry Smith }
1339a7b3aa13SAta Mesgarnejad 
1340a7b3aa13SAta Mesgarnejad /*@
1341a7b3aa13SAta Mesgarnejad   PetscSFCompose - Compose a new PetscSF equivalent to action to PetscSFs
1342a7b3aa13SAta Mesgarnejad 
1343a7b3aa13SAta Mesgarnejad   Input Parameters:
1344a7b3aa13SAta Mesgarnejad + sfA - The first PetscSF
1345a7b3aa13SAta Mesgarnejad - sfB - The second PetscSF
1346a7b3aa13SAta Mesgarnejad 
1347a7b3aa13SAta Mesgarnejad   Output Parameters:
1348a7b3aa13SAta Mesgarnejad . sfBA - equvalent PetscSF for applying A then B
1349a7b3aa13SAta Mesgarnejad 
1350a7b3aa13SAta Mesgarnejad   Level: developer
1351a7b3aa13SAta Mesgarnejad 
1352a7b3aa13SAta Mesgarnejad .seealso: PetscSF, PetscSFGetGraph(), PetscSFSetGraph()
1353a7b3aa13SAta Mesgarnejad @*/
1354a7b3aa13SAta Mesgarnejad PetscErrorCode PetscSFCompose(PetscSF sfA, PetscSF sfB, PetscSF *sfBA)
1355a7b3aa13SAta Mesgarnejad {
1356a7b3aa13SAta Mesgarnejad   MPI_Comm           comm;
1357a7b3aa13SAta Mesgarnejad   const PetscSFNode *remotePointsA, *remotePointsB;
1358a7b3aa13SAta Mesgarnejad   PetscSFNode       *remotePointsBA;
1359a7b3aa13SAta Mesgarnejad   const PetscInt    *localPointsA, *localPointsB;
1360a7b3aa13SAta Mesgarnejad   PetscInt           numRootsA, numLeavesA, numRootsB, numLeavesB;
1361a7b3aa13SAta Mesgarnejad   PetscErrorCode     ierr;
1362a7b3aa13SAta Mesgarnejad 
1363a7b3aa13SAta Mesgarnejad   PetscFunctionBegin;
1364a7b3aa13SAta Mesgarnejad   PetscValidHeaderSpecific(sfA, PETSCSF_CLASSID, 1);
1365a7b3aa13SAta Mesgarnejad   PetscValidHeaderSpecific(sfB, PETSCSF_CLASSID, 1);
1366a7b3aa13SAta Mesgarnejad   ierr = PetscObjectGetComm((PetscObject) sfA, &comm);CHKERRQ(ierr);
1367a7b3aa13SAta Mesgarnejad   ierr = PetscSFGetGraph(sfA, &numRootsA, &numLeavesA, &localPointsA, &remotePointsA);CHKERRQ(ierr);
1368a7b3aa13SAta Mesgarnejad   ierr = PetscSFGetGraph(sfB, &numRootsB, &numLeavesB, &localPointsB, &remotePointsB);CHKERRQ(ierr);
1369a7b3aa13SAta Mesgarnejad   ierr = PetscMalloc1(numLeavesB, &remotePointsBA);CHKERRQ(ierr);
1370a7b3aa13SAta Mesgarnejad   ierr = PetscSFBcastBegin(sfB, MPIU_2INT, remotePointsA, remotePointsBA);CHKERRQ(ierr);
1371a7b3aa13SAta Mesgarnejad   ierr = PetscSFBcastEnd(sfB, MPIU_2INT, remotePointsA, remotePointsBA);CHKERRQ(ierr);
1372a7b3aa13SAta Mesgarnejad   ierr = PetscSFCreate(comm, sfBA);CHKERRQ(ierr);
1373a7b3aa13SAta Mesgarnejad   ierr = PetscSFSetGraph(*sfBA, numRootsA, numLeavesB, localPointsB, PETSC_COPY_VALUES, remotePointsBA, PETSC_OWN_POINTER);CHKERRQ(ierr);
1374a7b3aa13SAta Mesgarnejad   PetscFunctionReturn(0);
1375a7b3aa13SAta Mesgarnejad }
1376