xref: /petsc/include/petscis.h (revision edf189ef8e8860d62aa4efa58846ae329f2cd8c2)
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 "petsc.h"
8 PETSC_EXTERN_CXX_BEGIN
9 
10 extern PETSCVEC_DLLEXPORT PetscCookie IS_COOKIE;
11 
12 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISInitializePackage(const char[]);
13 
14 /*S
15      IS - Abstract PETSc object that 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 /*
26     Default index set data structures that PETSc provides.
27 */
28 typedef enum {IS_GENERAL=0,IS_STRIDE=1,IS_BLOCK = 2} ISType;
29 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateGeneral(MPI_Comm,PetscInt,const PetscInt[],IS *);
30 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateGeneralNC(MPI_Comm,PetscInt,const PetscInt[],IS *);
31 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateGeneralWithArray(MPI_Comm,PetscInt,PetscInt[],IS *);
32 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateBlock(MPI_Comm,PetscInt,PetscInt,const PetscInt[],IS *);
33 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISCreateStride(MPI_Comm,PetscInt,PetscInt,PetscInt,IS *);
34 
35 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISDestroy(IS);
36 
37 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSetPermutation(IS);
38 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISPermutation(IS,PetscTruth*);
39 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSetIdentity(IS);
40 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISIdentity(IS,PetscTruth*);
41 
42 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISGetIndices(IS,PetscInt *[]);
43 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISRestoreIndices(IS,PetscInt *[]);
44 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISGetSize(IS,PetscInt *);
45 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISGetLocalSize(IS,PetscInt *);
46 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISInvertPermutation(IS,PetscInt,IS*);
47 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISView(IS,PetscViewer);
48 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISEqual(IS,IS,PetscTruth *);
49 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSort(IS);
50 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSorted(IS,PetscTruth *);
51 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISDifference(IS,IS,IS*);
52 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISSum(IS,IS,IS*);
53 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISExpand(IS,IS,IS*);
54 
55 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlock(IS,PetscTruth*);
56 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetIndices(IS,PetscInt *[]);
57 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockRestoreIndices(IS,PetscInt *[]);
58 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetLocalSize(IS,PetscInt *);
59 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetSize(IS,PetscInt *);
60 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISBlockGetBlockSize(IS,PetscInt *);
61 
62 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISStride(IS,PetscTruth*);
63 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISStrideGetInfo(IS,PetscInt *,PetscInt*);
64 
65 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISStrideToGeneral(IS);
66 
67 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISDuplicate(IS,IS*);
68 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISAllGather(IS,IS*);
69 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISComplement(IS,PetscInt,PetscInt,IS*);
70 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT   ISAllGatherIndices(MPI_Comm,PetscInt,const PetscInt[],PetscInt*,PetscInt*[]);
71 
72 /* --------------------------------------------------------------------------*/
73 extern PETSCVEC_DLLEXPORT PetscCookie IS_LTOGM_COOKIE;
74 
75 /*S
76    ISLocalToGlobalMapping - mappings from an arbitrary
77       local ordering from 0 to n-1 to a global PETSc ordering
78       used by a vector or matrix.
79 
80    Level: intermediate
81 
82    Note: mapping from Local to Global is scalable; but Global
83   to Local may not be if the range of global values represented locally
84   is very large.
85 
86    Note: the ISLocalToGlobalMapping is actually a private object; it is included
87   here for the MACRO ISLocalToGlobalMappingApply() to allow it to be inlined since
88   it is used so often.
89 
90 .seealso:  ISLocalToGlobalMappingCreate()
91 S*/
92 struct _p_ISLocalToGlobalMapping{
93   PETSCHEADER(int);
94   PetscInt n;                  /* number of local indices */
95   PetscInt *indices;           /* global index of each local index */
96   PetscInt globalstart;        /* first global referenced in indices */
97   PetscInt globalend;          /* last + 1 global referenced in indices */
98   PetscInt *globals;           /* local index for each global index between start and end */
99 };
100 typedef struct _p_ISLocalToGlobalMapping* ISLocalToGlobalMapping;
101 
102 /*E
103     ISGlobalToLocalMappingType - Indicates if missing global indices are
104 
105    IS_GTOLM_MASK - missing global indices are replaced with -1
106    IS_GTOLM_DROP - missing global indices are dropped
107 
108    Level: beginner
109 
110 .seealso: ISGlobalToLocalMappingApply()
111 
112 E*/
113 typedef enum {IS_GTOLM_MASK,IS_GTOLM_DROP} ISGlobalToLocalMappingType;
114 
115 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingCreate(MPI_Comm,PetscInt,const PetscInt[],ISLocalToGlobalMapping*);
116 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingCreateNC(MPI_Comm,PetscInt,const PetscInt[],ISLocalToGlobalMapping*);
117 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingCreateIS(IS,ISLocalToGlobalMapping *);
118 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingView(ISLocalToGlobalMapping,PetscViewer);
119 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingDestroy(ISLocalToGlobalMapping);
120 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingApplyIS(ISLocalToGlobalMapping,IS,IS*);
121 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISGlobalToLocalMappingApply(ISLocalToGlobalMapping,ISGlobalToLocalMappingType,PetscInt,const PetscInt[],PetscInt*,PetscInt[]);
122 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingGetSize(ISLocalToGlobalMapping,PetscInt*);
123 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingGetInfo(ISLocalToGlobalMapping,PetscInt*,PetscInt*[],PetscInt*[],PetscInt**[]);
124 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingRestoreInfo(ISLocalToGlobalMapping,PetscInt*,PetscInt*[],PetscInt*[],PetscInt**[]);
125 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISLocalToGlobalMappingBlock(ISLocalToGlobalMapping,PetscInt,ISLocalToGlobalMapping*);
126 
127 PETSC_STATIC_INLINE PetscErrorCode ISLocalToGlobalMappingApply(ISLocalToGlobalMapping mapping,PetscInt N,const PetscInt in[],PetscInt out[]){
128   PetscInt i,*idx = mapping->indices,Nmax = mapping->n;
129   for (i=0; i<N; i++) {
130     if (in[i] < 0) {out[i] = in[i]; continue;}
131     if (in[i] >= Nmax) SETERRQ3(PETSC_ERR_ARG_OUTOFRANGE,"Local index %D too large %D (max) at %D",in[i],Nmax,i);
132     out[i] = idx[in[i]];
133   }
134   PetscFunctionReturn(0);
135 }
136 
137 /* --------------------------------------------------------------------------*/
138 /*E
139     ISColoringType - determines if the coloring is for the entire parallel grid/graph/matrix
140                      or for just the local ghosted portion
141 
142     Level: beginner
143 
144 $   IS_COLORING_GLOBAL - does not include the colors for ghost points, this is used when the function
145 $                        is called synchronously in parallel. This requires generating a "parallel coloring".
146 $   IS_COLORING_GHOSTED - includes colors for ghost points, this is used when the function can be called
147 $                         seperately on individual processes with the ghost points already filled in. Does not
148 $                         require a "parallel coloring", rather each process colors its local + ghost part.
149 $                         Using this can result in much less parallel communication. In the paradigm of
150 $                         DAGetLocalVector() and DAGetGlobalVector() this could be called IS_COLORING_LOCAL
151 
152 .seealso: DAGetColoring()
153 E*/
154 typedef enum {IS_COLORING_GLOBAL,IS_COLORING_GHOSTED} ISColoringType;
155 extern const char *ISColoringTypes[];
156 typedef unsigned PETSC_IS_COLOR_VALUE_TYPE ISColoringValue;
157 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISAllGatherColors(MPI_Comm,PetscInt,ISColoringValue*,PetscInt*,ISColoringValue*[]);
158 
159 /*S
160      ISColoring - sets of IS's that define a coloring
161               of the underlying indices
162 
163    Level: intermediate
164 
165     Notes:
166         One should not access the *is records below directly because they may not yet
167     have been created. One should use ISColoringGetIS() to make sure they are
168     created when needed.
169 
170 .seealso:  ISColoringCreate(), ISColoringGetIS(), ISColoringView(), ISColoringGetIS()
171 S*/
172 struct _n_ISColoring {
173   PetscInt        refct;
174   PetscInt        n;                /* number of colors */
175   IS              *is;              /* for each color indicates columns */
176   MPI_Comm        comm;
177   ISColoringValue *colors;          /* for each column indicates color */
178   PetscInt        N;                /* number of columns */
179   ISColoringType  ctype;
180 };
181 typedef struct _n_ISColoring* ISColoring;
182 
183 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringCreate(MPI_Comm,PetscInt,PetscInt,const ISColoringValue[],ISColoring*);
184 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringDestroy(ISColoring);
185 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringView(ISColoring,PetscViewer);
186 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringGetIS(ISColoring,PetscInt*,IS*[]);
187 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISColoringRestoreIS(ISColoring,IS*[]);
188 #define ISColoringReference(coloring) ((coloring)->refct++,0)
189 #define ISColoringSetType(coloring,type) ((coloring)->ctype = type,0)
190 
191 /* --------------------------------------------------------------------------*/
192 
193 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISPartitioningToNumbering(IS,IS*);
194 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISPartitioningCount(IS,PetscInt,PetscInt[]);
195 
196 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISCompressIndicesGeneral(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
197 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISCompressIndicesSorted(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
198 EXTERN PetscErrorCode PETSCVEC_DLLEXPORT ISExpandIndicesGeneral(PetscInt,PetscInt,PetscInt,const IS[],IS[]);
199 
200 PETSC_EXTERN_CXX_END
201 #endif
202