[petsc-dev] memory usage with GPUs

[Karl Rupp]

>        Do you know if Nvidia provides an API to determine how much GPU
>     memory has been currently allocated?
>
>
> Yes it does

The information is readily available through the nvidia-smi command line 
tool.

Is there a good reason for providing the total allocated memory on GPUs 
(including non-PETSc memory) through PETSc? If so, why don't we already 
print the total system memory usage?

Best regards,
Karli