1 #ifdef PETSC_RCS_HEADER 2 static char vcid[] = "$Id: PetscTime.c,v 1.8 1997/03/09 18:00:35 bsmith Exp balay $"; 3 #endif 4 5 #include "stdio.h" 6 #include "petsc.h" 7 #include "pinclude/ptime.h" 8 9 int main( int argc, char **argv) 10 { 11 PLogDouble x, y; 12 int i; 13 14 PetscInitialize(&argc, &argv,0,0); 15 /* To take care of paging effects */ 16 PetscTime(y); 17 18 for ( i=0; i<2; i++ ) { 19 PetscTime(x); 20 PetscTime(y); 21 PetscTime(y); 22 PetscTime(y); 23 PetscTime(y); 24 PetscTime(y); 25 PetscTime(y); 26 PetscTime(y); 27 PetscTime(y); 28 PetscTime(y); 29 PetscTime(y); 30 31 fprintf(stderr,"%-15s : %e sec\n","PetscTime",(y-x)/10.0); 32 } 33 PetscTime(x); 34 PetscSleep(10); 35 PetscTime(y); 36 fprintf(stderr,"%-15s : %e sec - Slept for 10 sec \n","PetscTime",(y-x)); 37 38 PetscFinalize(); 39 return 0; 40 } 41