[schur-complement] validate the arguments and report allocation and launch failures

src/schur-complement-cuda/main.cu

@@ -2,6 +2,7 @@
 #include <stdlib.h>
 #include <math.h>
 #include <chrono>
+#include <new>
 #include <vector>
 #include <cuda.h>
 #include "reference.h"
@@ -93,20 +94,35 @@ int main(int argc, char* argv[])
   const int nnz_row = atoi(argv[2]);
   const int repeat = atoi(argv[3]);
 
+  if (!valid_problem_size(m, nnz_row, repeat)) {
+    printf("Invalid arguments: <rows>, <nnz per row> and <repeat> must be "
+           "positive, and all derived sizes must fit their integer types\n");
+    return 1;
+  }
+
   // number of variables (columns of J); a few times wider than nnz_row so the
   // per-row column lists overlap only partially, exercising the merge loop
   const int nx = 8 * nnz_row + 1024;
   const double alpha = -1.0;   // HiOp assembles the Schur complement with -1
 
+  const size_t w_elems = (size_t)m * m;
+  const size_t w_bytes = w_elems * sizeof(double);
+
   std::vector<int> h_rs1, h_jc1, h_rs2, h_jc2;
-  std::vector<double> h_v1, h_v2, h_D;
-  gen_csr(m, nx, nnz_row, 123, h_rs1, h_jc1, h_v1);
-  gen_csr(m, nx, nnz_row, 456, h_rs2, h_jc2, h_v2);
-  gen_diag(nx, 789, h_D);
+  std::vector<double> h_v1, h_v2, h_D, h_W, h_ref;
+  try {
+    gen_csr(m, nx, nnz_row, 123, h_rs1, h_jc1, h_v1);
+    gen_csr(m, nx, nnz_row, 456, h_rs2, h_jc2, h_v2);
+    gen_diag(nx, 789, h_D);
+    h_W.resize(w_elems);
+    h_ref.resize(w_elems);
+  } catch (const std::bad_alloc&) {
+    printf("Failed to allocate the host buffers: the dense block alone needs "
+           "%zu bytes\n", w_bytes);
+    return 1;
+  }
 
   const int nnz = (int)h_v1.size();
-  const size_t w_elems = (size_t)m * m;
-  const size_t w_bytes = w_elems * sizeof(double);
 
   int *d_rs1, *d_jc1, *d_rs2, *d_jc2;
   double *d_v1, *d_v2, *d_D, *d_W;
@@ -130,15 +146,14 @@ int main(int argc, char* argv[])
   const dim3 block(BLOCK_X, BLOCK_Y);
   const dim3 grid((m + BLOCK_X - 1) / BLOCK_X, (m + BLOCK_Y - 1) / BLOCK_Y);
 
-  std::vector<double> h_W(w_elems);
-  std::vector<double> h_ref(w_elems);
   int errors = 0;
 
   // --- diagonal block: W += alpha * J D^{-1} J^T ---------------------------
 
   // host/device correctness check (run once, verify against reference) before timing
   CHECK(cudaMemset(d_W, 0, w_bytes));
   mdinvmtrans_diag<<<grid, block>>>(m, d_rs1, d_jc1, d_v1, d_D, 0, 0, alpha, d_W, m);
+  CHECK(cudaGetLastError());
   CHECK(cudaMemcpy(h_W.data(), d_W, w_bytes, cudaMemcpyDeviceToHost));
 
   std::fill(h_ref.begin(), h_ref.end(), 0.0);
@@ -170,6 +185,7 @@ int main(int argc, char* argv[])
   // host/device correctness check before timing
   CHECK(cudaMemset(d_W, 0, w_bytes));
   mdinvntrans<<<grid, block>>>(m, m, d_rs1, d_jc1, d_v1, d_rs2, d_jc2, d_v2, d_D, 0, 0, alpha, d_W, m);
+  CHECK(cudaGetLastError());
   CHECK(cudaMemcpy(h_W.data(), d_W, w_bytes, cudaMemcpyDeviceToHost));
 
   std::fill(h_ref.begin(), h_ref.end(), 0.0);

src/schur-complement-cuda/reference.h

@@ -2,6 +2,8 @@
 #define REFERENCE_H
 
 #include <stdlib.h>
+#include <stdint.h>
+#include <limits.h>
 #include <math.h>
 #include <vector>
 #include <algorithm>
@@ -15,6 +17,20 @@
 // D is a diagonal (stored as a vector), and W is a dense matrix into whose
 // upper triangle the (symmetric) result is scattered.
 
