[petsc-users] Duplicate options

[Jed Brown]

Matthew Knepley <knepley at gmail.com> writes:
> So, SHA1(class, type_name, prefix)? I could live with that. Then we
> maintain a khash table of those we have seen while printing.

Yeah, ultimately with a reader lock for thread safety.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 818 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-users/attachments/20150812/258275d1/attachment-0001.pgp>