xref: /petsc/src/mat/impls/shell/shellcnv.c (revision 2487f3f25af71d5f4045197fcbc4faa6f389a0d2) !
1af0996ceSBarry Smith #include <petsc/private/matimpl.h>        /*I "petscmat.h" I*/
26098dc10SBarry Smith 
3b3d09e86SJed Brown PetscErrorCode MatConvert_Shell(Mat oldmat, MatType newtype,MatReuse reuse,Mat *newmat)
4dfbe8321SBarry Smith {
5676c34cdSKris Buschelman   Mat            mat;
66098dc10SBarry Smith   Vec            in,out;
76098dc10SBarry Smith   MPI_Comm       comm;
86696f472SJed Brown   PetscScalar    *array;
941319c1dSStefano Zampini   PetscInt       *dnnz,*onnz,*dnnzu,*onnzu;
1041319c1dSStefano Zampini   PetscInt       cst,Nbs,mbs,nbs,rbs,cbs;
1141319c1dSStefano Zampini   PetscInt       im,i,m,n,M,N,*rows,start;
1241319c1dSStefano Zampini   PetscErrorCode ierr;
136098dc10SBarry Smith 
143a40ed3dSBarry Smith   PetscFunctionBegin;
15ce94432eSBarry Smith   ierr = PetscObjectGetComm((PetscObject)oldmat,&comm);CHKERRQ(ierr);
166098dc10SBarry Smith 
176696f472SJed Brown   ierr = MatGetOwnershipRange(oldmat,&start,NULL);CHKERRQ(ierr);
1841319c1dSStefano Zampini   ierr = MatGetOwnershipRangeColumn(oldmat,&cst,NULL);CHKERRQ(ierr);
196696f472SJed Brown   ierr = MatCreateVecs(oldmat,&in,&out);CHKERRQ(ierr);
206696f472SJed Brown   ierr = MatGetLocalSize(oldmat,&m,&n);CHKERRQ(ierr);
216696f472SJed Brown   ierr = MatGetSize(oldmat,&M,&N);CHKERRQ(ierr);
226696f472SJed Brown   ierr = PetscMalloc1(m,&rows);CHKERRQ(ierr);
236098dc10SBarry Smith 
24f69a0ea3SMatthew Knepley   ierr = MatCreate(comm,&mat);CHKERRQ(ierr);
256696f472SJed Brown   ierr = MatSetSizes(mat,m,n,M,N);CHKERRQ(ierr);
264a6a16e5SBarry Smith   ierr = MatSetType(mat,newtype);CHKERRQ(ierr);
2733d57670SJed Brown   ierr = MatSetBlockSizesFromMats(mat,oldmat,oldmat);CHKERRQ(ierr);
2841319c1dSStefano Zampini   ierr = MatGetBlockSizes(mat,&rbs,&cbs);CHKERRQ(ierr);
2941319c1dSStefano Zampini   mbs  = m/rbs;
3041319c1dSStefano Zampini   nbs  = n/cbs;
3141319c1dSStefano Zampini   Nbs  = N/cbs;
3241319c1dSStefano Zampini   cst  = cst/cbs;
3341319c1dSStefano Zampini   ierr = PetscMalloc4(mbs,&dnnz,mbs,&onnz,mbs,&dnnzu,mbs,&onnzu);CHKERRQ(ierr);
3441319c1dSStefano Zampini   for (i=0; i<mbs; i++) {
3541319c1dSStefano Zampini     dnnz[i]  = nbs;
3641319c1dSStefano Zampini     onnz[i]  = Nbs - nbs;
3741319c1dSStefano Zampini     dnnzu[i] = PetscMax(nbs - i,0);
3841319c1dSStefano Zampini     onnzu[i] = PetscMax(Nbs - (cst + nbs),0);
3941319c1dSStefano Zampini   }
4041319c1dSStefano Zampini   ierr = MatXAIJSetPreallocation(mat,PETSC_DECIDE,dnnz,onnz,dnnzu,onnzu);CHKERRQ(ierr);
4141319c1dSStefano Zampini   ierr = PetscFree4(dnnz,onnz,dnnzu,onnzu);CHKERRQ(ierr);
426696f472SJed Brown   ierr = VecSetOption(in,VEC_IGNORE_OFF_PROC_ENTRIES,PETSC_TRUE);CHKERRQ(ierr);
4341319c1dSStefano Zampini   ierr = MatSetUp(mat);CHKERRQ(ierr);
446696f472SJed Brown   for (i=0; i<N; i++) {
4541319c1dSStefano Zampini     PetscInt j;
4641319c1dSStefano Zampini 
476696f472SJed Brown     ierr = VecZeroEntries(in);CHKERRQ(ierr);
486696f472SJed Brown     ierr = VecSetValue(in,i,1.,INSERT_VALUES);CHKERRQ(ierr);
496098dc10SBarry Smith     ierr = VecAssemblyBegin(in);CHKERRQ(ierr);
506098dc10SBarry Smith     ierr = VecAssemblyEnd(in);CHKERRQ(ierr);
516098dc10SBarry Smith     ierr = MatMult(oldmat,in,out);CHKERRQ(ierr);
526098dc10SBarry Smith     ierr = VecGetArray(out,&array);CHKERRQ(ierr);
5341319c1dSStefano Zampini     for (j=0, im = 0; j<m; j++) {
5441319c1dSStefano Zampini       if (PetscAbsScalar(array[j]) == 0.0) continue;
5541319c1dSStefano Zampini       rows[im]  = j+start;
5641319c1dSStefano Zampini       array[im] = array[j];
5741319c1dSStefano Zampini       im++;
5841319c1dSStefano Zampini     }
5941319c1dSStefano Zampini     ierr = MatSetValues(mat,im,rows,1,&i,array,INSERT_VALUES);CHKERRQ(ierr);
606098dc10SBarry Smith     ierr = VecRestoreArray(out,&array);CHKERRQ(ierr);
616098dc10SBarry Smith   }
62606d414cSSatish Balay   ierr = PetscFree(rows);CHKERRQ(ierr);
636bf464f9SBarry Smith   ierr = VecDestroy(&in);CHKERRQ(ierr);
646bf464f9SBarry Smith   ierr = VecDestroy(&out);CHKERRQ(ierr);
65676c34cdSKris Buschelman   ierr = MatAssemblyBegin(mat,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
66676c34cdSKris Buschelman   ierr = MatAssemblyEnd(mat,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
67511c6705SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
6828be2f97SBarry Smith     ierr = MatHeaderReplace(oldmat,&mat);CHKERRQ(ierr);
69c3d102feSKris Buschelman   } else {
70676c34cdSKris Buschelman     *newmat = mat;
71c3d102feSKris Buschelman   }
723a40ed3dSBarry Smith   PetscFunctionReturn(0);
736098dc10SBarry Smith }
74251fad3fSStefano Zampini 
75251fad3fSStefano Zampini static PetscErrorCode MatGetDiagonal_CF(Mat A,Vec X)
76251fad3fSStefano Zampini {
77251fad3fSStefano Zampini   Mat            B;
78251fad3fSStefano Zampini   PetscErrorCode ierr;
79251fad3fSStefano Zampini 
80251fad3fSStefano Zampini   PetscFunctionBegin;
81251fad3fSStefano Zampini   ierr = MatShellGetContext(A,&B);CHKERRQ(ierr);
82251fad3fSStefano Zampini   if (!B) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_PLIB,"Missing user matrix");
83251fad3fSStefano Zampini   ierr = MatGetDiagonal(B,X);CHKERRQ(ierr);
84251fad3fSStefano Zampini   PetscFunctionReturn(0);
85251fad3fSStefano Zampini }
86251fad3fSStefano Zampini 
87251fad3fSStefano Zampini static PetscErrorCode MatMult_CF(Mat A,Vec X,Vec Y)
88251fad3fSStefano Zampini {
89251fad3fSStefano Zampini   Mat            B;
90251fad3fSStefano Zampini   PetscErrorCode ierr;
91251fad3fSStefano Zampini 
92251fad3fSStefano Zampini   PetscFunctionBegin;
93251fad3fSStefano Zampini   ierr = MatShellGetContext(A,&B);CHKERRQ(ierr);
94251fad3fSStefano Zampini   if (!B) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_PLIB,"Missing user matrix");
95251fad3fSStefano Zampini   ierr = MatMult(B,X,Y);CHKERRQ(ierr);
96251fad3fSStefano Zampini   PetscFunctionReturn(0);
97251fad3fSStefano Zampini }
98251fad3fSStefano Zampini 
99251fad3fSStefano Zampini static PetscErrorCode MatMultTranspose_CF(Mat A,Vec X,Vec Y)
100251fad3fSStefano Zampini {
101251fad3fSStefano Zampini   Mat            B;
102251fad3fSStefano Zampini   PetscErrorCode ierr;
103251fad3fSStefano Zampini 
104251fad3fSStefano Zampini   PetscFunctionBegin;
105251fad3fSStefano Zampini   ierr = MatShellGetContext(A,&B);CHKERRQ(ierr);
106251fad3fSStefano Zampini   if (!B) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_PLIB,"Missing user matrix");
107251fad3fSStefano Zampini   ierr = MatMultTranspose(B,X,Y);CHKERRQ(ierr);
108251fad3fSStefano Zampini   PetscFunctionReturn(0);
109251fad3fSStefano Zampini }
110251fad3fSStefano Zampini 
111251fad3fSStefano Zampini static PetscErrorCode MatDestroy_CF(Mat A)
112251fad3fSStefano Zampini {
113251fad3fSStefano Zampini   Mat            B;
114251fad3fSStefano Zampini   PetscErrorCode ierr;
115251fad3fSStefano Zampini 
116251fad3fSStefano Zampini   PetscFunctionBegin;
117251fad3fSStefano Zampini   ierr = MatShellGetContext(A,&B);CHKERRQ(ierr);
118251fad3fSStefano Zampini   if (!B) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_PLIB,"Missing user matrix");
119251fad3fSStefano Zampini   ierr = MatDestroy(&B);CHKERRQ(ierr);
120b77ba244SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)A,"MatProductSetFromOptions_anytype_C",NULL);CHKERRQ(ierr);
121b77ba244SStefano Zampini   PetscFunctionReturn(0);
122b77ba244SStefano Zampini }
123b77ba244SStefano Zampini 
124b77ba244SStefano Zampini typedef struct {
125b77ba244SStefano Zampini   void           *userdata;
126b77ba244SStefano Zampini   PetscErrorCode (*userdestroy)(void*);
127b77ba244SStefano Zampini   PetscErrorCode (*numeric)(Mat);
128b77ba244SStefano Zampini   MatProductType ptype;
129b77ba244SStefano Zampini   Mat            Dwork;
130b77ba244SStefano Zampini } MatMatCF;
131b77ba244SStefano Zampini 
132b77ba244SStefano Zampini static PetscErrorCode MatProductDestroy_CF(void *data)
133b77ba244SStefano Zampini {
134b77ba244SStefano Zampini   PetscErrorCode ierr;
135b77ba244SStefano Zampini   MatMatCF       *mmcfdata = (MatMatCF*)data;
136b77ba244SStefano Zampini 
137b77ba244SStefano Zampini   PetscFunctionBegin;
138b77ba244SStefano Zampini   if (mmcfdata->userdestroy) {
139b77ba244SStefano Zampini     ierr = (*mmcfdata->userdestroy)(mmcfdata->userdata);CHKERRQ(ierr);
140b77ba244SStefano Zampini   }
141b77ba244SStefano Zampini   ierr = MatDestroy(&mmcfdata->Dwork);CHKERRQ(ierr);
142b77ba244SStefano Zampini   ierr = PetscFree(mmcfdata);CHKERRQ(ierr);
143b77ba244SStefano Zampini   PetscFunctionReturn(0);
144b77ba244SStefano Zampini }
145b77ba244SStefano Zampini 
146b77ba244SStefano Zampini static PetscErrorCode MatProductNumericPhase_CF(Mat A, Mat B, Mat C, void *data)
147b77ba244SStefano Zampini {
148b77ba244SStefano Zampini   PetscErrorCode ierr;
149b77ba244SStefano Zampini   MatMatCF       *mmcfdata = (MatMatCF*)data;
150b77ba244SStefano Zampini 
151b77ba244SStefano Zampini   PetscFunctionBegin;
152b77ba244SStefano Zampini   if (!mmcfdata) SETERRQ(PetscObjectComm((PetscObject)C),PETSC_ERR_PLIB,"Missing data");
153b77ba244SStefano Zampini   if (!mmcfdata->numeric) SETERRQ(PetscObjectComm((PetscObject)C),PETSC_ERR_PLIB,"Missing numeric operation");
154b77ba244SStefano Zampini   /* the MATSHELL interface allows us to play with the product data */
155b77ba244SStefano Zampini   ierr = PetscNew(&C->product);CHKERRQ(ierr);
156b77ba244SStefano Zampini   C->product->type  = mmcfdata->ptype;
157b77ba244SStefano Zampini   C->product->data  = mmcfdata->userdata;
158b77ba244SStefano Zampini   C->product->Dwork = mmcfdata->Dwork;
159b77ba244SStefano Zampini   ierr = MatShellGetContext(A,&C->product->A);CHKERRQ(ierr);
160b77ba244SStefano Zampini   C->product->B = B;
161b77ba244SStefano Zampini   ierr = (*mmcfdata->numeric)(C);CHKERRQ(ierr);
162b77ba244SStefano Zampini   ierr = PetscFree(C->product);CHKERRQ(ierr);
163b77ba244SStefano Zampini   PetscFunctionReturn(0);
164b77ba244SStefano Zampini }
165b77ba244SStefano Zampini 
166b77ba244SStefano Zampini static PetscErrorCode MatProductSymbolicPhase_CF(Mat A, Mat B, Mat C, void **data)
167b77ba244SStefano Zampini {
168b77ba244SStefano Zampini   PetscErrorCode ierr;
169b77ba244SStefano Zampini   MatMatCF       *mmcfdata;
170b77ba244SStefano Zampini 
171b77ba244SStefano Zampini   PetscFunctionBegin;
172b77ba244SStefano Zampini   ierr = MatShellGetContext(A,&C->product->A);CHKERRQ(ierr);
173b77ba244SStefano Zampini   ierr = MatProductSetFromOptions(C);CHKERRQ(ierr);
174b77ba244SStefano Zampini   ierr = MatProductSymbolic(C);CHKERRQ(ierr);
175b77ba244SStefano Zampini   /* the MATSHELL interface does not allow non-empty product data */
176b77ba244SStefano Zampini   ierr = PetscNew(&mmcfdata);CHKERRQ(ierr);
177b77ba244SStefano Zampini 
178b77ba244SStefano Zampini   mmcfdata->numeric     = C->ops->productnumeric;
179b77ba244SStefano Zampini   mmcfdata->ptype       = C->product->type;
180b77ba244SStefano Zampini   mmcfdata->userdata    = C->product->data;
181b77ba244SStefano Zampini   mmcfdata->userdestroy = C->product->destroy;
182b77ba244SStefano Zampini   mmcfdata->Dwork       = C->product->Dwork;
183b77ba244SStefano Zampini 
184b77ba244SStefano Zampini   C->product->Dwork   = NULL;
185b77ba244SStefano Zampini   C->product->data    = NULL;
186b77ba244SStefano Zampini   C->product->destroy = NULL;
187b77ba244SStefano Zampini   C->product->A       = A;
188b77ba244SStefano Zampini 
189b77ba244SStefano Zampini   *data = mmcfdata;
190b77ba244SStefano Zampini   PetscFunctionReturn(0);
191b77ba244SStefano Zampini }
192b77ba244SStefano Zampini 
193b77ba244SStefano Zampini /* only for A of type shell, mainly used for MatMat operations of shells with AXPYs */
194b77ba244SStefano Zampini static PetscErrorCode MatProductSetFromOptions_CF(Mat D)
195b77ba244SStefano Zampini {
196b77ba244SStefano Zampini   Mat            A,B,Ain;
197b77ba244SStefano Zampini   void           (*Af)(void) = NULL;
198b77ba244SStefano Zampini   PetscBool      flg;
199b77ba244SStefano Zampini   PetscErrorCode ierr;
200b77ba244SStefano Zampini 
201b77ba244SStefano Zampini   PetscFunctionBegin;
202b77ba244SStefano Zampini   MatCheckProduct(D,1);
203b77ba244SStefano Zampini   if (D->product->type == MATPRODUCT_ABC) PetscFunctionReturn(0);
204b77ba244SStefano Zampini   A = D->product->A;
205b77ba244SStefano Zampini   B = D->product->B;
206b77ba244SStefano Zampini   ierr = MatIsShell(A,&flg);CHKERRQ(ierr);
207b77ba244SStefano Zampini   if (!flg) PetscFunctionReturn(0);
208b77ba244SStefano Zampini   ierr = PetscObjectQueryFunction((PetscObject)A,"MatProductSetFromOptions_anytype_C",&Af);CHKERRQ(ierr);
209b77ba244SStefano Zampini   if (Af == (void(*)(void))MatProductSetFromOptions_CF) {
210b77ba244SStefano Zampini     ierr = MatShellGetContext(A,&Ain);CHKERRQ(ierr);
211b77ba244SStefano Zampini   } else PetscFunctionReturn(0);
212b77ba244SStefano Zampini   D->product->A = Ain;
213b77ba244SStefano Zampini   ierr = MatProductSetFromOptions(D);CHKERRQ(ierr);
214b77ba244SStefano Zampini   D->product->A = A;
215b77ba244SStefano Zampini   if (D->ops->productsymbolic) { /* we have a symbolic match, now populate the MATSHELL operations */
216b77ba244SStefano Zampini     ierr = MatShellSetMatProductOperation(A,D->product->type,MatProductSymbolicPhase_CF,MatProductNumericPhase_CF,MatProductDestroy_CF,((PetscObject)B)->type_name,NULL);CHKERRQ(ierr);
217b77ba244SStefano Zampini     ierr = MatProductSetFromOptions(D);CHKERRQ(ierr);
218b77ba244SStefano Zampini   }
219251fad3fSStefano Zampini   PetscFunctionReturn(0);
220251fad3fSStefano Zampini }
221251fad3fSStefano Zampini 
222251fad3fSStefano Zampini PetscErrorCode MatConvertFrom_Shell(Mat A, MatType newtype,MatReuse reuse,Mat *B)
223251fad3fSStefano Zampini {
224251fad3fSStefano Zampini   Mat            M;
225251fad3fSStefano Zampini   PetscBool      flg;
226251fad3fSStefano Zampini   PetscErrorCode ierr;
227251fad3fSStefano Zampini 
228251fad3fSStefano Zampini   PetscFunctionBegin;
229251fad3fSStefano Zampini   ierr = PetscStrcmp(newtype,MATSHELL,&flg);CHKERRQ(ierr);
230251fad3fSStefano Zampini   if (!flg) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Only conversion to MATSHELL");
231251fad3fSStefano Zampini   if (reuse == MAT_INITIAL_MATRIX) {
232251fad3fSStefano Zampini     ierr = PetscObjectReference((PetscObject)A);CHKERRQ(ierr);
233251fad3fSStefano Zampini     ierr = MatCreateShell(PetscObjectComm((PetscObject)A),A->rmap->n,A->cmap->n,A->rmap->N,A->cmap->N,A,&M);CHKERRQ(ierr);
2341d9d9a34SStefano Zampini     ierr = MatSetBlockSizesFromMats(M,A,A);CHKERRQ(ierr);
235251fad3fSStefano Zampini     ierr = MatShellSetOperation(M,MATOP_MULT,          (void (*)(void))MatMult_CF);CHKERRQ(ierr);
236251fad3fSStefano Zampini     ierr = MatShellSetOperation(M,MATOP_MULT_TRANSPOSE,(void (*)(void))MatMultTranspose_CF);CHKERRQ(ierr);
237251fad3fSStefano Zampini     ierr = MatShellSetOperation(M,MATOP_GET_DIAGONAL,  (void (*)(void))MatGetDiagonal_CF);CHKERRQ(ierr);
238251fad3fSStefano Zampini     ierr = MatShellSetOperation(M,MATOP_DESTROY,       (void (*)(void))MatDestroy_CF);CHKERRQ(ierr);
239b77ba244SStefano Zampini     ierr = PetscObjectComposeFunction((PetscObject)M,"MatProductSetFromOptions_anytype_C",MatProductSetFromOptions_CF);CHKERRQ(ierr);
2403d392a07SStefano Zampini     ierr = PetscFree(M->defaultvectype);CHKERRQ(ierr);
2413d392a07SStefano Zampini     ierr = PetscStrallocpy(A->defaultvectype,&M->defaultvectype);CHKERRQ(ierr);
242*2487f3f2SStefano Zampini #if defined(PETSC_HAVE_DEVICE)
243*2487f3f2SStefano Zampini     ierr = MatBindToCPU(M,A->boundtocpu);CHKERRQ(ierr);
244*2487f3f2SStefano Zampini #endif
245251fad3fSStefano Zampini     *B = M;
246251fad3fSStefano Zampini   } else SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_SUP,"Not implemented");
247251fad3fSStefano Zampini   PetscFunctionReturn(0);
248251fad3fSStefano Zampini }
249