246   PetscDeviceContext dctx_a, dctx_b, dctx_c;  in main()  local
258     for (auto &&ctx : {dctx_a, dctx_b, dctx_c}) PetscCall(PetscDeviceContextSynchronize(ctx));  in main()
277   PetscCall(PetscDeviceContextDuplicate(dctx_a, &dctx_b));  in main()
278   PetscCall(PetscObjectSetName(PetscObjectCast(dctx_b), "dctx_b"));  in main()
282   PetscCall(PetscDeviceContextViewFromOptions(dctx_b, nullptr, "-dctx_b_view"));  in main()
331   PetscCall(test_multiple_readers({dctx_a, dctx_b}, 0));  in main()
332   PetscCall(test_multiple_readers({dctx_a, dctx_b}, 1));  in main()
336   PetscCall(mem_read(dctx_b, y));  in main()
341     make_map_entry(y_id, PETSC_MEMORY_ACCESS_READ, dctx_b)  in main()
345   PetscCall(PetscDeviceContextSynchronize(dctx_b));  in main()
351   PetscCall(mem_read(dctx_b, x));  in main()
361   PetscCall(mem_read_write(dctx_b, x));  in main()
362   PetscCall(mem_read(dctx_b, y));  in main()
364   PetscCall(PetscDeviceContextSynchronize(dctx_b));  in main()
372   PetscCall(mem_read(dctx_b, y));  in main()
374   PetscCall(PetscDeviceContextWaitForContext(dctx_a, dctx_b));  in main()
382   PetscCall(PetscDeviceContextWaitForContext(dctx_b, dctx_a));  in main()
383   PetscCall(PetscDeviceContextWaitForContext(dctx_c, dctx_b));  in main()
391   PetscCall(mem_read(dctx_b, y));  in main()
392   PetscCall(PetscDeviceContextWaitForContext(dctx_c, dctx_b));  in main()
401   PetscCall(mem_read(dctx_b, x));  in main()
403 …PetscCall(CheckMapEqual({make_map_entry(x_id, PETSC_MEMORY_ACCESS_READ, dctx_a, dctx_b, dctx_c)}));  in main()
410   PetscCall(PetscDeviceContextDestroy(&dctx_b));  in main()