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()
273   PetscCall(PetscDeviceContextCreate(&dctx_a));  in main()
274   PetscCall(PetscObjectSetName(PetscObjectCast(dctx_a), "dctx_a"));  in main()
275   PetscCall(PetscDeviceContextSetStreamType(dctx_a, PETSC_STREAM_DEFAULT));  in main()
276   PetscCall(PetscDeviceContextSetFromOptions(PETSC_COMM_WORLD, dctx_a));  in main()
277   PetscCall(PetscDeviceContextDuplicate(dctx_a, &dctx_b));  in main()
279   PetscCall(PetscDeviceContextDuplicate(dctx_a, &dctx_c));  in main()
281   PetscCall(PetscDeviceContextViewFromOptions(dctx_a, nullptr, "-dctx_a_view"));  in main()
291   PetscCall(TestAllCombinations(dctx_a, {x}));  in main()
292   PetscCall(TestAllCombinations(dctx_a, {x, y, z}));  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()
335   PetscCall(mem_read(dctx_a, x));  in main()
340     make_map_entry(x_id, PETSC_MEMORY_ACCESS_READ, dctx_a),  in main()
344   PetscCall(PetscDeviceContextSynchronize(dctx_a));  in main()
350   PetscCall(mem_read(dctx_a, x));  in main()
359   PetscCall(mem_read_write(dctx_a, x));  in main()
360   PetscCall(mem_read(dctx_a, y));  in main()
365   PetscCall(CheckMapEqual({make_map_entry(y_id, PETSC_MEMORY_ACCESS_READ, dctx_a)}));  in main()
366   PetscCall(PetscDeviceContextSynchronize(dctx_a));  in main()
371   PetscCall(mem_read(dctx_a, x));  in main()
374   PetscCall(PetscDeviceContextWaitForContext(dctx_a, dctx_b));  in main()
377   PetscCall(PetscDeviceContextSynchronize(dctx_a));  in main()
380   PetscCall(mem_write(dctx_a, x));  in main()
381   PetscCall(CheckMapEqual({make_map_entry(x_id, PETSC_MEMORY_ACCESS_WRITE, dctx_a)}));  in main()
382   PetscCall(PetscDeviceContextWaitForContext(dctx_b, dctx_a));  in main()
390   PetscCall(mem_read(dctx_a, x));  in main()
395   PetscCall(CheckMapEqual({make_map_entry(x_id, PETSC_MEMORY_ACCESS_READ, dctx_a)}));  in main()
396   PetscCall(PetscDeviceContextSynchronize(dctx_a));  in main()
400   PetscCall(mem_read(dctx_a, x));  in main()
403 …PetscCall(CheckMapEqual({make_map_entry(x_id, PETSC_MEMORY_ACCESS_READ, dctx_a, dctx_b, dctx_c)}));  in main()
404   PetscCall(mem_write(dctx_a, x));  in main()
405   PetscCall(CheckMapEqual({make_map_entry(x_id, PETSC_MEMORY_ACCESS_WRITE, dctx_a)}));  in main()
406   PetscCall(PetscDeviceContextSynchronize(dctx_a));  in main()
409   PetscCall(PetscDeviceContextDestroy(&dctx_a));  in main()