+// The CSR row pointers and column indices are 32-bit, as in HiOp, so reject
+// sizes whose derived quantities would overflow rather than silently
+// generating a corrupt matrix. The 1024 headroom on m covers both the m + 1
+// row pointers and rounding m up to a multiple of the block size. Also ensure
+// that the byte size of the dense m-by-m double block fits in size_t.
+static bool valid_problem_size(int m, int nnz_row, int repeat)
+{
+  return m > 0 && nnz_row > 0 && repeat > 0 &&
+         m <= INT_MAX - 1024 &&                 // m + 1, and the launch range
+         nnz_row <= (INT_MAX - 1024) / 8 &&     // nx = 8 * nnz_row + 1024
+         (long long)m * nnz_row <= INT_MAX &&   // number of nonzeros
+         (size_t)m <= SIZE_MAX / sizeof(double) / (size_t)m; // dense bytes
+}
+
 // Build a CSR matrix with `m` rows, `nx` columns and exactly `nnz_row`
 // nonzeros per row (column indices sorted ascending within each row).
 static void gen_csr(int m, int nx, int nnz_row, unsigned seed,

src/schur-complement-hip/main.cu

@@ -2,6 +2,7 @@
 #include <stdlib.h>
 #include <math.h>
 #include <chrono>
+#include <new>
 #include <vector>
 #include <hip/hip_runtime.h>
 #include "reference.h"
@@ -93,18 +94,33 @@ int main(int argc, char* argv[])
   const int nnz_row = atoi(argv[2]);
   const int repeat = atoi(argv[3]);
 
+  if (!valid_problem_size(m, nnz_row, repeat)) {
+    printf("Invalid arguments: <rows>, <nnz per row> and <repeat> must be "
+           "positive, and all derived sizes must fit their integer types\n");
+    return 1;
+  }
+
   const int nx = 8 * nnz_row + 1024;
   const double alpha = -1.0;
 
+  const size_t w_elems = (size_t)m * m;
+  const size_t w_bytes = w_elems * sizeof(double);
+
   std::vector<int> h_rs1, h_jc1, h_rs2, h_jc2;
-  std::vector<double> h_v1, h_v2, h_D;
-  gen_csr(m, nx, nnz_row, 123, h_rs1, h_jc1, h_v1);
-  gen_csr(m, nx, nnz_row, 456, h_rs2, h_jc2, h_v2);
-  gen_diag(nx, 789, h_D);
+  std::vector<double> h_v1, h_v2, h_D, h_W, h_ref;
+  try {
+    gen_csr(m, nx, nnz_row, 123, h_rs1, h_jc1, h_v1);
+    gen_csr(m, nx, nnz_row, 456, h_rs2, h_jc2, h_v2);
+    gen_diag(nx, 789, h_D);
+    h_W.resize(w_elems);
+    h_ref.resize(w_elems);
+  } catch (const std::bad_alloc&) {
+    printf("Failed to allocate the host buffers: the dense block alone needs "
+           "%zu bytes\n", w_bytes);
+    return 1;
+  }
 
   const int nnz = (int)h_v1.size();
-  const size_t w_elems = (size_t)m * m;
-  const size_t w_bytes = w_elems * sizeof(double);
 
   int *d_rs1, *d_jc1, *d_rs2, *d_jc2;
   double *d_v1, *d_v2, *d_D, *d_W;
@@ -128,15 +144,14 @@ int main(int argc, char* argv[])
   const dim3 block(BLOCK_X, BLOCK_Y);
   const dim3 grid((m + BLOCK_X - 1) / BLOCK_X, (m + BLOCK_Y - 1) / BLOCK_Y);
 
-  std::vector<double> h_W(w_elems);
-  std::vector<double> h_ref(w_elems);
   int errors = 0;
 
   // --- diagonal block: W += alpha * J D^{-1} J^T ---------------------------
 
   // host/device correctness check (run once, verify against reference) before timing
   CHECK(hipMemset(d_W, 0, w_bytes));
   mdinvmtrans_diag<<<grid, block>>>(m, d_rs1, d_jc1, d_v1, d_D, 0, 0, alpha, d_W, m);
+  CHECK(hipGetLastError());
   CHECK(hipMemcpy(h_W.data(), d_W, w_bytes, hipMemcpyDeviceToHost));
 
   std::fill(h_ref.begin(), h_ref.end(), 0.0);
@@ -168,6 +183,7 @@ int main(int argc, char* argv[])
   // host/device correctness check before timing
   CHECK(hipMemset(d_W, 0, w_bytes));
   mdinvntrans<<<grid, block>>>(m, m, d_rs1, d_jc1, d_v1, d_rs2, d_jc2, d_v2, d_D, 0, 0, alpha, d_W, m);
+  CHECK(hipGetLastError());
   CHECK(hipMemcpy(h_W.data(), d_W, w_bytes, hipMemcpyDeviceToHost));
 
   std::fill(h_ref.begin(), h_ref.end(), 0.0);

src/schur-complement-omp/main.cpp

@@ -2,6 +2,7 @@
 #include <stdlib.h>
 #include <math.h>
 #include <chrono>
+#include <new>
 #include <vector>
 #include <omp.h>
 #include "reference.h"
@@ -17,27 +18,40 @@ int main(int argc, char* argv[])
   const int nnz_row = atoi(argv[2]);
   const int repeat = atoi(argv[3]);
 
+  if (!valid_problem_size(m, nnz_row, repeat)) {
+    printf("Invalid arguments: <rows>, <nnz per row> and <repeat> must be "
+           "positive, and all derived sizes must fit their integer types\n");
+    return 1;
+  }
+
   const int nx = 8 * nnz_row + 1024;
   const double alpha = -1.0;
 
+  const size_t w_elems = (size_t)m * m;
+
   std::vector<int> h_rs1, h_jc1, h_rs2, h_jc2;
-  std::vector<double> h_v1, h_v2, h_D;
-  gen_csr(m, nx, nnz_row, 123, h_rs1, h_jc1, h_v1);
-  gen_csr(m, nx, nnz_row, 456, h_rs2, h_jc2, h_v2);
-  gen_diag(nx, 789, h_D);
+  std::vector<double> h_v1, h_v2, h_D, h_W, h_ref;
+  try {
+    gen_csr(m, nx, nnz_row, 123, h_rs1, h_jc1, h_v1);
+    gen_csr(m, nx, nnz_row, 456, h_rs2, h_jc2, h_v2);
+    gen_diag(nx, 789, h_D);
+    h_W.resize(w_elems);
+    h_ref.resize(w_elems);
+  } catch (const std::bad_alloc&) {
+    printf("Failed to allocate the host buffers: the dense block alone needs "
+           "%zu bytes\n", w_elems * sizeof(double));
+    return 1;
+  }
 
   const int nnz = (int)h_v1.size();
-  const size_t w_elems = (size_t)m * m;
 
   const int m_W = m;
   const int row_dest_start = 0, col_dest_start = 0;
 
   int* rs1 = h_rs1.data(); int* jc1 = h_jc1.data(); double* v1 = h_v1.data();
   int* rs2 = h_rs2.data(); int* jc2 = h_jc2.data(); double* v2 = h_v2.data();
   double* D = h_D.data();
-  std::vector<double> h_W(w_elems, 0.0);
   double* W = h_W.data();
-  std::vector<double> h_ref(w_elems);
   int errors = 0;
 
   #pragma omp target enter data map(to: rs1[0:m+1], jc1[0:nnz], v1[0:nnz], \
@@ -47,10 +61,10 @@ int main(int argc, char* argv[])
   // --- diagonal block: W += alpha * J D^{-1} J^T ---------------------------
 
   // host/device correctness check (run once, verify against reference) before timing
-  #pragma omp target teams distribute parallel for thread_limit(128)
+  #pragma omp target teams distribute parallel for
   for (size_t k = 0; k < w_elems; k++) W[k] = 0.0;
 
-  #pragma omp target teams distribute parallel for collapse(2) thread_limit(128)
+  #pragma omp target teams distribute parallel for collapse(2) num_threads(256)
   for (int i = 0; i < m; i++) {
     for (int j = 0; j < m; j++) {
       if (j < i) continue;
@@ -80,14 +94,14 @@ int main(int argc, char* argv[])
       }
 
   // benchmark
-  #pragma omp target teams distribute parallel for thread_limit(128)
+  #pragma omp target teams distribute parallel for
   for (size_t k = 0; k < w_elems; k++) W[k] = 0.0;
 
   auto start = std::chrono::steady_clock::now();
 
   for (int r = 0; r < repeat; r++) {
     // one iteration per (i,j) row pair (collapsed) instead of per row i
-    #pragma omp target teams distribute parallel for collapse(2) thread_limit(128)
+    #pragma omp target teams distribute parallel for collapse(2) num_threads(256)
     for (int i = 0; i < m; i++) {
       for (int j = 0; j < m; j++) {
         if (j < i) continue;
@@ -115,10 +129,10 @@ int main(int argc, char* argv[])
   // --- off-diagonal block: W += alpha * J1 D^{-1} J2^T ---------------------
 
   // host/device correctness check before timing
-  #pragma omp target teams distribute parallel for thread_limit(128)
+  #pragma omp target teams distribute parallel for
   for (size_t k = 0; k < w_elems; k++) W[k] = 0.0;
 
-  #pragma omp target teams distribute parallel for collapse(2) thread_limit(128)
+  #pragma omp target teams distribute parallel for collapse(2) num_threads(256)
   for (int i = 0; i < m; i++) {
     for (int j = 0; j < m; j++) {
       double acc = 0.0;
@@ -140,13 +154,13 @@ int main(int argc, char* argv[])
     if (!close_enough(h_W[k], h_ref[k], 1e-10)) { errors++; break; }
 
   // benchmark
-  #pragma omp target teams distribute parallel for thread_limit(128)
+  #pragma omp target teams distribute parallel for
   for (size_t k = 0; k < w_elems; k++) W[k] = 0.0;
 
   start = std::chrono::steady_clock::now();
 
   for (int r = 0; r < repeat; r++) {
-    #pragma omp target teams distribute parallel for collapse(2) thread_limit(128)
+    #pragma omp target teams distribute parallel for collapse(2) num_threads(256)
     for (int i = 0; i < m; i++) {
       for (int j = 0; j < m; j++) {
         double acc = 0.0;