Re: [petsc-dev] Use of PETSc in real-time applications