segbuffer: add PetscSegBufferGetSize() and PetscSegBufferUnuse()
* PetscSegBufferGetSize: the total size is usually needed for other purposes, but it's known by the segbuffer so we may as well mak
segbuffer: add PetscSegBufferGetSize() and PetscSegBufferUnuse()
* PetscSegBufferGetSize: the total size is usually needed for other purposes, but it's known by the segbuffer so we may as well make it available in case the caller isn't counting themselves.
* PetscSegBufferUnuse: if the caller is trying to amortize access, they might get more space than they actually need. This allows them to return that space.
show more ...
|