Actual source code: bddcfetidp.c
1: #include <../src/ksp/pc/impls/bddc/bddc.h>
2: #include <../src/ksp/pc/impls/bddc/bddcprivate.h>
3: #include <petscblaslapack.h>
5: static PetscErrorCode MatMult_BDdelta_deluxe_nonred(Mat A, Vec x, Vec y)
6: {
7: BDdelta_DN ctx;
9: MatShellGetContext(A,&ctx);
10: MatMultTranspose(ctx->BD,x,ctx->work);
11: KSPSolveTranspose(ctx->kBD,ctx->work,y);
12: /* No PC so cannot propagate up failure in KSPSolveTranspose() */
13: return 0;
14: }
16: static PetscErrorCode MatMultTranspose_BDdelta_deluxe_nonred(Mat A, Vec x, Vec y)
17: {
18: BDdelta_DN ctx;
20: MatShellGetContext(A,&ctx);
21: KSPSolve(ctx->kBD,x,ctx->work);
22: /* No PC so cannot propagate up failure in KSPSolve() */
23: MatMult(ctx->BD,ctx->work,y);
24: return 0;
25: }
27: static PetscErrorCode MatDestroy_BDdelta_deluxe_nonred(Mat A)
28: {
29: BDdelta_DN ctx;
31: MatShellGetContext(A,&ctx);
32: MatDestroy(&ctx->BD);
33: KSPDestroy(&ctx->kBD);
34: VecDestroy(&ctx->work);
35: PetscFree(ctx);
36: return 0;
37: }
39: PetscErrorCode PCBDDCCreateFETIDPMatContext(PC pc, FETIDPMat_ctx *fetidpmat_ctx)
40: {
41: FETIDPMat_ctx newctx;
43: PetscNew(&newctx);
44: /* increase the reference count for BDDC preconditioner */
45: PetscObjectReference((PetscObject)pc);
46: newctx->pc = pc;
47: *fetidpmat_ctx = newctx;
48: return 0;
49: }
51: PetscErrorCode PCBDDCCreateFETIDPPCContext(PC pc, FETIDPPC_ctx *fetidppc_ctx)
52: {
53: FETIDPPC_ctx newctx;
55: PetscNew(&newctx);
56: /* increase the reference count for BDDC preconditioner */
57: PetscObjectReference((PetscObject)pc);
58: newctx->pc = pc;
59: *fetidppc_ctx = newctx;
60: return 0;
61: }
63: PetscErrorCode PCBDDCDestroyFETIDPMat(Mat A)
64: {
65: FETIDPMat_ctx mat_ctx;
67: MatShellGetContext(A,&mat_ctx);
68: VecDestroy(&mat_ctx->lambda_local);
69: VecDestroy(&mat_ctx->temp_solution_D);
70: VecDestroy(&mat_ctx->temp_solution_B);
71: MatDestroy(&mat_ctx->B_delta);
72: MatDestroy(&mat_ctx->B_Ddelta);
73: MatDestroy(&mat_ctx->B_BB);
74: MatDestroy(&mat_ctx->B_BI);
75: MatDestroy(&mat_ctx->Bt_BB);
76: MatDestroy(&mat_ctx->Bt_BI);
77: MatDestroy(&mat_ctx->C);
78: VecDestroy(&mat_ctx->rhs_flip);
79: VecDestroy(&mat_ctx->vP);
80: VecDestroy(&mat_ctx->xPg);
81: VecDestroy(&mat_ctx->yPg);
82: VecScatterDestroy(&mat_ctx->l2g_lambda);
83: VecScatterDestroy(&mat_ctx->l2g_lambda_only);
84: VecScatterDestroy(&mat_ctx->l2g_p);
85: VecScatterDestroy(&mat_ctx->g2g_p);
86: PCDestroy(&mat_ctx->pc); /* decrease PCBDDC reference count */
87: ISDestroy(&mat_ctx->pressure);
88: ISDestroy(&mat_ctx->lagrange);
89: PetscFree(mat_ctx);
90: return 0;
91: }
93: PetscErrorCode PCBDDCDestroyFETIDPPC(PC pc)
94: {
95: FETIDPPC_ctx pc_ctx;
97: PCShellGetContext(pc,&pc_ctx);
98: VecDestroy(&pc_ctx->lambda_local);
99: MatDestroy(&pc_ctx->B_Ddelta);
100: VecScatterDestroy(&pc_ctx->l2g_lambda);
101: MatDestroy(&pc_ctx->S_j);
102: PCDestroy(&pc_ctx->pc); /* decrease PCBDDC reference count */
103: VecDestroy(&pc_ctx->xPg);
104: VecDestroy(&pc_ctx->yPg);
105: PetscFree(pc_ctx);
106: return 0;
107: }
109: PetscErrorCode PCBDDCSetupFETIDPMatContext(FETIDPMat_ctx fetidpmat_ctx)
110: {
111: PC_IS *pcis=(PC_IS*)fetidpmat_ctx->pc->data;
112: PC_BDDC *pcbddc=(PC_BDDC*)fetidpmat_ctx->pc->data;
113: PCBDDCGraph mat_graph=pcbddc->mat_graph;
114: Mat_IS *matis = (Mat_IS*)fetidpmat_ctx->pc->pmat->data;
115: MPI_Comm comm;
116: Mat ScalingMat,BD1,BD2;
117: Vec fetidp_global;
118: IS IS_l2g_lambda;
119: IS subset,subset_mult,subset_n,isvert;
120: PetscBool skip_node,fully_redundant;
121: PetscInt i,j,k,s,n_boundary_dofs,n_global_lambda,n_vertices,partial_sum;
122: PetscInt cum,n_local_lambda,n_lambda_for_dof,dual_size,n_neg_values,n_pos_values;
123: PetscMPIInt rank,size,buf_size,neigh;
124: PetscScalar scalar_value;
125: const PetscInt *vertex_indices;
126: PetscInt *dual_dofs_boundary_indices,*aux_local_numbering_1;
127: const PetscInt *aux_global_numbering;
128: PetscInt *aux_sums,*cols_B_delta,*l2g_indices;
129: PetscScalar *array,*scaling_factors,*vals_B_delta;
130: PetscScalar **all_factors;
131: PetscInt *aux_local_numbering_2;
132: PetscLayout llay;
134: /* saddlepoint */
135: ISLocalToGlobalMapping l2gmap_p;
136: PetscLayout play;
137: IS gP,pP;
138: PetscInt nPl,nPg,nPgl;
140: PetscObjectGetComm((PetscObject)(fetidpmat_ctx->pc),&comm);
141: MPI_Comm_rank(comm,&rank);
142: MPI_Comm_size(comm,&size);
144: /* saddlepoint */
145: nPl = 0;
146: nPg = 0;
147: nPgl = 0;
148: gP = NULL;
149: pP = NULL;
150: l2gmap_p = NULL;
151: play = NULL;
152: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_pP",(PetscObject*)&pP);
153: if (pP) { /* saddle point */
154: /* subdomain pressures in global numbering */
155: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_gP",(PetscObject*)&gP);
157: ISGetLocalSize(gP,&nPl);
158: VecCreate(PETSC_COMM_SELF,&fetidpmat_ctx->vP);
159: VecSetSizes(fetidpmat_ctx->vP,nPl,nPl);
160: VecSetType(fetidpmat_ctx->vP,VECSTANDARD);
161: VecSetUp(fetidpmat_ctx->vP);
163: /* pressure matrix */
164: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_C",(PetscObject*)&fetidpmat_ctx->C);
165: if (!fetidpmat_ctx->C) { /* null pressure block, compute layout and global numbering for pressures */
166: IS Pg;
168: ISRenumber(gP,NULL,&nPg,&Pg);
169: ISLocalToGlobalMappingCreateIS(Pg,&l2gmap_p);
170: ISDestroy(&Pg);
171: PetscLayoutCreate(comm,&play);
172: PetscLayoutSetBlockSize(play,1);
173: PetscLayoutSetSize(play,nPg);
174: ISGetLocalSize(pP,&nPgl);
175: PetscLayoutSetLocalSize(play,nPgl);
176: PetscLayoutSetUp(play);
177: } else {
178: PetscObjectReference((PetscObject)fetidpmat_ctx->C);
179: MatISGetLocalToGlobalMapping(fetidpmat_ctx->C,&l2gmap_p,NULL);
180: PetscObjectReference((PetscObject)l2gmap_p);
181: MatGetSize(fetidpmat_ctx->C,&nPg,NULL);
182: MatGetLocalSize(fetidpmat_ctx->C,NULL,&nPgl);
183: MatGetLayouts(fetidpmat_ctx->C,NULL,&llay);
184: PetscLayoutReference(llay,&play);
185: }
186: VecCreateMPIWithArray(comm,1,nPgl,nPg,NULL,&fetidpmat_ctx->xPg);
187: VecCreateMPIWithArray(comm,1,nPgl,nPg,NULL,&fetidpmat_ctx->yPg);
189: /* import matrices for pressures coupling */
190: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_B_BI",(PetscObject*)&fetidpmat_ctx->B_BI);
192: PetscObjectReference((PetscObject)fetidpmat_ctx->B_BI);
194: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_B_BB",(PetscObject*)&fetidpmat_ctx->B_BB);
196: PetscObjectReference((PetscObject)fetidpmat_ctx->B_BB);
198: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_Bt_BI",(PetscObject*)&fetidpmat_ctx->Bt_BI);
200: PetscObjectReference((PetscObject)fetidpmat_ctx->Bt_BI);
202: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_Bt_BB",(PetscObject*)&fetidpmat_ctx->Bt_BB);
204: PetscObjectReference((PetscObject)fetidpmat_ctx->Bt_BB);
206: PetscObjectQuery((PetscObject)fetidpmat_ctx->pc,"__KSPFETIDP_flip" ,(PetscObject*)&fetidpmat_ctx->rhs_flip);
207: if (fetidpmat_ctx->rhs_flip) {
208: PetscObjectReference((PetscObject)fetidpmat_ctx->rhs_flip);
209: }
210: }
212: /* Default type of lagrange multipliers is non-redundant */
213: fully_redundant = fetidpmat_ctx->fully_redundant;
215: /* Evaluate local and global number of lagrange multipliers */
216: VecSet(pcis->vec1_N,0.0);
217: n_local_lambda = 0;
218: partial_sum = 0;
219: n_boundary_dofs = 0;
220: s = 0;
222: /* Get Vertices used to define the BDDC */
223: PCBDDCGraphGetCandidatesIS(pcbddc->mat_graph,NULL,NULL,NULL,NULL,&isvert);
224: ISGetLocalSize(isvert,&n_vertices);
225: ISGetIndices(isvert,&vertex_indices);
227: dual_size = pcis->n_B-n_vertices;
228: PetscMalloc1(dual_size,&dual_dofs_boundary_indices);
229: PetscMalloc1(dual_size,&aux_local_numbering_1);
230: PetscMalloc1(dual_size,&aux_local_numbering_2);
232: VecGetArray(pcis->vec1_N,&array);
233: for (i=0;i<pcis->n;i++) {
234: j = mat_graph->count[i]; /* RECALL: mat_graph->count[i] does not count myself */
235: if (j > 0) n_boundary_dofs++;
236: skip_node = PETSC_FALSE;
237: if (s < n_vertices && vertex_indices[s] == i) { /* it works for a sorted set of vertices */
238: skip_node = PETSC_TRUE;
239: s++;
240: }
241: if (j < 1) skip_node = PETSC_TRUE;
242: if (mat_graph->special_dof[i] == PCBDDCGRAPH_DIRICHLET_MARK) skip_node = PETSC_TRUE;
243: if (!skip_node) {
244: if (fully_redundant) {
245: /* fully redundant set of lagrange multipliers */
246: n_lambda_for_dof = (j*(j+1))/2;
247: } else {
248: n_lambda_for_dof = j;
249: }
250: n_local_lambda += j;
251: /* needed to evaluate global number of lagrange multipliers */
252: array[i]=(1.0*n_lambda_for_dof)/(j+1.0); /* already scaled for the next global sum */
253: /* store some data needed */
254: dual_dofs_boundary_indices[partial_sum] = n_boundary_dofs-1;
255: aux_local_numbering_1[partial_sum] = i;
256: aux_local_numbering_2[partial_sum] = n_lambda_for_dof;
257: partial_sum++;
258: }
259: }
260: VecRestoreArray(pcis->vec1_N,&array);
261: ISRestoreIndices(isvert,&vertex_indices);
262: PCBDDCGraphRestoreCandidatesIS(pcbddc->mat_graph,NULL,NULL,NULL,NULL,&isvert);
263: dual_size = partial_sum;
265: /* compute global ordering of lagrange multipliers and associate l2g map */
266: ISCreateGeneral(comm,partial_sum,aux_local_numbering_1,PETSC_COPY_VALUES,&subset_n);
267: ISLocalToGlobalMappingApplyIS(pcis->mapping,subset_n,&subset);
268: ISDestroy(&subset_n);
269: ISCreateGeneral(comm,partial_sum,aux_local_numbering_2,PETSC_OWN_POINTER,&subset_mult);
270: ISRenumber(subset,subset_mult,&fetidpmat_ctx->n_lambda,&subset_n);
271: ISDestroy(&subset);
273: if (PetscDefined(USE_DEBUG)) {
274: VecSet(pcis->vec1_global,0.0);
275: VecScatterBegin(matis->rctx,pcis->vec1_N,pcis->vec1_global,ADD_VALUES,SCATTER_REVERSE);
276: VecScatterEnd(matis->rctx,pcis->vec1_N,pcis->vec1_global,ADD_VALUES,SCATTER_REVERSE);
277: VecSum(pcis->vec1_global,&scalar_value);
278: i = (PetscInt)PetscRealPart(scalar_value);
280: }
282: /* init data for scaling factors exchange */
283: if (!pcbddc->use_deluxe_scaling) {
284: PetscInt *ptrs_buffer,neigh_position;
285: PetscScalar *send_buffer,*recv_buffer;
286: MPI_Request *send_reqs,*recv_reqs;
288: partial_sum = 0;
289: PetscMalloc1(pcis->n_neigh,&ptrs_buffer);
290: PetscMalloc1(PetscMax(pcis->n_neigh-1,0),&send_reqs);
291: PetscMalloc1(PetscMax(pcis->n_neigh-1,0),&recv_reqs);
292: PetscMalloc1(pcis->n+1,&all_factors);
293: if (pcis->n_neigh > 0) ptrs_buffer[0]=0;
294: for (i=1;i<pcis->n_neigh;i++) {
295: partial_sum += pcis->n_shared[i];
296: ptrs_buffer[i] = ptrs_buffer[i-1]+pcis->n_shared[i];
297: }
298: PetscMalloc1(partial_sum,&send_buffer);
299: PetscMalloc1(partial_sum,&recv_buffer);
300: PetscMalloc1(partial_sum,&all_factors[0]);
301: for (i=0;i<pcis->n-1;i++) {
302: j = mat_graph->count[i];
303: all_factors[i+1]=all_factors[i]+j;
304: }
306: /* scatter B scaling to N vec */
307: VecScatterBegin(pcis->N_to_B,pcis->D,pcis->vec1_N,INSERT_VALUES,SCATTER_REVERSE);
308: VecScatterEnd(pcis->N_to_B,pcis->D,pcis->vec1_N,INSERT_VALUES,SCATTER_REVERSE);
309: /* communications */
310: VecGetArrayRead(pcis->vec1_N,(const PetscScalar**)&array);
311: for (i=1;i<pcis->n_neigh;i++) {
312: for (j=0;j<pcis->n_shared[i];j++) {
313: send_buffer[ptrs_buffer[i-1]+j]=array[pcis->shared[i][j]];
314: }
315: PetscMPIIntCast(ptrs_buffer[i]-ptrs_buffer[i-1],&buf_size);
316: PetscMPIIntCast(pcis->neigh[i],&neigh);
317: MPI_Isend(&send_buffer[ptrs_buffer[i-1]],buf_size,MPIU_SCALAR,neigh,0,comm,&send_reqs[i-1]);
318: MPI_Irecv(&recv_buffer[ptrs_buffer[i-1]],buf_size,MPIU_SCALAR,neigh,0,comm,&recv_reqs[i-1]);
319: }
320: VecRestoreArrayRead(pcis->vec1_N,(const PetscScalar**)&array);
321: if (pcis->n_neigh > 0) {
322: MPI_Waitall(pcis->n_neigh-1,recv_reqs,MPI_STATUSES_IGNORE);
323: }
324: /* put values in correct places */
325: for (i=1;i<pcis->n_neigh;i++) {
326: for (j=0;j<pcis->n_shared[i];j++) {
327: k = pcis->shared[i][j];
328: neigh_position = 0;
329: while (mat_graph->neighbours_set[k][neigh_position] != pcis->neigh[i]) {neigh_position++;}
330: all_factors[k][neigh_position]=recv_buffer[ptrs_buffer[i-1]+j];
331: }
332: }
333: if (pcis->n_neigh > 0) {
334: MPI_Waitall(pcis->n_neigh-1,send_reqs,MPI_STATUSES_IGNORE);
335: }
336: PetscFree(send_reqs);
337: PetscFree(recv_reqs);
338: PetscFree(send_buffer);
339: PetscFree(recv_buffer);
340: PetscFree(ptrs_buffer);
341: }
343: /* Compute B and B_delta (local actions) */
344: PetscMalloc1(pcis->n_neigh,&aux_sums);
345: PetscMalloc1(n_local_lambda,&l2g_indices);
346: PetscMalloc1(n_local_lambda,&vals_B_delta);
347: PetscMalloc1(n_local_lambda,&cols_B_delta);
348: if (!pcbddc->use_deluxe_scaling) {
349: PetscMalloc1(n_local_lambda,&scaling_factors);
350: } else {
351: scaling_factors = NULL;
352: all_factors = NULL;
353: }
354: ISGetIndices(subset_n,&aux_global_numbering);
355: partial_sum=0;
356: cum = 0;
357: for (i=0;i<dual_size;i++) {
358: n_global_lambda = aux_global_numbering[cum];
359: j = mat_graph->count[aux_local_numbering_1[i]];
360: aux_sums[0]=0;
361: for (s=1;s<j;s++) {
362: aux_sums[s]=aux_sums[s-1]+j-s+1;
363: }
364: if (all_factors) array = all_factors[aux_local_numbering_1[i]];
365: n_neg_values = 0;
366: while (n_neg_values < j && mat_graph->neighbours_set[aux_local_numbering_1[i]][n_neg_values] < rank) {n_neg_values++;}
367: n_pos_values = j - n_neg_values;
368: if (fully_redundant) {
369: for (s=0;s<n_neg_values;s++) {
370: l2g_indices [partial_sum+s]=aux_sums[s]+n_neg_values-s-1+n_global_lambda;
371: cols_B_delta [partial_sum+s]=dual_dofs_boundary_indices[i];
372: vals_B_delta [partial_sum+s]=-1.0;
373: if (!pcbddc->use_deluxe_scaling) scaling_factors[partial_sum+s]=array[s];
374: }
375: for (s=0;s<n_pos_values;s++) {
376: l2g_indices [partial_sum+s+n_neg_values]=aux_sums[n_neg_values]+s+n_global_lambda;
377: cols_B_delta [partial_sum+s+n_neg_values]=dual_dofs_boundary_indices[i];
378: vals_B_delta [partial_sum+s+n_neg_values]=1.0;
379: if (!pcbddc->use_deluxe_scaling) scaling_factors[partial_sum+s+n_neg_values]=array[s+n_neg_values];
380: }
381: partial_sum += j;
382: } else {
383: /* l2g_indices and default cols and vals of B_delta */
384: for (s=0;s<j;s++) {
385: l2g_indices [partial_sum+s]=n_global_lambda+s;
386: cols_B_delta [partial_sum+s]=dual_dofs_boundary_indices[i];
387: vals_B_delta [partial_sum+s]=0.0;
388: }
389: /* B_delta */
390: if (n_neg_values > 0) { /* there's a rank next to me to the left */
391: vals_B_delta [partial_sum+n_neg_values-1]=-1.0;
392: }
393: if (n_neg_values < j) { /* there's a rank next to me to the right */
394: vals_B_delta [partial_sum+n_neg_values]=1.0;
395: }
396: /* scaling as in Klawonn-Widlund 1999 */
397: if (!pcbddc->use_deluxe_scaling) {
398: for (s=0;s<n_neg_values;s++) {
399: scalar_value = 0.0;
400: for (k=0;k<s+1;k++) scalar_value += array[k];
401: scaling_factors[partial_sum+s] = -scalar_value;
402: }
403: for (s=0;s<n_pos_values;s++) {
404: scalar_value = 0.0;
405: for (k=s+n_neg_values;k<j;k++) scalar_value += array[k];
406: scaling_factors[partial_sum+s+n_neg_values] = scalar_value;
407: }
408: }
409: partial_sum += j;
410: }
411: cum += aux_local_numbering_2[i];
412: }
413: ISRestoreIndices(subset_n,&aux_global_numbering);
414: ISDestroy(&subset_mult);
415: ISDestroy(&subset_n);
416: PetscFree(aux_sums);
417: PetscFree(aux_local_numbering_1);
418: PetscFree(dual_dofs_boundary_indices);
419: if (all_factors) {
420: PetscFree(all_factors[0]);
421: PetscFree(all_factors);
422: }
424: /* Create local part of B_delta */
425: MatCreate(PETSC_COMM_SELF,&fetidpmat_ctx->B_delta);
426: MatSetSizes(fetidpmat_ctx->B_delta,n_local_lambda,pcis->n_B,n_local_lambda,pcis->n_B);
427: MatSetType(fetidpmat_ctx->B_delta,MATSEQAIJ);
428: MatSeqAIJSetPreallocation(fetidpmat_ctx->B_delta,1,NULL);
429: MatSetOption(fetidpmat_ctx->B_delta,MAT_IGNORE_ZERO_ENTRIES,PETSC_TRUE);
430: for (i=0;i<n_local_lambda;i++) {
431: MatSetValue(fetidpmat_ctx->B_delta,i,cols_B_delta[i],vals_B_delta[i],INSERT_VALUES);
432: }
433: PetscFree(vals_B_delta);
434: MatAssemblyBegin(fetidpmat_ctx->B_delta,MAT_FINAL_ASSEMBLY);
435: MatAssemblyEnd(fetidpmat_ctx->B_delta,MAT_FINAL_ASSEMBLY);
437: BD1 = NULL;
438: BD2 = NULL;
439: if (fully_redundant) {
441: MatCreate(PETSC_COMM_SELF,&ScalingMat);
442: MatSetSizes(ScalingMat,n_local_lambda,n_local_lambda,n_local_lambda,n_local_lambda);
443: MatSetType(ScalingMat,MATSEQAIJ);
444: MatSeqAIJSetPreallocation(ScalingMat,1,NULL);
445: for (i=0;i<n_local_lambda;i++) {
446: MatSetValue(ScalingMat,i,i,scaling_factors[i],INSERT_VALUES);
447: }
448: MatAssemblyBegin(ScalingMat,MAT_FINAL_ASSEMBLY);
449: MatAssemblyEnd(ScalingMat,MAT_FINAL_ASSEMBLY);
450: MatMatMult(ScalingMat,fetidpmat_ctx->B_delta,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&fetidpmat_ctx->B_Ddelta);
451: MatDestroy(&ScalingMat);
452: } else {
453: MatCreate(PETSC_COMM_SELF,&fetidpmat_ctx->B_Ddelta);
454: MatSetSizes(fetidpmat_ctx->B_Ddelta,n_local_lambda,pcis->n_B,n_local_lambda,pcis->n_B);
455: if (!pcbddc->use_deluxe_scaling || !pcbddc->sub_schurs) {
456: MatSetType(fetidpmat_ctx->B_Ddelta,MATSEQAIJ);
457: MatSeqAIJSetPreallocation(fetidpmat_ctx->B_Ddelta,1,NULL);
458: for (i=0;i<n_local_lambda;i++) {
459: MatSetValue(fetidpmat_ctx->B_Ddelta,i,cols_B_delta[i],scaling_factors[i],INSERT_VALUES);
460: }
461: MatAssemblyBegin(fetidpmat_ctx->B_Ddelta,MAT_FINAL_ASSEMBLY);
462: MatAssemblyEnd(fetidpmat_ctx->B_Ddelta,MAT_FINAL_ASSEMBLY);
463: } else {
464: /* scaling as in Klawonn-Widlund 1999 */
465: PCBDDCDeluxeScaling deluxe_ctx = pcbddc->deluxe_ctx;
466: PCBDDCSubSchurs sub_schurs = pcbddc->sub_schurs;
467: Mat T;
468: PetscScalar *W,lwork,*Bwork;
469: const PetscInt *idxs = NULL;
470: PetscInt cum,mss,*nnz;
471: PetscBLASInt *pivots,B_lwork,B_N,B_ierr;
474: mss = 0;
475: PetscCalloc1(pcis->n_B,&nnz);
476: if (sub_schurs->is_Ej_all) {
477: ISGetIndices(sub_schurs->is_Ej_all,&idxs);
478: for (i=0,cum=0;i<sub_schurs->n_subs;i++) {
479: PetscInt subset_size;
481: ISGetLocalSize(sub_schurs->is_subs[i],&subset_size);
482: for (j=0;j<subset_size;j++) nnz[idxs[j+cum]] = subset_size;
483: mss = PetscMax(mss,subset_size);
484: cum += subset_size;
485: }
486: }
487: MatCreate(PETSC_COMM_SELF,&T);
488: MatSetSizes(T,pcis->n_B,pcis->n_B,pcis->n_B,pcis->n_B);
489: MatSetType(T,MATSEQAIJ);
490: MatSeqAIJSetPreallocation(T,0,nnz);
491: PetscFree(nnz);
493: /* workspace allocation */
494: B_lwork = 0;
495: if (mss) {
496: PetscScalar dummy = 1;
498: B_lwork = -1;
499: PetscBLASIntCast(mss,&B_N);
500: PetscFPTrapPush(PETSC_FP_TRAP_OFF);
501: PetscStackCallBLAS("LAPACKgetri",LAPACKgetri_(&B_N,&dummy,&B_N,&B_N,&lwork,&B_lwork,&B_ierr));
502: PetscFPTrapPop();
504: PetscBLASIntCast((PetscInt)PetscRealPart(lwork),&B_lwork);
505: }
506: PetscMalloc3(mss*mss,&W,mss,&pivots,B_lwork,&Bwork);
508: for (i=0,cum=0;i<sub_schurs->n_subs;i++) {
509: const PetscScalar *M;
510: PetscInt subset_size;
512: ISGetLocalSize(sub_schurs->is_subs[i],&subset_size);
513: PetscBLASIntCast(subset_size,&B_N);
514: MatDenseGetArrayRead(deluxe_ctx->seq_mat[i],&M);
515: PetscArraycpy(W,M,subset_size*subset_size);
516: MatDenseRestoreArrayRead(deluxe_ctx->seq_mat[i],&M);
517: PetscFPTrapPush(PETSC_FP_TRAP_OFF);
518: PetscStackCallBLAS("LAPACKgetrf",LAPACKgetrf_(&B_N,&B_N,W,&B_N,pivots,&B_ierr));
520: PetscStackCallBLAS("LAPACKgetri",LAPACKgetri_(&B_N,W,&B_N,pivots,Bwork,&B_lwork,&B_ierr));
522: PetscFPTrapPop();
523: /* silent static analyzer */
525: MatSetValues(T,subset_size,idxs+cum,subset_size,idxs+cum,W,INSERT_VALUES);
526: cum += subset_size;
527: }
528: MatAssemblyBegin(T,MAT_FINAL_ASSEMBLY);
529: MatAssemblyEnd(T,MAT_FINAL_ASSEMBLY);
530: MatMatTransposeMult(T,fetidpmat_ctx->B_delta,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&BD1);
531: MatMatMult(fetidpmat_ctx->B_delta,BD1,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&BD2);
532: MatDestroy(&T);
533: PetscFree3(W,pivots,Bwork);
534: if (sub_schurs->is_Ej_all) {
535: ISRestoreIndices(sub_schurs->is_Ej_all,&idxs);
536: }
537: }
538: }
539: PetscFree(scaling_factors);
540: PetscFree(cols_B_delta);
542: /* Layout of multipliers */
543: PetscLayoutCreate(comm,&llay);
544: PetscLayoutSetBlockSize(llay,1);
545: PetscLayoutSetSize(llay,fetidpmat_ctx->n_lambda);
546: PetscLayoutSetUp(llay);
547: PetscLayoutGetLocalSize(llay,&fetidpmat_ctx->n);
549: /* Local work vector of multipliers */
550: VecCreate(PETSC_COMM_SELF,&fetidpmat_ctx->lambda_local);
551: VecSetSizes(fetidpmat_ctx->lambda_local,n_local_lambda,n_local_lambda);
552: VecSetType(fetidpmat_ctx->lambda_local,VECSEQ);
554: if (BD2) {
555: ISLocalToGlobalMapping l2g;
556: Mat T,TA,*pT;
557: IS is;
558: PetscInt nl,N;
559: BDdelta_DN ctx;
561: PetscLayoutGetLocalSize(llay,&nl);
562: PetscLayoutGetSize(llay,&N);
563: MatCreate(comm,&T);
564: MatSetSizes(T,nl,nl,N,N);
565: MatSetType(T,MATIS);
566: ISLocalToGlobalMappingCreate(comm,1,n_local_lambda,l2g_indices,PETSC_COPY_VALUES,&l2g);
567: MatSetLocalToGlobalMapping(T,l2g,l2g);
568: ISLocalToGlobalMappingDestroy(&l2g);
569: MatISSetLocalMat(T,BD2);
570: MatAssemblyBegin(T,MAT_FINAL_ASSEMBLY);
571: MatAssemblyEnd(T,MAT_FINAL_ASSEMBLY);
572: MatDestroy(&BD2);
573: MatConvert(T,MATAIJ,MAT_INITIAL_MATRIX,&TA);
574: MatDestroy(&T);
575: ISCreateGeneral(comm,n_local_lambda,l2g_indices,PETSC_USE_POINTER,&is);
576: MatCreateSubMatrices(TA,1,&is,&is,MAT_INITIAL_MATRIX,&pT);
577: MatDestroy(&TA);
578: ISDestroy(&is);
579: BD2 = pT[0];
580: PetscFree(pT);
582: /* B_Ddelta for non-redundant multipliers with deluxe scaling */
583: PetscNew(&ctx);
584: MatSetType(fetidpmat_ctx->B_Ddelta,MATSHELL);
585: MatShellSetContext(fetidpmat_ctx->B_Ddelta,ctx);
586: MatShellSetOperation(fetidpmat_ctx->B_Ddelta,MATOP_MULT,(void (*)(void))MatMult_BDdelta_deluxe_nonred);
587: MatShellSetOperation(fetidpmat_ctx->B_Ddelta,MATOP_MULT_TRANSPOSE,(void (*)(void))MatMultTranspose_BDdelta_deluxe_nonred);
588: MatShellSetOperation(fetidpmat_ctx->B_Ddelta,MATOP_DESTROY,(void (*)(void))MatDestroy_BDdelta_deluxe_nonred);
589: MatSetUp(fetidpmat_ctx->B_Ddelta);
591: PetscObjectReference((PetscObject)BD1);
592: ctx->BD = BD1;
593: KSPCreate(PETSC_COMM_SELF,&ctx->kBD);
594: KSPSetOperators(ctx->kBD,BD2,BD2);
595: VecDuplicate(fetidpmat_ctx->lambda_local,&ctx->work);
596: fetidpmat_ctx->deluxe_nonred = PETSC_TRUE;
597: }
598: MatDestroy(&BD1);
599: MatDestroy(&BD2);
601: /* fetidpmat sizes */
602: fetidpmat_ctx->n += nPgl;
603: fetidpmat_ctx->N = fetidpmat_ctx->n_lambda+nPg;
605: /* Global vector for FETI-DP linear system */
606: VecCreate(comm,&fetidp_global);
607: VecSetSizes(fetidp_global,fetidpmat_ctx->n,fetidpmat_ctx->N);
608: VecSetType(fetidp_global,VECMPI);
609: VecSetUp(fetidp_global);
611: /* Decide layout for fetidp dofs: if it is a saddle point problem
612: pressure is ordered first in the local part of the global vector
613: of the FETI-DP linear system */
614: if (nPg) {
615: Vec v;
616: IS IS_l2g_p,ais;
617: PetscLayout alay;
618: const PetscInt *idxs,*pranges,*aranges,*lranges;
619: PetscInt *l2g_indices_p,rst;
620: PetscMPIInt rank;
622: PetscMalloc1(nPl,&l2g_indices_p);
623: VecGetLayout(fetidp_global,&alay);
624: PetscLayoutGetRanges(alay,&aranges);
625: PetscLayoutGetRanges(play,&pranges);
626: PetscLayoutGetRanges(llay,&lranges);
628: MPI_Comm_rank(PetscObjectComm((PetscObject)fetidp_global),&rank);
629: ISCreateStride(PetscObjectComm((PetscObject)fetidp_global),pranges[rank+1]-pranges[rank],aranges[rank],1,&fetidpmat_ctx->pressure);
630: PetscObjectSetName((PetscObject)fetidpmat_ctx->pressure,"F_P");
631: ISCreateStride(PetscObjectComm((PetscObject)fetidp_global),lranges[rank+1]-lranges[rank],aranges[rank]+pranges[rank+1]-pranges[rank],1,&fetidpmat_ctx->lagrange);
632: PetscObjectSetName((PetscObject)fetidpmat_ctx->lagrange,"F_L");
633: ISLocalToGlobalMappingGetIndices(l2gmap_p,&idxs);
634: /* shift local to global indices for pressure */
635: for (i=0;i<nPl;i++) {
636: PetscMPIInt owner;
638: PetscLayoutFindOwner(play,idxs[i],&owner);
639: l2g_indices_p[i] = idxs[i]-pranges[owner]+aranges[owner];
640: }
641: ISLocalToGlobalMappingRestoreIndices(l2gmap_p,&idxs);
642: ISCreateGeneral(comm,nPl,l2g_indices_p,PETSC_OWN_POINTER,&IS_l2g_p);
644: /* local to global scatter for pressure */
645: VecScatterCreate(fetidpmat_ctx->vP,NULL,fetidp_global,IS_l2g_p,&fetidpmat_ctx->l2g_p);
646: ISDestroy(&IS_l2g_p);
648: /* scatter for lagrange multipliers only */
649: VecCreate(comm,&v);
650: VecSetType(v,VECSTANDARD);
651: VecSetLayout(v,llay);
652: VecSetUp(v);
653: ISCreateGeneral(comm,n_local_lambda,l2g_indices,PETSC_COPY_VALUES,&ais);
654: VecScatterCreate(fetidpmat_ctx->lambda_local,NULL,v,ais,&fetidpmat_ctx->l2g_lambda_only);
655: ISDestroy(&ais);
656: VecDestroy(&v);
658: /* shift local to global indices for multipliers */
659: for (i=0;i<n_local_lambda;i++) {
660: PetscInt ps;
661: PetscMPIInt owner;
663: PetscLayoutFindOwner(llay,l2g_indices[i],&owner);
664: ps = pranges[owner+1]-pranges[owner];
665: l2g_indices[i] = l2g_indices[i]-lranges[owner]+aranges[owner]+ps;
666: }
668: /* scatter from alldofs to pressures global fetidp vector */
669: PetscLayoutGetRange(alay,&rst,NULL);
670: ISCreateStride(comm,nPgl,rst,1,&ais);
671: VecScatterCreate(pcis->vec1_global,pP,fetidp_global,ais,&fetidpmat_ctx->g2g_p);
672: ISDestroy(&ais);
673: }
674: PetscLayoutDestroy(&llay);
675: PetscLayoutDestroy(&play);
676: ISCreateGeneral(comm,n_local_lambda,l2g_indices,PETSC_OWN_POINTER,&IS_l2g_lambda);
678: /* scatter from local to global multipliers */
679: VecScatterCreate(fetidpmat_ctx->lambda_local,NULL,fetidp_global,IS_l2g_lambda,&fetidpmat_ctx->l2g_lambda);
680: ISDestroy(&IS_l2g_lambda);
681: ISLocalToGlobalMappingDestroy(&l2gmap_p);
682: VecDestroy(&fetidp_global);
684: /* Create some work vectors needed by fetidp */
685: VecDuplicate(pcis->vec1_B,&fetidpmat_ctx->temp_solution_B);
686: VecDuplicate(pcis->vec1_D,&fetidpmat_ctx->temp_solution_D);
687: return 0;
688: }
690: PetscErrorCode PCBDDCSetupFETIDPPCContext(Mat fetimat, FETIDPPC_ctx fetidppc_ctx)
691: {
692: FETIDPMat_ctx mat_ctx;
693: PC_BDDC *pcbddc = (PC_BDDC*)fetidppc_ctx->pc->data;
694: PC_IS *pcis = (PC_IS*)fetidppc_ctx->pc->data;
695: PetscBool lumped = PETSC_FALSE;
697: MatShellGetContext(fetimat,&mat_ctx);
698: /* get references from objects created when setting up feti mat context */
699: PetscObjectReference((PetscObject)mat_ctx->lambda_local);
700: fetidppc_ctx->lambda_local = mat_ctx->lambda_local;
701: PetscObjectReference((PetscObject)mat_ctx->B_Ddelta);
702: fetidppc_ctx->B_Ddelta = mat_ctx->B_Ddelta;
703: if (mat_ctx->deluxe_nonred) {
704: PC pc,mpc;
705: BDdelta_DN ctx;
706: MatSolverType solver;
707: const char *prefix;
709: MatShellGetContext(mat_ctx->B_Ddelta,&ctx);
710: KSPSetType(ctx->kBD,KSPPREONLY);
711: KSPGetPC(ctx->kBD,&mpc);
712: KSPGetPC(pcbddc->ksp_D,&pc);
713: PCSetType(mpc,PCLU);
714: PCFactorGetMatSolverType(pc,(MatSolverType*)&solver);
715: if (solver) {
716: PCFactorSetMatSolverType(mpc,solver);
717: }
718: MatGetOptionsPrefix(fetimat,&prefix);
719: KSPSetOptionsPrefix(ctx->kBD,prefix);
720: KSPAppendOptionsPrefix(ctx->kBD,"bddelta_");
721: KSPSetFromOptions(ctx->kBD);
722: }
724: if (mat_ctx->l2g_lambda_only) {
725: PetscObjectReference((PetscObject)mat_ctx->l2g_lambda_only);
726: fetidppc_ctx->l2g_lambda = mat_ctx->l2g_lambda_only;
727: } else {
728: PetscObjectReference((PetscObject)mat_ctx->l2g_lambda);
729: fetidppc_ctx->l2g_lambda = mat_ctx->l2g_lambda;
730: }
731: /* Dirichlet preconditioner */
732: PetscOptionsGetBool(NULL,((PetscObject)fetimat)->prefix,"-pc_lumped",&lumped,NULL);
733: if (!lumped) {
734: IS iV;
735: PetscBool discrete_harmonic = PETSC_FALSE;
737: PetscObjectQuery((PetscObject)fetidppc_ctx->pc,"__KSPFETIDP_iV",(PetscObject*)&iV);
738: if (iV) {
739: PetscOptionsGetBool(NULL,((PetscObject)fetimat)->prefix,"-pc_discrete_harmonic",&discrete_harmonic,NULL);
740: }
741: if (discrete_harmonic) {
742: KSP sksp;
743: PC pc;
744: PCBDDCSubSchurs sub_schurs = pcbddc->sub_schurs;
745: Mat A_II,A_IB,A_BI;
746: IS iP = NULL;
747: PetscBool isshell,reuse = PETSC_FALSE;
748: KSPType ksptype;
749: const char *prefix;
751: /*
752: We constructs a Schur complement for
754: | A_II A_ID |
755: | A_DI A_DD |
757: instead of
759: | A_II B^t_II A_ID |
760: | B_II -C_II B_ID |
761: | A_DI B^t_ID A_DD |
763: */
764: if (sub_schurs && sub_schurs->reuse_solver) {
765: PetscObjectQuery((PetscObject)sub_schurs->A,"__KSPFETIDP_iP",(PetscObject*)&iP);
766: if (iP) reuse = PETSC_TRUE;
767: }
768: if (!reuse) {
769: IS aB;
770: PetscInt nb;
771: ISGetLocalSize(pcis->is_B_local,&nb);
772: ISCreateStride(PetscObjectComm((PetscObject)pcis->A_II),nb,0,1,&aB);
773: MatCreateSubMatrix(pcis->A_II,iV,iV,MAT_INITIAL_MATRIX,&A_II);
774: MatCreateSubMatrix(pcis->A_IB,iV,aB,MAT_INITIAL_MATRIX,&A_IB);
775: MatCreateSubMatrix(pcis->A_BI,aB,iV,MAT_INITIAL_MATRIX,&A_BI);
776: ISDestroy(&aB);
777: } else {
778: MatCreateSubMatrix(sub_schurs->A,pcis->is_I_local,pcis->is_B_local,MAT_INITIAL_MATRIX,&A_IB);
779: MatCreateSubMatrix(sub_schurs->A,pcis->is_B_local,pcis->is_I_local,MAT_INITIAL_MATRIX,&A_BI);
780: PetscObjectReference((PetscObject)pcis->A_II);
781: A_II = pcis->A_II;
782: }
783: MatCreateSchurComplement(A_II,A_II,A_IB,A_BI,pcis->A_BB,&fetidppc_ctx->S_j);
785: /* propagate settings of solver */
786: MatSchurComplementGetKSP(fetidppc_ctx->S_j,&sksp);
787: KSPGetType(pcis->ksp_D,&ksptype);
788: KSPSetType(sksp,ksptype);
789: KSPGetPC(pcis->ksp_D,&pc);
790: PetscObjectTypeCompare((PetscObject)pc,PCSHELL,&isshell);
791: if (!isshell) {
792: MatSolverType solver;
793: PCType pctype;
795: PCGetType(pc,&pctype);
796: PCFactorGetMatSolverType(pc,(MatSolverType*)&solver);
797: KSPGetPC(sksp,&pc);
798: PCSetType(pc,pctype);
799: if (solver) {
800: PCFactorSetMatSolverType(pc,solver);
801: }
802: } else {
803: KSPGetPC(sksp,&pc);
804: PCSetType(pc,PCLU);
805: }
806: MatDestroy(&A_II);
807: MatDestroy(&A_IB);
808: MatDestroy(&A_BI);
809: MatGetOptionsPrefix(fetimat,&prefix);
810: KSPSetOptionsPrefix(sksp,prefix);
811: KSPAppendOptionsPrefix(sksp,"harmonic_");
812: KSPSetFromOptions(sksp);
813: if (reuse) {
814: KSPSetPC(sksp,sub_schurs->reuse_solver->interior_solver);
815: PetscObjectIncrementTabLevel((PetscObject)sub_schurs->reuse_solver->interior_solver,(PetscObject)sksp,0);
816: }
817: } else { /* default Dirichlet preconditioner is pde-harmonic */
818: MatCreateSchurComplement(pcis->A_II,pcis->A_II,pcis->A_IB,pcis->A_BI,pcis->A_BB,&fetidppc_ctx->S_j);
819: MatSchurComplementSetKSP(fetidppc_ctx->S_j,pcis->ksp_D);
820: }
821: } else {
822: PetscObjectReference((PetscObject)pcis->A_BB);
823: fetidppc_ctx->S_j = pcis->A_BB;
824: }
825: /* saddle-point */
826: if (mat_ctx->xPg) {
827: PetscObjectReference((PetscObject)mat_ctx->xPg);
828: fetidppc_ctx->xPg = mat_ctx->xPg;
829: PetscObjectReference((PetscObject)mat_ctx->yPg);
830: fetidppc_ctx->yPg = mat_ctx->yPg;
831: }
832: return 0;
833: }
835: PetscErrorCode FETIDPMatMult_Kernel(Mat fetimat, Vec x, Vec y, PetscBool trans)
836: {
837: FETIDPMat_ctx mat_ctx;
838: PC_BDDC *pcbddc;
839: PC_IS *pcis;
841: MatShellGetContext(fetimat,&mat_ctx);
842: pcis = (PC_IS*)mat_ctx->pc->data;
843: pcbddc = (PC_BDDC*)mat_ctx->pc->data;
844: /* Application of B_delta^T */
845: VecSet(pcis->vec1_B,0.);
846: VecScatterBegin(mat_ctx->l2g_lambda,x,mat_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);
847: VecScatterEnd(mat_ctx->l2g_lambda,x,mat_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);
848: MatMultTranspose(mat_ctx->B_delta,mat_ctx->lambda_local,pcis->vec1_B);
850: /* Add contribution from saddle point */
851: if (mat_ctx->l2g_p) {
852: VecScatterBegin(mat_ctx->l2g_p,x,mat_ctx->vP,INSERT_VALUES,SCATTER_REVERSE);
853: VecScatterEnd(mat_ctx->l2g_p,x,mat_ctx->vP,INSERT_VALUES,SCATTER_REVERSE);
854: if (pcbddc->switch_static) {
855: if (trans) {
856: MatMultTranspose(mat_ctx->B_BI,mat_ctx->vP,pcis->vec1_D);
857: } else {
858: MatMult(mat_ctx->Bt_BI,mat_ctx->vP,pcis->vec1_D);
859: }
860: }
861: if (trans) {
862: MatMultTransposeAdd(mat_ctx->B_BB,mat_ctx->vP,pcis->vec1_B,pcis->vec1_B);
863: } else {
864: MatMultAdd(mat_ctx->Bt_BB,mat_ctx->vP,pcis->vec1_B,pcis->vec1_B);
865: }
866: } else {
867: if (pcbddc->switch_static) {
868: VecSet(pcis->vec1_D,0.0);
869: }
870: }
871: /* Application of \widetilde{S}^-1 */
872: PetscArrayzero(pcbddc->benign_p0,pcbddc->benign_n);
873: PCBDDCApplyInterfacePreconditioner(mat_ctx->pc,trans);
874: PetscArrayzero(pcbddc->benign_p0,pcbddc->benign_n);
875: VecSet(y,0.0);
876: /* Application of B_delta */
877: MatMult(mat_ctx->B_delta,pcis->vec1_B,mat_ctx->lambda_local);
878: /* Contribution from boundary pressures */
879: if (mat_ctx->C) {
880: const PetscScalar *lx;
881: PetscScalar *ly;
883: /* pressure ordered first in the local part of x and y */
884: VecGetArrayRead(x,&lx);
885: VecGetArray(y,&ly);
886: VecPlaceArray(mat_ctx->xPg,lx);
887: VecPlaceArray(mat_ctx->yPg,ly);
888: if (trans) {
889: MatMultTranspose(mat_ctx->C,mat_ctx->xPg,mat_ctx->yPg);
890: } else {
891: MatMult(mat_ctx->C,mat_ctx->xPg,mat_ctx->yPg);
892: }
893: VecResetArray(mat_ctx->xPg);
894: VecResetArray(mat_ctx->yPg);
895: VecRestoreArrayRead(x,&lx);
896: VecRestoreArray(y,&ly);
897: }
898: /* Add contribution from saddle point */
899: if (mat_ctx->l2g_p) {
900: if (trans) {
901: MatMultTranspose(mat_ctx->Bt_BB,pcis->vec1_B,mat_ctx->vP);
902: } else {
903: MatMult(mat_ctx->B_BB,pcis->vec1_B,mat_ctx->vP);
904: }
905: if (pcbddc->switch_static) {
906: if (trans) {
907: MatMultTransposeAdd(mat_ctx->Bt_BI,pcis->vec1_D,mat_ctx->vP,mat_ctx->vP);
908: } else {
909: MatMultAdd(mat_ctx->B_BI,pcis->vec1_D,mat_ctx->vP,mat_ctx->vP);
910: }
911: }
912: VecScatterBegin(mat_ctx->l2g_p,mat_ctx->vP,y,ADD_VALUES,SCATTER_FORWARD);
913: VecScatterEnd(mat_ctx->l2g_p,mat_ctx->vP,y,ADD_VALUES,SCATTER_FORWARD);
914: }
915: VecScatterBegin(mat_ctx->l2g_lambda,mat_ctx->lambda_local,y,ADD_VALUES,SCATTER_FORWARD);
916: VecScatterEnd(mat_ctx->l2g_lambda,mat_ctx->lambda_local,y,ADD_VALUES,SCATTER_FORWARD);
917: return 0;
918: }
920: PetscErrorCode FETIDPMatMult(Mat fetimat, Vec x, Vec y)
921: {
922: FETIDPMatMult_Kernel(fetimat,x,y,PETSC_FALSE);
923: return 0;
924: }
926: PetscErrorCode FETIDPMatMultTranspose(Mat fetimat, Vec x, Vec y)
927: {
928: FETIDPMatMult_Kernel(fetimat,x,y,PETSC_TRUE);
929: return 0;
930: }
932: PetscErrorCode FETIDPPCApply_Kernel(PC fetipc, Vec x, Vec y, PetscBool trans)
933: {
934: FETIDPPC_ctx pc_ctx;
935: PC_IS *pcis;
937: PCShellGetContext(fetipc,&pc_ctx);
938: pcis = (PC_IS*)pc_ctx->pc->data;
939: /* Application of B_Ddelta^T */
940: VecScatterBegin(pc_ctx->l2g_lambda,x,pc_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);
941: VecScatterEnd(pc_ctx->l2g_lambda,x,pc_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);
942: VecSet(pcis->vec2_B,0.0);
943: MatMultTranspose(pc_ctx->B_Ddelta,pc_ctx->lambda_local,pcis->vec2_B);
944: /* Application of local Schur complement */
945: if (trans) {
946: MatMultTranspose(pc_ctx->S_j,pcis->vec2_B,pcis->vec1_B);
947: } else {
948: MatMult(pc_ctx->S_j,pcis->vec2_B,pcis->vec1_B);
949: }
950: /* Application of B_Ddelta */
951: MatMult(pc_ctx->B_Ddelta,pcis->vec1_B,pc_ctx->lambda_local);
952: VecSet(y,0.0);
953: VecScatterBegin(pc_ctx->l2g_lambda,pc_ctx->lambda_local,y,ADD_VALUES,SCATTER_FORWARD);
954: VecScatterEnd(pc_ctx->l2g_lambda,pc_ctx->lambda_local,y,ADD_VALUES,SCATTER_FORWARD);
955: return 0;
956: }
958: PetscErrorCode FETIDPPCApply(PC pc, Vec x, Vec y)
959: {
960: FETIDPPCApply_Kernel(pc,x,y,PETSC_FALSE);
961: return 0;
962: }
964: PetscErrorCode FETIDPPCApplyTranspose(PC pc, Vec x, Vec y)
965: {
966: FETIDPPCApply_Kernel(pc,x,y,PETSC_TRUE);
967: return 0;
968: }
970: PetscErrorCode FETIDPPCView(PC pc, PetscViewer viewer)
971: {
972: FETIDPPC_ctx pc_ctx;
973: PetscBool iascii;
974: PetscViewer sviewer;
976: PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);
977: if (iascii) {
978: PetscMPIInt rank;
979: PetscBool isschur,isshell;
981: PCShellGetContext(pc,&pc_ctx);
982: MPI_Comm_rank(PetscObjectComm((PetscObject)pc),&rank);
983: PetscObjectTypeCompare((PetscObject)pc_ctx->S_j,MATSCHURCOMPLEMENT,&isschur);
984: if (isschur) {
985: PetscViewerASCIIPrintf(viewer," Dirichlet preconditioner (just from rank 0)\n");
986: } else {
987: PetscViewerASCIIPrintf(viewer," Lumped preconditioner (just from rank 0)\n");
988: }
989: PetscViewerGetSubViewer(viewer,PetscObjectComm((PetscObject)pc_ctx->S_j),&sviewer);
990: if (rank == 0) {
991: PetscViewerPushFormat(sviewer,PETSC_VIEWER_ASCII_INFO);
992: PetscViewerASCIIPushTab(sviewer);
993: MatView(pc_ctx->S_j,sviewer);
994: PetscViewerASCIIPopTab(sviewer);
995: PetscViewerPopFormat(sviewer);
996: }
997: PetscViewerRestoreSubViewer(viewer,PetscObjectComm((PetscObject)pc_ctx->S_j),&sviewer);
998: PetscObjectTypeCompare((PetscObject)pc_ctx->B_Ddelta,MATSHELL,&isshell);
999: if (isshell) {
1000: BDdelta_DN ctx;
1001: PetscViewerASCIIPrintf(viewer," FETI-DP BDdelta: DB^t * (B D^-1 B^t)^-1 for deluxe scaling (just from rank 0)\n");
1002: MatShellGetContext(pc_ctx->B_Ddelta,&ctx);
1003: PetscViewerGetSubViewer(viewer,PetscObjectComm((PetscObject)pc_ctx->S_j),&sviewer);
1004: if (rank == 0) {
1005: PetscInt tl;
1007: PetscViewerASCIIGetTab(sviewer,&tl);
1008: PetscObjectSetTabLevel((PetscObject)ctx->kBD,tl);
1009: KSPView(ctx->kBD,sviewer);
1010: PetscViewerPushFormat(sviewer,PETSC_VIEWER_ASCII_INFO);
1011: MatView(ctx->BD,sviewer);
1012: PetscViewerPopFormat(sviewer);
1013: }
1014: PetscViewerRestoreSubViewer(viewer,PetscObjectComm((PetscObject)pc_ctx->S_j),&sviewer);
1015: }
1016: PetscViewerFlush(viewer);
1017: }
1018: return 0;
1019: }