1*e607c864SMark Adams #include <petscvec_kokkos.hpp> 2*e607c864SMark Adams #include <petsc/private/pcimpl.h> 3*e607c864SMark Adams #include <petsc/private/kspimpl.h> 4*e607c864SMark Adams #include <petscksp.h> /*I "petscksp.h" I*/ 5*e607c864SMark Adams #include "petscsection.h" 6*e607c864SMark Adams #include <petscdmcomposite.h> 7*e607c864SMark Adams #include <Kokkos_Core.hpp> 8*e607c864SMark Adams 9*e607c864SMark Adams typedef Kokkos::TeamPolicy<>::member_type team_member; 10*e607c864SMark Adams 11*e607c864SMark Adams #include <../src/mat/impls/aij/seq/aij.h> 12*e607c864SMark Adams #include <../src/mat/impls/aij/seq/kokkos/aijkok.hpp> 13*e607c864SMark Adams 14*e607c864SMark Adams #define PCBJKOKKOS_SHARED_LEVEL 1 15*e607c864SMark Adams #define PCBJKOKKOS_VEC_SIZE 16 16*e607c864SMark Adams #define PCBJKOKKOS_TEAM_SIZE 16 17*e607c864SMark Adams #define PCBJKOKKOS_VERBOSE_LEVEL 0 18*e607c864SMark Adams //#define PCBJKOKKOS_MONITOR 19*e607c864SMark Adams 20*e607c864SMark Adams typedef enum {BATCH_KSP_BICG_IDX=0,BATCH_KSP_TFQMR_IDX=1,NUM_BATCH_TYPES} KSPIndex; 21*e607c864SMark Adams typedef struct { 22*e607c864SMark Adams Vec vec_diag; 23*e607c864SMark Adams PetscInt nBlocks; /* total number of blocks */ 24*e607c864SMark Adams PetscInt n; // cache host version of d_bid_eqOffset_k[nBlocks] 25*e607c864SMark Adams KSP ksp; // Used just for options. Should have one for each block 26*e607c864SMark Adams Kokkos::View<PetscInt*, Kokkos::LayoutRight> *d_bid_eqOffset_k; 27*e607c864SMark Adams Kokkos::View<PetscScalar*, Kokkos::LayoutRight> *d_idiag_k; 28*e607c864SMark Adams Kokkos::View<PetscInt*> *d_isrow_k; 29*e607c864SMark Adams Kokkos::View<PetscInt*> *d_isicol_k; 30*e607c864SMark Adams KSPIndex ksp_type_idx; 31*e607c864SMark Adams PetscInt nwork; 32*e607c864SMark Adams PetscInt const_block_size; // used to decide to use shared memory for work vectors 33*e607c864SMark Adams PetscInt *dm_Nf; // Number of fields in each DM 34*e607c864SMark Adams PetscInt num_dms; 35*e607c864SMark Adams // diagnostics 36*e607c864SMark Adams PetscBool reason; 37*e607c864SMark Adams PetscBool monitor; 38*e607c864SMark Adams PetscInt batch_target; 39*e607c864SMark Adams } PC_PCBJKOKKOS; 40*e607c864SMark Adams 41*e607c864SMark Adams static PetscErrorCode PCBJKOKKOSCreateKSP_BJKOKKOS(PC pc) 42*e607c864SMark Adams { 43*e607c864SMark Adams PetscErrorCode ierr; 44*e607c864SMark Adams const char *prefix; 45*e607c864SMark Adams PC_PCBJKOKKOS *jac = (PC_PCBJKOKKOS*)pc->data; 46*e607c864SMark Adams DM dm; 47*e607c864SMark Adams 48*e607c864SMark Adams PetscFunctionBegin; 49*e607c864SMark Adams ierr = KSPCreate(PetscObjectComm((PetscObject)pc),&jac->ksp);CHKERRQ(ierr); 50*e607c864SMark Adams ierr = KSPSetErrorIfNotConverged(jac->ksp,pc->erroriffailure);CHKERRQ(ierr); 51*e607c864SMark Adams ierr = PetscObjectIncrementTabLevel((PetscObject)jac->ksp,(PetscObject)pc,1);CHKERRQ(ierr); 52*e607c864SMark Adams ierr = PCGetOptionsPrefix(pc,&prefix);CHKERRQ(ierr); 53*e607c864SMark Adams ierr = KSPSetOptionsPrefix(jac->ksp,prefix);CHKERRQ(ierr); 54*e607c864SMark Adams ierr = KSPAppendOptionsPrefix(jac->ksp,"pc_bjkokkos_");CHKERRQ(ierr); 55*e607c864SMark Adams ierr = PCGetDM(pc, &dm);CHKERRQ(ierr); 56*e607c864SMark Adams if (dm) { 57*e607c864SMark Adams ierr = KSPSetDM(jac->ksp, dm);CHKERRQ(ierr); 58*e607c864SMark Adams ierr = KSPSetDMActive(jac->ksp, PETSC_FALSE);CHKERRQ(ierr); 59*e607c864SMark Adams } 60*e607c864SMark Adams jac->reason = PETSC_FALSE; 61*e607c864SMark Adams jac->monitor = PETSC_FALSE; 62*e607c864SMark Adams jac->batch_target = 0; 63*e607c864SMark Adams 64*e607c864SMark Adams PetscFunctionReturn(0); 65*e607c864SMark Adams } 66*e607c864SMark Adams 67*e607c864SMark Adams // y <-- Ax 68*e607c864SMark Adams KOKKOS_INLINE_FUNCTION PetscErrorCode MatMult(const team_member team, const PetscInt *glb_Aai, const PetscInt *glb_Aaj, const PetscScalar *glb_Aaa, const PetscInt *r, const PetscInt *ic, const PetscInt start, const PetscInt end, const PetscScalar *x_loc, PetscScalar *y_loc) 69*e607c864SMark Adams { 70*e607c864SMark Adams Kokkos::parallel_for(Kokkos::TeamThreadRange(team,start,end), [=] (const int rowb) { 71*e607c864SMark Adams int rowa = ic[rowb]; 72*e607c864SMark Adams int n = glb_Aai[rowa+1] - glb_Aai[rowa]; 73*e607c864SMark Adams const PetscInt *aj = glb_Aaj + glb_Aai[rowa]; 74*e607c864SMark Adams const PetscScalar *aa = glb_Aaa + glb_Aai[rowa]; 75*e607c864SMark Adams PetscScalar sum; 76*e607c864SMark Adams Kokkos::parallel_reduce(Kokkos::ThreadVectorRange (team, n), [=] (const int i, PetscScalar& lsum) { 77*e607c864SMark Adams lsum += aa[i] * x_loc[r[aj[i]]-start]; 78*e607c864SMark Adams }, sum); 79*e607c864SMark Adams Kokkos::single(Kokkos::PerThread (team),[=]() {y_loc[rowb-start] = sum;}); 80*e607c864SMark Adams }); 81*e607c864SMark Adams team.team_barrier(); 82*e607c864SMark Adams return 0; 83*e607c864SMark Adams } 84*e607c864SMark Adams 85*e607c864SMark Adams // temp buffer per thread with reduction at end? 86*e607c864SMark Adams KOKKOS_INLINE_FUNCTION PetscErrorCode MatMultTranspose(const team_member team, const PetscInt *glb_Aai, const PetscInt *glb_Aaj, const PetscScalar *glb_Aaa, const PetscInt *r, const PetscInt *ic, const PetscInt start, const PetscInt end, const PetscScalar *x_loc, PetscScalar *y_loc) 87*e607c864SMark Adams { 88*e607c864SMark Adams Kokkos::parallel_for(Kokkos::TeamVectorRange(team,end-start), [=] (int i) { y_loc[i] = 0;}); 89*e607c864SMark Adams team.team_barrier(); 90*e607c864SMark Adams Kokkos::parallel_for(Kokkos::TeamThreadRange(team,start,end), [=] (const int rowb) { 91*e607c864SMark Adams int rowa = ic[rowb]; 92*e607c864SMark Adams int n = glb_Aai[rowa+1] - glb_Aai[rowa]; 93*e607c864SMark Adams const PetscInt *aj = glb_Aaj + glb_Aai[rowa]; 94*e607c864SMark Adams const PetscScalar *aa = glb_Aaa + glb_Aai[rowa]; 95*e607c864SMark Adams const PetscScalar xx = x_loc[rowb-start]; // rowb = ic[rowa] = ic[r[rowb]] 96*e607c864SMark Adams Kokkos::parallel_for(Kokkos::ThreadVectorRange(team,n), [=] (const int &i) { 97*e607c864SMark Adams PetscScalar val = aa[i] * xx; 98*e607c864SMark Adams Kokkos::atomic_fetch_add(&y_loc[r[aj[i]]-start], val); 99*e607c864SMark Adams }); 100*e607c864SMark Adams }); 101*e607c864SMark Adams team.team_barrier(); 102*e607c864SMark Adams return 0; 103*e607c864SMark Adams } 104*e607c864SMark Adams 105*e607c864SMark Adams typedef struct Batch_MetaData_TAG 106*e607c864SMark Adams { 107*e607c864SMark Adams PetscInt flops; 108*e607c864SMark Adams PetscInt its; 109*e607c864SMark Adams KSPConvergedReason reason; 110*e607c864SMark Adams }Batch_MetaData; 111*e607c864SMark Adams 112*e607c864SMark Adams // Solve A(BB^-1)x = y with TFQMR. Right preconditioned to get un-preconditioned residual 113*e607c864SMark Adams KOKKOS_INLINE_FUNCTION PetscErrorCode BJSolve_TFQMR(const team_member team, const PetscInt *glb_Aai, const PetscInt *glb_Aaj, const PetscScalar *glb_Aaa, const PetscInt *r, const PetscInt *ic, PetscScalar *work_space, const PetscInt stride, PetscReal rtol, PetscReal atol, PetscReal dtol,PetscInt maxit, Batch_MetaData *metad, const PetscInt start, const PetscInt end, const PetscScalar glb_idiag[], const PetscScalar *glb_b, PetscScalar *glb_x, bool monitor) 114*e607c864SMark Adams { 115*e607c864SMark Adams using Kokkos::parallel_reduce; 116*e607c864SMark Adams using Kokkos::parallel_for; 117*e607c864SMark Adams int Nblk = end-start, i,m; 118*e607c864SMark Adams PetscReal dp,dpold,w,dpest,tau,psi,cm,r0; 119*e607c864SMark Adams PetscScalar *ptr = work_space, rho,rhoold,a,s,b,eta,etaold,psiold,cf,dpi; 120*e607c864SMark Adams const PetscScalar *Diag = &glb_idiag[start]; 121*e607c864SMark Adams PetscScalar *XX = ptr; ptr += stride; 122*e607c864SMark Adams PetscScalar *R = ptr; ptr += stride; 123*e607c864SMark Adams PetscScalar *RP = ptr; ptr += stride; 124*e607c864SMark Adams PetscScalar *V = ptr; ptr += stride; 125*e607c864SMark Adams PetscScalar *T = ptr; ptr += stride; 126*e607c864SMark Adams PetscScalar *Q = ptr; ptr += stride; 127*e607c864SMark Adams PetscScalar *P = ptr; ptr += stride; 128*e607c864SMark Adams PetscScalar *U = ptr; ptr += stride; 129*e607c864SMark Adams PetscScalar *D = ptr; ptr += stride; 130*e607c864SMark Adams PetscScalar *AUQ = V; 131*e607c864SMark Adams 132*e607c864SMark Adams // init: get b, zero x 133*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team, start, end), [=] (int rowb) { 134*e607c864SMark Adams int rowa = ic[rowb]; 135*e607c864SMark Adams R[rowb-start] = glb_b[rowa]; 136*e607c864SMark Adams XX[rowb-start] = 0; 137*e607c864SMark Adams }); 138*e607c864SMark Adams team.team_barrier(); 139*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& lsum) {lsum += R[idx]*PetscConj(R[idx]);}, dpi); 140*e607c864SMark Adams team.team_barrier(); 141*e607c864SMark Adams r0 = dp = PetscSqrtReal(PetscRealPart(dpi)); 142*e607c864SMark Adams // diagnostics 143*e607c864SMark Adams if (monitor) Kokkos::single (Kokkos::PerTeam (team), [=] () { printf("%3d KSP Residual norm %14.12e \n", 0, (double)dp);}); 144*e607c864SMark Adams 145*e607c864SMark Adams if (dp < atol) {metad->reason = KSP_CONVERGED_ATOL_NORMAL; return 0;} 146*e607c864SMark Adams if (0 == maxit) {metad->reason = KSP_DIVERGED_ITS; return 0;} 147*e607c864SMark Adams 148*e607c864SMark Adams /* Make the initial Rp = R */ 149*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {RP[idx] = R[idx];}); 150*e607c864SMark Adams team.team_barrier(); 151*e607c864SMark Adams /* Set the initial conditions */ 152*e607c864SMark Adams etaold = 0.0; 153*e607c864SMark Adams psiold = 0.0; 154*e607c864SMark Adams tau = dp; 155*e607c864SMark Adams dpold = dp; 156*e607c864SMark Adams 157*e607c864SMark Adams /* rhoold = (r,rp) */ 158*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& dot) {dot += R[idx]*PetscConj(RP[idx]);}, rhoold); 159*e607c864SMark Adams team.team_barrier(); 160*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {U[idx] = R[idx]; P[idx] = R[idx]; T[idx] = Diag[idx]*P[idx]; D[idx] = 0;}); 161*e607c864SMark Adams team.team_barrier(); 162*e607c864SMark Adams MatMult (team,glb_Aai,glb_Aaj,glb_Aaa,r,ic,start,end,T,V); 163*e607c864SMark Adams 164*e607c864SMark Adams i=0; 165*e607c864SMark Adams do { 166*e607c864SMark Adams /* s <- (v,rp) */ 167*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& dot) {dot += V[idx]*PetscConj(RP[idx]);}, s); 168*e607c864SMark Adams team.team_barrier(); 169*e607c864SMark Adams a = rhoold / s; /* a <- rho / s */ 170*e607c864SMark Adams /* q <- u - a v VecWAXPY(w,alpha,x,y): w = alpha x + y. */ 171*e607c864SMark Adams /* t <- u + q */ 172*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {Q[idx] = U[idx] - a*V[idx]; T[idx] = U[idx] + Q[idx];}); 173*e607c864SMark Adams team.team_barrier(); 174*e607c864SMark Adams // KSP_PCApplyBAorAB 175*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {T[idx] = Diag[idx]*T[idx]; }); 176*e607c864SMark Adams team.team_barrier(); 177*e607c864SMark Adams MatMult (team,glb_Aai,glb_Aaj,glb_Aaa,r,ic,start,end,T,AUQ); 178*e607c864SMark Adams /* r <- r - a K (u + q) */ 179*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {R[idx] = R[idx] - a*AUQ[idx]; }); 180*e607c864SMark Adams team.team_barrier(); 181*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& lsum) {lsum += R[idx]*PetscConj(R[idx]);}, dpi); 182*e607c864SMark Adams team.team_barrier(); 183*e607c864SMark Adams dp = PetscSqrtReal(PetscRealPart(dpi)); 184*e607c864SMark Adams for (m=0; m<2; m++) { 185*e607c864SMark Adams if (!m) w = PetscSqrtReal(dp*dpold); 186*e607c864SMark Adams else w = dp; 187*e607c864SMark Adams psi = w / tau; 188*e607c864SMark Adams cm = 1.0 / PetscSqrtReal(1.0 + psi * psi); 189*e607c864SMark Adams tau = tau * psi * cm; 190*e607c864SMark Adams eta = cm * cm * a; 191*e607c864SMark Adams cf = psiold * psiold * etaold / a; 192*e607c864SMark Adams if (!m) { 193*e607c864SMark Adams /* D = U + cf D */ 194*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {D[idx] = U[idx] + cf*D[idx]; }); 195*e607c864SMark Adams } else { 196*e607c864SMark Adams /* D = Q + cf D */ 197*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {D[idx] = Q[idx] + cf*D[idx]; }); 198*e607c864SMark Adams } 199*e607c864SMark Adams team.team_barrier(); 200*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {XX[idx] = XX[idx] + eta*D[idx]; }); 201*e607c864SMark Adams team.team_barrier(); 202*e607c864SMark Adams dpest = PetscSqrtReal(2*i + m + 2.0) * tau; 203*e607c864SMark Adams if (monitor) Kokkos::single (Kokkos::PerTeam (team), [=] () { printf("%3d KSP Residual norm %14.12e \n", i+1, (double)dpest);}); 204*e607c864SMark Adams 205*e607c864SMark Adams if (dpest < atol) {metad->reason = KSP_CONVERGED_ATOL_NORMAL; goto done;} 206*e607c864SMark Adams if (dpest/r0 < rtol) {metad->reason = KSP_CONVERGED_RTOL_NORMAL; goto done;} 207*e607c864SMark Adams #if defined(PETSC_USE_DEBUG) || 1 208*e607c864SMark Adams if (dpest/r0 > dtol) {metad->reason = KSP_DIVERGED_DTOL; Kokkos::single (Kokkos::PerTeam (team), [=] () {printf("ERROR block %d diverged: %d it, res=%e, r_0=%e\n",team.league_rank(),i,dpest,r0);}); goto done;} 209*e607c864SMark Adams #else 210*e607c864SMark Adams if (dpest/r0 > dtol) {metad->reason = KSP_DIVERGED_DTOL; goto done;} 211*e607c864SMark Adams #endif 212*e607c864SMark Adams if (i+1 == maxit) {metad->reason = KSP_DIVERGED_ITS; goto done;} 213*e607c864SMark Adams 214*e607c864SMark Adams etaold = eta; 215*e607c864SMark Adams psiold = psi; 216*e607c864SMark Adams } 217*e607c864SMark Adams 218*e607c864SMark Adams /* rho <- (r,rp) */ 219*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& dot) {dot += R[idx]*PetscConj(RP[idx]);}, rho); 220*e607c864SMark Adams team.team_barrier(); 221*e607c864SMark Adams b = rho / rhoold; /* b <- rho / rhoold */ 222*e607c864SMark Adams /* u <- r + b q */ 223*e607c864SMark Adams /* p <- u + b(q + b p) */ 224*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {U[idx] = R[idx] + b*Q[idx]; Q[idx] = Q[idx] + b*P[idx]; P[idx] = U[idx] + b*Q[idx];}); 225*e607c864SMark Adams /* v <- K p */ 226*e607c864SMark Adams team.team_barrier(); 227*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {T[idx] = Diag[idx]*P[idx]; }); 228*e607c864SMark Adams team.team_barrier(); 229*e607c864SMark Adams MatMult (team,glb_Aai,glb_Aaj,glb_Aaa,r,ic,start,end,T,V); 230*e607c864SMark Adams 231*e607c864SMark Adams rhoold = rho; 232*e607c864SMark Adams dpold = dp; 233*e607c864SMark Adams 234*e607c864SMark Adams i++; 235*e607c864SMark Adams } while (i<maxit); 236*e607c864SMark Adams done: 237*e607c864SMark Adams // KSPUnwindPreconditioner 238*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {XX[idx] = Diag[idx]*XX[idx]; }); 239*e607c864SMark Adams team.team_barrier(); 240*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team, start, end), [=] (int rowb) { 241*e607c864SMark Adams int rowa = ic[rowb]; 242*e607c864SMark Adams glb_x[rowa] = XX[rowb-start]; 243*e607c864SMark Adams }); 244*e607c864SMark Adams metad->its = i+1; 245*e607c864SMark Adams if (1) { 246*e607c864SMark Adams int nnz; 247*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, start, end), [=] (const int idx, int& lsum) {lsum += (glb_Aai[idx+1] - glb_Aai[idx]);}, nnz); 248*e607c864SMark Adams metad->flops = 2*(metad->its*(10*Nblk + 2*nnz) + 5*Nblk); 249*e607c864SMark Adams } else { 250*e607c864SMark Adams metad->flops = 2*(metad->its*(10*Nblk + 2*50*Nblk) + 5*Nblk); // guess 251*e607c864SMark Adams } 252*e607c864SMark Adams return 0; 253*e607c864SMark Adams } 254*e607c864SMark Adams 255*e607c864SMark Adams // Solve Ax = y with biCG 256*e607c864SMark Adams KOKKOS_INLINE_FUNCTION PetscErrorCode BJSolve_BICG(const team_member team, const PetscInt *glb_Aai, const PetscInt *glb_Aaj, const PetscScalar *glb_Aaa, const PetscInt *r, const PetscInt *ic, PetscScalar *work_space, const PetscInt stride, PetscReal rtol, PetscReal atol, PetscReal dtol,PetscInt maxit, Batch_MetaData *metad, const PetscInt start, const PetscInt end, const PetscScalar glb_idiag[], const PetscScalar *glb_b, PetscScalar *glb_x, bool monitor) 257*e607c864SMark Adams { 258*e607c864SMark Adams using Kokkos::parallel_reduce; 259*e607c864SMark Adams using Kokkos::parallel_for; 260*e607c864SMark Adams int Nblk = end-start, i; 261*e607c864SMark Adams PetscReal dp, r0; 262*e607c864SMark Adams PetscScalar *ptr = work_space, dpi, a=1.0, beta, betaold=1.0, b, b2, ma, mac; 263*e607c864SMark Adams const PetscScalar *Di = &glb_idiag[start]; 264*e607c864SMark Adams PetscScalar *XX = ptr; ptr += stride; 265*e607c864SMark Adams PetscScalar *Rl = ptr; ptr += stride; 266*e607c864SMark Adams PetscScalar *Zl = ptr; ptr += stride; 267*e607c864SMark Adams PetscScalar *Pl = ptr; ptr += stride; 268*e607c864SMark Adams PetscScalar *Rr = ptr; ptr += stride; 269*e607c864SMark Adams PetscScalar *Zr = ptr; ptr += stride; 270*e607c864SMark Adams PetscScalar *Pr = ptr; ptr += stride; 271*e607c864SMark Adams 272*e607c864SMark Adams /* r <- b (x is 0) */ 273*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team, start, end), [=] (int rowb) { 274*e607c864SMark Adams int rowa = ic[rowb]; 275*e607c864SMark Adams //ierr = VecCopy(Rr,Rl);CHKERRQ(ierr); 276*e607c864SMark Adams Rl[rowb-start] = Rr[rowb-start] = glb_b[rowa]; 277*e607c864SMark Adams XX[rowb-start] = 0; 278*e607c864SMark Adams }); 279*e607c864SMark Adams team.team_barrier(); 280*e607c864SMark Adams /* z <- Br */ 281*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {Zr[idx] = Di[idx]*Rr[idx]; Zl[idx] = Di[idx]*Rl[idx]; }); 282*e607c864SMark Adams team.team_barrier(); 283*e607c864SMark Adams /* dp <- r'*r */ 284*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& lsum) {lsum += Rr[idx]*PetscConj(Rr[idx]);}, dpi); 285*e607c864SMark Adams team.team_barrier(); 286*e607c864SMark Adams r0 = dp = PetscSqrtReal(PetscRealPart(dpi)); 287*e607c864SMark Adams if (monitor) Kokkos::single (Kokkos::PerTeam (team), [=] () { printf("%3d KSP Residual norm %14.12e \n", 0, (double)dp);}); 288*e607c864SMark Adams 289*e607c864SMark Adams if (dp < atol) {metad->reason = KSP_CONVERGED_ATOL_NORMAL; return 0;} 290*e607c864SMark Adams if (0 == maxit) {metad->reason = KSP_DIVERGED_ITS; return 0;} 291*e607c864SMark Adams i = 0; 292*e607c864SMark Adams do { 293*e607c864SMark Adams /* beta <- r'z */ 294*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& dot) {dot += Zr[idx]*PetscConj(Rl[idx]);}, beta); 295*e607c864SMark Adams team.team_barrier(); 296*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL >= 6 297*e607c864SMark Adams Kokkos::single (Kokkos::PerTeam (team), [=] () {printf("%7d beta = Z.R = %22.14e \n",i,(double)beta);}); 298*e607c864SMark Adams #endif 299*e607c864SMark Adams if (!i) { 300*e607c864SMark Adams if (beta == 0.0) { 301*e607c864SMark Adams metad->reason = KSP_DIVERGED_BREAKDOWN_BICG; 302*e607c864SMark Adams goto done; 303*e607c864SMark Adams } 304*e607c864SMark Adams /* p <- z */ 305*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {Pr[idx] = Zr[idx]; Pl[idx] = Zl[idx];}); 306*e607c864SMark Adams } else { 307*e607c864SMark Adams b = beta/betaold; 308*e607c864SMark Adams /* p <- z + b* p */ 309*e607c864SMark Adams b2 = PetscConj(b); 310*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {Pr[idx] = b*Pr[idx] + Zr[idx]; Pl[idx] = b2*Pl[idx] + Zl[idx];}); 311*e607c864SMark Adams } 312*e607c864SMark Adams team.team_barrier(); 313*e607c864SMark Adams betaold = beta; 314*e607c864SMark Adams /* z <- Kp */ 315*e607c864SMark Adams MatMult (team,glb_Aai,glb_Aaj,glb_Aaa,r,ic,start,end,Pr,Zr); 316*e607c864SMark Adams MatMultTranspose(team,glb_Aai,glb_Aaj,glb_Aaa,r,ic,start,end,Pl,Zl); 317*e607c864SMark Adams /* dpi <- z'p */ 318*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& lsum) {lsum += Zr[idx]*PetscConj(Pl[idx]);}, dpi); 319*e607c864SMark Adams team.team_barrier(); 320*e607c864SMark Adams // 321*e607c864SMark Adams a = beta/dpi; /* a = beta/p'z */ 322*e607c864SMark Adams ma = -a; 323*e607c864SMark Adams mac = PetscConj(ma); 324*e607c864SMark Adams /* x <- x + ap */ 325*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {XX[idx] = XX[idx] + a*Pr[idx]; Rr[idx] = Rr[idx] + ma*Zr[idx]; Rl[idx] = Rl[idx] + mac*Zl[idx];});team.team_barrier(); 326*e607c864SMark Adams team.team_barrier(); 327*e607c864SMark Adams /* dp <- r'*r */ 328*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, Nblk), [=] (const int idx, PetscScalar& lsum) {lsum += Rr[idx]*PetscConj(Rr[idx]);}, dpi); 329*e607c864SMark Adams team.team_barrier(); 330*e607c864SMark Adams dp = PetscSqrtReal(PetscRealPart(dpi)); 331*e607c864SMark Adams if (monitor) Kokkos::single (Kokkos::PerTeam (team), [=] () { printf("%3d KSP Residual norm %14.12e \n", i+1, (double)dp);}); 332*e607c864SMark Adams 333*e607c864SMark Adams if (dp < atol) {metad->reason = KSP_CONVERGED_ATOL_NORMAL; goto done;} 334*e607c864SMark Adams if (dp/r0 < rtol) {metad->reason = KSP_CONVERGED_RTOL_NORMAL; goto done;} 335*e607c864SMark Adams #if defined(PETSC_USE_DEBUG) || 1 336*e607c864SMark Adams if (dp/r0 > dtol) {metad->reason = KSP_DIVERGED_DTOL; Kokkos::single (Kokkos::PerTeam (team), [=] () {printf("ERROR block %d diverged: %d it, res=%e, r_0=%e\n",team.league_rank(),i,dp,r0);}); goto done;} 337*e607c864SMark Adams #else 338*e607c864SMark Adams if (dp/r0 > dtol) {metad->reason = KSP_DIVERGED_DTOL; goto done;} 339*e607c864SMark Adams #endif 340*e607c864SMark Adams if (i+1 == maxit) {metad->reason = KSP_DIVERGED_ITS; goto done;} 341*e607c864SMark Adams /* z <- Br */ 342*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team,Nblk), [=] (int idx) {Zr[idx] = Di[idx]*Rr[idx]; Zl[idx] = Di[idx]*Rl[idx];}); 343*e607c864SMark Adams i++; 344*e607c864SMark Adams team.team_barrier(); 345*e607c864SMark Adams } while (i<maxit); 346*e607c864SMark Adams done: 347*e607c864SMark Adams parallel_for(Kokkos::TeamVectorRange(team, start, end), [=] (int rowb) { 348*e607c864SMark Adams int rowa = ic[rowb]; 349*e607c864SMark Adams glb_x[rowa] = XX[rowb-start]; 350*e607c864SMark Adams }); 351*e607c864SMark Adams metad->its = i+1; 352*e607c864SMark Adams if (1) { 353*e607c864SMark Adams int nnz; 354*e607c864SMark Adams parallel_reduce(Kokkos::TeamVectorRange (team, start, end), [=] (const int idx, int& lsum) {lsum += (glb_Aai[idx+1] - glb_Aai[idx]);}, nnz); 355*e607c864SMark Adams metad->flops = 2*(metad->its*(10*Nblk + 2*nnz) + 5*Nblk); 356*e607c864SMark Adams } else { 357*e607c864SMark Adams metad->flops = 2*(metad->its*(10*Nblk + 2*50*Nblk) + 5*Nblk); // guess 358*e607c864SMark Adams } 359*e607c864SMark Adams return 0; 360*e607c864SMark Adams } 361*e607c864SMark Adams 362*e607c864SMark Adams // KSP solver solve Ax = b; x is output, bin is input 363*e607c864SMark Adams static PetscErrorCode PCApply_BJKOKKOS(PC pc,Vec bin,Vec xout) 364*e607c864SMark Adams { 365*e607c864SMark Adams PetscErrorCode ierr; 366*e607c864SMark Adams PC_PCBJKOKKOS *jac = (PC_PCBJKOKKOS*)pc->data; 367*e607c864SMark Adams Mat A = pc->pmat; 368*e607c864SMark Adams Mat_SeqAIJKokkos *aijkok; 369*e607c864SMark Adams 370*e607c864SMark Adams PetscFunctionBegin; 371*e607c864SMark Adams if (!jac->vec_diag || !A) SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_USER,"Not setup???? %p %p",jac->vec_diag,A); 372*e607c864SMark Adams if (!(aijkok = static_cast<Mat_SeqAIJKokkos*>(A->spptr))) SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_USER,"No aijkok"); 373*e607c864SMark Adams else { 374*e607c864SMark Adams using scr_mem_t = Kokkos::DefaultExecutionSpace::scratch_memory_space; 375*e607c864SMark Adams using vect2D_scr_t = Kokkos::View<PetscScalar**, Kokkos::LayoutLeft, scr_mem_t>; 376*e607c864SMark Adams PetscInt *d_bid_eqOffset, maxit = jac->ksp->max_it, scr_bytes_team, stride, global_buff_size; 377*e607c864SMark Adams const PetscInt conc = Kokkos::DefaultExecutionSpace().concurrency(), openmp = !!(conc < 1000), team_size = (openmp==0 && PCBJKOKKOS_VEC_SIZE != 1) ? PCBJKOKKOS_TEAM_SIZE : 1; 378*e607c864SMark Adams const PetscInt nwork = jac->nwork, nBlk = jac->nBlocks; 379*e607c864SMark Adams PetscScalar *glb_xdata=NULL; 380*e607c864SMark Adams PetscReal rtol = jac->ksp->rtol, atol = jac->ksp->abstol, dtol = jac->ksp->divtol; 381*e607c864SMark Adams const PetscScalar *glb_idiag =jac->d_idiag_k->data(), *glb_bdata=NULL; 382*e607c864SMark Adams const PetscInt *glb_Aai = aijkok->i_device_data(), *glb_Aaj = aijkok->j_device_data(); 383*e607c864SMark Adams const PetscScalar *glb_Aaa = aijkok->a_device_data(); 384*e607c864SMark Adams Kokkos::View<Batch_MetaData*, Kokkos::DefaultExecutionSpace> d_metadata("solver meta data", nBlk); 385*e607c864SMark Adams PCFailedReason pcreason; 386*e607c864SMark Adams KSPIndex ksp_type_idx = jac->ksp_type_idx; 387*e607c864SMark Adams PetscMemType mtype; 388*e607c864SMark Adams PetscContainer container; 389*e607c864SMark Adams PetscInt batch_sz; 390*e607c864SMark Adams VecScatter plex_batch=NULL; 391*e607c864SMark Adams Vec bvec; 392*e607c864SMark Adams PetscBool monitor = jac->monitor; // captured 393*e607c864SMark Adams PetscInt view_bid = jac->batch_target; 394*e607c864SMark Adams // get field major is to map plex IO to/from block/field major 395*e607c864SMark Adams ierr = PetscObjectQuery((PetscObject) A, "plex_batch_is", (PetscObject *) &container);CHKERRQ(ierr); 396*e607c864SMark Adams ierr = VecDuplicate(bin,&bvec);CHKERRQ(ierr); 397*e607c864SMark Adams if (container) { 398*e607c864SMark Adams ierr = PetscContainerGetPointer(container, (void **) &plex_batch);CHKERRQ(ierr); 399*e607c864SMark Adams ierr = VecScatterBegin(plex_batch,bin,bvec,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 400*e607c864SMark Adams ierr = VecScatterEnd(plex_batch,bin,bvec,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 401*e607c864SMark Adams } else { 402*e607c864SMark Adams ierr = VecCopy(bin, bvec);CHKERRQ(ierr); 403*e607c864SMark Adams } 404*e607c864SMark Adams // get x 405*e607c864SMark Adams ierr = VecGetArrayAndMemType(xout,&glb_xdata,&mtype);CHKERRQ(ierr); 406*e607c864SMark Adams #if defined(PETSC_HAVE_CUDA) 407*e607c864SMark Adams if (mtype!=PETSC_MEMTYPE_DEVICE) SETERRQ(PetscObjectComm((PetscObject) pc),PETSC_ERR_ARG_WRONG,"No GPU data for x %D != %D",mtype,PETSC_MEMTYPE_DEVICE); 408*e607c864SMark Adams #endif 409*e607c864SMark Adams ierr = VecGetArrayReadAndMemType(bvec,&glb_bdata,&mtype);CHKERRQ(ierr); 410*e607c864SMark Adams #if defined(PETSC_HAVE_CUDA) 411*e607c864SMark Adams if (mtype!=PETSC_MEMTYPE_DEVICE) SETERRQ(PetscObjectComm((PetscObject) pc),PETSC_ERR_ARG_WRONG,"No GPU data for b"); 412*e607c864SMark Adams #endif 413*e607c864SMark Adams // get batch size 414*e607c864SMark Adams ierr = PetscObjectQuery((PetscObject) A, "batch size", (PetscObject *) &container);CHKERRQ(ierr); 415*e607c864SMark Adams if (container) { 416*e607c864SMark Adams PetscInt *pNf=NULL; 417*e607c864SMark Adams ierr = PetscContainerGetPointer(container, (void **) &pNf);CHKERRQ(ierr); 418*e607c864SMark Adams batch_sz = *pNf; 419*e607c864SMark Adams } else batch_sz = 1; 420*e607c864SMark Adams if (nBlk%batch_sz) SETERRQ(PetscObjectComm((PetscObject) pc),PETSC_ERR_ARG_WRONG,"batch_sz = %D, nBlk = %D",batch_sz,nBlk); 421*e607c864SMark Adams d_bid_eqOffset = jac->d_bid_eqOffset_k->data(); 422*e607c864SMark Adams // solve each block independently 423*e607c864SMark Adams if (jac->const_block_size) { // use shared memory for work vectors only if constant block size - todo: test efficiency loss 424*e607c864SMark Adams scr_bytes_team = jac->const_block_size*nwork*sizeof(PetscScalar); 425*e607c864SMark Adams stride = jac->const_block_size; // captured 426*e607c864SMark Adams global_buff_size = 0; 427*e607c864SMark Adams } else { 428*e607c864SMark Adams scr_bytes_team = 0; 429*e607c864SMark Adams stride = jac->n; // captured 430*e607c864SMark Adams global_buff_size = jac->n*nwork; 431*e607c864SMark Adams } 432*e607c864SMark Adams Kokkos::View<PetscScalar*, Kokkos::DefaultExecutionSpace> d_work_vecs_k("workvectors", global_buff_size); // global work vectors 433*e607c864SMark Adams PetscInfo(pc,"\tn = %D. %d shared mem words/team. %D global mem words, rtol=%e, num blocks %D, team_size=%D, %D vector threads\n",jac->n,scr_bytes_team/sizeof(PetscScalar),global_buff_size,rtol,nBlk, 434*e607c864SMark Adams team_size, PCBJKOKKOS_VEC_SIZE); 435*e607c864SMark Adams PetscScalar *d_work_vecs = scr_bytes_team ? NULL : d_work_vecs_k.data(); 436*e607c864SMark Adams const PetscInt *d_isicol = jac->d_isicol_k->data(), *d_isrow = jac->d_isrow_k->data(); 437*e607c864SMark Adams Kokkos::parallel_for("Solve", Kokkos::TeamPolicy<>(nBlk, team_size, PCBJKOKKOS_VEC_SIZE).set_scratch_size(PCBJKOKKOS_SHARED_LEVEL, Kokkos::PerTeam(scr_bytes_team)), 438*e607c864SMark Adams KOKKOS_LAMBDA (const team_member team) { 439*e607c864SMark Adams const int blkID = team.league_rank(), start = d_bid_eqOffset[blkID], end = d_bid_eqOffset[blkID+1]; 440*e607c864SMark Adams vect2D_scr_t work_vecs(team.team_scratch(PCBJKOKKOS_SHARED_LEVEL), scr_bytes_team ? (end-start) : 0, nwork); 441*e607c864SMark Adams PetscScalar *work_buff = (scr_bytes_team) ? work_vecs.data() : &d_work_vecs[start]; 442*e607c864SMark Adams bool print = monitor && (blkID==view_bid); 443*e607c864SMark Adams switch (ksp_type_idx) { 444*e607c864SMark Adams case BATCH_KSP_BICG_IDX: 445*e607c864SMark Adams BJSolve_BICG(team, glb_Aai, glb_Aaj, glb_Aaa, d_isrow, d_isicol, work_buff, stride, rtol, atol, dtol, maxit, &d_metadata[blkID], start, end, glb_idiag, glb_bdata, glb_xdata, print); 446*e607c864SMark Adams break; 447*e607c864SMark Adams case BATCH_KSP_TFQMR_IDX: 448*e607c864SMark Adams BJSolve_TFQMR(team, glb_Aai, glb_Aaj, glb_Aaa, d_isrow, d_isicol, work_buff, stride, rtol, atol, dtol, maxit, &d_metadata[blkID], start, end, glb_idiag, glb_bdata, glb_xdata, print); 449*e607c864SMark Adams break; 450*e607c864SMark Adams default: 451*e607c864SMark Adams #if defined(PETSC_USE_DEBUG) 452*e607c864SMark Adams printf("Unknown KSP type %d\n",ksp_type_idx); 453*e607c864SMark Adams #else 454*e607c864SMark Adams /* void */; 455*e607c864SMark Adams #endif 456*e607c864SMark Adams } 457*e607c864SMark Adams #if defined(PETSC_USE_DEBUG) 458*e607c864SMark Adams if (d_metadata[blkID].reason<0) printf("Solver diverged %d\n",d_metadata[blkID].reason); 459*e607c864SMark Adams #endif 460*e607c864SMark Adams }); 461*e607c864SMark Adams auto h_metadata = Kokkos::create_mirror(Kokkos::HostSpace::memory_space(), d_metadata); 462*e607c864SMark Adams Kokkos::fence(); 463*e607c864SMark Adams Kokkos::deep_copy (h_metadata, d_metadata); 464*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL >= 3 465*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL >= 4 466*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"Iterations\n");CHKERRQ(ierr); 467*e607c864SMark Adams #endif 468*e607c864SMark Adams // assume species major 469*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL < 4 470*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"max iterations per species (%s) :",ksp_type_idx==BATCH_KSP_BICG_IDX ? "bicg" : "tfqmr");CHKERRQ(ierr); 471*e607c864SMark Adams #endif 472*e607c864SMark Adams for (PetscInt dmIdx=0, s=0, head=0 ; dmIdx < jac->num_dms; dmIdx += batch_sz) { 473*e607c864SMark Adams for (PetscInt f=0, idx=head ; f < jac->dm_Nf[dmIdx] ; f++,s++,idx++) { 474*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL >= 4 475*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"%2D:", s);CHKERRQ(ierr); 476*e607c864SMark Adams for (int bid=0 ; bid<batch_sz ; bid++) { 477*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"%3D ", h_metadata[idx + bid*jac->dm_Nf[dmIdx]].its);CHKERRQ(ierr); 478*e607c864SMark Adams } 479*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"\n");CHKERRQ(ierr); 480*e607c864SMark Adams #else 481*e607c864SMark Adams PetscInt count=0; 482*e607c864SMark Adams for (int bid=0 ; bid<batch_sz ; bid++) { 483*e607c864SMark Adams if (h_metadata[idx + bid*jac->dm_Nf[dmIdx]].its > count) count = h_metadata[idx + bid*jac->dm_Nf[dmIdx]].its; 484*e607c864SMark Adams } 485*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"%3D ", count);CHKERRQ(ierr); 486*e607c864SMark Adams #endif 487*e607c864SMark Adams } 488*e607c864SMark Adams head += batch_sz*jac->dm_Nf[dmIdx]; 489*e607c864SMark Adams } 490*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL < 4 491*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"\n");CHKERRQ(ierr); 492*e607c864SMark Adams #endif 493*e607c864SMark Adams #elif PCBJKOKKOS_VERBOSE_LEVEL >= 2 494*e607c864SMark Adams PetscInt count=0; 495*e607c864SMark Adams for (PetscInt dmIdx=0, s=0, head=0 ; dmIdx < jac->num_dms; dmIdx += batch_sz) { 496*e607c864SMark Adams for (PetscInt f=0, idx=head ; f < jac->dm_Nf[dmIdx] ; f++,s++,idx++) { 497*e607c864SMark Adams if (h_metadata[idx + bid*jac->dm_Nf[dmIdx]].its > count) count = h_metadata[idx + bid*jac->dm_Nf[dmIdx]].its; 498*e607c864SMark Adams } 499*e607c864SMark Adams } 500*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_WORLD,"%D max iterations", count);CHKERRQ(ierr); 501*e607c864SMark Adams #endif 502*e607c864SMark Adams for (int blkID=0;blkID<nBlk;blkID++) { 503*e607c864SMark Adams ierr = PetscLogGpuFlops((PetscLogDouble)h_metadata[blkID].flops);CHKERRQ(ierr); 504*e607c864SMark Adams if (jac->reason) { 505*e607c864SMark Adams if (jac->batch_target==blkID || (jac->batch_target==-1 && h_metadata[blkID].its > 100)) { 506*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_SELF, " Linear solve converged due to %s iterations %d\n", KSPConvergedReasons[h_metadata[blkID].reason], h_metadata[blkID].its);CHKERRQ(ierr); 507*e607c864SMark Adams } 508*e607c864SMark Adams if (jac->batch_target==-1 && h_metadata[blkID].reason < 0) { 509*e607c864SMark Adams ierr = PetscPrintf(PETSC_COMM_SELF, "ERROR reason=%s, its=%D. species %D, batch %D, %D species\n", 510*e607c864SMark Adams KSPConvergedReasons[h_metadata[blkID].reason],h_metadata[blkID].its,blkID/batch_sz,blkID%batch_sz,nBlk/batch_sz);CHKERRQ(ierr); 511*e607c864SMark Adams } 512*e607c864SMark Adams } 513*e607c864SMark Adams } 514*e607c864SMark Adams ierr = VecRestoreArrayAndMemType(xout,&glb_xdata);CHKERRQ(ierr); 515*e607c864SMark Adams ierr = VecRestoreArrayReadAndMemType(bvec,&glb_bdata);CHKERRQ(ierr); 516*e607c864SMark Adams { 517*e607c864SMark Adams int errsum; 518*e607c864SMark Adams Kokkos::parallel_reduce(nBlk, KOKKOS_LAMBDA (const int idx, int& lsum) { 519*e607c864SMark Adams if (d_metadata[idx].reason < 0 && d_metadata[idx].reason != KSP_DIVERGED_ITS && d_metadata[idx].reason != KSP_CONVERGED_ITS) lsum += 1; 520*e607c864SMark Adams }, errsum); 521*e607c864SMark Adams if (!errsum) pcreason = PC_NOERROR; 522*e607c864SMark Adams else pcreason = PC_SUBPC_ERROR; 523*e607c864SMark Adams } 524*e607c864SMark Adams ierr = PCSetFailedReason(pc,pcreason);CHKERRQ(ierr); 525*e607c864SMark Adams // map back to Plex space 526*e607c864SMark Adams if (plex_batch) { 527*e607c864SMark Adams ierr = VecCopy(xout, bvec);CHKERRQ(ierr); 528*e607c864SMark Adams ierr = VecScatterBegin(plex_batch,bvec,xout,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 529*e607c864SMark Adams ierr = VecScatterEnd(plex_batch,bvec,xout,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 530*e607c864SMark Adams } 531*e607c864SMark Adams ierr = VecDestroy(&bvec);CHKERRQ(ierr); 532*e607c864SMark Adams } 533*e607c864SMark Adams 534*e607c864SMark Adams PetscFunctionReturn(0); 535*e607c864SMark Adams } 536*e607c864SMark Adams 537*e607c864SMark Adams static PetscErrorCode PCSetUp_BJKOKKOS(PC pc) 538*e607c864SMark Adams { 539*e607c864SMark Adams PetscErrorCode ierr; 540*e607c864SMark Adams PC_PCBJKOKKOS *jac = (PC_PCBJKOKKOS*)pc->data; 541*e607c864SMark Adams Mat A = pc->pmat; 542*e607c864SMark Adams Mat_SeqAIJKokkos *aijkok; 543*e607c864SMark Adams PetscBool flg; 544*e607c864SMark Adams 545*e607c864SMark Adams PetscFunctionBegin; 546*e607c864SMark Adams if (pc->useAmat) SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"No support for using 'use_amat'"); 547*e607c864SMark Adams if (!A) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_USER,"No matrix - A is used above"); 548*e607c864SMark Adams ierr = PetscObjectTypeCompareAny((PetscObject)A,&flg,MATSEQAIJKOKKOS,MATMPIAIJKOKKOS,MATAIJKOKKOS,"");CHKERRQ(ierr); 549*e607c864SMark Adams if (!flg) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_ARG_WRONG,"must use '-dm_mat_type aijkokkos -dm_vec_type kokkos' for -pc_type bjkokkos"); 550*e607c864SMark Adams if (!(aijkok = static_cast<Mat_SeqAIJKokkos*>(A->spptr))) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_USER,"No aijkok"); 551*e607c864SMark Adams else { 552*e607c864SMark Adams if (!jac->vec_diag) { 553*e607c864SMark Adams Vec *subX; 554*e607c864SMark Adams DM pack,*subDM; 555*e607c864SMark Adams PetscInt nDMs, n; 556*e607c864SMark Adams PetscContainer container; 557*e607c864SMark Adams ierr = PetscObjectQuery((PetscObject) A, "plex_batch_is", (PetscObject *) &container);CHKERRQ(ierr); 558*e607c864SMark Adams { // Permute the matrix to get a block diagonal system: d_isrow_k, d_isicol_k 559*e607c864SMark Adams MatOrderingType rtype; 560*e607c864SMark Adams IS isrow,isicol; 561*e607c864SMark Adams const PetscInt *rowindices,*icolindices; 562*e607c864SMark Adams 563*e607c864SMark Adams if (container) rtype = MATORDERINGNATURAL; // if we have a vecscatter then don't reorder here (all the reorder stuff goes away in future) 564*e607c864SMark Adams else rtype = MATORDERINGRCM; 565*e607c864SMark Adams // get permutation. Not what I expect so inverted here 566*e607c864SMark Adams ierr = MatGetOrdering(A,rtype,&isrow,&isicol);CHKERRQ(ierr); 567*e607c864SMark Adams ierr = ISDestroy(&isrow);CHKERRQ(ierr); 568*e607c864SMark Adams ierr = ISInvertPermutation(isicol,PETSC_DECIDE,&isrow);CHKERRQ(ierr); 569*e607c864SMark Adams ierr = ISGetIndices(isrow,&rowindices);CHKERRQ(ierr); 570*e607c864SMark Adams ierr = ISGetIndices(isicol,&icolindices);CHKERRQ(ierr); 571*e607c864SMark Adams const Kokkos::View<PetscInt*, Kokkos::HostSpace, Kokkos::MemoryTraits<Kokkos::Unmanaged> > h_isrow_k((PetscInt*)rowindices,A->rmap->n); 572*e607c864SMark Adams const Kokkos::View<PetscInt*, Kokkos::HostSpace, Kokkos::MemoryTraits<Kokkos::Unmanaged> > h_isicol_k ((PetscInt*)icolindices,A->rmap->n); 573*e607c864SMark Adams jac->d_isrow_k = new Kokkos::View<PetscInt*>(Kokkos::create_mirror(DefaultMemorySpace(),h_isrow_k)); 574*e607c864SMark Adams jac->d_isicol_k = new Kokkos::View<PetscInt*>(Kokkos::create_mirror(DefaultMemorySpace(),h_isicol_k)); 575*e607c864SMark Adams Kokkos::deep_copy (*jac->d_isrow_k, h_isrow_k); 576*e607c864SMark Adams Kokkos::deep_copy (*jac->d_isicol_k, h_isicol_k); 577*e607c864SMark Adams ierr = ISRestoreIndices(isrow,&rowindices);CHKERRQ(ierr); 578*e607c864SMark Adams ierr = ISRestoreIndices(isicol,&icolindices);CHKERRQ(ierr); 579*e607c864SMark Adams ierr = ISDestroy(&isrow);CHKERRQ(ierr); 580*e607c864SMark Adams ierr = ISDestroy(&isicol);CHKERRQ(ierr); 581*e607c864SMark Adams } 582*e607c864SMark Adams // get block sizes 583*e607c864SMark Adams ierr = PCGetDM(pc, &pack);CHKERRQ(ierr); 584*e607c864SMark Adams if (!pack) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_USER,"no DM. Requires a composite DM"); 585*e607c864SMark Adams ierr = PetscObjectTypeCompare((PetscObject)pack,DMCOMPOSITE,&flg);CHKERRQ(ierr); 586*e607c864SMark Adams if (!flg) SETERRQ(PetscObjectComm((PetscObject)pack),PETSC_ERR_USER,"Not for type %s",((PetscObject)pack)->type_name); 587*e607c864SMark Adams ierr = DMCompositeGetNumberDM(pack,&nDMs);CHKERRQ(ierr); 588*e607c864SMark Adams jac->num_dms = nDMs; 589*e607c864SMark Adams ierr = DMCreateGlobalVector(pack, &jac->vec_diag);CHKERRQ(ierr); 590*e607c864SMark Adams ierr = VecGetLocalSize(jac->vec_diag,&n);CHKERRQ(ierr); 591*e607c864SMark Adams jac->n = n; 592*e607c864SMark Adams jac->d_idiag_k = new Kokkos::View<PetscScalar*, Kokkos::LayoutRight>("idiag", n); 593*e607c864SMark Adams // options 594*e607c864SMark Adams ierr = PCBJKOKKOSCreateKSP_BJKOKKOS(pc);CHKERRQ(ierr); 595*e607c864SMark Adams ierr = KSPSetFromOptions(jac->ksp);CHKERRQ(ierr); 596*e607c864SMark Adams ierr = PetscObjectTypeCompareAny((PetscObject)jac->ksp,&flg,KSPBICG,"");CHKERRQ(ierr); 597*e607c864SMark Adams if (flg) {jac->ksp_type_idx = BATCH_KSP_BICG_IDX; jac->nwork = 7;} 598*e607c864SMark Adams else { 599*e607c864SMark Adams ierr = PetscObjectTypeCompareAny((PetscObject)jac->ksp,&flg,KSPTFQMR,"");CHKERRQ(ierr); 600*e607c864SMark Adams if (flg) {jac->ksp_type_idx = BATCH_KSP_TFQMR_IDX; jac->nwork = 10;} 601*e607c864SMark Adams else SETERRQ(PetscObjectComm((PetscObject)jac->ksp),PETSC_ERR_ARG_WRONG,"unsupported type %s", ((PetscObject)jac->ksp)->type_name); 602*e607c864SMark Adams } 603*e607c864SMark Adams { 604*e607c864SMark Adams PetscViewer viewer; 605*e607c864SMark Adams PetscBool flg; 606*e607c864SMark Adams PetscViewerFormat format; 607*e607c864SMark Adams ierr = PetscOptionsGetViewer(PetscObjectComm((PetscObject)jac->ksp),((PetscObject)jac->ksp)->options,((PetscObject)jac->ksp)->prefix,"-ksp_converged_reason",&viewer,&format,&flg);CHKERRQ(ierr); 608*e607c864SMark Adams jac->reason = flg; 609*e607c864SMark Adams ierr = PetscViewerDestroy(&viewer);CHKERRQ(ierr); 610*e607c864SMark Adams ierr = PetscOptionsGetViewer(PetscObjectComm((PetscObject)jac->ksp),((PetscObject)jac->ksp)->options,((PetscObject)jac->ksp)->prefix,"-ksp_monitor",&viewer,&format,&flg);CHKERRQ(ierr); 611*e607c864SMark Adams jac->monitor = flg; 612*e607c864SMark Adams ierr = PetscViewerDestroy(&viewer);CHKERRQ(ierr); 613*e607c864SMark Adams ierr = PetscOptionsGetInt(((PetscObject)jac->ksp)->options,((PetscObject)jac->ksp)->prefix,"-ksp_batch_target",&jac->batch_target,NULL);CHKERRQ(ierr); 614*e607c864SMark Adams PetscCheckFalse(jac->batch_target >= jac->num_dms,PETSC_COMM_WORLD,PETSC_ERR_ARG_WRONG,"-ksp_batch_target (%D) >= number of DMs (%D)",jac->batch_target,jac->num_dms); 615*e607c864SMark Adams } 616*e607c864SMark Adams // get blocks - jac->d_bid_eqOffset_k 617*e607c864SMark Adams ierr = PetscMalloc(sizeof(*subX)*nDMs, &subX);CHKERRQ(ierr); 618*e607c864SMark Adams ierr = PetscMalloc(sizeof(*subDM)*nDMs, &subDM);CHKERRQ(ierr); 619*e607c864SMark Adams ierr = PetscMalloc(sizeof(*jac->dm_Nf)*nDMs, &jac->dm_Nf);CHKERRQ(ierr); 620*e607c864SMark Adams ierr = PetscInfo(pc, "Have %D DMs, n=%D rtol=%g type = %s\n", nDMs, n, jac->ksp->rtol, ((PetscObject)jac->ksp)->type_name);CHKERRQ(ierr); 621*e607c864SMark Adams ierr = DMCompositeGetEntriesArray(pack,subDM);CHKERRQ(ierr); 622*e607c864SMark Adams jac->nBlocks = 0; 623*e607c864SMark Adams for (PetscInt ii=0;ii<nDMs;ii++) { 624*e607c864SMark Adams PetscSection section; 625*e607c864SMark Adams PetscInt Nf; 626*e607c864SMark Adams DM dm = subDM[ii]; 627*e607c864SMark Adams ierr = DMGetLocalSection(dm, §ion);CHKERRQ(ierr); 628*e607c864SMark Adams ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 629*e607c864SMark Adams jac->nBlocks += Nf; 630*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL <= 2 631*e607c864SMark Adams if (ii==0) { ierr = PetscInfo(pc,"%D) %D blocks (%D total)\n",ii,Nf,jac->nBlocks); } 632*e607c864SMark Adams #else 633*e607c864SMark Adams ierr = PetscInfo(pc,"%D) %D blocks (%D total)\n",ii,Nf,jac->nBlocks); 634*e607c864SMark Adams #endif 635*e607c864SMark Adams jac->dm_Nf[ii] = Nf; 636*e607c864SMark Adams } 637*e607c864SMark Adams { // d_bid_eqOffset_k 638*e607c864SMark Adams Kokkos::View<PetscInt*, Kokkos::LayoutRight, Kokkos::HostSpace> h_block_offsets("block_offsets", jac->nBlocks+1); 639*e607c864SMark Adams ierr = DMCompositeGetAccessArray(pack, jac->vec_diag, nDMs, NULL, subX);CHKERRQ(ierr); 640*e607c864SMark Adams h_block_offsets[0] = 0; 641*e607c864SMark Adams jac->const_block_size = -1; 642*e607c864SMark Adams for (PetscInt ii=0, idx = 0;ii<nDMs;ii++) { 643*e607c864SMark Adams PetscInt nloc,nblk; 644*e607c864SMark Adams ierr = VecGetSize(subX[ii],&nloc);CHKERRQ(ierr); 645*e607c864SMark Adams nblk = nloc/jac->dm_Nf[ii]; 646*e607c864SMark Adams if (nloc%jac->dm_Nf[ii]) SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_USER,"nloc%jac->dm_Nf[ii] DMs",nloc,jac->dm_Nf[ii]); 647*e607c864SMark Adams for (PetscInt jj=0;jj<jac->dm_Nf[ii];jj++, idx++) { 648*e607c864SMark Adams h_block_offsets[idx+1] = h_block_offsets[idx] + nblk; 649*e607c864SMark Adams #if PCBJKOKKOS_VERBOSE_LEVEL <= 2 650*e607c864SMark Adams if (idx==0) {ierr = PetscInfo(pc,"\t%D) Add block with %D equations of %D\n",idx+1,nblk,jac->nBlocks);CHKERRQ(ierr);} 651*e607c864SMark Adams #else 652*e607c864SMark Adams ierr = PetscInfo(pc,"\t%D) Add block with %D equations of %D\n",idx+1,nblk,jac->nBlocks);CHKERRQ(ierr); 653*e607c864SMark Adams #endif 654*e607c864SMark Adams if (jac->const_block_size == -1) jac->const_block_size = nblk; 655*e607c864SMark Adams else if (jac->const_block_size > 0 && jac->const_block_size != nblk) jac->const_block_size = 0; 656*e607c864SMark Adams } 657*e607c864SMark Adams } 658*e607c864SMark Adams ierr = DMCompositeRestoreAccessArray(pack, jac->vec_diag, jac->nBlocks, NULL, subX);CHKERRQ(ierr); 659*e607c864SMark Adams ierr = PetscFree(subX);CHKERRQ(ierr); 660*e607c864SMark Adams ierr = PetscFree(subDM);CHKERRQ(ierr); 661*e607c864SMark Adams jac->d_bid_eqOffset_k = new Kokkos::View<PetscInt*, Kokkos::LayoutRight>(Kokkos::create_mirror(Kokkos::DefaultExecutionSpace::memory_space(),h_block_offsets)); 662*e607c864SMark Adams Kokkos::deep_copy (*jac->d_bid_eqOffset_k, h_block_offsets); 663*e607c864SMark Adams } 664*e607c864SMark Adams } 665*e607c864SMark Adams { // get jac->d_idiag_k (PC setup), 666*e607c864SMark Adams const PetscInt *d_ai=aijkok->i_device_data(), *d_aj=aijkok->j_device_data(); 667*e607c864SMark Adams const PetscScalar *d_aa = aijkok->a_device_data(); 668*e607c864SMark Adams const PetscInt conc = Kokkos::DefaultExecutionSpace().concurrency(), openmp = !!(conc < 1000), team_size = (openmp==0 && PCBJKOKKOS_VEC_SIZE != 1) ? PCBJKOKKOS_TEAM_SIZE : 1; 669*e607c864SMark Adams PetscInt *d_bid_eqOffset = jac->d_bid_eqOffset_k->data(), *r = jac->d_isrow_k->data(), *ic = jac->d_isicol_k->data(); 670*e607c864SMark Adams PetscScalar *d_idiag = jac->d_idiag_k->data(); 671*e607c864SMark Adams Kokkos::parallel_for("Diag", Kokkos::TeamPolicy<>(jac->nBlocks, team_size, PCBJKOKKOS_VEC_SIZE), KOKKOS_LAMBDA (const team_member team) { 672*e607c864SMark Adams const PetscInt blkID = team.league_rank(); 673*e607c864SMark Adams Kokkos::parallel_for 674*e607c864SMark Adams (Kokkos::TeamThreadRange(team,d_bid_eqOffset[blkID],d_bid_eqOffset[blkID+1]), 675*e607c864SMark Adams [=] (const int rowb) { 676*e607c864SMark Adams const PetscInt rowa = ic[rowb], ai = d_ai[rowa], *aj = d_aj + ai; // grab original data 677*e607c864SMark Adams const PetscScalar *aa = d_aa + ai; 678*e607c864SMark Adams const PetscInt nrow = d_ai[rowa + 1] - ai; 679*e607c864SMark Adams int found; 680*e607c864SMark Adams Kokkos::parallel_reduce 681*e607c864SMark Adams (Kokkos::ThreadVectorRange (team, nrow), 682*e607c864SMark Adams [=] (const int& j, int &count) { 683*e607c864SMark Adams const PetscInt colb = r[aj[j]]; 684*e607c864SMark Adams if (colb==rowb) { 685*e607c864SMark Adams d_idiag[rowb] = 1./aa[j]; 686*e607c864SMark Adams count++; 687*e607c864SMark Adams }}, found); 688*e607c864SMark Adams if (found!=1) Kokkos::single (Kokkos::PerThread (team), [=] () {printf("ERRORrow %d) found = %d\n",rowb,found);}); 689*e607c864SMark Adams }); 690*e607c864SMark Adams }); 691*e607c864SMark Adams } 692*e607c864SMark Adams } 693*e607c864SMark Adams PetscFunctionReturn(0); 694*e607c864SMark Adams } 695*e607c864SMark Adams 696*e607c864SMark Adams /* Default destroy, if it has never been setup */ 697*e607c864SMark Adams static PetscErrorCode PCReset_BJKOKKOS(PC pc) 698*e607c864SMark Adams { 699*e607c864SMark Adams PC_PCBJKOKKOS *jac = (PC_PCBJKOKKOS*)pc->data; 700*e607c864SMark Adams PetscErrorCode ierr; 701*e607c864SMark Adams 702*e607c864SMark Adams PetscFunctionBegin; 703*e607c864SMark Adams ierr = KSPDestroy(&jac->ksp);CHKERRQ(ierr); 704*e607c864SMark Adams ierr = VecDestroy(&jac->vec_diag);CHKERRQ(ierr); 705*e607c864SMark Adams if (jac->d_bid_eqOffset_k) delete jac->d_bid_eqOffset_k; 706*e607c864SMark Adams if (jac->d_idiag_k) delete jac->d_idiag_k; 707*e607c864SMark Adams if (jac->d_isrow_k) delete jac->d_isrow_k; 708*e607c864SMark Adams if (jac->d_isicol_k) delete jac->d_isicol_k; 709*e607c864SMark Adams jac->d_bid_eqOffset_k = NULL; 710*e607c864SMark Adams jac->d_idiag_k = NULL; 711*e607c864SMark Adams jac->d_isrow_k = NULL; 712*e607c864SMark Adams jac->d_isicol_k = NULL; 713*e607c864SMark Adams ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBJKOKKOSGetKSP_C",NULL);CHKERRQ(ierr); // not published now (causes configure errors) 714*e607c864SMark Adams ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBJKOKKOSSetKSP_C",NULL);CHKERRQ(ierr); 715*e607c864SMark Adams ierr = PetscFree(jac->dm_Nf);CHKERRQ(ierr); 716*e607c864SMark Adams jac->dm_Nf = NULL; 717*e607c864SMark Adams PetscFunctionReturn(0); 718*e607c864SMark Adams } 719*e607c864SMark Adams 720*e607c864SMark Adams static PetscErrorCode PCDestroy_BJKOKKOS(PC pc) 721*e607c864SMark Adams { 722*e607c864SMark Adams PetscErrorCode ierr; 723*e607c864SMark Adams 724*e607c864SMark Adams PetscFunctionBegin; 725*e607c864SMark Adams ierr = PCReset_BJKOKKOS(pc);CHKERRQ(ierr); 726*e607c864SMark Adams ierr = PetscFree(pc->data);CHKERRQ(ierr); 727*e607c864SMark Adams PetscFunctionReturn(0); 728*e607c864SMark Adams } 729*e607c864SMark Adams 730*e607c864SMark Adams static PetscErrorCode PCView_BJKOKKOS(PC pc,PetscViewer viewer) 731*e607c864SMark Adams { 732*e607c864SMark Adams PC_PCBJKOKKOS *jac = (PC_PCBJKOKKOS*)pc->data; 733*e607c864SMark Adams PetscErrorCode ierr; 734*e607c864SMark Adams PetscBool iascii; 735*e607c864SMark Adams 736*e607c864SMark Adams PetscFunctionBegin; 737*e607c864SMark Adams if (!jac->ksp) {ierr = PCBJKOKKOSCreateKSP_BJKOKKOS(pc);CHKERRQ(ierr);} 738*e607c864SMark Adams ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr); 739*e607c864SMark Adams if (iascii) { 740*e607c864SMark Adams ierr = PetscViewerASCIIPrintf(viewer," Batched device linear solver: Krylov (KSP) method with Jacobi preconditioning\n");CHKERRQ(ierr); 741*e607c864SMark Adams ierr = PetscViewerASCIIPrintf(viewer,"\t\tnwork = %D, rel tol = %e, abs tol = %e, div tol = %e, max it =%D, type = %s\n",jac->nwork,jac->ksp->rtol, 742*e607c864SMark Adams jac->ksp->abstol, jac->ksp->divtol, jac->ksp->max_it, 743*e607c864SMark Adams ((PetscObject)jac->ksp)->type_name);CHKERRQ(ierr); 744*e607c864SMark Adams } 745*e607c864SMark Adams PetscFunctionReturn(0); 746*e607c864SMark Adams } 747*e607c864SMark Adams 748*e607c864SMark Adams static PetscErrorCode PCSetFromOptions_BJKOKKOS(PetscOptionItems *PetscOptionsObject,PC pc) 749*e607c864SMark Adams { 750*e607c864SMark Adams PetscErrorCode ierr; 751*e607c864SMark Adams 752*e607c864SMark Adams PetscFunctionBegin; 753*e607c864SMark Adams ierr = PetscOptionsHead(PetscOptionsObject,"PC BJKOKKOS options");CHKERRQ(ierr); 754*e607c864SMark Adams ierr = PetscOptionsTail();CHKERRQ(ierr); 755*e607c864SMark Adams PetscFunctionReturn(0); 756*e607c864SMark Adams } 757*e607c864SMark Adams 758*e607c864SMark Adams static PetscErrorCode PCBJKOKKOSSetKSP_BJKOKKOS(PC pc,KSP ksp) 759*e607c864SMark Adams { 760*e607c864SMark Adams PC_PCBJKOKKOS *jac = (PC_PCBJKOKKOS*)pc->data; 761*e607c864SMark Adams PetscErrorCode ierr; 762*e607c864SMark Adams 763*e607c864SMark Adams PetscFunctionBegin; 764*e607c864SMark Adams ierr = PetscObjectReference((PetscObject)ksp);CHKERRQ(ierr); 765*e607c864SMark Adams ierr = KSPDestroy(&jac->ksp);CHKERRQ(ierr); 766*e607c864SMark Adams jac->ksp = ksp; 767*e607c864SMark Adams PetscFunctionReturn(0); 768*e607c864SMark Adams } 769*e607c864SMark Adams 770*e607c864SMark Adams /*@C 771*e607c864SMark Adams PCBJKOKKOSSetKSP - Sets the KSP context for a KSP PC. 772*e607c864SMark Adams 773*e607c864SMark Adams Collective on PC 774*e607c864SMark Adams 775*e607c864SMark Adams Input Parameters: 776*e607c864SMark Adams + pc - the preconditioner context 777*e607c864SMark Adams - ksp - the KSP solver 778*e607c864SMark Adams 779*e607c864SMark Adams Notes: 780*e607c864SMark Adams The PC and the KSP must have the same communicator 781*e607c864SMark Adams 782*e607c864SMark Adams Level: advanced 783*e607c864SMark Adams 784*e607c864SMark Adams @*/ 785*e607c864SMark Adams PetscErrorCode PCBJKOKKOSSetKSP(PC pc,KSP ksp) 786*e607c864SMark Adams { 787*e607c864SMark Adams PetscErrorCode ierr; 788*e607c864SMark Adams 789*e607c864SMark Adams PetscFunctionBegin; 790*e607c864SMark Adams PetscValidHeaderSpecific(pc,PC_CLASSID,1); 791*e607c864SMark Adams PetscValidHeaderSpecific(ksp,KSP_CLASSID,2); 792*e607c864SMark Adams PetscCheckSameComm(pc,1,ksp,2); 793*e607c864SMark Adams ierr = PetscTryMethod(pc,"PCBJKOKKOSSetKSP_C",(PC,KSP),(pc,ksp));CHKERRQ(ierr); 794*e607c864SMark Adams PetscFunctionReturn(0); 795*e607c864SMark Adams } 796*e607c864SMark Adams 797*e607c864SMark Adams static PetscErrorCode PCBJKOKKOSGetKSP_BJKOKKOS(PC pc,KSP *ksp) 798*e607c864SMark Adams { 799*e607c864SMark Adams PC_PCBJKOKKOS *jac = (PC_PCBJKOKKOS*)pc->data; 800*e607c864SMark Adams PetscErrorCode ierr; 801*e607c864SMark Adams 802*e607c864SMark Adams PetscFunctionBegin; 803*e607c864SMark Adams if (!jac->ksp) {ierr = PCBJKOKKOSCreateKSP_BJKOKKOS(pc);CHKERRQ(ierr);} 804*e607c864SMark Adams *ksp = jac->ksp; 805*e607c864SMark Adams PetscFunctionReturn(0); 806*e607c864SMark Adams } 807*e607c864SMark Adams 808*e607c864SMark Adams /*@C 809*e607c864SMark Adams PCBJKOKKOSGetKSP - Gets the KSP context for a KSP PC. 810*e607c864SMark Adams 811*e607c864SMark Adams Not Collective but KSP returned is parallel if PC was parallel 812*e607c864SMark Adams 813*e607c864SMark Adams Input Parameter: 814*e607c864SMark Adams . pc - the preconditioner context 815*e607c864SMark Adams 816*e607c864SMark Adams Output Parameters: 817*e607c864SMark Adams . ksp - the KSP solver 818*e607c864SMark Adams 819*e607c864SMark Adams Notes: 820*e607c864SMark Adams You must call KSPSetUp() before calling PCBJKOKKOSGetKSP(). 821*e607c864SMark Adams 822*e607c864SMark Adams If the PC is not a PCBJKOKKOS object it raises an error 823*e607c864SMark Adams 824*e607c864SMark Adams Level: advanced 825*e607c864SMark Adams 826*e607c864SMark Adams @*/ 827*e607c864SMark Adams PetscErrorCode PCBJKOKKOSGetKSP(PC pc,KSP *ksp) 828*e607c864SMark Adams { 829*e607c864SMark Adams PetscErrorCode ierr; 830*e607c864SMark Adams 831*e607c864SMark Adams PetscFunctionBegin; 832*e607c864SMark Adams PetscValidHeaderSpecific(pc,PC_CLASSID,1); 833*e607c864SMark Adams PetscValidPointer(ksp,2); 834*e607c864SMark Adams ierr = PetscUseMethod(pc,"PCBJKOKKOSGetKSP_C",(PC,KSP*),(pc,ksp));CHKERRQ(ierr); 835*e607c864SMark Adams PetscFunctionReturn(0); 836*e607c864SMark Adams } 837*e607c864SMark Adams 838*e607c864SMark Adams /* ----------------------------------------------------------------------------------*/ 839*e607c864SMark Adams 840*e607c864SMark Adams /*MC 841*e607c864SMark Adams PCBJKOKKOS - Defines a preconditioner that applies a Krylov solver and preconditioner to the blocks in a AIJASeq matrix on the GPU. 842*e607c864SMark Adams 843*e607c864SMark Adams Options Database Key: 844*e607c864SMark Adams . -pc_bjkokkos_ 845*e607c864SMark Adams 846*e607c864SMark Adams Level: intermediate 847*e607c864SMark Adams 848*e607c864SMark Adams Notes: 849*e607c864SMark Adams For use with -ksp_type preonly to bypass any CPU work 850*e607c864SMark Adams 851*e607c864SMark Adams Developer Notes: 852*e607c864SMark Adams 853*e607c864SMark Adams .seealso: PCCreate(), PCSetType(), PCType (for list of available types), PC, 854*e607c864SMark Adams PCSHELL, PCCOMPOSITE, PCSetUseAmat(), PCBJKOKKOSGetKSP() 855*e607c864SMark Adams 856*e607c864SMark Adams M*/ 857*e607c864SMark Adams 858*e607c864SMark Adams PETSC_EXTERN PetscErrorCode PCCreate_BJKOKKOS(PC pc) 859*e607c864SMark Adams { 860*e607c864SMark Adams PetscErrorCode ierr; 861*e607c864SMark Adams PC_PCBJKOKKOS *jac; 862*e607c864SMark Adams 863*e607c864SMark Adams PetscFunctionBegin; 864*e607c864SMark Adams ierr = PetscNewLog(pc,&jac);CHKERRQ(ierr); 865*e607c864SMark Adams pc->data = (void*)jac; 866*e607c864SMark Adams 867*e607c864SMark Adams jac->ksp = NULL; 868*e607c864SMark Adams jac->vec_diag = NULL; 869*e607c864SMark Adams jac->d_bid_eqOffset_k = NULL; 870*e607c864SMark Adams jac->d_idiag_k = NULL; 871*e607c864SMark Adams jac->d_isrow_k = NULL; 872*e607c864SMark Adams jac->d_isicol_k = NULL; 873*e607c864SMark Adams jac->nBlocks = 1; 874*e607c864SMark Adams 875*e607c864SMark Adams ierr = PetscMemzero(pc->ops,sizeof(struct _PCOps));CHKERRQ(ierr); 876*e607c864SMark Adams pc->ops->apply = PCApply_BJKOKKOS; 877*e607c864SMark Adams pc->ops->applytranspose = NULL; 878*e607c864SMark Adams pc->ops->setup = PCSetUp_BJKOKKOS; 879*e607c864SMark Adams pc->ops->reset = PCReset_BJKOKKOS; 880*e607c864SMark Adams pc->ops->destroy = PCDestroy_BJKOKKOS; 881*e607c864SMark Adams pc->ops->setfromoptions = PCSetFromOptions_BJKOKKOS; 882*e607c864SMark Adams pc->ops->view = PCView_BJKOKKOS; 883*e607c864SMark Adams 884*e607c864SMark Adams ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBJKOKKOSGetKSP_C",PCBJKOKKOSGetKSP_BJKOKKOS);CHKERRQ(ierr); 885*e607c864SMark Adams ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBJKOKKOSSetKSP_C",PCBJKOKKOSSetKSP_BJKOKKOS);CHKERRQ(ierr); 886*e607c864SMark Adams PetscFunctionReturn(0); 887*e607c864SMark Adams } 888