xref: /petsc/src/mat/impls/shell/shellcnv.c (revision b77ba24407a1761eadc612ac3e023eac3ec36611)
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);
120*b77ba244SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)A,"MatProductSetFromOptions_anytype_C",NULL);CHKERRQ(ierr);
121*b77ba244SStefano Zampini   PetscFunctionReturn(0);
122*b77ba244SStefano Zampini }
123*b77ba244SStefano Zampini 
124*b77ba244SStefano Zampini typedef struct {
125*b77ba244SStefano Zampini   void           *userdata;
126*b77ba244SStefano Zampini   PetscErrorCode (*userdestroy)(void*);
127*b77ba244SStefano Zampini   PetscErrorCode (*numeric)(Mat);
128*b77ba244SStefano Zampini   MatProductType ptype;
129*b77ba244SStefano Zampini   Mat            Dwork;
130*b77ba244SStefano Zampini } MatMatCF;
131*b77ba244SStefano Zampini 
132*b77ba244SStefano Zampini static PetscErrorCode MatProductDestroy_CF(void *data)
133*b77ba244SStefano Zampini {
134*b77ba244SStefano Zampini   PetscErrorCode ierr;
135*b77ba244SStefano Zampini   MatMatCF       *mmcfdata = (MatMatCF*)data;
136*b77ba244SStefano Zampini 
137*b77ba244SStefano Zampini   PetscFunctionBegin;
138*b77ba244SStefano Zampini   if (mmcfdata->userdestroy) {
139*b77ba244SStefano Zampini     ierr = (*mmcfdata->userdestroy)(mmcfdata->userdata);CHKERRQ(ierr);
140*b77ba244SStefano Zampini   }
141*b77ba244SStefano Zampini   ierr = MatDestroy(&mmcfdata->Dwork);CHKERRQ(ierr);
142*b77ba244SStefano Zampini   ierr = PetscFree(mmcfdata);CHKERRQ(ierr);
143*b77ba244SStefano Zampini   PetscFunctionReturn(0);
144*b77ba244SStefano Zampini }
145*b77ba244SStefano Zampini 
146*b77ba244SStefano Zampini static PetscErrorCode MatProductNumericPhase_CF(Mat A, Mat B, Mat C, void *data)
147*b77ba244SStefano Zampini {
148*b77ba244SStefano Zampini   PetscErrorCode ierr;
149*b77ba244SStefano Zampini   MatMatCF       *mmcfdata = (MatMatCF*)data;
150*b77ba244SStefano Zampini 
151*b77ba244SStefano Zampini   PetscFunctionBegin;
152*b77ba244SStefano Zampini   if (!mmcfdata) SETERRQ(PetscObjectComm((PetscObject)C),PETSC_ERR_PLIB,"Missing data");
153*b77ba244SStefano Zampini   if (!mmcfdata->numeric) SETERRQ(PetscObjectComm((PetscObject)C),PETSC_ERR_PLIB,"Missing numeric operation");
154*b77ba244SStefano Zampini   /* the MATSHELL interface allows us to play with the product data */
155*b77ba244SStefano Zampini   ierr = PetscNew(&C->product);CHKERRQ(ierr);
156*b77ba244SStefano Zampini   C->product->type  = mmcfdata->ptype;
157*b77ba244SStefano Zampini   C->product->data  = mmcfdata->userdata;
158*b77ba244SStefano Zampini   C->product->Dwork = mmcfdata->Dwork;
159*b77ba244SStefano Zampini   ierr = MatShellGetContext(A,&C->product->A);CHKERRQ(ierr);
160*b77ba244SStefano Zampini   C->product->B = B;
161*b77ba244SStefano Zampini   ierr = (*mmcfdata->numeric)(C);CHKERRQ(ierr);
162*b77ba244SStefano Zampini   ierr = PetscFree(C->product);CHKERRQ(ierr);
163*b77ba244SStefano Zampini   PetscFunctionReturn(0);
164*b77ba244SStefano Zampini }
165*b77ba244SStefano Zampini 
166*b77ba244SStefano Zampini static PetscErrorCode MatProductSymbolicPhase_CF(Mat A, Mat B, Mat C, void **data)
167*b77ba244SStefano Zampini {
168*b77ba244SStefano Zampini   PetscErrorCode ierr;
169*b77ba244SStefano Zampini   MatMatCF       *mmcfdata;
170*b77ba244SStefano Zampini 
171*b77ba244SStefano Zampini   PetscFunctionBegin;
172*b77ba244SStefano Zampini   ierr = MatShellGetContext(A,&C->product->A);CHKERRQ(ierr);
173*b77ba244SStefano Zampini   ierr = MatProductSetFromOptions(C);CHKERRQ(ierr);
174*b77ba244SStefano Zampini   ierr = MatProductSymbolic(C);CHKERRQ(ierr);
175*b77ba244SStefano Zampini   /* the MATSHELL interface does not allow non-empty product data */
176*b77ba244SStefano Zampini   ierr = PetscNew(&mmcfdata);CHKERRQ(ierr);
177*b77ba244SStefano Zampini 
178*b77ba244SStefano Zampini   mmcfdata->numeric     = C->ops->productnumeric;
179*b77ba244SStefano Zampini   mmcfdata->ptype       = C->product->type;
180*b77ba244SStefano Zampini   mmcfdata->userdata    = C->product->data;
181*b77ba244SStefano Zampini   mmcfdata->userdestroy = C->product->destroy;
182*b77ba244SStefano Zampini   mmcfdata->Dwork       = C->product->Dwork;
183*b77ba244SStefano Zampini 
184*b77ba244SStefano Zampini   C->product->Dwork   = NULL;
185*b77ba244SStefano Zampini   C->product->data    = NULL;
186*b77ba244SStefano Zampini   C->product->destroy = NULL;
187*b77ba244SStefano Zampini   C->product->A       = A;
188*b77ba244SStefano Zampini 
189*b77ba244SStefano Zampini   *data = mmcfdata;
190*b77ba244SStefano Zampini   PetscFunctionReturn(0);
191*b77ba244SStefano Zampini }
192*b77ba244SStefano Zampini 
193*b77ba244SStefano Zampini /* only for A of type shell, mainly used for MatMat operations of shells with AXPYs */
194*b77ba244SStefano Zampini static PetscErrorCode MatProductSetFromOptions_CF(Mat D)
195*b77ba244SStefano Zampini {
196*b77ba244SStefano Zampini   Mat            A,B,Ain;
197*b77ba244SStefano Zampini   void           (*Af)(void) = NULL;
198*b77ba244SStefano Zampini   PetscBool      flg;
199*b77ba244SStefano Zampini   PetscErrorCode ierr;
200*b77ba244SStefano Zampini 
201*b77ba244SStefano Zampini   PetscFunctionBegin;
202*b77ba244SStefano Zampini   MatCheckProduct(D,1);
203*b77ba244SStefano Zampini   if (D->product->type == MATPRODUCT_ABC) PetscFunctionReturn(0);
204*b77ba244SStefano Zampini   A = D->product->A;
205*b77ba244SStefano Zampini   B = D->product->B;
206*b77ba244SStefano Zampini   ierr = MatIsShell(A,&flg);CHKERRQ(ierr);
207*b77ba244SStefano Zampini   if (!flg) PetscFunctionReturn(0);
208*b77ba244SStefano Zampini   ierr = PetscObjectQueryFunction((PetscObject)A,"MatProductSetFromOptions_anytype_C",&Af);CHKERRQ(ierr);
209*b77ba244SStefano Zampini   if (Af == (void(*)(void))MatProductSetFromOptions_CF) {
210*b77ba244SStefano Zampini     ierr = MatShellGetContext(A,&Ain);CHKERRQ(ierr);
211*b77ba244SStefano Zampini   } else PetscFunctionReturn(0);
212*b77ba244SStefano Zampini   D->product->A = Ain;
213*b77ba244SStefano Zampini   ierr = MatProductSetFromOptions(D);CHKERRQ(ierr);
214*b77ba244SStefano Zampini   D->product->A = A;
215*b77ba244SStefano Zampini   if (D->ops->productsymbolic) { /* we have a symbolic match, now populate the MATSHELL operations */
216*b77ba244SStefano Zampini     ierr = MatShellSetMatProductOperation(A,D->product->type,MatProductSymbolicPhase_CF,MatProductNumericPhase_CF,MatProductDestroy_CF,((PetscObject)B)->type_name,NULL);CHKERRQ(ierr);
217*b77ba244SStefano Zampini     ierr = MatProductSetFromOptions(D);CHKERRQ(ierr);
218*b77ba244SStefano 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);
239*b77ba244SStefano 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);
242251fad3fSStefano Zampini     *B = M;
243251fad3fSStefano Zampini   } else SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_SUP,"Not implemented");
244251fad3fSStefano Zampini   PetscFunctionReturn(0);
245251fad3fSStefano Zampini }
246