xref: /petsc/include/petscis.h (revision 76bdecfb13ff6dcb09bbf73e6c929f447c427e71)
12eac72dbSBarry Smith /*
2f8256253SLois Curfman McInnes    An index set is a generalization of a subset of integers.  Index sets
3f8256253SLois Curfman McInnes    are used for defining scatters and gathers.
42eac72dbSBarry Smith */
50a835dfdSSatish Balay #if !defined(__PETSCIS_H)
60a835dfdSSatish Balay #define __PETSCIS_H
7d382aafbSBarry Smith #include "petscsys.h"
8e9fa29b7SSatish Balay PETSC_EXTERN_CXX_BEGIN
92eac72dbSBarry Smith 
1097b48c8fSBarry Smith #define IS_FILE_CLASSID 1211218
117087cfbeSBarry Smith extern  PetscClassId IS_CLASSID;
12f0479e8cSBarry Smith 
137087cfbeSBarry Smith extern PetscErrorCode  ISInitializePackage(const char[]);
142b6de112SBarry Smith 
155c20da3cSBarry Smith /*S
16f22f69f0SBarry Smith      IS - Abstract PETSc object that allows indexing.
175c20da3cSBarry Smith 
185c20da3cSBarry Smith    Level: beginner
195c20da3cSBarry Smith 
205c20da3cSBarry Smith   Concepts: indexing, stride
215c20da3cSBarry Smith 
225c20da3cSBarry Smith .seealso:  ISCreateGeneral(), ISCreateBlock(), ISCreateStride(), ISGetIndices(), ISDestroy()
235c20da3cSBarry Smith S*/
24f09e8eb9SSatish Balay typedef struct _p_IS* IS;
252eac72dbSBarry Smith 
26*76bdecfbSBarry Smith /*J
2727bdab1eSBarry Smith     ISType - String with the name of a PETSc vector or the creation function
2827bdab1eSBarry Smith        with an optional dynamic library name, for example
2927bdab1eSBarry Smith        http://www.mcs.anl.gov/petsc/lib.a:myveccreate()
3027bdab1eSBarry Smith 
3127bdab1eSBarry Smith    Level: beginner
3227bdab1eSBarry Smith 
3327bdab1eSBarry Smith .seealso: ISSetType(), IS
34*76bdecfbSBarry Smith J*/
3527bdab1eSBarry Smith #define ISType char*
3627bdab1eSBarry Smith #define ISGENERAL      "general"
3727bdab1eSBarry Smith #define ISSTRIDE       "stride"
3827bdab1eSBarry Smith #define ISBLOCK        "block"
3927bdab1eSBarry Smith 
4027bdab1eSBarry Smith /* Dynamic creation and loading functions */
4127bdab1eSBarry Smith extern PetscFList ISList;
4227bdab1eSBarry Smith extern PetscBool  ISRegisterAllCalled;
437087cfbeSBarry Smith extern PetscErrorCode  ISSetType(IS, const ISType);
447087cfbeSBarry Smith extern PetscErrorCode  ISGetType(IS, const ISType *);
457087cfbeSBarry Smith extern PetscErrorCode  ISRegister(const char[],const char[],const char[],PetscErrorCode (*)(IS));
467087cfbeSBarry Smith extern PetscErrorCode  ISRegisterAll(const char []);
477087cfbeSBarry Smith extern PetscErrorCode  ISRegisterDestroy(void);
487087cfbeSBarry Smith extern PetscErrorCode  ISCreate(MPI_Comm,IS*);
4927bdab1eSBarry Smith 
5027bdab1eSBarry Smith /*MC
5127bdab1eSBarry Smith   ISRegisterDynamic - Adds a new vector component implementation
5227bdab1eSBarry Smith 
5327bdab1eSBarry Smith   Synopsis:
5427bdab1eSBarry Smith   PetscErrorCode ISRegisterDynamic(const char *name, const char *path, const char *func_name, PetscErrorCode (*create_func)(IS))
5527bdab1eSBarry Smith 
5627bdab1eSBarry Smith   Not Collective
5727bdab1eSBarry Smith 
5827bdab1eSBarry Smith   Input Parameters:
5927bdab1eSBarry Smith + name        - The name of a new user-defined creation routine
6027bdab1eSBarry Smith . path        - The path (either absolute or relative) of the library containing this routine
6127bdab1eSBarry Smith . func_name   - The name of routine to create method context
6227bdab1eSBarry Smith - create_func - The creation routine itself
6327bdab1eSBarry Smith 
6427bdab1eSBarry Smith   Notes:
6527bdab1eSBarry Smith   ISRegisterDynamic() may be called multiple times to add several user-defined vectors
6627bdab1eSBarry Smith 
6727bdab1eSBarry Smith   If dynamic libraries are used, then the fourth input argument (routine_create) is ignored.
6827bdab1eSBarry Smith 
6927bdab1eSBarry Smith   Sample usage:
7027bdab1eSBarry Smith .vb
7127bdab1eSBarry Smith     ISRegisterDynamic("my_is","/home/username/my_lib/lib/libO/solaris/libmy.a", "MyIStorCreate", MyIStorCreate);
7227bdab1eSBarry Smith .ve
7327bdab1eSBarry Smith 
7427bdab1eSBarry Smith   Then, your vector type can be chosen with the procedural interface via
7527bdab1eSBarry Smith .vb
7627bdab1eSBarry Smith     ISCreate(MPI_Comm, IS *);
7727bdab1eSBarry Smith     ISSetType(IS,"my_vector_name");
7827bdab1eSBarry Smith .ve
7927bdab1eSBarry Smith    or at runtime via the option
8027bdab1eSBarry Smith .vb
8127bdab1eSBarry Smith     -vec_type my_vector_name
8227bdab1eSBarry Smith .ve
8327bdab1eSBarry Smith 
8427bdab1eSBarry Smith   Notes: $PETSC_ARCH occuring in pathname will be replaced with appropriate values.
8527bdab1eSBarry Smith          If your function is not being put into a shared library then use ISRegister() instead
8627bdab1eSBarry Smith 
8727bdab1eSBarry Smith   Level: advanced
8827bdab1eSBarry Smith 
8927bdab1eSBarry Smith .keywords: IS, register
9027bdab1eSBarry Smith .seealso: ISRegisterAll(), ISRegisterDestroy(), ISRegister()
9127bdab1eSBarry Smith M*/
9227bdab1eSBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
9327bdab1eSBarry Smith #define ISRegisterDynamic(a,b,c,d) ISRegister(a,b,c,0)
9427bdab1eSBarry Smith #else
9527bdab1eSBarry Smith #define ISRegisterDynamic(a,b,c,d) ISRegister(a,b,c,d)
9627bdab1eSBarry Smith #endif
9727bdab1eSBarry Smith 
98639f9d9dSBarry Smith /*
99639f9d9dSBarry Smith     Default index set data structures that PETSc provides.
100639f9d9dSBarry Smith */
1017087cfbeSBarry Smith extern PetscErrorCode    ISCreateGeneral(MPI_Comm,PetscInt,const PetscInt[],PetscCopyMode,IS *);
1027087cfbeSBarry Smith extern PetscErrorCode    ISGeneralSetIndices(IS,PetscInt,const PetscInt[],PetscCopyMode);
1037087cfbeSBarry Smith extern PetscErrorCode    ISCreateBlock(MPI_Comm,PetscInt,PetscInt,const PetscInt[],PetscCopyMode,IS *);
1047087cfbeSBarry Smith extern PetscErrorCode    ISBlockSetIndices(IS,PetscInt,PetscInt,const PetscInt[],PetscCopyMode);
1057087cfbeSBarry Smith extern PetscErrorCode    ISCreateStride(MPI_Comm,PetscInt,PetscInt,PetscInt,IS *);
1067087cfbeSBarry Smith extern PetscErrorCode    ISStrideSetStride(IS,PetscInt,PetscInt,PetscInt);
1074b0e389bSBarry Smith 
108fcfd50ebSBarry Smith extern PetscErrorCode    ISDestroy(IS*);
1097087cfbeSBarry Smith extern PetscErrorCode    ISSetPermutation(IS);
1107087cfbeSBarry Smith extern PetscErrorCode    ISPermutation(IS,PetscBool *);
1117087cfbeSBarry Smith extern PetscErrorCode    ISSetIdentity(IS);
1127087cfbeSBarry Smith extern PetscErrorCode    ISIdentity(IS,PetscBool *);
1137087cfbeSBarry Smith extern PetscErrorCode    ISContiguousLocal(IS,PetscInt,PetscInt,PetscInt*,PetscBool*);
11408480c60SBarry Smith 
1157087cfbeSBarry Smith extern PetscErrorCode    ISGetIndices(IS,const PetscInt *[]);
1167087cfbeSBarry Smith extern PetscErrorCode    ISRestoreIndices(IS,const PetscInt *[]);
1177087cfbeSBarry Smith extern PetscErrorCode    ISGetTotalIndices(IS,const PetscInt *[]);
1187087cfbeSBarry Smith extern PetscErrorCode    ISRestoreTotalIndices(IS,const PetscInt *[]);
1197087cfbeSBarry Smith extern PetscErrorCode    ISGetNonlocalIndices(IS,const PetscInt *[]);
1207087cfbeSBarry Smith extern PetscErrorCode    ISRestoreNonlocalIndices(IS,const PetscInt *[]);
1217087cfbeSBarry Smith extern PetscErrorCode    ISGetNonlocalIS(IS, IS *is);
1227087cfbeSBarry Smith extern PetscErrorCode    ISRestoreNonlocalIS(IS, IS *is);
1237087cfbeSBarry Smith extern PetscErrorCode    ISGetSize(IS,PetscInt *);
1247087cfbeSBarry Smith extern PetscErrorCode    ISGetLocalSize(IS,PetscInt *);
1257087cfbeSBarry Smith extern PetscErrorCode    ISInvertPermutation(IS,PetscInt,IS*);
1267087cfbeSBarry Smith extern PetscErrorCode    ISView(IS,PetscViewer);
1277087cfbeSBarry Smith extern PetscErrorCode    ISEqual(IS,IS,PetscBool  *);
1287087cfbeSBarry Smith extern PetscErrorCode    ISSort(IS);
1297087cfbeSBarry Smith extern PetscErrorCode    ISSorted(IS,PetscBool  *);
1307087cfbeSBarry Smith extern PetscErrorCode    ISDifference(IS,IS,IS*);
1317087cfbeSBarry Smith extern PetscErrorCode    ISSum(IS,IS,IS*);
1327087cfbeSBarry Smith extern PetscErrorCode    ISExpand(IS,IS,IS*);
133612dd529SBarry Smith 
1347087cfbeSBarry Smith extern PetscErrorCode    ISBlockGetIndices(IS,const PetscInt *[]);
1357087cfbeSBarry Smith extern PetscErrorCode    ISBlockRestoreIndices(IS,const PetscInt *[]);
1367087cfbeSBarry Smith extern PetscErrorCode    ISBlockGetLocalSize(IS,PetscInt *);
1377087cfbeSBarry Smith extern PetscErrorCode    ISBlockGetSize(IS,PetscInt *);
1387087cfbeSBarry Smith extern PetscErrorCode    ISGetBlockSize(IS,PetscInt*);
1397087cfbeSBarry Smith extern PetscErrorCode    ISSetBlockSize(IS,PetscInt);
140c16cb8f2SBarry Smith 
1417087cfbeSBarry Smith extern PetscErrorCode    ISStrideGetInfo(IS,PetscInt *,PetscInt*);
142c16cb8f2SBarry Smith 
1437087cfbeSBarry Smith extern PetscErrorCode    ISToGeneral(IS);
14438f40f24SLois Curfman McInnes 
1457087cfbeSBarry Smith extern PetscErrorCode    ISDuplicate(IS,IS*);
1467087cfbeSBarry Smith extern PetscErrorCode    ISCopy(IS,IS);
1477087cfbeSBarry Smith extern PetscErrorCode    ISAllGather(IS,IS*);
1487087cfbeSBarry Smith extern PetscErrorCode    ISComplement(IS,PetscInt,PetscInt,IS*);
1497087cfbeSBarry Smith extern PetscErrorCode    ISOnComm(IS,MPI_Comm,PetscCopyMode,IS*);
150d64ed03dSBarry Smith 
15156cd22aeSBarry Smith /* --------------------------------------------------------------------------*/
1527087cfbeSBarry Smith extern  PetscClassId IS_LTOGM_CLASSID;
15356cd22aeSBarry Smith 
1545c20da3cSBarry Smith /*S
155d9ffb7b8SBarry Smith    ISLocalToGlobalMapping - mappings from an arbitrary
15690f02eecSBarry Smith       local ordering from 0 to n-1 to a global PETSc ordering
157d4bb536fSBarry Smith       used by a vector or matrix.
158d4bb536fSBarry Smith 
1595c20da3cSBarry Smith    Level: intermediate
1605c20da3cSBarry Smith 
161d4bb536fSBarry Smith    Note: mapping from Local to Global is scalable; but Global
162eec0b4cfSBarry Smith   to Local may not be if the range of global values represented locally
163d4bb536fSBarry Smith   is very large.
16474637425SBarry Smith 
16574637425SBarry Smith    Note: the ISLocalToGlobalMapping is actually a private object; it is included
166992144d0SBarry Smith   here for the inline function ISLocalToGlobalMappingApply() to allow it to be inlined since
16774637425SBarry Smith   it is used so often.
16874637425SBarry Smith 
1695c20da3cSBarry Smith .seealso:  ISLocalToGlobalMappingCreate()
1705c20da3cSBarry Smith S*/
17174637425SBarry Smith struct _p_ISLocalToGlobalMapping{
172011f5a45SSatish Balay   PETSCHEADER(int);
17332dcc486SBarry Smith   PetscInt n;                  /* number of local indices */
17432dcc486SBarry Smith   PetscInt *indices;           /* global index of each local index */
17532dcc486SBarry Smith   PetscInt globalstart;        /* first global referenced in indices */
17632dcc486SBarry Smith   PetscInt globalend;          /* last + 1 global referenced in indices */
17732dcc486SBarry Smith   PetscInt *globals;           /* local index for each global index between start and end */
17874637425SBarry Smith };
179f09e8eb9SSatish Balay typedef struct _p_ISLocalToGlobalMapping* ISLocalToGlobalMapping;
1805c20da3cSBarry Smith 
1815c20da3cSBarry Smith /*E
1825c20da3cSBarry Smith     ISGlobalToLocalMappingType - Indicates if missing global indices are
1835c20da3cSBarry Smith 
1845c20da3cSBarry Smith    IS_GTOLM_MASK - missing global indices are replaced with -1
1855c20da3cSBarry Smith    IS_GTOLM_DROP - missing global indices are dropped
1865c20da3cSBarry Smith 
1875c20da3cSBarry Smith    Level: beginner
1885c20da3cSBarry Smith 
1895c20da3cSBarry Smith .seealso: ISGlobalToLocalMappingApply()
1905c20da3cSBarry Smith 
1915c20da3cSBarry Smith E*/
192987e4450SSatish Balay typedef enum {IS_GTOLM_MASK,IS_GTOLM_DROP} ISGlobalToLocalMappingType;
19390f02eecSBarry Smith 
1947087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingCreate(MPI_Comm,PetscInt,const PetscInt[],PetscCopyMode,ISLocalToGlobalMapping*);
1957087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingCreateIS(IS,ISLocalToGlobalMapping *);
1967087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingView(ISLocalToGlobalMapping,PetscViewer);
197fcfd50ebSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingDestroy(ISLocalToGlobalMapping*);
1987087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingApplyIS(ISLocalToGlobalMapping,IS,IS*);
1997087cfbeSBarry Smith extern PetscErrorCode  ISGlobalToLocalMappingApply(ISLocalToGlobalMapping,ISGlobalToLocalMappingType,PetscInt,const PetscInt[],PetscInt*,PetscInt[]);
2007087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingGetSize(ISLocalToGlobalMapping,PetscInt*);
2017087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingGetInfo(ISLocalToGlobalMapping,PetscInt*,PetscInt*[],PetscInt*[],PetscInt**[]);
2027087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingRestoreInfo(ISLocalToGlobalMapping,PetscInt*,PetscInt*[],PetscInt*[],PetscInt**[]);
2037087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingGetIndices(ISLocalToGlobalMapping,const PetscInt**);
2047087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingRestoreIndices(ISLocalToGlobalMapping,const PetscInt**);
2057087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingBlock(ISLocalToGlobalMapping,PetscInt,ISLocalToGlobalMapping*);
2067087cfbeSBarry Smith extern PetscErrorCode  ISLocalToGlobalMappingUnBlock(ISLocalToGlobalMapping,PetscInt,ISLocalToGlobalMapping*);
207f7efa3c7SJed Brown extern PetscErrorCode  ISLocalToGlobalMappingConcatenate(MPI_Comm,PetscInt,const ISLocalToGlobalMapping[],ISLocalToGlobalMapping*);
20874637425SBarry Smith 
209fcfd50ebSBarry Smith #undef __FUNCT__
210fcfd50ebSBarry Smith #define __FUNCT__ "ISLocalToGlobalMappingApply"
211d0f46423SBarry Smith PETSC_STATIC_INLINE PetscErrorCode ISLocalToGlobalMappingApply(ISLocalToGlobalMapping mapping,PetscInt N,const PetscInt in[],PetscInt out[])
212d0f46423SBarry Smith {
21353ef36baSBarry Smith   PetscInt       i,Nmax = mapping->n;
21453ef36baSBarry Smith   const PetscInt *idx = mapping->indices;
215b7827b44SJed Brown   PetscFunctionBegin;
2161620fd73SBarry Smith   for (i=0; i<N; i++) {
2171620fd73SBarry Smith     if (in[i] < 0) {out[i] = in[i]; continue;}
218e32f2f54SBarry Smith     if (in[i] >= Nmax) SETERRQ3(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"Local index %D too large %D (max) at %D",in[i],Nmax,i);
2191620fd73SBarry Smith     out[i] = idx[in[i]];
2201620fd73SBarry Smith   }
2211620fd73SBarry Smith   PetscFunctionReturn(0);
22274637425SBarry Smith }
22390f02eecSBarry Smith 
22456cd22aeSBarry Smith /* --------------------------------------------------------------------------*/
225b9617806SBarry Smith /*E
226b9617806SBarry Smith     ISColoringType - determines if the coloring is for the entire parallel grid/graph/matrix
227b9617806SBarry Smith                      or for just the local ghosted portion
228b9617806SBarry Smith 
229b9617806SBarry Smith     Level: beginner
230b9617806SBarry Smith 
2318ee2e534SBarry Smith $   IS_COLORING_GLOBAL - does not include the colors for ghost points, this is used when the function
2328ee2e534SBarry Smith $                        is called synchronously in parallel. This requires generating a "parallel coloring".
2338ee2e534SBarry Smith $   IS_COLORING_GHOSTED - includes colors for ghost points, this is used when the function can be called
2348ee2e534SBarry Smith $                         seperately on individual processes with the ghost points already filled in. Does not
2358ee2e534SBarry Smith $                         require a "parallel coloring", rather each process colors its local + ghost part.
2368ee2e534SBarry Smith $                         Using this can result in much less parallel communication. In the paradigm of
2379a42bb27SBarry Smith $                         DMGetLocalVector() and DMGetGlobalVector() this could be called IS_COLORING_LOCAL
23873d7d85fSBarry Smith 
23994013140SBarry Smith .seealso: DMGetColoring()
240b9617806SBarry Smith E*/
2418ee2e534SBarry Smith typedef enum {IS_COLORING_GLOBAL,IS_COLORING_GHOSTED} ISColoringType;
242a34d58ebSBarry Smith extern const char *ISColoringTypes[];
2436c09f170SSatish Balay typedef unsigned PETSC_IS_COLOR_VALUE_TYPE ISColoringValue;
2447087cfbeSBarry Smith extern PetscErrorCode  ISAllGatherColors(MPI_Comm,PetscInt,ISColoringValue*,PetscInt*,ISColoringValue*[]);
245dde82324SBarry Smith 
2465c20da3cSBarry Smith /*S
247dde82324SBarry Smith      ISColoring - sets of IS's that define a coloring
248639f9d9dSBarry Smith               of the underlying indices
2495c20da3cSBarry Smith 
2505c20da3cSBarry Smith    Level: intermediate
2515c20da3cSBarry Smith 
2525c20da3cSBarry Smith     Notes:
253b9617806SBarry Smith         One should not access the *is records below directly because they may not yet
2545c20da3cSBarry Smith     have been created. One should use ISColoringGetIS() to make sure they are
2555c20da3cSBarry Smith     created when needed.
2565c20da3cSBarry Smith 
2575c20da3cSBarry Smith .seealso:  ISColoringCreate(), ISColoringGetIS(), ISColoringView(), ISColoringGetIS()
2585c20da3cSBarry Smith S*/
25995fbd943SSatish Balay struct _n_ISColoring {
260a7cc72afSBarry Smith   PetscInt        refct;
261a7cc72afSBarry Smith   PetscInt        n;                /* number of colors */
2625c20da3cSBarry Smith   IS              *is;              /* for each color indicates columns */
263639f9d9dSBarry Smith   MPI_Comm        comm;
26408b6dcc0SBarry Smith   ISColoringValue *colors;          /* for each column indicates color */
26532dcc486SBarry Smith   PetscInt        N;                /* number of columns */
266b9617806SBarry Smith   ISColoringType  ctype;
267639f9d9dSBarry Smith };
26895fbd943SSatish Balay typedef struct _n_ISColoring* ISColoring;
269639f9d9dSBarry Smith 
2707087cfbeSBarry Smith extern PetscErrorCode  ISColoringCreate(MPI_Comm,PetscInt,PetscInt,const ISColoringValue[],ISColoring*);
271fcfd50ebSBarry Smith extern PetscErrorCode  ISColoringDestroy(ISColoring*);
2727087cfbeSBarry Smith extern PetscErrorCode  ISColoringView(ISColoring,PetscViewer);
2737087cfbeSBarry Smith extern PetscErrorCode  ISColoringGetIS(ISColoring,PetscInt*,IS*[]);
2747087cfbeSBarry Smith extern PetscErrorCode  ISColoringRestoreIS(ISColoring,IS*[]);
2753a7fca6bSBarry Smith #define ISColoringReference(coloring) ((coloring)->refct++,0)
2763a7fca6bSBarry Smith #define ISColoringSetType(coloring,type) ((coloring)->ctype = type,0)
2773a7fca6bSBarry Smith 
278dbef8a1cSBarry Smith /* --------------------------------------------------------------------------*/
279dbef8a1cSBarry Smith 
2807087cfbeSBarry Smith extern PetscErrorCode  ISPartitioningToNumbering(IS,IS*);
2817087cfbeSBarry Smith extern PetscErrorCode  ISPartitioningCount(IS,PetscInt,PetscInt[]);
282dbef8a1cSBarry Smith 
2837087cfbeSBarry Smith extern PetscErrorCode  ISCompressIndicesGeneral(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
2847087cfbeSBarry Smith extern PetscErrorCode  ISCompressIndicesSorted(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
2857087cfbeSBarry Smith extern PetscErrorCode  ISExpandIndicesGeneral(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
286d9489beaSHong Zhang 
287e9fa29b7SSatish Balay PETSC_EXTERN_CXX_END
2889e03d832SJed Brown 
2899e03d832SJed Brown /* Reset __FUNCT__ in case the user does not define it themselves */
2909e03d832SJed Brown #undef __FUNCT__
2919e03d832SJed Brown #define __FUNCT__ "User provided function"
2929e03d832SJed Brown 
293a2ce50c7SBarry Smith #endif
294