xref: /petsc/src/mat/impls/shell/shell.c (revision e8fb0fc05573aa974b3f79797ad519d0316ca217)
1 #define PETSCMAT_DLL
2 
3 /*
4    This provides a simple shell for Fortran (and C programmers) to
5   create a very simple matrix class for use with KSP without coding
6   much of anything.
7 */
8 
9 #include "include/private/matimpl.h"        /*I "petscmat.h" I*/
10 #include "private/vecimpl.h"
11 
12 typedef struct {
13   PetscErrorCode (*destroy)(Mat);
14   PetscErrorCode (*mult)(Mat,Vec,Vec);
15   PetscErrorCode (*multtranspose)(Mat,Vec,Vec);
16   PetscErrorCode (*getdiagonal)(Mat,Vec);
17   PetscTruth     scale,shift;
18   PetscScalar    vscale,vshift;
19   void           *ctx;
20 } Mat_Shell;
21 
22 #undef __FUNCT__
23 #define __FUNCT__ "MatShellGetContext"
24 /*@
25     MatShellGetContext - Returns the user-provided context associated with a shell matrix.
26 
27     Not Collective
28 
29     Input Parameter:
30 .   mat - the matrix, should have been created with MatCreateShell()
31 
32     Output Parameter:
33 .   ctx - the user provided context
34 
35     Level: advanced
36 
37     Notes:
38     This routine is intended for use within various shell matrix routines,
39     as set with MatShellSetOperation().
40 
41 .keywords: matrix, shell, get, context
42 
43 .seealso: MatCreateShell(), MatShellSetOperation(), MatShellSetContext()
44 @*/
45 PetscErrorCode PETSCMAT_DLLEXPORT MatShellGetContext(Mat mat,void **ctx)
46 {
47   PetscErrorCode ierr;
48   PetscTruth     flg;
49 
50   PetscFunctionBegin;
51   PetscValidHeaderSpecific(mat,MAT_COOKIE,1);
52   PetscValidPointer(ctx,2);
53   ierr = PetscTypeCompare((PetscObject)mat,MATSHELL,&flg);CHKERRQ(ierr);
54   if (!flg) *ctx = 0;
55   else      *ctx = ((Mat_Shell*)(mat->data))->ctx;
56   PetscFunctionReturn(0);
57 }
58 
59 #undef __FUNCT__
60 #define __FUNCT__ "MatDestroy_Shell"
61 PetscErrorCode MatDestroy_Shell(Mat mat)
62 {
63   PetscErrorCode ierr;
64   Mat_Shell      *shell;
65 
66   PetscFunctionBegin;
67   shell = (Mat_Shell*)mat->data;
68   if (shell->destroy) {ierr = (*shell->destroy)(mat);CHKERRQ(ierr);}
69   ierr = PetscFree(shell);CHKERRQ(ierr);
70   PetscFunctionReturn(0);
71 }
72 
73 #undef __FUNCT__
74 #define __FUNCT__ "MatMult_Shell"
75 PetscErrorCode MatMult_Shell(Mat A,Vec x,Vec y)
76 {
77   Mat_Shell      *shell = (Mat_Shell*)A->data;
78   PetscErrorCode ierr;
79 
80   PetscFunctionBegin;
81   ierr = (*shell->mult)(A,x,y);CHKERRQ(ierr);
82   if (shell->shift && shell->scale) {
83     ierr = VecAXPBY(y,shell->vshift,shell->vscale,x);CHKERRQ(ierr);
84   } else if (shell->scale) {
85     ierr = VecScale(y,shell->vscale);CHKERRQ(ierr);
86   } else {
87     ierr = VecAXPY(y,shell->vshift,x);CHKERRQ(ierr);
88   }
89   PetscFunctionReturn(0);
90 }
91 
92 #undef __FUNCT__
93 #define __FUNCT__ "MatMultTranspose_Shell"
94 PetscErrorCode MatMultTranspose_Shell(Mat A,Vec x,Vec y)
95 {
96   Mat_Shell      *shell = (Mat_Shell*)A->data;
97   PetscErrorCode ierr;
98 
99   PetscFunctionBegin;
100   ierr = (*shell->multtranspose)(A,x,y);CHKERRQ(ierr);
101   if (shell->shift && shell->scale) {
102     ierr = VecAXPBY(y,shell->vshift,shell->vscale,x);CHKERRQ(ierr);
103   } else if (shell->scale) {
104     ierr = VecScale(y,shell->vscale);CHKERRQ(ierr);
105   } else {
106     ierr = VecAXPY(y,shell->vshift,x);CHKERRQ(ierr);
107   }
108   PetscFunctionReturn(0);
109 }
110 
111 #undef __FUNCT__
112 #define __FUNCT__ "MatGetDiagonal_Shell"
113 PetscErrorCode MatGetDiagonal_Shell(Mat A,Vec v)
114 {
115   Mat_Shell      *shell = (Mat_Shell*)A->data;
116   PetscErrorCode ierr;
117 
118   PetscFunctionBegin;
119   ierr = (*shell->getdiagonal)(A,v);CHKERRQ(ierr);
120   if (shell->scale) {
121     ierr = VecScale(v,shell->vscale);CHKERRQ(ierr);
122   }
123   if (shell->shift) {
124     ierr = VecShift(v,shell->vshift);CHKERRQ(ierr);
125   }
126   PetscFunctionReturn(0);
127 }
128 
129 #undef __FUNCT__
130 #define __FUNCT__ "MatShift_Shell"
131 PetscErrorCode MatShift_Shell(Mat Y,PetscScalar a)
132 {
133   Mat_Shell *shell = (Mat_Shell*)Y->data;
134 
135   PetscFunctionBegin;
136   if (shell->scale || shell->shift) {
137     shell->vshift += a;
138   } else {
139     shell->mult  = Y->ops->mult;
140     Y->ops->mult = MatMult_Shell;
141     if (Y->ops->multtranspose) {
142       shell->multtranspose  = Y->ops->multtranspose;
143       Y->ops->multtranspose = MatMultTranspose_Shell;
144     }
145     if (Y->ops->getdiagonal) {
146       shell->getdiagonal  = Y->ops->getdiagonal;
147       Y->ops->getdiagonal = MatGetDiagonal_Shell;
148     }
149     shell->vshift = a;
150   }
151   shell->shift  =  PETSC_TRUE;
152   PetscFunctionReturn(0);
153 }
154 
155 #undef __FUNCT__
156 #define __FUNCT__ "MatScale_Shell"
157 PetscErrorCode MatScale_Shell(Mat Y,PetscScalar a)
158 {
159   Mat_Shell *shell = (Mat_Shell*)Y->data;
160 
161   PetscFunctionBegin;
162   if (shell->scale || shell->shift) {
163     shell->vscale *= a;
164   } else {
165     shell->mult  = Y->ops->mult;
166     Y->ops->mult = MatMult_Shell;
167     if (Y->ops->multtranspose) {
168       shell->multtranspose  = Y->ops->multtranspose;
169       Y->ops->multtranspose = MatMultTranspose_Shell;
170     }
171     if (Y->ops->getdiagonal) {
172       shell->getdiagonal  = Y->ops->getdiagonal;
173       Y->ops->getdiagonal = MatGetDiagonal_Shell;
174     }
175     shell->vscale = a;
176   }
177   shell->scale  =  PETSC_TRUE;
178   PetscFunctionReturn(0);
179 }
180 
181 #undef __FUNCT__
182 #define __FUNCT__ "MatAssemblyEnd_Shell"
183 PetscErrorCode MatAssemblyEnd_Shell(Mat Y,MatAssemblyType t)
184 {
185   Mat_Shell *shell = (Mat_Shell*)Y->data;
186 
187   PetscFunctionBegin;
188   if ((shell->shift || shell->scale) && t == MAT_FINAL_ASSEMBLY) {
189     shell->scale  = PETSC_FALSE;
190     shell->shift  = PETSC_FALSE;
191     shell->vshift = 0.0;
192     shell->vscale = 1.0;
193     Y->ops->mult          = shell->mult;
194     Y->ops->multtranspose = shell->multtranspose;
195     Y->ops->getdiagonal   = shell->getdiagonal;
196   }
197   PetscFunctionReturn(0);
198 }
199 
200 EXTERN PetscErrorCode MatConvert_Shell(Mat, MatType,MatReuse,Mat*);
201 
202 #undef __FUNCT__
203 #define __FUNCT__ "MatSetBlockSize_Shell"
204 PetscErrorCode MatSetBlockSize_Shell(Mat A,PetscInt bs)
205 {
206   PetscFunctionBegin;
207   PetscFunctionReturn(0);
208 }
209 
210 static struct _MatOps MatOps_Values = {0,
211        0,
212        0,
213        0,
214 /* 4*/ 0,
215        0,
216        0,
217        0,
218        0,
219        0,
220 /*10*/ 0,
221        0,
222        0,
223        0,
224        0,
225 /*15*/ 0,
226        0,
227        0,
228        0,
229        0,
230 /*20*/ 0,
231        MatAssemblyEnd_Shell,
232        0,
233        0,
234        0,
235 /*25*/ 0,
236        0,
237        0,
238        0,
239        0,
240 /*30*/ 0,
241        0,
242        0,
243        0,
244        0,
245 /*35*/ 0,
246        0,
247        0,
248        0,
249        0,
250 /*40*/ 0,
251        0,
252        0,
253        0,
254        0,
255 /*45*/ 0,
256        MatScale_Shell,
257        MatShift_Shell,
258        0,
259        0,
260 /*50*/ MatSetBlockSize_Shell,
261        0,
262        0,
263        0,
264        0,
265 /*55*/ 0,
266        0,
267        0,
268        0,
269        0,
270 /*60*/ 0,
271        MatDestroy_Shell,
272        0,
273        0,
274        0,
275 /*65*/ 0,
276        0,
277        0,
278        0,
279        0,
280 /*70*/ 0,
281        MatConvert_Shell,
282        0,
283        0,
284        0,
285 /*75*/ 0,
286        0,
287        0,
288        0,
289        0,
290 /*80*/ 0,
291        0,
292        0,
293        0,
294        0,
295 /*85*/ 0,
296        0,
297        0,
298        0,
299        0,
300 /*90*/ 0,
301        0,
302        0,
303        0,
304        0,
305 /*95*/ 0,
306        0,
307        0,
308        0};
309 
310 /*MC
311    MATSHELL - MATSHELL = "shell" - A matrix type to be used to define your own matrix type -- perhaps matrix free.
312 
313   Level: advanced
314 
315 .seealso: MatCreateShell
316 M*/
317 
318 EXTERN_C_BEGIN
319 #undef __FUNCT__
320 #define __FUNCT__ "MatCreate_Shell"
321 PetscErrorCode PETSCMAT_DLLEXPORT MatCreate_Shell(Mat A)
322 {
323   Mat_Shell      *b;
324   PetscErrorCode ierr;
325 
326   PetscFunctionBegin;
327   ierr = PetscMemcpy(A->ops,&MatOps_Values,sizeof(struct _MatOps));CHKERRQ(ierr);
328 
329   ierr = PetscNew(Mat_Shell,&b);CHKERRQ(ierr);
330   ierr = PetscLogObjectMemory(A,sizeof(struct _p_Mat)+sizeof(Mat_Shell));CHKERRQ(ierr);
331   A->data = (void*)b;
332 
333   if (A->rmap.n == PETSC_DECIDE || A->cmap.n == PETSC_DECIDE) {
334     SETERRQ(PETSC_ERR_ARG_WRONG,"Must give local row and column count for matrix");
335   }
336 
337   ierr = PetscMapInitialize(A->comm,&A->rmap);CHKERRQ(ierr);
338   ierr = PetscMapInitialize(A->comm,&A->cmap);CHKERRQ(ierr);
339 
340   b->ctx           = 0;
341   b->scale         = PETSC_FALSE;
342   b->shift         = PETSC_FALSE;
343   b->vshift        = 0.0;
344   b->vscale        = 1.0;
345   b->mult          = 0;
346   b->multtranspose = 0;
347   b->getdiagonal   = 0;
348   A->assembled     = PETSC_TRUE;
349   A->preallocated  = PETSC_FALSE;
350   ierr = PetscObjectChangeTypeName((PetscObject)A,MATSHELL);CHKERRQ(ierr);
351   PetscFunctionReturn(0);
352 }
353 EXTERN_C_END
354 
355 #undef __FUNCT__
356 #define __FUNCT__ "MatCreateShell"
357 /*@C
358    MatCreateShell - Creates a new matrix class for use with a user-defined
359    private data storage format.
360 
361   Collective on MPI_Comm
362 
363    Input Parameters:
364 +  comm - MPI communicator
365 .  m - number of local rows (must be given)
366 .  n - number of local columns (must be given)
367 .  M - number of global rows (may be PETSC_DETERMINE)
368 .  N - number of global columns (may be PETSC_DETERMINE)
369 -  ctx - pointer to data needed by the shell matrix routines
370 
371    Output Parameter:
372 .  A - the matrix
373 
374    Level: advanced
375 
376   Usage:
377 $    extern int mult(Mat,Vec,Vec);
378 $    MatCreateShell(comm,m,n,M,N,ctx,&mat);
379 $    MatShellSetOperation(mat,MATOP_MULT,(void(*)(void))mult);
380 $    [ Use matrix for operations that have been set ]
381 $    MatDestroy(mat);
382 
383    Notes:
384    The shell matrix type is intended to provide a simple class to use
385    with KSP (such as, for use with matrix-free methods). You should not
386    use the shell type if you plan to define a complete matrix class.
387 
388    Fortran Notes: The context can only be an integer or a PetscObject
389       unfortunately it cannot be a Fortran array or derived type.
390 
391    PETSc requires that matrices and vectors being used for certain
392    operations are partitioned accordingly.  For example, when
393    creating a shell matrix, A, that supports parallel matrix-vector
394    products using MatMult(A,x,y) the user should set the number
395    of local matrix rows to be the number of local elements of the
396    corresponding result vector, y. Note that this is information is
397    required for use of the matrix interface routines, even though
398    the shell matrix may not actually be physically partitioned.
399    For example,
400 
401 $
402 $     Vec x, y
403 $     extern int mult(Mat,Vec,Vec);
404 $     Mat A
405 $
406 $     VecCreateMPI(comm,PETSC_DECIDE,M,&y);
407 $     VecCreateMPI(comm,PETSC_DECIDE,N,&x);
408 $     VecGetLocalSize(y,&m);
409 $     VecGetLocalSize(x,&n);
410 $     MatCreateShell(comm,m,n,M,N,ctx,&A);
411 $     MatShellSetOperation(mat,MATOP_MULT,(void(*)(void))mult);
412 $     MatMult(A,x,y);
413 $     MatDestroy(A);
414 $     VecDestroy(y); VecDestroy(x);
415 $
416 
417 .keywords: matrix, shell, create
418 
419 .seealso: MatShellSetOperation(), MatHasOperation(), MatShellGetContext(), MatShellSetContext()
420 @*/
421 PetscErrorCode PETSCMAT_DLLEXPORT MatCreateShell(MPI_Comm comm,PetscInt m,PetscInt n,PetscInt M,PetscInt N,void *ctx,Mat *A)
422 {
423   PetscErrorCode ierr;
424 
425   PetscFunctionBegin;
426   ierr = MatCreate(comm,A);CHKERRQ(ierr);
427   ierr = MatSetSizes(*A,m,n,M,N);CHKERRQ(ierr);
428 
429   ierr = MatSetType(*A,MATSHELL);CHKERRQ(ierr);
430   ierr = MatShellSetContext(*A,ctx);CHKERRQ(ierr);
431   PetscFunctionReturn(0);
432 }
433 
434 #undef __FUNCT__
435 #define __FUNCT__ "MatShellSetContext"
436 /*@
437     MatShellSetContext - sets the context for a shell matrix
438 
439    Collective on Mat
440 
441     Input Parameters:
442 +   mat - the shell matrix
443 -   ctx - the context
444 
445    Level: advanced
446 
447    Fortran Notes: The context can only be an integer or a PetscObject
448       unfortunately it cannot be a Fortran array or derived type.
449 
450 .seealso: MatCreateShell(), MatShellGetContext(), MatShellGetOperation()
451 @*/
452 PetscErrorCode PETSCMAT_DLLEXPORT MatShellSetContext(Mat mat,void *ctx)
453 {
454   Mat_Shell      *shell = (Mat_Shell*)mat->data;
455   PetscErrorCode ierr;
456   PetscTruth     flg;
457 
458   PetscFunctionBegin;
459   PetscValidHeaderSpecific(mat,MAT_COOKIE,1);
460   ierr = PetscTypeCompare((PetscObject)mat,MATSHELL,&flg);CHKERRQ(ierr);
461   if (flg) {
462     shell->ctx = ctx;
463   }
464   PetscFunctionReturn(0);
465 }
466 
467 #undef __FUNCT__
468 #define __FUNCT__ "MatShellSetOperation"
469 /*@C
470     MatShellSetOperation - Allows user to set a matrix operation for
471                            a shell matrix.
472 
473    Collective on Mat
474 
475     Input Parameters:
476 +   mat - the shell matrix
477 .   op - the name of the operation
478 -   f - the function that provides the operation.
479 
480    Level: advanced
481 
482     Usage:
483 $      extern PetscErrorCode usermult(Mat,Vec,Vec);
484 $      ierr = MatCreateShell(comm,m,n,M,N,ctx,&A);
485 $      ierr = MatShellSetOperation(A,MATOP_MULT,(void(*)(void))usermult);
486 
487     Notes:
488     See the file include/petscmat.h for a complete list of matrix
489     operations, which all have the form MATOP_<OPERATION>, where
490     <OPERATION> is the name (in all capital letters) of the
491     user interface routine (e.g., MatMult() -> MATOP_MULT).
492 
493     All user-provided functions should have the same calling
494     sequence as the usual matrix interface routines, since they
495     are intended to be accessed via the usual matrix interface
496     routines, e.g.,
497 $       MatMult(Mat,Vec,Vec) -> usermult(Mat,Vec,Vec)
498 
499     Within each user-defined routine, the user should call
500     MatShellGetContext() to obtain the user-defined context that was
501     set by MatCreateShell().
502 
503 .keywords: matrix, shell, set, operation
504 
505 .seealso: MatCreateShell(), MatShellGetContext(), MatShellGetOperation(), MatShellSetContext()
506 @*/
507 PetscErrorCode PETSCMAT_DLLEXPORT MatShellSetOperation(Mat mat,MatOperation op,void (*f)(void))
508 {
509   PetscErrorCode ierr;
510   PetscTruth     flg;
511 
512   PetscFunctionBegin;
513   PetscValidHeaderSpecific(mat,MAT_COOKIE,1);
514   if (op == MATOP_DESTROY) {
515     ierr = PetscTypeCompare((PetscObject)mat,MATSHELL,&flg);CHKERRQ(ierr);
516     if (flg) {
517        Mat_Shell *shell = (Mat_Shell*)mat->data;
518        shell->destroy                 = (PetscErrorCode (*)(Mat)) f;
519     } else mat->ops->destroy          = (PetscErrorCode (*)(Mat)) f;
520   }
521   else if (op == MATOP_VIEW) mat->ops->view  = (PetscErrorCode (*)(Mat,PetscViewer)) f;
522   else                       (((void(**)(void))mat->ops)[op]) = f;
523 
524   PetscFunctionReturn(0);
525 }
526 
527 #undef __FUNCT__
528 #define __FUNCT__ "MatShellGetOperation"
529 /*@C
530     MatShellGetOperation - Gets a matrix function for a shell matrix.
531 
532     Not Collective
533 
534     Input Parameters:
535 +   mat - the shell matrix
536 -   op - the name of the operation
537 
538     Output Parameter:
539 .   f - the function that provides the operation.
540 
541     Level: advanced
542 
543     Notes:
544     See the file include/petscmat.h for a complete list of matrix
545     operations, which all have the form MATOP_<OPERATION>, where
546     <OPERATION> is the name (in all capital letters) of the
547     user interface routine (e.g., MatMult() -> MATOP_MULT).
548 
549     All user-provided functions have the same calling
550     sequence as the usual matrix interface routines, since they
551     are intended to be accessed via the usual matrix interface
552     routines, e.g.,
553 $       MatMult(Mat,Vec,Vec) -> usermult(Mat,Vec,Vec)
554 
555     Within each user-defined routine, the user should call
556     MatShellGetContext() to obtain the user-defined context that was
557     set by MatCreateShell().
558 
559 .keywords: matrix, shell, set, operation
560 
561 .seealso: MatCreateShell(), MatShellGetContext(), MatShellSetOperation(), MatShellSetContext()
562 @*/
563 PetscErrorCode PETSCMAT_DLLEXPORT MatShellGetOperation(Mat mat,MatOperation op,void(**f)(void))
564 {
565   PetscErrorCode ierr;
566   PetscTruth     flg;
567 
568   PetscFunctionBegin;
569   PetscValidHeaderSpecific(mat,MAT_COOKIE,1);
570   if (op == MATOP_DESTROY) {
571     ierr = PetscTypeCompare((PetscObject)mat,MATSHELL,&flg);CHKERRQ(ierr);
572     if (flg) {
573       Mat_Shell *shell = (Mat_Shell*)mat->data;
574       *f = (void(*)(void))shell->destroy;
575     } else {
576       *f = (void(*)(void))mat->ops->destroy;
577     }
578   } else if (op == MATOP_VIEW) {
579     *f = (void(*)(void))mat->ops->view;
580   } else {
581     *f = (((void(**)(void))mat->ops)[op]);
582   }
583 
584   PetscFunctionReturn(0);
585 }
586 
587