| 127c8a3b | 19-Sep-2013 |
Jed Brown <jedbrown@mcs.anl.gov> |
Sys: convert object ID to 64-bit and add PetscObjectGetId()
Object Ids must never be reused. If objects are created in iterations
(e.g., due to sloppy coding or adaptivity), a 32-bit Id could overf
Sys: convert object ID to 64-bit and add PetscObjectGetId()
Object Ids must never be reused. If objects are created in iterations
(e.g., due to sloppy coding or adaptivity), a 32-bit Id could overflow
in a long simulation. Use a typedef for clarity.
show more ...
|
| 270bf2e7 | 19-Sep-2013 |
Jed Brown <jedbrown@mcs.anl.gov> |
Sys: typedef PetscObjectState and change all accessors
State is used to manage caches of intermediate structures. If state
overflowed, it would allow a cached value to be reused incorrectly,
leadin
Sys: typedef PetscObjectState and change all accessors
State is used to manage caches of intermediate structures. If state
overflowed, it would allow a cached value to be reused incorrectly,
leading to wrong results or possibly corruption. In long runs, it is
conceivable for an object to undergo 2^32 state transitions between
encounters, thus it is important to use a 64-bit counter. The typedef
is just for clarity.
show more ...
|