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