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