xref: /petsc/src/mat/impls/shell/shell.c (revision 61b13de0c92b07d489559c7f7ccd03b9191851f1)
1a5eb4965SSatish Balay #ifdef PETSC_RCS_HEADER
2*61b13de0SBarry Smith static char vcid[] = "$Id: shell.c,v 1.58 1998/07/13 20:36:26 bsmith Exp bsmith $";
3357feee3SLois Curfman McInnes #endif
4e51e0e81SBarry Smith 
5e51e0e81SBarry Smith /*
620563c6bSBarry Smith    This provides a simple shell for Fortran (and C programmers) to
720563c6bSBarry Smith   create a very simple matrix class for use with KSP without coding
8ed3cc1f0SBarry Smith   much of anything.
9e51e0e81SBarry Smith */
10e51e0e81SBarry Smith 
11e51e0e81SBarry Smith #include "petsc.h"
1270f55243SBarry Smith #include "src/mat/matimpl.h"        /*I "mat.h" I*/
13f5eb4b81SSatish Balay #include "src/vec/vecimpl.h"
14e51e0e81SBarry Smith 
1520563c6bSBarry Smith typedef struct {
16f39d1f56SLois Curfman McInnes   int  M, N;                  /* number of global rows, columns */
17f39d1f56SLois Curfman McInnes   int  m, n;                  /* number of local rows, columns */
183a3eedf2SBarry Smith   int  (*destroy)(Mat);
1920563c6bSBarry Smith   void *ctx;
2088cf3e7dSBarry Smith } Mat_Shell;
21e51e0e81SBarry Smith 
225615d1e5SSatish Balay #undef __FUNC__
23d4bb536fSBarry Smith #define __FUNC__ "MatShellGetContext"
24b4fd4287SBarry Smith /*@
25a62d957aSLois Curfman McInnes     MatShellGetContext - Returns the user-provided context associated with a shell matrix.
26b4fd4287SBarry Smith 
27b4fd4287SBarry Smith     Input Parameter:
28b4fd4287SBarry Smith .   mat - the matrix, should have been created with MatCreateShell()
29b4fd4287SBarry Smith 
30b4fd4287SBarry Smith     Output Parameter:
31b4fd4287SBarry Smith .   ctx - the user provided context
32b4fd4287SBarry Smith 
33fee21e36SBarry Smith     Not Collective
34fee21e36SBarry Smith 
35a62d957aSLois Curfman McInnes     Notes:
36a62d957aSLois Curfman McInnes     This routine is intended for use within various shell matrix routines,
37a62d957aSLois Curfman McInnes     as set with MatShellSetOperation().
38a62d957aSLois Curfman McInnes 
39a62d957aSLois Curfman McInnes .keywords: matrix, shell, get, context
40a62d957aSLois Curfman McInnes 
41a62d957aSLois Curfman McInnes .seealso: MatCreateShell(), MatShellSetOperation()
42b4fd4287SBarry Smith @*/
43b4fd4287SBarry Smith int MatShellGetContext(Mat mat,void **ctx)
44b4fd4287SBarry Smith {
453a40ed3dSBarry Smith   PetscFunctionBegin;
4677c4ece6SBarry Smith   PetscValidHeaderSpecific(mat,MAT_COOKIE);
47b4fd4287SBarry Smith   if (mat->type != MATSHELL) *ctx = 0;
48b4fd4287SBarry Smith   else                       *ctx = ((Mat_Shell *) (mat->data))->ctx;
493a40ed3dSBarry Smith   PetscFunctionReturn(0);
50b4fd4287SBarry Smith }
51b4fd4287SBarry Smith 
525615d1e5SSatish Balay #undef __FUNC__
53d4bb536fSBarry Smith #define __FUNC__ "MatGetSize_Shell"
548f6be9afSLois Curfman McInnes int MatGetSize_Shell(Mat mat,int *M,int *N)
5571b459e3SLois Curfman McInnes {
5671b459e3SLois Curfman McInnes   Mat_Shell *shell = (Mat_Shell *) mat->data;
573a40ed3dSBarry Smith 
583a40ed3dSBarry Smith   PetscFunctionBegin;
59f830108cSBarry Smith   if (M) *M = shell->M;
60f830108cSBarry Smith   if (N) *N = shell->N;
613a40ed3dSBarry Smith   PetscFunctionReturn(0);
62f39d1f56SLois Curfman McInnes }
63f39d1f56SLois Curfman McInnes 
645615d1e5SSatish Balay #undef __FUNC__
65d4bb536fSBarry Smith #define __FUNC__ "MatGetLocalSize_Shell"
668f6be9afSLois Curfman McInnes int MatGetLocalSize_Shell(Mat mat,int *m,int *n)
67f39d1f56SLois Curfman McInnes {
68f39d1f56SLois Curfman McInnes   Mat_Shell *shell = (Mat_Shell *) mat->data;
693a40ed3dSBarry Smith 
703a40ed3dSBarry Smith   PetscFunctionBegin;
71f830108cSBarry Smith   if (m) *m = shell->m;
72f830108cSBarry Smith   if (n) *n = shell->n;
733a40ed3dSBarry Smith   PetscFunctionReturn(0);
7471b459e3SLois Curfman McInnes }
7571b459e3SLois Curfman McInnes 
765615d1e5SSatish Balay #undef __FUNC__
77d4bb536fSBarry Smith #define __FUNC__ "MatDestroy_Shell"
78e1311b90SBarry Smith int MatDestroy_Shell(Mat mat)
79e51e0e81SBarry Smith {
80b9fa9cd0SBarry Smith   int       ierr;
8188cf3e7dSBarry Smith   Mat_Shell *shell;
82ed3cc1f0SBarry Smith 
833a40ed3dSBarry Smith   PetscFunctionBegin;
8494d884c6SBarry Smith   if (--mat->refct > 0) PetscFunctionReturn(0);
8594d884c6SBarry Smith 
8694d884c6SBarry Smith   if (mat->mapping) {
8794d884c6SBarry Smith     ierr = ISLocalToGlobalMappingDestroy(mat->mapping); CHKERRQ(ierr);
8894d884c6SBarry Smith   }
8994d884c6SBarry Smith   if (mat->bmapping) {
9094d884c6SBarry Smith     ierr = ISLocalToGlobalMappingDestroy(mat->bmapping); CHKERRQ(ierr);
9194d884c6SBarry Smith   }
92*61b13de0SBarry Smith   if (mat->rmap) {
93*61b13de0SBarry Smith     ierr = MapDestroy(mat->rmap);CHKERRQ(ierr);
94*61b13de0SBarry Smith   }
95*61b13de0SBarry Smith   if (mat->cmap) {
96*61b13de0SBarry Smith     ierr = MapDestroy(mat->cmap);CHKERRQ(ierr);
97*61b13de0SBarry Smith   }
9888cf3e7dSBarry Smith   shell = (Mat_Shell *) mat->data;
993a3eedf2SBarry Smith   if (shell->destroy) {ierr = (*shell->destroy)(mat);CHKERRQ(ierr);}
1000452661fSBarry Smith   PetscFree(shell);
1013a3eedf2SBarry Smith   PLogObjectDestroy(mat);
1023a3eedf2SBarry Smith   PetscHeaderDestroy(mat);
1033a40ed3dSBarry Smith   PetscFunctionReturn(0);
104e51e0e81SBarry Smith }
105e51e0e81SBarry Smith 
1068f6be9afSLois Curfman McInnes int MatGetOwnershipRange_Shell(Mat mat, int *rstart,int *rend)
107b951964fSBarry Smith {
108ca161407SBarry Smith   int ierr;
109ca161407SBarry Smith 
110ca161407SBarry Smith   PetscFunctionBegin;
111ca161407SBarry Smith   ierr = MPI_Scan(&mat->m,rend,1,MPI_INT,MPI_SUM,mat->comm);CHKERRQ(ierr);
112b951964fSBarry Smith   *rstart = *rend - mat->m;
1133a40ed3dSBarry Smith   PetscFunctionReturn(0);
114b951964fSBarry Smith }
115b951964fSBarry Smith 
116b951964fSBarry Smith 
117b951964fSBarry Smith 
118b951964fSBarry Smith 
11909dc0095SBarry Smith static struct _MatOps MatOps_Values = {0,
12020563c6bSBarry Smith        0,
12120563c6bSBarry Smith        0,
12220563c6bSBarry Smith        0,
12320563c6bSBarry Smith        0,
124b951964fSBarry Smith        0,
125b951964fSBarry Smith        0,
126b951964fSBarry Smith        0,
127b951964fSBarry Smith        0,
128b951964fSBarry Smith        0,
129b951964fSBarry Smith        0,
130b951964fSBarry Smith        0,
131b951964fSBarry Smith        0,
132b951964fSBarry Smith        0,
133b951964fSBarry Smith        0,
134b951964fSBarry Smith        0,
135b951964fSBarry Smith        0,
136b951964fSBarry Smith        0,
137b951964fSBarry Smith        0,
138b951964fSBarry Smith        0,
139b951964fSBarry Smith        0,
140b951964fSBarry Smith        0,
141b951964fSBarry Smith        0,
142b951964fSBarry Smith        0,
143b951964fSBarry Smith        0,
144b951964fSBarry Smith        0,
145b951964fSBarry Smith        0,
146b951964fSBarry Smith        0,
147b951964fSBarry Smith        0,
148b951964fSBarry Smith        0,
149b951964fSBarry Smith        MatGetSize_Shell,
150b951964fSBarry Smith        MatGetLocalSize_Shell,
151b951964fSBarry Smith        MatGetOwnershipRange_Shell,
152b951964fSBarry Smith        0,
153b951964fSBarry Smith        0,
154b951964fSBarry Smith        0,
155b951964fSBarry Smith        0,
15609dc0095SBarry Smith        0,
15709dc0095SBarry Smith        0,
15809dc0095SBarry Smith        0,
15909dc0095SBarry Smith        0,
16009dc0095SBarry Smith        0,
16109dc0095SBarry Smith        0,
16209dc0095SBarry Smith        0,
16309dc0095SBarry Smith        0,
16409dc0095SBarry Smith        0,
16509dc0095SBarry Smith        0,
16609dc0095SBarry Smith        0,
16709dc0095SBarry Smith        0,
16809dc0095SBarry Smith        0,
16909dc0095SBarry Smith        0,
17009dc0095SBarry Smith        0,
17109dc0095SBarry Smith        0,
17209dc0095SBarry Smith        0,
17309dc0095SBarry Smith        0,
17409dc0095SBarry Smith        0,
17509dc0095SBarry Smith        0,
17609dc0095SBarry Smith        0,
17709dc0095SBarry Smith        0,
17809dc0095SBarry Smith        0,
17909dc0095SBarry Smith        0,
18009dc0095SBarry Smith        0,
18109dc0095SBarry Smith        0,
18209dc0095SBarry Smith        0,
18309dc0095SBarry Smith        0,
18409dc0095SBarry Smith        MatGetMaps_Petsc};
185e51e0e81SBarry Smith 
1865615d1e5SSatish Balay #undef __FUNC__
187d4bb536fSBarry Smith #define __FUNC__ "MatCreateShell"
1884b828684SBarry Smith /*@C
189052efed2SBarry Smith    MatCreateShell - Creates a new matrix class for use with a user-defined
190ff756334SLois Curfman McInnes    private data storage format.
191e51e0e81SBarry Smith 
192e51e0e81SBarry Smith    Input Parameters:
1936b5873e3SBarry Smith .  comm - MPI communicator
194f39d1f56SLois Curfman McInnes .  m - number of local rows
195f39d1f56SLois Curfman McInnes .  n - number of local columns
196f39d1f56SLois Curfman McInnes .  M - number of global rows
197f39d1f56SLois Curfman McInnes .  N - number of global columns
198deebb3c3SLois Curfman McInnes .  ctx - pointer to data needed by the shell matrix routines
199e51e0e81SBarry Smith 
200ff756334SLois Curfman McInnes    Output Parameter:
20144cd7ae7SLois Curfman McInnes .  A - the matrix
202e51e0e81SBarry Smith 
203fee21e36SBarry Smith   Collective on MPI_Comm
204fee21e36SBarry Smith 
205f39d1f56SLois Curfman McInnes   Usage:
206f39d1f56SLois Curfman McInnes $    MatCreateShell(comm,m,n,M,N,ctx,&mat);
2071c1c02c0SLois Curfman McInnes $    MatShellSetOperation(mat,MATOP_MULT,mult);
208f39d1f56SLois Curfman McInnes $    [ Use matrix for operations that have been set ]
209f39d1f56SLois Curfman McInnes $    MatDestroy(mat);
210f39d1f56SLois Curfman McInnes 
211ff756334SLois Curfman McInnes    Notes:
212ff756334SLois Curfman McInnes    The shell matrix type is intended to provide a simple class to use
213ff756334SLois Curfman McInnes    with KSP (such as, for use with matrix-free methods). You should not
214ff756334SLois Curfman McInnes    use the shell type if you plan to define a complete matrix class.
215e51e0e81SBarry Smith 
216f39d1f56SLois Curfman McInnes    PETSc requires that matrices and vectors being used for certain
217f39d1f56SLois Curfman McInnes    operations are partitioned accordingly.  For example, when
218645985a0SLois Curfman McInnes    creating a shell matrix, A, that supports parallel matrix-vector
219645985a0SLois Curfman McInnes    products using MatMult(A,x,y) the user should set the number
220645985a0SLois Curfman McInnes    of local matrix rows to be the number of local elements of the
221645985a0SLois Curfman McInnes    corresponding result vector, y. Note that this is information is
222645985a0SLois Curfman McInnes    required for use of the matrix interface routines, even though
223645985a0SLois Curfman McInnes    the shell matrix may not actually be physically partitioned.
224645985a0SLois Curfman McInnes    For example,
225f39d1f56SLois Curfman McInnes 
226f39d1f56SLois Curfman McInnes $
227f39d1f56SLois Curfman McInnes $     Vec x, y
228645985a0SLois Curfman McInnes $     Mat A
229f39d1f56SLois Curfman McInnes $
230522c5e43SBarry Smith $     VecCreate(comm,PETSC_DECIDE,M,&y);
231522c5e43SBarry Smith $     VecCreate(comm,PETSC_DECIDE,N,&x);
232f39d1f56SLois Curfman McInnes $     VecGetLocalSize(y,&m);
233645985a0SLois Curfman McInnes $     MatCreateShell(comm,m,N,M,N,ctx,&A);
2341c1c02c0SLois Curfman McInnes $     MatShellSetOperation(mat,MATOP_MULT,mult);
235645985a0SLois Curfman McInnes $     MatMult(A,x,y);
236645985a0SLois Curfman McInnes $     MatDestroy(A);
237f39d1f56SLois Curfman McInnes $     VecDestroy(y); VecDestroy(x);
238645985a0SLois Curfman McInnes $
239e51e0e81SBarry Smith 
2400b627109SLois Curfman McInnes .keywords: matrix, shell, create
2410b627109SLois Curfman McInnes 
2423a3eedf2SBarry Smith .seealso: MatShellSetOperation(), MatHasOperation(), MatShellGetContext()
243e51e0e81SBarry Smith @*/
244f39d1f56SLois Curfman McInnes int MatCreateShell(MPI_Comm comm,int m,int n,int M,int N,void *ctx,Mat *A)
245e51e0e81SBarry Smith {
24644cd7ae7SLois Curfman McInnes   Mat       B;
24744cd7ae7SLois Curfman McInnes   Mat_Shell *b;
248ed3cc1f0SBarry Smith 
2493a40ed3dSBarry Smith   PetscFunctionBegin;
250f830108cSBarry Smith   PetscHeaderCreate(B,_p_Mat,struct _MatOps,MAT_COOKIE,MATSHELL,comm,MatDestroy,MatView);
25144cd7ae7SLois Curfman McInnes   PLogObjectCreate(B);
25244cd7ae7SLois Curfman McInnes   B->factor    = 0;
25344cd7ae7SLois Curfman McInnes   B->assembled = PETSC_TRUE;
25409dc0095SBarry Smith   PetscMemcpy(B->ops,&MatOps_Values,sizeof(struct _MatOps));
255e1311b90SBarry Smith   B->ops->destroy   = MatDestroy_Shell;
256227d817aSBarry Smith 
25744cd7ae7SLois Curfman McInnes   b          = PetscNew(Mat_Shell); CHKPTRQ(b);
258eed86810SBarry Smith   PLogObjectMemory(B,sizeof(struct _p_Mat)+sizeof(Mat_Shell));
25944cd7ae7SLois Curfman McInnes   PetscMemzero(b,sizeof(Mat_Shell));
26044cd7ae7SLois Curfman McInnes   B->data   = (void *) b;
261f39d1f56SLois Curfman McInnes   b->M = M; B->M = M;
262f39d1f56SLois Curfman McInnes   b->N = N; B->N = N;
263f39d1f56SLois Curfman McInnes   b->m = m; B->m = m;
264f39d1f56SLois Curfman McInnes   b->n = n; B->n = n;
26544cd7ae7SLois Curfman McInnes   b->ctx     = ctx;
26644cd7ae7SLois Curfman McInnes   *A = B;
2673a40ed3dSBarry Smith   PetscFunctionReturn(0);
268e51e0e81SBarry Smith }
269e51e0e81SBarry Smith 
2705615d1e5SSatish Balay #undef __FUNC__
271d4bb536fSBarry Smith #define __FUNC__ "MatShellSetOperation"
272c16cb8f2SBarry Smith /*@C
2733a3eedf2SBarry Smith     MatShellSetOperation - Allows user to set a matrix operation for
2743a3eedf2SBarry Smith                            a shell matrix.
275e51e0e81SBarry Smith 
276e51e0e81SBarry Smith     Input Parameters:
277fae171e0SBarry Smith .   mat - the shell matrix
278fae171e0SBarry Smith .   op - the name of the operation
279fae171e0SBarry Smith .   f - the function that provides the operation.
280e51e0e81SBarry Smith 
281fee21e36SBarry Smith    Collective on Mat
282fee21e36SBarry Smith 
283fae171e0SBarry Smith     Usage:
284a62d957aSLois Curfman McInnes $      extern int usermult(Mat,Vec,Vec);
285f39d1f56SLois Curfman McInnes $      ierr = MatCreateShell(comm,m,n,M,N,ctx,&A);
2861c1c02c0SLois Curfman McInnes $      ierr = MatShellSetOperation(A,MATOP_MULT,usermult);
2870b627109SLois Curfman McInnes 
288a62d957aSLois Curfman McInnes     Notes:
289a62d957aSLois Curfman McInnes     See the file petsc/include/mat.h for a complete list of matrix
2901c1c02c0SLois Curfman McInnes     operations, which all have the form MATOP_<OPERATION>, where
291a62d957aSLois Curfman McInnes     <OPERATION> is the name (in all capital letters) of the
2921c1c02c0SLois Curfman McInnes     user interface routine (e.g., MatMult() -> MATOP_MULT).
293a62d957aSLois Curfman McInnes 
294a62d957aSLois Curfman McInnes     All user-provided functions should have the same calling
295deebb3c3SLois Curfman McInnes     sequence as the usual matrix interface routines, since they
296deebb3c3SLois Curfman McInnes     are intended to be accessed via the usual matrix interface
297deebb3c3SLois Curfman McInnes     routines, e.g.,
298a62d957aSLois Curfman McInnes $       MatMult(Mat,Vec,Vec) -> usermult(Mat,Vec,Vec)
299a62d957aSLois Curfman McInnes 
300a62d957aSLois Curfman McInnes     Within each user-defined routine, the user should call
301a62d957aSLois Curfman McInnes     MatShellGetContext() to obtain the user-defined context that was
302a62d957aSLois Curfman McInnes     set by MatCreateShell().
303a62d957aSLois Curfman McInnes 
304a62d957aSLois Curfman McInnes .keywords: matrix, shell, set, operation
305a62d957aSLois Curfman McInnes 
306d4bb536fSBarry Smith .seealso: MatCreateShell(), MatShellGetContext(), MatShellGetOperation()
307e51e0e81SBarry Smith @*/
308fae171e0SBarry Smith int MatShellSetOperation(Mat mat,MatOperation op, void *f)
309e51e0e81SBarry Smith {
3103a40ed3dSBarry Smith   PetscFunctionBegin;
31177c4ece6SBarry Smith   PetscValidHeaderSpecific(mat,MAT_COOKIE);
312fae171e0SBarry Smith 
3131c1c02c0SLois Curfman McInnes   if (op == MATOP_DESTROY) {
314a62d957aSLois Curfman McInnes     if (mat->type == MATSHELL) {
315a62d957aSLois Curfman McInnes        Mat_Shell *shell = (Mat_Shell *) mat->data;
3163a3eedf2SBarry Smith        shell->destroy                 = (int (*)(Mat)) f;
317a62d957aSLois Curfman McInnes     }
318e1311b90SBarry Smith     else mat->ops->destroy            = (int (*)(Mat)) f;
319a62d957aSLois Curfman McInnes   }
320e1311b90SBarry Smith   else if (op == MATOP_VIEW) mat->ops->view  = (int (*)(Mat,Viewer)) f;
321f830108cSBarry Smith   else      (((void**)mat->ops)[op]) = f;
322a62d957aSLois Curfman McInnes 
3233a40ed3dSBarry Smith   PetscFunctionReturn(0);
324e51e0e81SBarry Smith }
325f0479e8cSBarry Smith 
326d4bb536fSBarry Smith #undef __FUNC__
327d4bb536fSBarry Smith #define __FUNC__ "MatShellGetOperation"
328d4bb536fSBarry Smith /*@C
329d4bb536fSBarry Smith     MatShellGetOperation - Gets a matrix function for a shell matrix.
330d4bb536fSBarry Smith 
331d4bb536fSBarry Smith     Input Parameters:
332d4bb536fSBarry Smith .   mat - the shell matrix
333d4bb536fSBarry Smith .   op - the name of the operation
334d4bb536fSBarry Smith 
335d4bb536fSBarry Smith     Output Parameter:
336d4bb536fSBarry Smith .   f - the function that provides the operation.
337d4bb536fSBarry Smith 
338fee21e36SBarry Smith     Not Collective
339fee21e36SBarry Smith 
340d4bb536fSBarry Smith     Notes:
341d4bb536fSBarry Smith     See the file petsc/include/mat.h for a complete list of matrix
342d4bb536fSBarry Smith     operations, which all have the form MATOP_<OPERATION>, where
343d4bb536fSBarry Smith     <OPERATION> is the name (in all capital letters) of the
344d4bb536fSBarry Smith     user interface routine (e.g., MatMult() -> MATOP_MULT).
345d4bb536fSBarry Smith 
346d4bb536fSBarry Smith     All user-provided functions have the same calling
347d4bb536fSBarry Smith     sequence as the usual matrix interface routines, since they
348d4bb536fSBarry Smith     are intended to be accessed via the usual matrix interface
349d4bb536fSBarry Smith     routines, e.g.,
350d4bb536fSBarry Smith $       MatMult(Mat,Vec,Vec) -> usermult(Mat,Vec,Vec)
351d4bb536fSBarry Smith 
352d4bb536fSBarry Smith     Within each user-defined routine, the user should call
353d4bb536fSBarry Smith     MatShellGetContext() to obtain the user-defined context that was
354d4bb536fSBarry Smith     set by MatCreateShell().
355d4bb536fSBarry Smith 
356d4bb536fSBarry Smith .keywords: matrix, shell, set, operation
357d4bb536fSBarry Smith 
358d4bb536fSBarry Smith .seealso: MatCreateShell(), MatShellGetContext(), MatShellSetOperation()
359d4bb536fSBarry Smith @*/
360d4bb536fSBarry Smith int MatShellGetOperation(Mat mat,MatOperation op, void **f)
361d4bb536fSBarry Smith {
3623a40ed3dSBarry Smith   PetscFunctionBegin;
363d4bb536fSBarry Smith   PetscValidHeaderSpecific(mat,MAT_COOKIE);
364d4bb536fSBarry Smith 
365d4bb536fSBarry Smith   if (op == MATOP_DESTROY) {
366d4bb536fSBarry Smith     if (mat->type == MATSHELL) {
367d4bb536fSBarry Smith        Mat_Shell *shell = (Mat_Shell *) mat->data;
368d4bb536fSBarry Smith        *f = (void *) shell->destroy;
369d4bb536fSBarry Smith     }
370e1311b90SBarry Smith     else *f = (void *) mat->ops->destroy;
371d4bb536fSBarry Smith   }
372e1311b90SBarry Smith   else if (op == MATOP_VIEW) *f = (void *) mat->ops->view;
373d4bb536fSBarry Smith   else      *f = (((void**)&mat->ops)[op]);
374d4bb536fSBarry Smith 
3753a40ed3dSBarry Smith   PetscFunctionReturn(0);
376d4bb536fSBarry Smith }
377d4bb536fSBarry Smith 
378