xref: /petsc/src/vec/is/sf/interface/sf.c (revision b5a8e515b429ceb8098d7b9fc29a8331d9ac04b7)
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 
1895fce210SBarry Smith /*@C
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 
18895fce210SBarry Smith /*@C
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 
24995fce210SBarry Smith /*@C
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 
26595fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFView(), PetscSFGetGraph()
26695fce210SBarry Smith @*/
26795fce210SBarry Smith PetscErrorCode PetscSFSetGraph(PetscSF sf,PetscInt nroots,PetscInt nleaves,const PetscInt *ilocal,PetscCopyMode localmode,const PetscSFNode *iremote,PetscCopyMode remotemode)
26895fce210SBarry Smith {
26995fce210SBarry Smith   PetscErrorCode     ierr;
27095fce210SBarry Smith 
27195fce210SBarry Smith   PetscFunctionBegin;
27295fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
273563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_SetGraph,sf,0,0,0);CHKERRQ(ierr);
27495fce210SBarry Smith   if (nleaves && ilocal) PetscValidIntPointer(ilocal,4);
27595fce210SBarry Smith   if (nleaves) PetscValidPointer(iremote,6);
27695fce210SBarry Smith   if (nroots < 0) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"roots %D, cannot be negative",nroots);
27795fce210SBarry Smith   if (nleaves < 0) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"nleaves %D, cannot be negative",nleaves);
27895fce210SBarry Smith   ierr        = PetscSFReset(sf);CHKERRQ(ierr);
27995fce210SBarry Smith   sf->nroots  = nroots;
28095fce210SBarry Smith   sf->nleaves = nleaves;
28195fce210SBarry Smith   if (ilocal) {
28221c688dcSJed Brown     PetscInt i;
28395fce210SBarry Smith     switch (localmode) {
28495fce210SBarry Smith     case PETSC_COPY_VALUES:
285785e854fSJed Brown       ierr        = PetscMalloc1(nleaves,&sf->mine_alloc);CHKERRQ(ierr);
28695fce210SBarry Smith       sf->mine    = sf->mine_alloc;
28795fce210SBarry Smith       ierr        = PetscMemcpy(sf->mine,ilocal,nleaves*sizeof(*sf->mine));CHKERRQ(ierr);
28895fce210SBarry Smith       sf->minleaf = PETSC_MAX_INT;
28995fce210SBarry Smith       sf->maxleaf = PETSC_MIN_INT;
29095fce210SBarry Smith       for (i=0; i<nleaves; i++) {
29195fce210SBarry Smith         sf->minleaf = PetscMin(sf->minleaf,ilocal[i]);
29295fce210SBarry Smith         sf->maxleaf = PetscMax(sf->maxleaf,ilocal[i]);
29395fce210SBarry Smith       }
29495fce210SBarry Smith       break;
29595fce210SBarry Smith     case PETSC_OWN_POINTER:
29695fce210SBarry Smith       sf->mine_alloc = (PetscInt*)ilocal;
29795fce210SBarry Smith       sf->mine       = sf->mine_alloc;
29895fce210SBarry Smith       break;
29995fce210SBarry Smith     case PETSC_USE_POINTER:
30095fce210SBarry Smith       sf->mine = (PetscInt*)ilocal;
30195fce210SBarry Smith       break;
30295fce210SBarry Smith     default: SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_OUTOFRANGE,"Unknown localmode");
30395fce210SBarry Smith     }
30495fce210SBarry Smith   }
30595fce210SBarry Smith   if (!ilocal || nleaves > 0) {
30695fce210SBarry Smith     sf->minleaf = 0;
30795fce210SBarry Smith     sf->maxleaf = nleaves - 1;
30895fce210SBarry Smith   }
30995fce210SBarry Smith   switch (remotemode) {
31095fce210SBarry Smith   case PETSC_COPY_VALUES:
311785e854fSJed Brown     ierr       = PetscMalloc1(nleaves,&sf->remote_alloc);CHKERRQ(ierr);
31295fce210SBarry Smith     sf->remote = sf->remote_alloc;
31395fce210SBarry Smith     ierr       = PetscMemcpy(sf->remote,iremote,nleaves*sizeof(*sf->remote));CHKERRQ(ierr);
31495fce210SBarry Smith     break;
31595fce210SBarry Smith   case PETSC_OWN_POINTER:
31695fce210SBarry Smith     sf->remote_alloc = (PetscSFNode*)iremote;
31795fce210SBarry Smith     sf->remote       = sf->remote_alloc;
31895fce210SBarry Smith     break;
31995fce210SBarry Smith   case PETSC_USE_POINTER:
32095fce210SBarry Smith     sf->remote = (PetscSFNode*)iremote;
32195fce210SBarry Smith     break;
32295fce210SBarry Smith   default: SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_OUTOFRANGE,"Unknown remotemode");
32395fce210SBarry Smith   }
32495fce210SBarry Smith 
32595fce210SBarry Smith   sf->graphset = PETSC_TRUE;
326563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_SetGraph,sf,0,0,0);CHKERRQ(ierr);
32795fce210SBarry Smith   PetscFunctionReturn(0);
32895fce210SBarry Smith }
32995fce210SBarry Smith 
33095fce210SBarry Smith /*@C
33195fce210SBarry Smith    PetscSFCreateInverseSF - given a PetscSF in which all vertices have degree 1, creates the inverse map
33295fce210SBarry Smith 
33395fce210SBarry Smith    Collective
33495fce210SBarry Smith 
33595fce210SBarry Smith    Input Arguments:
33695fce210SBarry Smith .  sf - star forest to invert
33795fce210SBarry Smith 
33895fce210SBarry Smith    Output Arguments:
33995fce210SBarry Smith .  isf - inverse of sf
34095fce210SBarry Smith 
34195fce210SBarry Smith    Level: advanced
34295fce210SBarry Smith 
34395fce210SBarry Smith    Notes:
34495fce210SBarry Smith    All roots must have degree 1.
34595fce210SBarry Smith 
34695fce210SBarry Smith    The local space may be a permutation, but cannot be sparse.
34795fce210SBarry Smith 
34895fce210SBarry Smith .seealso: PetscSFSetGraph()
34995fce210SBarry Smith @*/
35095fce210SBarry Smith PetscErrorCode PetscSFCreateInverseSF(PetscSF sf,PetscSF *isf)
35195fce210SBarry Smith {
35295fce210SBarry Smith   PetscErrorCode ierr;
35395fce210SBarry Smith   PetscMPIInt    rank;
35495fce210SBarry Smith   PetscInt       i,nroots,nleaves,maxlocal,count,*newilocal;
35595fce210SBarry Smith   const PetscInt *ilocal;
35695fce210SBarry Smith   PetscSFNode    *roots,*leaves;
35795fce210SBarry Smith 
35895fce210SBarry Smith   PetscFunctionBegin;
35995fce210SBarry Smith   ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
36095fce210SBarry Smith   ierr = PetscSFGetGraph(sf,&nroots,&nleaves,&ilocal,NULL);CHKERRQ(ierr);
36195fce210SBarry Smith   for (i=0,maxlocal=0; i<nleaves; i++) maxlocal = PetscMax(maxlocal,(ilocal ? ilocal[i] : i)+1);
362ae9aee6dSMatthew G. Knepley   ierr = PetscMalloc2(nroots,&roots,maxlocal,&leaves);CHKERRQ(ierr);
363ae9aee6dSMatthew G. Knepley   for (i=0; i<maxlocal; i++) {
36495fce210SBarry Smith     leaves[i].rank  = rank;
36595fce210SBarry Smith     leaves[i].index = i;
36695fce210SBarry Smith   }
36795fce210SBarry Smith   for (i=0; i <nroots; i++) {
36895fce210SBarry Smith     roots[i].rank  = -1;
36995fce210SBarry Smith     roots[i].index = -1;
37095fce210SBarry Smith   }
3718bfbc91cSJed Brown   ierr = PetscSFReduceBegin(sf,MPIU_2INT,leaves,roots,MPIU_REPLACE);CHKERRQ(ierr);
3728bfbc91cSJed Brown   ierr = PetscSFReduceEnd(sf,MPIU_2INT,leaves,roots,MPIU_REPLACE);CHKERRQ(ierr);
37395fce210SBarry Smith 
37495fce210SBarry Smith   /* Check whether our leaves are sparse */
37595fce210SBarry Smith   for (i=0,count=0; i<nroots; i++) if (roots[i].rank >= 0) count++;
37695fce210SBarry Smith   if (count == nroots) newilocal = NULL;
37795fce210SBarry Smith   else {                        /* Index for sparse leaves and compact "roots" array (which is to become our leaves). */
378785e854fSJed Brown     ierr = PetscMalloc1(count,&newilocal);CHKERRQ(ierr);
37995fce210SBarry Smith     for (i=0,count=0; i<nroots; i++) {
38095fce210SBarry Smith       if (roots[i].rank >= 0) {
38195fce210SBarry Smith         newilocal[count]   = i;
38295fce210SBarry Smith         roots[count].rank  = roots[i].rank;
38395fce210SBarry Smith         roots[count].index = roots[i].index;
38495fce210SBarry Smith         count++;
38595fce210SBarry Smith       }
38695fce210SBarry Smith     }
38795fce210SBarry Smith   }
38895fce210SBarry Smith 
38995fce210SBarry Smith   ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_CONFONLY,isf);CHKERRQ(ierr);
39095fce210SBarry Smith   ierr = PetscSFSetGraph(*isf,maxlocal,count,newilocal,PETSC_OWN_POINTER,roots,PETSC_COPY_VALUES);CHKERRQ(ierr);
39195fce210SBarry Smith   ierr = PetscFree2(roots,leaves);CHKERRQ(ierr);
39295fce210SBarry Smith   PetscFunctionReturn(0);
39395fce210SBarry Smith }
39495fce210SBarry Smith 
39595fce210SBarry Smith /*@
39695fce210SBarry Smith    PetscSFDuplicate - duplicate a PetscSF, optionally preserving rank connectivity and graph
39795fce210SBarry Smith 
39895fce210SBarry Smith    Collective
39995fce210SBarry Smith 
40095fce210SBarry Smith    Input Arguments:
40195fce210SBarry Smith +  sf - communication object to duplicate
40295fce210SBarry Smith -  opt - PETSCSF_DUPLICATE_CONFONLY, PETSCSF_DUPLICATE_RANKS, or PETSCSF_DUPLICATE_GRAPH (see PetscSFDuplicateOption)
40395fce210SBarry Smith 
40495fce210SBarry Smith    Output Arguments:
40595fce210SBarry Smith .  newsf - new communication object
40695fce210SBarry Smith 
40795fce210SBarry Smith    Level: beginner
40895fce210SBarry Smith 
40995fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFSetType(), PetscSFSetGraph()
41095fce210SBarry Smith @*/
41195fce210SBarry Smith PetscErrorCode PetscSFDuplicate(PetscSF sf,PetscSFDuplicateOption opt,PetscSF *newsf)
41295fce210SBarry Smith {
41395fce210SBarry Smith   PetscErrorCode ierr;
41495fce210SBarry Smith 
41595fce210SBarry Smith   PetscFunctionBegin;
41695fce210SBarry Smith   ierr = PetscSFCreate(PetscObjectComm((PetscObject)sf),newsf);CHKERRQ(ierr);
41795fce210SBarry Smith   ierr = PetscSFSetType(*newsf,((PetscObject)sf)->type_name);CHKERRQ(ierr);
41895fce210SBarry Smith   if (sf->ops->Duplicate) {ierr = (*sf->ops->Duplicate)(sf,opt,*newsf);CHKERRQ(ierr);}
41995fce210SBarry Smith   if (opt == PETSCSF_DUPLICATE_GRAPH) {
42095fce210SBarry Smith     PetscInt          nroots,nleaves;
42195fce210SBarry Smith     const PetscInt    *ilocal;
42295fce210SBarry Smith     const PetscSFNode *iremote;
42395fce210SBarry Smith     ierr = PetscSFGetGraph(sf,&nroots,&nleaves,&ilocal,&iremote);CHKERRQ(ierr);
42495fce210SBarry Smith     ierr = PetscSFSetGraph(*newsf,nroots,nleaves,ilocal,PETSC_COPY_VALUES,iremote,PETSC_COPY_VALUES);CHKERRQ(ierr);
42595fce210SBarry Smith   }
42695fce210SBarry Smith   PetscFunctionReturn(0);
42795fce210SBarry Smith }
42895fce210SBarry Smith 
42995fce210SBarry Smith /*@C
43095fce210SBarry Smith    PetscSFGetGraph - Get the graph specifying a parallel star forest
43195fce210SBarry Smith 
43295fce210SBarry Smith    Not Collective
43395fce210SBarry Smith 
43495fce210SBarry Smith    Input Arguments:
43595fce210SBarry Smith .  sf - star forest
43695fce210SBarry Smith 
43795fce210SBarry Smith    Output Arguments:
43895fce210SBarry Smith +  nroots - number of root vertices on the current process (these are possible targets for other process to attach leaves)
43995fce210SBarry Smith .  nleaves - number of leaf vertices on the current process, each of these references a root on any process
44095fce210SBarry Smith .  ilocal - locations of leaves in leafdata buffers
44195fce210SBarry Smith -  iremote - remote locations of root vertices for each leaf on the current process
44295fce210SBarry Smith 
44395fce210SBarry Smith    Level: intermediate
44495fce210SBarry Smith 
44595fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFView(), PetscSFSetGraph()
44695fce210SBarry Smith @*/
44795fce210SBarry Smith PetscErrorCode PetscSFGetGraph(PetscSF sf,PetscInt *nroots,PetscInt *nleaves,const PetscInt **ilocal,const PetscSFNode **iremote)
44895fce210SBarry Smith {
44995fce210SBarry Smith 
45095fce210SBarry Smith   PetscFunctionBegin;
45195fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
45295fce210SBarry Smith   /* We are not currently requiring that the graph is set, thus returning nroots=-1 if it has not been set */
45395fce210SBarry Smith   /* if (!sf->graphset) SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_WRONGSTATE,"Graph has not been set, must call PetscSFSetGraph()"); */
45495fce210SBarry Smith   if (nroots) *nroots = sf->nroots;
45595fce210SBarry Smith   if (nleaves) *nleaves = sf->nleaves;
45695fce210SBarry Smith   if (ilocal) *ilocal = sf->mine;
45795fce210SBarry Smith   if (iremote) *iremote = sf->remote;
45895fce210SBarry Smith   PetscFunctionReturn(0);
45995fce210SBarry Smith }
46095fce210SBarry Smith 
46195fce210SBarry Smith /*@C
46295fce210SBarry Smith    PetscSFGetLeafRange - Get the active leaf ranges
46395fce210SBarry Smith 
46495fce210SBarry Smith    Not Collective
46595fce210SBarry Smith 
46695fce210SBarry Smith    Input Arguments:
46795fce210SBarry Smith .  sf - star forest
46895fce210SBarry Smith 
46995fce210SBarry Smith    Output Arguments:
47095fce210SBarry Smith +  minleaf - minimum active leaf on this process
47195fce210SBarry Smith -  maxleaf - maximum active leaf on this process
47295fce210SBarry Smith 
47395fce210SBarry Smith    Level: developer
47495fce210SBarry Smith 
47595fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFView(), PetscSFSetGraph(), PetscSFGetGraph()
47695fce210SBarry Smith @*/
47795fce210SBarry Smith PetscErrorCode PetscSFGetLeafRange(PetscSF sf,PetscInt *minleaf,PetscInt *maxleaf)
47895fce210SBarry Smith {
47995fce210SBarry Smith 
48095fce210SBarry Smith   PetscFunctionBegin;
48195fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
48295fce210SBarry Smith   if (minleaf) *minleaf = sf->minleaf;
48395fce210SBarry Smith   if (maxleaf) *maxleaf = sf->maxleaf;
48495fce210SBarry Smith   PetscFunctionReturn(0);
48595fce210SBarry Smith }
48695fce210SBarry Smith 
48795fce210SBarry Smith /*@C
48895fce210SBarry Smith    PetscSFView - view a star forest
48995fce210SBarry Smith 
49095fce210SBarry Smith    Collective
49195fce210SBarry Smith 
49295fce210SBarry Smith    Input Arguments:
49395fce210SBarry Smith +  sf - star forest
49495fce210SBarry Smith -  viewer - viewer to display graph, for example PETSC_VIEWER_STDOUT_WORLD
49595fce210SBarry Smith 
49695fce210SBarry Smith    Level: beginner
49795fce210SBarry Smith 
49895fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFSetGraph()
49995fce210SBarry Smith @*/
50095fce210SBarry Smith PetscErrorCode PetscSFView(PetscSF sf,PetscViewer viewer)
50195fce210SBarry Smith {
50295fce210SBarry Smith   PetscErrorCode    ierr;
50395fce210SBarry Smith   PetscBool         iascii;
50495fce210SBarry Smith   PetscViewerFormat format;
50595fce210SBarry Smith 
50695fce210SBarry Smith   PetscFunctionBegin;
50795fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
50895fce210SBarry Smith   if (!viewer) {ierr = PetscViewerASCIIGetStdout(PetscObjectComm((PetscObject)sf),&viewer);CHKERRQ(ierr);}
50995fce210SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
51095fce210SBarry Smith   PetscCheckSameComm(sf,1,viewer,2);
511dcca2fcaSJed Brown   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
51295fce210SBarry Smith   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
51395fce210SBarry Smith   if (iascii) {
51495fce210SBarry Smith     PetscMPIInt rank;
51595fce210SBarry Smith     PetscInt    i,j;
51695fce210SBarry Smith 
517dae58748SBarry Smith     ierr = PetscObjectPrintClassNamePrefixType((PetscObject)sf,viewer);CHKERRQ(ierr);
51895fce210SBarry Smith     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
51995fce210SBarry Smith     if (sf->ops->View) {ierr = (*sf->ops->View)(sf,viewer);CHKERRQ(ierr);}
52095fce210SBarry Smith     ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
5211575c14dSBarry Smith     ierr = PetscViewerASCIIPushSynchronized(viewer);CHKERRQ(ierr);
52295fce210SBarry Smith     ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d] Number of roots=%D, leaves=%D, remote ranks=%D\n",rank,sf->nroots,sf->nleaves,sf->nranks);CHKERRQ(ierr);
52395fce210SBarry Smith     for (i=0; i<sf->nleaves; i++) {
52495fce210SBarry 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);
52595fce210SBarry Smith     }
52695fce210SBarry Smith     ierr = PetscViewerFlush(viewer);CHKERRQ(ierr);
52795fce210SBarry Smith     ierr = PetscViewerGetFormat(viewer,&format);CHKERRQ(ierr);
52895fce210SBarry Smith     if (format == PETSC_VIEWER_ASCII_INFO_DETAIL) {
52995fce210SBarry Smith       ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d] Roots referenced by my leaves, by rank\n",rank);CHKERRQ(ierr);
53095fce210SBarry Smith       for (i=0; i<sf->nranks; i++) {
5317904a332SBarry Smith         ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d] %d: %D edges\n",rank,sf->ranks[i],sf->roffset[i+1]-sf->roffset[i]);CHKERRQ(ierr);
53295fce210SBarry Smith         for (j=sf->roffset[i]; j<sf->roffset[i+1]; j++) {
53395fce210SBarry Smith           ierr = PetscViewerASCIISynchronizedPrintf(viewer,"[%d]    %D <- %D\n",rank,sf->rmine[j],sf->rremote[j]);CHKERRQ(ierr);
53495fce210SBarry Smith         }
53595fce210SBarry Smith       }
53695fce210SBarry Smith     }
53795fce210SBarry Smith     ierr = PetscViewerFlush(viewer);CHKERRQ(ierr);
5381575c14dSBarry Smith     ierr = PetscViewerASCIIPopSynchronized(viewer);CHKERRQ(ierr);
53995fce210SBarry Smith     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
54095fce210SBarry Smith   }
54195fce210SBarry Smith   PetscFunctionReturn(0);
54295fce210SBarry Smith }
54395fce210SBarry Smith 
54495fce210SBarry Smith /*@C
54595fce210SBarry Smith    PetscSFGetRanks - Get ranks and number of vertices referenced by leaves on this process
54695fce210SBarry Smith 
54795fce210SBarry Smith    Not Collective
54895fce210SBarry Smith 
54995fce210SBarry Smith    Input Arguments:
55095fce210SBarry Smith .  sf - star forest
55195fce210SBarry Smith 
55295fce210SBarry Smith    Output Arguments:
55395fce210SBarry Smith +  nranks - number of ranks referenced by local part
55495fce210SBarry Smith .  ranks - array of ranks
55595fce210SBarry Smith .  roffset - offset in rmine/rremote for each rank (length nranks+1)
55695fce210SBarry Smith .  rmine - concatenated array holding local indices referencing each remote rank
55795fce210SBarry Smith -  rremote - concatenated array holding remote indices referenced for each remote rank
55895fce210SBarry Smith 
55995fce210SBarry Smith    Level: developer
56095fce210SBarry Smith 
56195fce210SBarry Smith .seealso: PetscSFSetGraph()
56295fce210SBarry Smith @*/
56395fce210SBarry Smith PetscErrorCode PetscSFGetRanks(PetscSF sf,PetscInt *nranks,const PetscMPIInt **ranks,const PetscInt **roffset,const PetscInt **rmine,const PetscInt **rremote)
56495fce210SBarry Smith {
56595fce210SBarry Smith 
56695fce210SBarry Smith   PetscFunctionBegin;
56795fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
568dcca2fcaSJed Brown   if (!sf->setupcalled) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Must call PetscSFSetUp before obtaining ranks");
56995fce210SBarry Smith   if (nranks)  *nranks  = sf->nranks;
57095fce210SBarry Smith   if (ranks)   *ranks   = sf->ranks;
57195fce210SBarry Smith   if (roffset) *roffset = sf->roffset;
57295fce210SBarry Smith   if (rmine)   *rmine   = sf->rmine;
57395fce210SBarry Smith   if (rremote) *rremote = sf->rremote;
57495fce210SBarry Smith   PetscFunctionReturn(0);
57595fce210SBarry Smith }
57695fce210SBarry Smith 
577*b5a8e515SJed Brown static PetscBool InList(PetscMPIInt needle,PetscMPIInt n,const PetscMPIInt *list) {
578*b5a8e515SJed Brown   PetscInt i;
579*b5a8e515SJed Brown   for (i=0; i<n; i++) {
580*b5a8e515SJed Brown     if (needle == list[i]) return PETSC_TRUE;
581*b5a8e515SJed Brown   }
582*b5a8e515SJed Brown   return PETSC_FALSE;
583*b5a8e515SJed Brown }
584*b5a8e515SJed Brown 
58595fce210SBarry Smith /*@C
58621c688dcSJed Brown    PetscSFSetUpRanks - Set up data structures associated with ranks; this is for internal use by PetscSF implementations.
58721c688dcSJed Brown 
58821c688dcSJed Brown    Collective
58921c688dcSJed Brown 
59021c688dcSJed Brown    Input Arguments:
591*b5a8e515SJed Brown +  sf - PetscSF to set up; PetscSFSetGraph() must have been called
592*b5a8e515SJed Brown -  dgroup - MPI_Group of ranks to be distinguished (e.g., for self or shared memory exchange)
59321c688dcSJed Brown 
59421c688dcSJed Brown    Level: developer
59521c688dcSJed Brown 
59621c688dcSJed Brown .seealso: PetscSFGetRanks()
59721c688dcSJed Brown @*/
598*b5a8e515SJed Brown PetscErrorCode PetscSFSetUpRanks(PetscSF sf,MPI_Group dgroup)
59921c688dcSJed Brown {
60021c688dcSJed Brown   PetscErrorCode     ierr;
60121c688dcSJed Brown   PetscTable         table;
60221c688dcSJed Brown   PetscTablePosition pos;
603*b5a8e515SJed Brown   PetscMPIInt        size,groupsize,*groupranks;
60421c688dcSJed Brown   PetscInt           i,*rcount,*ranks;
60521c688dcSJed Brown 
60621c688dcSJed Brown   PetscFunctionBegin;
60721c688dcSJed Brown   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
60821c688dcSJed Brown   if (!sf->graphset) SETERRQ(PetscObjectComm((PetscObject)sf),PETSC_ERR_ARG_WRONGSTATE,"PetscSFSetGraph() has not been called yet");
60921c688dcSJed Brown   ierr = MPI_Comm_size(PetscObjectComm((PetscObject)sf),&size);CHKERRQ(ierr);
61021c688dcSJed Brown   ierr = PetscTableCreate(10,size,&table);CHKERRQ(ierr);
61121c688dcSJed Brown   for (i=0; i<sf->nleaves; i++) {
61221c688dcSJed Brown     /* Log 1-based rank */
61321c688dcSJed Brown     ierr = PetscTableAdd(table,sf->remote[i].rank+1,1,ADD_VALUES);CHKERRQ(ierr);
61421c688dcSJed Brown   }
61521c688dcSJed Brown   ierr = PetscTableGetCount(table,&sf->nranks);CHKERRQ(ierr);
61621c688dcSJed Brown   ierr = PetscMalloc4(sf->nranks,&sf->ranks,sf->nranks+1,&sf->roffset,sf->nleaves,&sf->rmine,sf->nleaves,&sf->rremote);CHKERRQ(ierr);
61721c688dcSJed Brown   ierr = PetscMalloc2(sf->nranks,&rcount,sf->nranks,&ranks);CHKERRQ(ierr);
61821c688dcSJed Brown   ierr = PetscTableGetHeadPosition(table,&pos);CHKERRQ(ierr);
61921c688dcSJed Brown   for (i=0; i<sf->nranks; i++) {
62021c688dcSJed Brown     ierr = PetscTableGetNext(table,&pos,&ranks[i],&rcount[i]);CHKERRQ(ierr);
62121c688dcSJed Brown     ranks[i]--;             /* Convert back to 0-based */
62221c688dcSJed Brown   }
62321c688dcSJed Brown   ierr = PetscTableDestroy(&table);CHKERRQ(ierr);
624*b5a8e515SJed Brown 
625*b5a8e515SJed Brown   /* We expect that dgroup is reliably "small" while nranks could be large */
626*b5a8e515SJed Brown   {
627*b5a8e515SJed Brown     MPI_Group group;
628*b5a8e515SJed Brown     PetscMPIInt *dgroupranks;
629*b5a8e515SJed Brown     ierr = MPI_Comm_group(PetscObjectComm((PetscObject)sf),&group);CHKERRQ(ierr);
630*b5a8e515SJed Brown     ierr = MPI_Group_size(dgroup,&groupsize);CHKERRQ(ierr);
631*b5a8e515SJed Brown     ierr = PetscMalloc1(groupsize,&dgroupranks);CHKERRQ(ierr);
632*b5a8e515SJed Brown     ierr = PetscMalloc1(groupsize,&groupranks);CHKERRQ(ierr);
633*b5a8e515SJed Brown     for (i=0; i<groupsize; i++) dgroupranks[i] = i;
634*b5a8e515SJed Brown     ierr = MPI_Group_translate_ranks(dgroup,groupsize,dgroupranks,group,groupranks);CHKERRQ(ierr);
635*b5a8e515SJed Brown     ierr = MPI_Group_free(&group);CHKERRQ(ierr);
636*b5a8e515SJed Brown     ierr = PetscFree(dgroupranks);CHKERRQ(ierr);
637*b5a8e515SJed Brown   }
638*b5a8e515SJed Brown 
639*b5a8e515SJed Brown   /* Partition ranks[] into distinguished (first sf->ndranks) followed by non-distinguished */
640*b5a8e515SJed Brown   for (sf->ndranks=0,i=sf->nranks; sf->ndranks<i; ) {
641*b5a8e515SJed Brown     for (i--; sf->ndranks<i; i--) { /* Scan i backward looking for distinguished rank */
642*b5a8e515SJed Brown       if (InList(ranks[i],groupsize,groupranks)) break;
643*b5a8e515SJed Brown     }
644*b5a8e515SJed Brown     for ( ; sf->ndranks<=i; sf->ndranks++) { /* Scan sf->ndranks forward looking for non-distinguished rank */
645*b5a8e515SJed Brown       if (!InList(ranks[sf->ndranks],groupsize,groupranks)) break;
646*b5a8e515SJed Brown     }
647*b5a8e515SJed Brown     if (sf->ndranks < i) {                         /* Swap ranks[sf->ndranks] with ranks[i] */
648*b5a8e515SJed Brown       PetscInt    tmprank,tmpcount;
649*b5a8e515SJed Brown       tmprank = ranks[i];
650*b5a8e515SJed Brown       tmpcount = rcount[i];
651*b5a8e515SJed Brown       ranks[i] = ranks[sf->ndranks];
652*b5a8e515SJed Brown       rcount[i] = rcount[sf->ndranks];
653*b5a8e515SJed Brown       ranks[sf->ndranks] = tmprank;
654*b5a8e515SJed Brown       rcount[sf->ndranks] = tmpcount;
655*b5a8e515SJed Brown       sf->ndranks++;
656*b5a8e515SJed Brown     }
657*b5a8e515SJed Brown   }
658*b5a8e515SJed Brown   ierr = PetscFree(groupranks);CHKERRQ(ierr);
659*b5a8e515SJed Brown   ierr = PetscSortIntWithArray(sf->ndranks,ranks,rcount);CHKERRQ(ierr);
660*b5a8e515SJed Brown   ierr = PetscSortIntWithArray(sf->nranks-sf->ndranks,ranks+sf->ndranks,rcount+sf->ndranks);CHKERRQ(ierr);
66121c688dcSJed Brown   sf->roffset[0] = 0;
66221c688dcSJed Brown   for (i=0; i<sf->nranks; i++) {
66321c688dcSJed Brown     ierr = PetscMPIIntCast(ranks[i],sf->ranks+i);CHKERRQ(ierr);
66421c688dcSJed Brown     sf->roffset[i+1] = sf->roffset[i] + rcount[i];
66521c688dcSJed Brown     rcount[i]        = 0;
66621c688dcSJed Brown   }
66721c688dcSJed Brown   for (i=0; i<sf->nleaves; i++) {
668*b5a8e515SJed Brown     PetscInt irank;
66921c688dcSJed Brown     /* Search for index of iremote[i].rank in sf->ranks */
670*b5a8e515SJed Brown     ierr = PetscFindMPIInt(sf->remote[i].rank,sf->ndranks,sf->ranks,&irank);CHKERRQ(ierr);
671*b5a8e515SJed Brown     if (irank < 0) {
672*b5a8e515SJed Brown       ierr = PetscFindMPIInt(sf->remote[i].rank,sf->nranks-sf->ndranks,sf->ranks+sf->ndranks,&irank);CHKERRQ(ierr);
673*b5a8e515SJed Brown       if (irank >= 0) irank += sf->ndranks;
67421c688dcSJed Brown     }
675*b5a8e515SJed Brown     if (irank < 0) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Could not find rank %D in array",sf->remote[i].rank);
67621c688dcSJed Brown     sf->rmine[sf->roffset[irank] + rcount[irank]]   = sf->mine ? sf->mine[i] : i;
67721c688dcSJed Brown     sf->rremote[sf->roffset[irank] + rcount[irank]] = sf->remote[i].index;
67821c688dcSJed Brown     rcount[irank]++;
67921c688dcSJed Brown   }
68021c688dcSJed Brown   ierr = PetscFree2(rcount,ranks);CHKERRQ(ierr);
68121c688dcSJed Brown   PetscFunctionReturn(0);
68221c688dcSJed Brown }
68321c688dcSJed Brown 
68421c688dcSJed Brown /*@C
68595fce210SBarry Smith    PetscSFGetGroups - gets incoming and outgoing process groups
68695fce210SBarry Smith 
68795fce210SBarry Smith    Collective
68895fce210SBarry Smith 
68995fce210SBarry Smith    Input Argument:
69095fce210SBarry Smith .  sf - star forest
69195fce210SBarry Smith 
69295fce210SBarry Smith    Output Arguments:
69395fce210SBarry Smith +  incoming - group of origin processes for incoming edges (leaves that reference my roots)
69495fce210SBarry Smith -  outgoing - group of destination processes for outgoing edges (roots that I reference)
69595fce210SBarry Smith 
69695fce210SBarry Smith    Level: developer
69795fce210SBarry Smith 
69895fce210SBarry Smith .seealso: PetscSFGetWindow(), PetscSFRestoreWindow()
69995fce210SBarry Smith @*/
70095fce210SBarry Smith PetscErrorCode PetscSFGetGroups(PetscSF sf,MPI_Group *incoming,MPI_Group *outgoing)
70195fce210SBarry Smith {
70295fce210SBarry Smith   PetscErrorCode ierr;
70395fce210SBarry Smith   MPI_Group      group;
70495fce210SBarry Smith 
70595fce210SBarry Smith   PetscFunctionBegin;
70695fce210SBarry Smith   if (sf->ingroup == MPI_GROUP_NULL) {
70795fce210SBarry Smith     PetscInt       i;
70895fce210SBarry Smith     const PetscInt *indegree;
70995fce210SBarry Smith     PetscMPIInt    rank,*outranks,*inranks;
71095fce210SBarry Smith     PetscSFNode    *remote;
71195fce210SBarry Smith     PetscSF        bgcount;
71295fce210SBarry Smith 
71395fce210SBarry Smith     /* Compute the number of incoming ranks */
714785e854fSJed Brown     ierr = PetscMalloc1(sf->nranks,&remote);CHKERRQ(ierr);
71595fce210SBarry Smith     for (i=0; i<sf->nranks; i++) {
71695fce210SBarry Smith       remote[i].rank  = sf->ranks[i];
71795fce210SBarry Smith       remote[i].index = 0;
71895fce210SBarry Smith     }
71995fce210SBarry Smith     ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_CONFONLY,&bgcount);CHKERRQ(ierr);
72095fce210SBarry Smith     ierr = PetscSFSetGraph(bgcount,1,sf->nranks,NULL,PETSC_COPY_VALUES,remote,PETSC_OWN_POINTER);CHKERRQ(ierr);
72195fce210SBarry Smith     ierr = PetscSFComputeDegreeBegin(bgcount,&indegree);CHKERRQ(ierr);
72295fce210SBarry Smith     ierr = PetscSFComputeDegreeEnd(bgcount,&indegree);CHKERRQ(ierr);
72395fce210SBarry Smith 
72495fce210SBarry Smith     /* Enumerate the incoming ranks */
725dcca6d9dSJed Brown     ierr = PetscMalloc2(indegree[0],&inranks,sf->nranks,&outranks);CHKERRQ(ierr);
72695fce210SBarry Smith     ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
72795fce210SBarry Smith     for (i=0; i<sf->nranks; i++) outranks[i] = rank;
72895fce210SBarry Smith     ierr = PetscSFGatherBegin(bgcount,MPI_INT,outranks,inranks);CHKERRQ(ierr);
72995fce210SBarry Smith     ierr = PetscSFGatherEnd(bgcount,MPI_INT,outranks,inranks);CHKERRQ(ierr);
73095fce210SBarry Smith     ierr = MPI_Comm_group(PetscObjectComm((PetscObject)sf),&group);CHKERRQ(ierr);
73195fce210SBarry Smith     ierr = MPI_Group_incl(group,indegree[0],inranks,&sf->ingroup);CHKERRQ(ierr);
73295fce210SBarry Smith     ierr = MPI_Group_free(&group);CHKERRQ(ierr);
73395fce210SBarry Smith     ierr = PetscFree2(inranks,outranks);CHKERRQ(ierr);
73495fce210SBarry Smith     ierr = PetscSFDestroy(&bgcount);CHKERRQ(ierr);
73595fce210SBarry Smith   }
73695fce210SBarry Smith   *incoming = sf->ingroup;
73795fce210SBarry Smith 
73895fce210SBarry Smith   if (sf->outgroup == MPI_GROUP_NULL) {
73995fce210SBarry Smith     ierr = MPI_Comm_group(PetscObjectComm((PetscObject)sf),&group);CHKERRQ(ierr);
74095fce210SBarry Smith     ierr = MPI_Group_incl(group,sf->nranks,sf->ranks,&sf->outgroup);CHKERRQ(ierr);
74195fce210SBarry Smith     ierr = MPI_Group_free(&group);CHKERRQ(ierr);
74295fce210SBarry Smith   }
74395fce210SBarry Smith   *outgoing = sf->outgroup;
74495fce210SBarry Smith   PetscFunctionReturn(0);
74595fce210SBarry Smith }
74695fce210SBarry Smith 
74795fce210SBarry Smith /*@C
74895fce210SBarry Smith    PetscSFGetMultiSF - gets the inner SF implemeting gathers and scatters
74995fce210SBarry Smith 
75095fce210SBarry Smith    Collective
75195fce210SBarry Smith 
75295fce210SBarry Smith    Input Argument:
75395fce210SBarry Smith .  sf - star forest that may contain roots with 0 or with more than 1 vertex
75495fce210SBarry Smith 
75595fce210SBarry Smith    Output Arguments:
75695fce210SBarry Smith .  multi - star forest with split roots, such that each root has degree exactly 1
75795fce210SBarry Smith 
75895fce210SBarry Smith    Level: developer
75995fce210SBarry Smith 
76095fce210SBarry Smith    Notes:
76195fce210SBarry Smith 
76295fce210SBarry Smith    In most cases, users should use PetscSFGatherBegin() and PetscSFScatterBegin() instead of manipulating multi
76395fce210SBarry Smith    directly. Since multi satisfies the stronger condition that each entry in the global space has exactly one incoming
76495fce210SBarry Smith    edge, it is a candidate for future optimization that might involve its removal.
76595fce210SBarry Smith 
76695fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFGatherBegin(), PetscSFScatterBegin()
76795fce210SBarry Smith @*/
76895fce210SBarry Smith PetscErrorCode PetscSFGetMultiSF(PetscSF sf,PetscSF *multi)
76995fce210SBarry Smith {
77095fce210SBarry Smith   PetscErrorCode ierr;
77195fce210SBarry Smith 
77295fce210SBarry Smith   PetscFunctionBegin;
77395fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
77495fce210SBarry Smith   PetscValidPointer(multi,2);
77595fce210SBarry Smith   if (sf->nroots < 0) {         /* Graph has not been set yet; why do we need this? */
77695fce210SBarry Smith     ierr   = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_RANKS,&sf->multi);CHKERRQ(ierr);
77795fce210SBarry Smith     *multi = sf->multi;
77895fce210SBarry Smith     PetscFunctionReturn(0);
77995fce210SBarry Smith   }
78095fce210SBarry Smith   if (!sf->multi) {
78195fce210SBarry Smith     const PetscInt *indegree;
7829837ea96SMatthew G. Knepley     PetscInt       i,*inoffset,*outones,*outoffset,maxlocal;
78395fce210SBarry Smith     PetscSFNode    *remote;
78495fce210SBarry Smith     ierr        = PetscSFComputeDegreeBegin(sf,&indegree);CHKERRQ(ierr);
78595fce210SBarry Smith     ierr        = PetscSFComputeDegreeEnd(sf,&indegree);CHKERRQ(ierr);
7869837ea96SMatthew G. Knepley     for (i=0,maxlocal=0; i<sf->nleaves; i++) maxlocal = PetscMax(maxlocal,(sf->mine ? sf->mine[i] : i)+1);
7879837ea96SMatthew G. Knepley     ierr        = PetscMalloc3(sf->nroots+1,&inoffset,maxlocal,&outones,maxlocal,&outoffset);CHKERRQ(ierr);
78895fce210SBarry Smith     inoffset[0] = 0;
78995fce210SBarry Smith     for (i=0; i<sf->nroots; i++) inoffset[i+1] = inoffset[i] + indegree[i];
7909837ea96SMatthew G. Knepley     for (i=0; i<maxlocal; i++) outones[i] = 1;
791dbd2ff41SBarry Smith     ierr = PetscSFFetchAndOpBegin(sf,MPIU_INT,inoffset,outones,outoffset,MPI_SUM);CHKERRQ(ierr);
792dbd2ff41SBarry Smith     ierr = PetscSFFetchAndOpEnd(sf,MPIU_INT,inoffset,outones,outoffset,MPI_SUM);CHKERRQ(ierr);
79395fce210SBarry Smith     for (i=0; i<sf->nroots; i++) inoffset[i] -= indegree[i]; /* Undo the increment */
79495fce210SBarry Smith #if 0
79595fce210SBarry Smith #if defined(PETSC_USE_DEBUG)                                 /* Check that the expected number of increments occurred */
79695fce210SBarry Smith     for (i=0; i<sf->nroots; i++) {
79795fce210SBarry Smith       if (inoffset[i] + indegree[i] != inoffset[i+1]) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Incorrect result after PetscSFFetchAndOp");
79895fce210SBarry Smith     }
79995fce210SBarry Smith #endif
80095fce210SBarry Smith #endif
801785e854fSJed Brown     ierr = PetscMalloc1(sf->nleaves,&remote);CHKERRQ(ierr);
80295fce210SBarry Smith     for (i=0; i<sf->nleaves; i++) {
80395fce210SBarry Smith       remote[i].rank  = sf->remote[i].rank;
80438e7336fSToby Isaac       remote[i].index = outoffset[sf->mine ? sf->mine[i] : i];
80595fce210SBarry Smith     }
80695fce210SBarry Smith     ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_RANKS,&sf->multi);CHKERRQ(ierr);
80701365b40SToby Isaac     ierr = PetscSFSetGraph(sf->multi,inoffset[sf->nroots],sf->nleaves,sf->mine,PETSC_COPY_VALUES,remote,PETSC_OWN_POINTER);CHKERRQ(ierr);
80895fce210SBarry Smith     if (sf->rankorder) {        /* Sort the ranks */
80995fce210SBarry Smith       PetscMPIInt rank;
81095fce210SBarry Smith       PetscInt    *inranks,*newoffset,*outranks,*newoutoffset,*tmpoffset,maxdegree;
81195fce210SBarry Smith       PetscSFNode *newremote;
81295fce210SBarry Smith       ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sf),&rank);CHKERRQ(ierr);
81395fce210SBarry Smith       for (i=0,maxdegree=0; i<sf->nroots; i++) maxdegree = PetscMax(maxdegree,indegree[i]);
8149837ea96SMatthew G. Knepley       ierr = PetscMalloc5(sf->multi->nroots,&inranks,sf->multi->nroots,&newoffset,maxlocal,&outranks,maxlocal,&newoutoffset,maxdegree,&tmpoffset);CHKERRQ(ierr);
8159837ea96SMatthew G. Knepley       for (i=0; i<maxlocal; i++) outranks[i] = rank;
8168bfbc91cSJed Brown       ierr = PetscSFReduceBegin(sf->multi,MPIU_INT,outranks,inranks,MPIU_REPLACE);CHKERRQ(ierr);
8178bfbc91cSJed Brown       ierr = PetscSFReduceEnd(sf->multi,MPIU_INT,outranks,inranks,MPIU_REPLACE);CHKERRQ(ierr);
81895fce210SBarry Smith       /* Sort the incoming ranks at each vertex, build the inverse map */
81995fce210SBarry Smith       for (i=0; i<sf->nroots; i++) {
82095fce210SBarry Smith         PetscInt j;
82195fce210SBarry Smith         for (j=0; j<indegree[i]; j++) tmpoffset[j] = j;
82295fce210SBarry Smith         ierr = PetscSortIntWithArray(indegree[i],inranks+inoffset[i],tmpoffset);CHKERRQ(ierr);
82395fce210SBarry Smith         for (j=0; j<indegree[i]; j++) newoffset[inoffset[i] + tmpoffset[j]] = inoffset[i] + j;
82495fce210SBarry Smith       }
82595fce210SBarry Smith       ierr = PetscSFBcastBegin(sf->multi,MPIU_INT,newoffset,newoutoffset);CHKERRQ(ierr);
82695fce210SBarry Smith       ierr = PetscSFBcastEnd(sf->multi,MPIU_INT,newoffset,newoutoffset);CHKERRQ(ierr);
827785e854fSJed Brown       ierr = PetscMalloc1(sf->nleaves,&newremote);CHKERRQ(ierr);
82895fce210SBarry Smith       for (i=0; i<sf->nleaves; i++) {
82995fce210SBarry Smith         newremote[i].rank  = sf->remote[i].rank;
83001365b40SToby Isaac         newremote[i].index = newoutoffset[sf->mine ? sf->mine[i] : i];
83195fce210SBarry Smith       }
83201365b40SToby Isaac       ierr = PetscSFSetGraph(sf->multi,inoffset[sf->nroots],sf->nleaves,sf->mine,PETSC_COPY_VALUES,newremote,PETSC_OWN_POINTER);CHKERRQ(ierr);
83395fce210SBarry Smith       ierr = PetscFree5(inranks,newoffset,outranks,newoutoffset,tmpoffset);CHKERRQ(ierr);
83495fce210SBarry Smith     }
83595fce210SBarry Smith     ierr = PetscFree3(inoffset,outones,outoffset);CHKERRQ(ierr);
83695fce210SBarry Smith   }
83795fce210SBarry Smith   *multi = sf->multi;
83895fce210SBarry Smith   PetscFunctionReturn(0);
83995fce210SBarry Smith }
84095fce210SBarry Smith 
84195fce210SBarry Smith /*@C
84295fce210SBarry Smith    PetscSFCreateEmbeddedSF - removes edges from all but the selected roots, does not remap indices
84395fce210SBarry Smith 
84495fce210SBarry Smith    Collective
84595fce210SBarry Smith 
84695fce210SBarry Smith    Input Arguments:
84795fce210SBarry Smith +  sf - original star forest
84895fce210SBarry Smith .  nroots - number of roots to select on this process
84995fce210SBarry Smith -  selected - selected roots on this process
85095fce210SBarry Smith 
85195fce210SBarry Smith    Output Arguments:
85295fce210SBarry Smith .  newsf - new star forest
85395fce210SBarry Smith 
85495fce210SBarry Smith    Level: advanced
85595fce210SBarry Smith 
85695fce210SBarry Smith    Note:
85795fce210SBarry Smith    To use the new PetscSF, it may be necessary to know the indices of the leaves that are still participating. This can
85895fce210SBarry Smith    be done by calling PetscSFGetGraph().
85995fce210SBarry Smith 
86095fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFGetGraph()
86195fce210SBarry Smith @*/
86295fce210SBarry Smith PetscErrorCode PetscSFCreateEmbeddedSF(PetscSF sf,PetscInt nroots,const PetscInt *selected,PetscSF *newsf)
86395fce210SBarry Smith {
8640511a646SMatthew G. Knepley   PetscInt      *rootdata, *leafdata, *ilocal;
86595fce210SBarry Smith   PetscSFNode   *iremote;
866fc1ede2bSMatthew G. Knepley   PetscInt       leafsize = 0, nleaves = 0, n, i;
8670511a646SMatthew G. Knepley   PetscErrorCode ierr;
86895fce210SBarry Smith 
86995fce210SBarry Smith   PetscFunctionBegin;
87095fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
87195fce210SBarry Smith   if (nroots) PetscValidPointer(selected,3);
87295fce210SBarry Smith   PetscValidPointer(newsf,4);
8730511a646SMatthew G. Knepley   if (sf->mine) for (i = 0; i < sf->nleaves; ++i) {leafsize = PetscMax(leafsize, sf->mine[i]+1);}
8740511a646SMatthew G. Knepley   else leafsize = sf->nleaves;
8751795a4d1SJed Brown   ierr = PetscCalloc2(sf->nroots,&rootdata,leafsize,&leafdata);CHKERRQ(ierr);
8760511a646SMatthew G. Knepley   for (i=0; i<nroots; ++i) rootdata[selected[i]] = 1;
87795fce210SBarry Smith   ierr = PetscSFBcastBegin(sf,MPIU_INT,rootdata,leafdata);CHKERRQ(ierr);
87895fce210SBarry Smith   ierr = PetscSFBcastEnd(sf,MPIU_INT,rootdata,leafdata);CHKERRQ(ierr);
87995fce210SBarry Smith 
8800511a646SMatthew G. Knepley   for (i = 0; i < leafsize; ++i) nleaves += leafdata[i];
881785e854fSJed Brown   ierr = PetscMalloc1(nleaves,&ilocal);CHKERRQ(ierr);
882785e854fSJed Brown   ierr = PetscMalloc1(nleaves,&iremote);CHKERRQ(ierr);
883fc1ede2bSMatthew G. Knepley   for (i = 0, n = 0; i < sf->nleaves; ++i) {
8840511a646SMatthew G. Knepley     const PetscInt lidx = sf->mine ? sf->mine[i] : i;
8850511a646SMatthew G. Knepley 
8860511a646SMatthew G. Knepley     if (leafdata[lidx]) {
887fc1ede2bSMatthew G. Knepley       ilocal[n]        = lidx;
888fc1ede2bSMatthew G. Knepley       iremote[n].rank  = sf->remote[i].rank;
889fc1ede2bSMatthew G. Knepley       iremote[n].index = sf->remote[i].index;
890fc1ede2bSMatthew G. Knepley       ++n;
89195fce210SBarry Smith     }
89295fce210SBarry Smith   }
893fc1ede2bSMatthew 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);
89495fce210SBarry Smith   ierr = PetscSFDuplicate(sf,PETSCSF_DUPLICATE_RANKS,newsf);CHKERRQ(ierr);
89595fce210SBarry Smith   ierr = PetscSFSetGraph(*newsf,sf->nroots,nleaves,ilocal,PETSC_OWN_POINTER,iremote,PETSC_OWN_POINTER);CHKERRQ(ierr);
89695fce210SBarry Smith   ierr = PetscFree2(rootdata,leafdata);CHKERRQ(ierr);
89795fce210SBarry Smith   PetscFunctionReturn(0);
89895fce210SBarry Smith }
89995fce210SBarry Smith 
9002f5fb4c2SMatthew G. Knepley /*@C
9012f5fb4c2SMatthew G. Knepley   PetscSFCreateEmbeddedLeafSF - removes edges from all but the selected leaves, does not remap indices
9022f5fb4c2SMatthew G. Knepley 
9032f5fb4c2SMatthew G. Knepley   Collective
9042f5fb4c2SMatthew G. Knepley 
9052f5fb4c2SMatthew G. Knepley   Input Arguments:
9062f5fb4c2SMatthew G. Knepley + sf - original star forest
9072f5fb4c2SMatthew G. Knepley . nleaves - number of leaves to select on this process
9082f5fb4c2SMatthew G. Knepley - selected - selected leaves on this process
9092f5fb4c2SMatthew G. Knepley 
9102f5fb4c2SMatthew G. Knepley   Output Arguments:
9112f5fb4c2SMatthew G. Knepley .  newsf - new star forest
9122f5fb4c2SMatthew G. Knepley 
9132f5fb4c2SMatthew G. Knepley   Level: advanced
9142f5fb4c2SMatthew G. Knepley 
9152f5fb4c2SMatthew G. Knepley .seealso: PetscSFCreateEmbeddedSF(), PetscSFSetGraph(), PetscSFGetGraph()
9162f5fb4c2SMatthew G. Knepley @*/
9172f5fb4c2SMatthew G. Knepley PetscErrorCode PetscSFCreateEmbeddedLeafSF(PetscSF sf, PetscInt nleaves, const PetscInt *selected, PetscSF *newsf)
9182f5fb4c2SMatthew G. Knepley {
9192f5fb4c2SMatthew G. Knepley   PetscSFNode   *iremote;
9202f5fb4c2SMatthew G. Knepley   PetscInt      *ilocal;
9212f5fb4c2SMatthew G. Knepley   PetscInt       i;
9222f5fb4c2SMatthew G. Knepley   PetscErrorCode ierr;
9232f5fb4c2SMatthew G. Knepley 
9242f5fb4c2SMatthew G. Knepley   PetscFunctionBegin;
9252f5fb4c2SMatthew G. Knepley   PetscValidHeaderSpecific(sf, PETSCSF_CLASSID, 1);
9262f5fb4c2SMatthew G. Knepley   if (nleaves) PetscValidPointer(selected, 3);
9272f5fb4c2SMatthew G. Knepley   PetscValidPointer(newsf, 4);
9282f5fb4c2SMatthew G. Knepley   ierr = PetscMalloc1(nleaves, &ilocal);CHKERRQ(ierr);
9292f5fb4c2SMatthew G. Knepley   ierr = PetscMalloc1(nleaves, &iremote);CHKERRQ(ierr);
9302f5fb4c2SMatthew G. Knepley   for (i = 0; i < nleaves; ++i) {
9312f5fb4c2SMatthew G. Knepley     const PetscInt l = selected[i];
9322f5fb4c2SMatthew G. Knepley 
9332f5fb4c2SMatthew G. Knepley     ilocal[i]        = sf->mine ? sf->mine[l] : l;
9342f5fb4c2SMatthew G. Knepley     iremote[i].rank  = sf->remote[l].rank;
9352f5fb4c2SMatthew G. Knepley     iremote[i].index = sf->remote[l].index;
9362f5fb4c2SMatthew G. Knepley   }
9372f5fb4c2SMatthew G. Knepley   ierr = PetscSFDuplicate(sf, PETSCSF_DUPLICATE_RANKS, newsf);CHKERRQ(ierr);
9382f5fb4c2SMatthew G. Knepley   ierr = PetscSFSetGraph(*newsf, sf->nroots, nleaves, ilocal, PETSC_OWN_POINTER, iremote, PETSC_OWN_POINTER);CHKERRQ(ierr);
9392f5fb4c2SMatthew G. Knepley   PetscFunctionReturn(0);
9402f5fb4c2SMatthew G. Knepley }
9412f5fb4c2SMatthew G. Knepley 
94295fce210SBarry Smith /*@C
94395fce210SBarry Smith    PetscSFBcastBegin - begin pointwise broadcast to be concluded with call to PetscSFBcastEnd()
94495fce210SBarry Smith 
94595fce210SBarry Smith    Collective on PetscSF
94695fce210SBarry Smith 
94795fce210SBarry Smith    Input Arguments:
94895fce210SBarry Smith +  sf - star forest on which to communicate
94995fce210SBarry Smith .  unit - data type associated with each node
95095fce210SBarry Smith -  rootdata - buffer to broadcast
95195fce210SBarry Smith 
95295fce210SBarry Smith    Output Arguments:
95395fce210SBarry Smith .  leafdata - buffer to update with values from each leaf's respective root
95495fce210SBarry Smith 
95595fce210SBarry Smith    Level: intermediate
95695fce210SBarry Smith 
95795fce210SBarry Smith .seealso: PetscSFCreate(), PetscSFSetGraph(), PetscSFView(), PetscSFBcastEnd(), PetscSFReduceBegin()
95895fce210SBarry Smith @*/
95995fce210SBarry Smith PetscErrorCode PetscSFBcastBegin(PetscSF sf,MPI_Datatype unit,const void *rootdata,void *leafdata)
96095fce210SBarry Smith {
96195fce210SBarry Smith   PetscErrorCode ierr;
96295fce210SBarry Smith 
96395fce210SBarry Smith   PetscFunctionBegin;
96495fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
96595fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
966563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_BcastBegin,sf,0,0,0);CHKERRQ(ierr);
96795fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
96895fce210SBarry Smith   ierr = (*sf->ops->BcastBegin)(sf,unit,rootdata,leafdata);CHKERRQ(ierr);
969563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_BcastBegin,sf,0,0,0);CHKERRQ(ierr);
97095fce210SBarry Smith   PetscFunctionReturn(0);
97195fce210SBarry Smith }
97295fce210SBarry Smith 
97395fce210SBarry Smith /*@C
97495fce210SBarry Smith    PetscSFBcastEnd - end a broadcast operation started with PetscSFBcastBegin()
97595fce210SBarry Smith 
97695fce210SBarry Smith    Collective
97795fce210SBarry Smith 
97895fce210SBarry Smith    Input Arguments:
97995fce210SBarry Smith +  sf - star forest
98095fce210SBarry Smith .  unit - data type
98195fce210SBarry Smith -  rootdata - buffer to broadcast
98295fce210SBarry Smith 
98395fce210SBarry Smith    Output Arguments:
98495fce210SBarry Smith .  leafdata - buffer to update with values from each leaf's respective root
98595fce210SBarry Smith 
98695fce210SBarry Smith    Level: intermediate
98795fce210SBarry Smith 
98895fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFReduceEnd()
98995fce210SBarry Smith @*/
99095fce210SBarry Smith PetscErrorCode PetscSFBcastEnd(PetscSF sf,MPI_Datatype unit,const void *rootdata,void *leafdata)
99195fce210SBarry Smith {
99295fce210SBarry Smith   PetscErrorCode ierr;
99395fce210SBarry Smith 
99495fce210SBarry Smith   PetscFunctionBegin;
99595fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
99695fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
997563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_BcastEnd,sf,0,0,0);CHKERRQ(ierr);
99895fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
99995fce210SBarry Smith   ierr = (*sf->ops->BcastEnd)(sf,unit,rootdata,leafdata);CHKERRQ(ierr);
1000563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_BcastEnd,sf,0,0,0);CHKERRQ(ierr);
100195fce210SBarry Smith   PetscFunctionReturn(0);
100295fce210SBarry Smith }
100395fce210SBarry Smith 
100495fce210SBarry Smith /*@C
100595fce210SBarry Smith    PetscSFReduceBegin - begin reduction of leafdata into rootdata, to be completed with call to PetscSFReduceEnd()
100695fce210SBarry Smith 
100795fce210SBarry Smith    Collective
100895fce210SBarry Smith 
100995fce210SBarry Smith    Input Arguments:
101095fce210SBarry Smith +  sf - star forest
101195fce210SBarry Smith .  unit - data type
101295fce210SBarry Smith .  leafdata - values to reduce
101395fce210SBarry Smith -  op - reduction operation
101495fce210SBarry Smith 
101595fce210SBarry Smith    Output Arguments:
101695fce210SBarry Smith .  rootdata - result of reduction of values from all leaves of each root
101795fce210SBarry Smith 
101895fce210SBarry Smith    Level: intermediate
101995fce210SBarry Smith 
102095fce210SBarry Smith .seealso: PetscSFBcastBegin()
102195fce210SBarry Smith @*/
102295fce210SBarry Smith PetscErrorCode PetscSFReduceBegin(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *rootdata,MPI_Op op)
102395fce210SBarry Smith {
102495fce210SBarry Smith   PetscErrorCode ierr;
102595fce210SBarry Smith 
102695fce210SBarry Smith   PetscFunctionBegin;
102795fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
102895fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1029563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_ReduceBegin,sf,0,0,0);CHKERRQ(ierr);
103095fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
103195fce210SBarry Smith   ierr = (sf->ops->ReduceBegin)(sf,unit,leafdata,rootdata,op);CHKERRQ(ierr);
1032563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_ReduceBegin,sf,0,0,0);CHKERRQ(ierr);
103395fce210SBarry Smith   PetscFunctionReturn(0);
103495fce210SBarry Smith }
103595fce210SBarry Smith 
103695fce210SBarry Smith /*@C
103795fce210SBarry Smith    PetscSFReduceEnd - end a reduction operation started with PetscSFReduceBegin()
103895fce210SBarry Smith 
103995fce210SBarry Smith    Collective
104095fce210SBarry Smith 
104195fce210SBarry Smith    Input Arguments:
104295fce210SBarry Smith +  sf - star forest
104395fce210SBarry Smith .  unit - data type
104495fce210SBarry Smith .  leafdata - values to reduce
104595fce210SBarry Smith -  op - reduction operation
104695fce210SBarry Smith 
104795fce210SBarry Smith    Output Arguments:
104895fce210SBarry Smith .  rootdata - result of reduction of values from all leaves of each root
104995fce210SBarry Smith 
105095fce210SBarry Smith    Level: intermediate
105195fce210SBarry Smith 
105295fce210SBarry Smith .seealso: PetscSFSetGraph(), PetscSFBcastEnd()
105395fce210SBarry Smith @*/
105495fce210SBarry Smith PetscErrorCode PetscSFReduceEnd(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *rootdata,MPI_Op op)
105595fce210SBarry Smith {
105695fce210SBarry Smith   PetscErrorCode ierr;
105795fce210SBarry Smith 
105895fce210SBarry Smith   PetscFunctionBegin;
105995fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
106095fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1061563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_ReduceEnd,sf,0,0,0);CHKERRQ(ierr);
106295fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
106395fce210SBarry Smith   ierr = (*sf->ops->ReduceEnd)(sf,unit,leafdata,rootdata,op);CHKERRQ(ierr);
1064563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_ReduceEnd,sf,0,0,0);CHKERRQ(ierr);
106595fce210SBarry Smith   PetscFunctionReturn(0);
106695fce210SBarry Smith }
106795fce210SBarry Smith 
106895fce210SBarry Smith /*@C
106995fce210SBarry Smith    PetscSFComputeDegreeBegin - begin computation of degree for each root vertex, to be completed with PetscSFComputeDegreeEnd()
107095fce210SBarry Smith 
107195fce210SBarry Smith    Collective
107295fce210SBarry Smith 
107395fce210SBarry Smith    Input Arguments:
107495fce210SBarry Smith .  sf - star forest
107595fce210SBarry Smith 
107695fce210SBarry Smith    Output Arguments:
107795fce210SBarry Smith .  degree - degree of each root vertex
107895fce210SBarry Smith 
107995fce210SBarry Smith    Level: advanced
108095fce210SBarry Smith 
108195fce210SBarry Smith .seealso: PetscSFGatherBegin()
108295fce210SBarry Smith @*/
108395fce210SBarry Smith PetscErrorCode PetscSFComputeDegreeBegin(PetscSF sf,const PetscInt **degree)
108495fce210SBarry Smith {
108595fce210SBarry Smith   PetscErrorCode ierr;
108695fce210SBarry Smith 
108795fce210SBarry Smith   PetscFunctionBegin;
108895fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
108995fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
109095fce210SBarry Smith   PetscValidPointer(degree,2);
1091803bd9e8SMatthew G. Knepley   if (!sf->degreeknown) {
10929837ea96SMatthew G. Knepley     PetscInt i,maxlocal;
1093803bd9e8SMatthew G. Knepley     if (sf->degree) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Calls to PetscSFComputeDegreeBegin() cannot be nested.");
10949837ea96SMatthew G. Knepley     for (i=0,maxlocal=0; i<sf->nleaves; i++) maxlocal = PetscMax(maxlocal,(sf->mine ? sf->mine[i] : i)+1);
1095785e854fSJed Brown     ierr = PetscMalloc1(sf->nroots,&sf->degree);CHKERRQ(ierr);
10969837ea96SMatthew G. Knepley     ierr = PetscMalloc1(maxlocal,&sf->degreetmp);CHKERRQ(ierr);
109795fce210SBarry Smith     for (i=0; i<sf->nroots; i++) sf->degree[i] = 0;
10989837ea96SMatthew G. Knepley     for (i=0; i<maxlocal; i++) sf->degreetmp[i] = 1;
1099dbd2ff41SBarry Smith     ierr = PetscSFReduceBegin(sf,MPIU_INT,sf->degreetmp,sf->degree,MPI_SUM);CHKERRQ(ierr);
110095fce210SBarry Smith   }
110195fce210SBarry Smith   *degree = NULL;
110295fce210SBarry Smith   PetscFunctionReturn(0);
110395fce210SBarry Smith }
110495fce210SBarry Smith 
110595fce210SBarry Smith /*@C
110695fce210SBarry Smith    PetscSFComputeDegreeEnd - complete computation of degree for each root vertex, started with PetscSFComputeDegreeBegin()
110795fce210SBarry Smith 
110895fce210SBarry Smith    Collective
110995fce210SBarry Smith 
111095fce210SBarry Smith    Input Arguments:
111195fce210SBarry Smith .  sf - star forest
111295fce210SBarry Smith 
111395fce210SBarry Smith    Output Arguments:
111495fce210SBarry Smith .  degree - degree of each root vertex
111595fce210SBarry Smith 
111695fce210SBarry Smith    Level: developer
111795fce210SBarry Smith 
111895fce210SBarry Smith .seealso:
111995fce210SBarry Smith @*/
112095fce210SBarry Smith PetscErrorCode PetscSFComputeDegreeEnd(PetscSF sf,const PetscInt **degree)
112195fce210SBarry Smith {
112295fce210SBarry Smith   PetscErrorCode ierr;
112395fce210SBarry Smith 
112495fce210SBarry Smith   PetscFunctionBegin;
112595fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
112695fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
112795fce210SBarry Smith   if (!sf->degreeknown) {
1128dbd2ff41SBarry Smith     ierr = PetscSFReduceEnd(sf,MPIU_INT,sf->degreetmp,sf->degree,MPI_SUM);CHKERRQ(ierr);
112995fce210SBarry Smith     ierr = PetscFree(sf->degreetmp);CHKERRQ(ierr);
113095fce210SBarry Smith 
113195fce210SBarry Smith     sf->degreeknown = PETSC_TRUE;
113295fce210SBarry Smith   }
113395fce210SBarry Smith   *degree = sf->degree;
113495fce210SBarry Smith   PetscFunctionReturn(0);
113595fce210SBarry Smith }
113695fce210SBarry Smith 
113795fce210SBarry Smith /*@C
113895fce210SBarry Smith    PetscSFFetchAndOpBegin - begin operation that fetches values from root and updates atomically by applying operation using my leaf value, to be completed with PetscSFFetchAndOpEnd()
113995fce210SBarry Smith 
114095fce210SBarry Smith    Collective
114195fce210SBarry Smith 
114295fce210SBarry Smith    Input Arguments:
114395fce210SBarry Smith +  sf - star forest
114495fce210SBarry Smith .  unit - data type
114595fce210SBarry Smith .  leafdata - leaf values to use in reduction
114695fce210SBarry Smith -  op - operation to use for reduction
114795fce210SBarry Smith 
114895fce210SBarry Smith    Output Arguments:
114995fce210SBarry Smith +  rootdata - root values to be updated, input state is seen by first process to perform an update
115095fce210SBarry Smith -  leafupdate - state at each leaf's respective root immediately prior to my atomic update
115195fce210SBarry Smith 
115295fce210SBarry Smith    Level: advanced
115395fce210SBarry Smith 
115495fce210SBarry Smith    Note:
115595fce210SBarry Smith    The update is only atomic at the granularity provided by the hardware. Different roots referenced by the same process
115695fce210SBarry Smith    might be updated in a different order. Furthermore, if a composite type is used for the unit datatype, atomicity is
115795fce210SBarry Smith    not guaranteed across the whole vertex. Therefore, this function is mostly only used with primitive types such as
115895fce210SBarry Smith    integers.
115995fce210SBarry Smith 
116095fce210SBarry Smith .seealso: PetscSFComputeDegreeBegin(), PetscSFReduceBegin(), PetscSFSetGraph()
116195fce210SBarry Smith @*/
116295fce210SBarry Smith PetscErrorCode PetscSFFetchAndOpBegin(PetscSF sf,MPI_Datatype unit,void *rootdata,const void *leafdata,void *leafupdate,MPI_Op op)
116395fce210SBarry Smith {
116495fce210SBarry Smith   PetscErrorCode ierr;
116595fce210SBarry Smith 
116695fce210SBarry Smith   PetscFunctionBegin;
116795fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
116895fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1169563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_FetchAndOpBegin,sf,0,0,0);CHKERRQ(ierr);
117095fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
117195fce210SBarry Smith   ierr = (*sf->ops->FetchAndOpBegin)(sf,unit,rootdata,leafdata,leafupdate,op);CHKERRQ(ierr);
1172563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_FetchAndOpBegin,sf,0,0,0);CHKERRQ(ierr);
117395fce210SBarry Smith   PetscFunctionReturn(0);
117495fce210SBarry Smith }
117595fce210SBarry Smith 
117695fce210SBarry Smith /*@C
117795fce210SBarry 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
117895fce210SBarry Smith 
117995fce210SBarry Smith    Collective
118095fce210SBarry Smith 
118195fce210SBarry Smith    Input Arguments:
118295fce210SBarry Smith +  sf - star forest
118395fce210SBarry Smith .  unit - data type
118495fce210SBarry Smith .  leafdata - leaf values to use in reduction
118595fce210SBarry Smith -  op - operation to use for reduction
118695fce210SBarry Smith 
118795fce210SBarry Smith    Output Arguments:
118895fce210SBarry Smith +  rootdata - root values to be updated, input state is seen by first process to perform an update
118995fce210SBarry Smith -  leafupdate - state at each leaf's respective root immediately prior to my atomic update
119095fce210SBarry Smith 
119195fce210SBarry Smith    Level: advanced
119295fce210SBarry Smith 
119395fce210SBarry Smith .seealso: PetscSFComputeDegreeEnd(), PetscSFReduceEnd(), PetscSFSetGraph()
119495fce210SBarry Smith @*/
119595fce210SBarry Smith PetscErrorCode PetscSFFetchAndOpEnd(PetscSF sf,MPI_Datatype unit,void *rootdata,const void *leafdata,void *leafupdate,MPI_Op op)
119695fce210SBarry Smith {
119795fce210SBarry Smith   PetscErrorCode ierr;
119895fce210SBarry Smith 
119995fce210SBarry Smith   PetscFunctionBegin;
120095fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
120195fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
1202563ffbabSMatthew G. Knepley   ierr = PetscLogEventBegin(PETSCSF_FetchAndOpEnd,sf,0,0,0);CHKERRQ(ierr);
120395fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
120495fce210SBarry Smith   ierr = (*sf->ops->FetchAndOpEnd)(sf,unit,rootdata,leafdata,leafupdate,op);CHKERRQ(ierr);
1205563ffbabSMatthew G. Knepley   ierr = PetscLogEventEnd(PETSCSF_FetchAndOpEnd,sf,0,0,0);CHKERRQ(ierr);
120695fce210SBarry Smith   PetscFunctionReturn(0);
120795fce210SBarry Smith }
120895fce210SBarry Smith 
120995fce210SBarry Smith /*@C
121095fce210SBarry Smith    PetscSFGatherBegin - begin pointwise gather of all leaves into multi-roots, to be completed with PetscSFGatherEnd()
121195fce210SBarry Smith 
121295fce210SBarry Smith    Collective
121395fce210SBarry Smith 
121495fce210SBarry Smith    Input Arguments:
121595fce210SBarry Smith +  sf - star forest
121695fce210SBarry Smith .  unit - data type
121795fce210SBarry Smith -  leafdata - leaf data to gather to roots
121895fce210SBarry Smith 
121995fce210SBarry Smith    Output Argument:
122095fce210SBarry Smith .  multirootdata - root buffer to gather into, amount of space per root is equal to its degree
122195fce210SBarry Smith 
122295fce210SBarry Smith    Level: intermediate
122395fce210SBarry Smith 
122495fce210SBarry Smith .seealso: PetscSFComputeDegreeBegin(), PetscSFScatterBegin()
122595fce210SBarry Smith @*/
122695fce210SBarry Smith PetscErrorCode PetscSFGatherBegin(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *multirootdata)
122795fce210SBarry Smith {
122895fce210SBarry Smith   PetscErrorCode ierr;
122995fce210SBarry Smith   PetscSF        multi;
123095fce210SBarry Smith 
123195fce210SBarry Smith   PetscFunctionBegin;
123295fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
123395fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
12348bfbc91cSJed Brown   ierr = PetscSFReduceBegin(multi,unit,leafdata,multirootdata,MPIU_REPLACE);CHKERRQ(ierr);
123595fce210SBarry Smith   PetscFunctionReturn(0);
123695fce210SBarry Smith }
123795fce210SBarry Smith 
123895fce210SBarry Smith /*@C
123995fce210SBarry Smith    PetscSFGatherEnd - ends pointwise gather operation that was started with PetscSFGatherBegin()
124095fce210SBarry Smith 
124195fce210SBarry Smith    Collective
124295fce210SBarry Smith 
124395fce210SBarry Smith    Input Arguments:
124495fce210SBarry Smith +  sf - star forest
124595fce210SBarry Smith .  unit - data type
124695fce210SBarry Smith -  leafdata - leaf data to gather to roots
124795fce210SBarry Smith 
124895fce210SBarry Smith    Output Argument:
124995fce210SBarry Smith .  multirootdata - root buffer to gather into, amount of space per root is equal to its degree
125095fce210SBarry Smith 
125195fce210SBarry Smith    Level: intermediate
125295fce210SBarry Smith 
125395fce210SBarry Smith .seealso: PetscSFComputeDegreeEnd(), PetscSFScatterEnd()
125495fce210SBarry Smith @*/
125595fce210SBarry Smith PetscErrorCode PetscSFGatherEnd(PetscSF sf,MPI_Datatype unit,const void *leafdata,void *multirootdata)
125695fce210SBarry Smith {
125795fce210SBarry Smith   PetscErrorCode ierr;
125895fce210SBarry Smith   PetscSF        multi;
125995fce210SBarry Smith 
126095fce210SBarry Smith   PetscFunctionBegin;
126195fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
126295fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
126395fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
126495fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
12658bfbc91cSJed Brown   ierr = PetscSFReduceEnd(multi,unit,leafdata,multirootdata,MPIU_REPLACE);CHKERRQ(ierr);
126695fce210SBarry Smith   PetscFunctionReturn(0);
126795fce210SBarry Smith }
126895fce210SBarry Smith 
126995fce210SBarry Smith /*@C
127095fce210SBarry Smith    PetscSFScatterBegin - begin pointwise scatter operation from multi-roots to leaves, to be completed with PetscSFScatterEnd()
127195fce210SBarry Smith 
127295fce210SBarry Smith    Collective
127395fce210SBarry Smith 
127495fce210SBarry Smith    Input Arguments:
127595fce210SBarry Smith +  sf - star forest
127695fce210SBarry Smith .  unit - data type
127795fce210SBarry Smith -  multirootdata - root buffer to send to each leaf, one unit of data per leaf
127895fce210SBarry Smith 
127995fce210SBarry Smith    Output Argument:
128095fce210SBarry Smith .  leafdata - leaf data to be update with personal data from each respective root
128195fce210SBarry Smith 
128295fce210SBarry Smith    Level: intermediate
128395fce210SBarry Smith 
128495fce210SBarry Smith .seealso: PetscSFComputeDegreeBegin(), PetscSFScatterBegin()
128595fce210SBarry Smith @*/
128695fce210SBarry Smith PetscErrorCode PetscSFScatterBegin(PetscSF sf,MPI_Datatype unit,const void *multirootdata,void *leafdata)
128795fce210SBarry Smith {
128895fce210SBarry Smith   PetscErrorCode ierr;
128995fce210SBarry Smith   PetscSF        multi;
129095fce210SBarry Smith 
129195fce210SBarry Smith   PetscFunctionBegin;
129295fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
129395fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
129495fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
129595fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
129695fce210SBarry Smith   ierr = PetscSFBcastBegin(multi,unit,multirootdata,leafdata);CHKERRQ(ierr);
129795fce210SBarry Smith   PetscFunctionReturn(0);
129895fce210SBarry Smith }
129995fce210SBarry Smith 
130095fce210SBarry Smith /*@C
130195fce210SBarry Smith    PetscSFScatterEnd - ends pointwise scatter operation that was started with PetscSFScatterBegin()
130295fce210SBarry Smith 
130395fce210SBarry Smith    Collective
130495fce210SBarry Smith 
130595fce210SBarry Smith    Input Arguments:
130695fce210SBarry Smith +  sf - star forest
130795fce210SBarry Smith .  unit - data type
130895fce210SBarry Smith -  multirootdata - root buffer to send to each leaf, one unit of data per leaf
130995fce210SBarry Smith 
131095fce210SBarry Smith    Output Argument:
131195fce210SBarry Smith .  leafdata - leaf data to be update with personal data from each respective root
131295fce210SBarry Smith 
131395fce210SBarry Smith    Level: intermediate
131495fce210SBarry Smith 
131595fce210SBarry Smith .seealso: PetscSFComputeDegreeEnd(), PetscSFScatterEnd()
131695fce210SBarry Smith @*/
131795fce210SBarry Smith PetscErrorCode PetscSFScatterEnd(PetscSF sf,MPI_Datatype unit,const void *multirootdata,void *leafdata)
131895fce210SBarry Smith {
131995fce210SBarry Smith   PetscErrorCode ierr;
132095fce210SBarry Smith   PetscSF        multi;
132195fce210SBarry Smith 
132295fce210SBarry Smith   PetscFunctionBegin;
132395fce210SBarry Smith   PetscValidHeaderSpecific(sf,PETSCSF_CLASSID,1);
132495fce210SBarry Smith   PetscSFCheckGraphSet(sf,1);
132595fce210SBarry Smith   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
132695fce210SBarry Smith   ierr = PetscSFGetMultiSF(sf,&multi);CHKERRQ(ierr);
132795fce210SBarry Smith   ierr = PetscSFBcastEnd(multi,unit,multirootdata,leafdata);CHKERRQ(ierr);
132895fce210SBarry Smith   PetscFunctionReturn(0);
132995fce210SBarry Smith }
1330a7b3aa13SAta Mesgarnejad 
1331a7b3aa13SAta Mesgarnejad /*@
1332a7b3aa13SAta Mesgarnejad   PetscSFCompose - Compose a new PetscSF equivalent to action to PetscSFs
1333a7b3aa13SAta Mesgarnejad 
1334a7b3aa13SAta Mesgarnejad   Input Parameters:
1335a7b3aa13SAta Mesgarnejad + sfA - The first PetscSF
1336a7b3aa13SAta Mesgarnejad - sfB - The second PetscSF
1337a7b3aa13SAta Mesgarnejad 
1338a7b3aa13SAta Mesgarnejad   Output Parameters:
1339a7b3aa13SAta Mesgarnejad . sfBA - equvalent PetscSF for applying A then B
1340a7b3aa13SAta Mesgarnejad 
1341a7b3aa13SAta Mesgarnejad   Level: developer
1342a7b3aa13SAta Mesgarnejad 
1343a7b3aa13SAta Mesgarnejad .seealso: PetscSF, PetscSFGetGraph(), PetscSFSetGraph()
1344a7b3aa13SAta Mesgarnejad @*/
1345a7b3aa13SAta Mesgarnejad PetscErrorCode PetscSFCompose(PetscSF sfA, PetscSF sfB, PetscSF *sfBA)
1346a7b3aa13SAta Mesgarnejad {
1347a7b3aa13SAta Mesgarnejad   MPI_Comm           comm;
1348a7b3aa13SAta Mesgarnejad   const PetscSFNode *remotePointsA, *remotePointsB;
1349a7b3aa13SAta Mesgarnejad   PetscSFNode       *remotePointsBA;
1350a7b3aa13SAta Mesgarnejad   const PetscInt    *localPointsA, *localPointsB;
1351a7b3aa13SAta Mesgarnejad   PetscInt           numRootsA, numLeavesA, numRootsB, numLeavesB;
1352a7b3aa13SAta Mesgarnejad   PetscErrorCode     ierr;
1353a7b3aa13SAta Mesgarnejad 
1354a7b3aa13SAta Mesgarnejad   PetscFunctionBegin;
1355a7b3aa13SAta Mesgarnejad   PetscValidHeaderSpecific(sfA, PETSCSF_CLASSID, 1);
1356a7b3aa13SAta Mesgarnejad   PetscValidHeaderSpecific(sfB, PETSCSF_CLASSID, 1);
1357a7b3aa13SAta Mesgarnejad   ierr = PetscObjectGetComm((PetscObject) sfA, &comm);CHKERRQ(ierr);
1358a7b3aa13SAta Mesgarnejad   ierr = PetscSFGetGraph(sfA, &numRootsA, &numLeavesA, &localPointsA, &remotePointsA);CHKERRQ(ierr);
1359a7b3aa13SAta Mesgarnejad   ierr = PetscSFGetGraph(sfB, &numRootsB, &numLeavesB, &localPointsB, &remotePointsB);CHKERRQ(ierr);
1360a7b3aa13SAta Mesgarnejad   ierr = PetscMalloc1(numLeavesB, &remotePointsBA);CHKERRQ(ierr);
1361a7b3aa13SAta Mesgarnejad   ierr = PetscSFBcastBegin(sfB, MPIU_2INT, remotePointsA, remotePointsBA);CHKERRQ(ierr);
1362a7b3aa13SAta Mesgarnejad   ierr = PetscSFBcastEnd(sfB, MPIU_2INT, remotePointsA, remotePointsBA);CHKERRQ(ierr);
1363a7b3aa13SAta Mesgarnejad   ierr = PetscSFCreate(comm, sfBA);CHKERRQ(ierr);
1364a7b3aa13SAta Mesgarnejad   ierr = PetscSFSetGraph(*sfBA, numRootsA, numLeavesB, localPointsB, PETSC_COPY_VALUES, remotePointsBA, PETSC_OWN_POINTER);CHKERRQ(ierr);
1365a7b3aa13SAta Mesgarnejad   PetscFunctionReturn(0);
1366a7b3aa13SAta Mesgarnejad }
1367