xref: /petsc/include/petscis.h (revision 9a42bb27a39f0cdf3306a1e22d33cd9809484eaa)
1 /*
2    An index set is a generalization of a subset of integers.  Index sets
3    are used for defining scatters and gathers.
4 */
5 #if !defined(__PETSCIS_H)
6 #define __PETSCIS_H
7 #include "petscsys.h"
8 PETSC_EXTERN_CXX_BEGIN
9 
10 extern PETSCVEC_DLLEXPORT PetscClassId IS_CLASSID;
11 
12 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISInitializePackage(const char[]);
13 
14 /*S
15      IS - Abstract PETSc object that allows indexing.
16 
17    Level: beginner
18 
19   Concepts: indexing, stride
20 
21 .seealso:  ISCreateGeneral(), ISCreateBlock(), ISCreateStride(), ISGetIndices(), ISDestroy()
22 S*/
23 typedef struct _p_IS* IS;
24 
25 /*E
26     ISType - String with the name of a PETSc vector or the creation function
27        with an optional dynamic library name, for example
28        http://www.mcs.anl.gov/petsc/lib.a:myveccreate()
29 
30    Level: beginner
31 
32 .seealso: ISSetType(), IS
33 E*/
34 #define ISType char*
35 #define ISGENERAL      "general"
36 #define ISSTRIDE       "stride"
37 #define ISBLOCK        "block"
38 
39 /* Dynamic creation and loading functions */
40 extern PetscFList ISList;
41 extern PetscBool  ISRegisterAllCalled;
42 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISSetType(IS, const ISType);
43 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISGetType(IS, const ISType *);
44 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISRegister(const char[],const char[],const char[],PetscErrorCode (*)(IS));
45 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISRegisterAll(const char []);
46 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISRegisterDestroy(void);
47 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISCreate(MPI_Comm,IS*);
48 
49 /*MC
50   ISRegisterDynamic - Adds a new vector component implementation
51 
52   Synopsis:
53   PetscErrorCode ISRegisterDynamic(const char *name, const char *path, const char *func_name, PetscErrorCode (*create_func)(IS))
54 
55   Not Collective
56 
57   Input Parameters:
58 + name        - The name of a new user-defined creation routine
59 . path        - The path (either absolute or relative) of the library containing this routine
60 . func_name   - The name of routine to create method context
61 - create_func - The creation routine itself
62 
63   Notes:
64   ISRegisterDynamic() may be called multiple times to add several user-defined vectors
65 
66   If dynamic libraries are used, then the fourth input argument (routine_create) is ignored.
67 
68   Sample usage:
69 .vb
70     ISRegisterDynamic("my_is","/home/username/my_lib/lib/libO/solaris/libmy.a", "MyIStorCreate", MyIStorCreate);
71 .ve
72 
73   Then, your vector type can be chosen with the procedural interface via
74 .vb
75     ISCreate(MPI_Comm, IS *);
76     ISSetType(IS,"my_vector_name");
77 .ve
78    or at runtime via the option
79 .vb
80     -vec_type my_vector_name
81 .ve
82 
83   Notes: $PETSC_ARCH occuring in pathname will be replaced with appropriate values.
84          If your function is not being put into a shared library then use ISRegister() instead
85 
86   Level: advanced
87 
88 .keywords: IS, register
89 .seealso: ISRegisterAll(), ISRegisterDestroy(), ISRegister()
90 M*/
91 #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
92 #define ISRegisterDynamic(a,b,c,d) ISRegister(a,b,c,0)
93 #else
94 #define ISRegisterDynamic(a,b,c,d) ISRegister(a,b,c,d)
95 #endif
96 
97 /*
98     Default index set data structures that PETSc provides.
99 */
100 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateGeneral(MPI_Comm,PetscInt,const PetscInt[],PetscCopyMode,IS *);
101 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISGeneralSetIndices(IS,PetscInt,const PetscInt[],PetscCopyMode);
102 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateBlock(MPI_Comm,PetscInt,PetscInt,const PetscInt[],PetscCopyMode,IS *);
103 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockSetIndices(IS,PetscInt,PetscInt,const PetscInt[],PetscCopyMode);
104 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateStride(MPI_Comm,PetscInt,PetscInt,PetscInt,IS *);
105 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISStrideSetStride(IS,PetscInt,PetscInt,PetscInt);
106 
107 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISDestroy(IS);
108 
109 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSetPermutation(IS);
110 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISPermutation(IS,PetscBool *);
111 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSetIdentity(IS);
112 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISIdentity(IS,PetscBool *);
113 
114 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISGetIndices(IS,const PetscInt *[]);
115 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISRestoreIndices(IS,const PetscInt *[]);
116 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISGetSize(IS,PetscInt *);
117 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISGetLocalSize(IS,PetscInt *);
118 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISInvertPermutation(IS,PetscInt,IS*);
119 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISView(IS,PetscViewer);
120 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISEqual(IS,IS,PetscBool  *);
121 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSort(IS);
122 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSorted(IS,PetscBool  *);
123 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISDifference(IS,IS,IS*);
124 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSum(IS,IS,IS*);
125 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISExpand(IS,IS,IS*);
126 
127 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlock(IS,PetscBool *);
128 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetIndices(IS,const PetscInt *[]);
129 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockRestoreIndices(IS,const PetscInt *[]);
130 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetLocalSize(IS,PetscInt *);
131 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetSize(IS,PetscInt *);
132 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetBlockSize(IS,PetscInt *);
133 
134 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISStride(IS,PetscBool *);
135 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISStrideGetInfo(IS,PetscInt *,PetscInt*);
136 
137 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISToGeneral(IS);
138 
139 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISDuplicate(IS,IS*);
140 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCopy(IS,IS);
141 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISAllGather(IS,IS*);
142 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISComplement(IS,PetscInt,PetscInt,IS*);
143 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISAllGatherIndices(MPI_Comm,PetscInt,const PetscInt[],PetscInt*,PetscInt*[]);
144 
145 /* --------------------------------------------------------------------------*/
146 extern PETSCVEC_DLLEXPORT PetscClassId IS_LTOGM_CLASSID;
147 
148 /*S
149    ISLocalToGlobalMapping - mappings from an arbitrary
150       local ordering from 0 to n-1 to a global PETSc ordering
151       used by a vector or matrix.
152 
153    Level: intermediate
154 
155    Note: mapping from Local to Global is scalable; but Global
156   to Local may not be if the range of global values represented locally
157   is very large.
158 
159    Note: the ISLocalToGlobalMapping is actually a private object; it is included
160   here for the MACRO ISLocalToGlobalMappingApply() to allow it to be inlined since
161   it is used so often.
162 
163 .seealso:  ISLocalToGlobalMappingCreate()
164 S*/
165 struct _p_ISLocalToGlobalMapping{
166   PETSCHEADER(int);
167   PetscInt n;                  /* number of local indices */
168   PetscInt *indices;           /* global index of each local index */
169   PetscInt globalstart;        /* first global referenced in indices */
170   PetscInt globalend;          /* last + 1 global referenced in indices */
171   PetscInt *globals;           /* local index for each global index between start and end */
172 };
173 typedef struct _p_ISLocalToGlobalMapping* ISLocalToGlobalMapping;
174 
175 /*E
176     ISGlobalToLocalMappingType - Indicates if missing global indices are
177 
178    IS_GTOLM_MASK - missing global indices are replaced with -1
179    IS_GTOLM_DROP - missing global indices are dropped
180 
181    Level: beginner
182 
183 .seealso: ISGlobalToLocalMappingApply()
184 
185 E*/
186 typedef enum {IS_GTOLM_MASK,IS_GTOLM_DROP} ISGlobalToLocalMappingType;
187 
188 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingCreate(MPI_Comm,PetscInt,const PetscInt[],PetscCopyMode,ISLocalToGlobalMapping*);
189 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingCreateIS(IS,ISLocalToGlobalMapping *);
190 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingView(ISLocalToGlobalMapping,PetscViewer);
191 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingDestroy(ISLocalToGlobalMapping);
192 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingApplyIS(ISLocalToGlobalMapping,IS,IS*);
193 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISGlobalToLocalMappingApply(ISLocalToGlobalMapping,ISGlobalToLocalMappingType,PetscInt,const PetscInt[],PetscInt*,PetscInt[]);
194 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingGetSize(ISLocalToGlobalMapping,PetscInt*);
195 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingGetInfo(ISLocalToGlobalMapping,PetscInt*,PetscInt*[],PetscInt*[],PetscInt**[]);
196 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingRestoreInfo(ISLocalToGlobalMapping,PetscInt*,PetscInt*[],PetscInt*[],PetscInt**[]);
197 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingBlock(ISLocalToGlobalMapping,PetscInt,ISLocalToGlobalMapping*);
198 
199 PETSC_STATIC_INLINE PetscErrorCode ISLocalToGlobalMappingApply(ISLocalToGlobalMapping mapping,PetscInt N,const PetscInt in[],PetscInt out[])
200 {
201   PetscInt       i,Nmax = mapping->n;
202   const PetscInt *idx = mapping->indices;
203   PetscFunctionBegin;
204   for (i=0; i<N; i++) {
205     if (in[i] < 0) {out[i] = in[i]; continue;}
206     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);
207     out[i] = idx[in[i]];
208   }
209   PetscFunctionReturn(0);
210 }
211 
212 /* --------------------------------------------------------------------------*/
213 /*E
214     ISColoringType - determines if the coloring is for the entire parallel grid/graph/matrix
215                      or for just the local ghosted portion
216 
217     Level: beginner
218 
219 $   IS_COLORING_GLOBAL - does not include the colors for ghost points, this is used when the function
220 $                        is called synchronously in parallel. This requires generating a "parallel coloring".
221 $   IS_COLORING_GHOSTED - includes colors for ghost points, this is used when the function can be called
222 $                         seperately on individual processes with the ghost points already filled in. Does not
223 $                         require a "parallel coloring", rather each process colors its local + ghost part.
224 $                         Using this can result in much less parallel communication. In the paradigm of
225 $                         DMGetLocalVector() and DMGetGlobalVector() this could be called IS_COLORING_LOCAL
226 
227 .seealso: DAGetColoring()
228 E*/
229 typedef enum {IS_COLORING_GLOBAL,IS_COLORING_GHOSTED} ISColoringType;
230 extern const char *ISColoringTypes[];
231 typedef unsigned PETSC_IS_COLOR_VALUE_TYPE ISColoringValue;
232 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISAllGatherColors(MPI_Comm,PetscInt,ISColoringValue*,PetscInt*,ISColoringValue*[]);
233 
234 /*S
235      ISColoring - sets of IS's that define a coloring
236               of the underlying indices
237 
238    Level: intermediate
239 
240     Notes:
241         One should not access the *is records below directly because they may not yet
242     have been created. One should use ISColoringGetIS() to make sure they are
243     created when needed.
244 
245 .seealso:  ISColoringCreate(), ISColoringGetIS(), ISColoringView(), ISColoringGetIS()
246 S*/
247 struct _n_ISColoring {
248   PetscInt        refct;
249   PetscInt        n;                /* number of colors */
250   IS              *is;              /* for each color indicates columns */
251   MPI_Comm        comm;
252   ISColoringValue *colors;          /* for each column indicates color */
253   PetscInt        N;                /* number of columns */
254   ISColoringType  ctype;
255 };
256 typedef struct _n_ISColoring* ISColoring;
257 
258 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringCreate(MPI_Comm,PetscInt,PetscInt,const ISColoringValue[],ISColoring*);
259 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringDestroy(ISColoring);
260 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringView(ISColoring,PetscViewer);
261 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringGetIS(ISColoring,PetscInt*,IS*[]);
262 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringRestoreIS(ISColoring,IS*[]);
263 #define ISColoringReference(coloring) ((coloring)->refct++,0)
264 #define ISColoringSetType(coloring,type) ((coloring)->ctype = type,0)
265 
266 /* --------------------------------------------------------------------------*/
267 
268 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISPartitioningToNumbering(IS,IS*);
269 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISPartitioningCount(IS,PetscInt,PetscInt[]);
270 
271 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISCompressIndicesGeneral(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
272 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISCompressIndicesSorted(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
273 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISExpandIndicesGeneral(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
274 
275 
276 PETSC_EXTERN_CXX_END
277 #endif
278