warpsdb: do I/O in big chunks for efficiency.

src/warp.c

@@ -691,6 +691,10 @@ int main(int argc, char *argv[]) {
     char *infname = NULL;
     FILE *inf = stdin;
 
+#define BIGBUFSIZE 2097152
+    char *obuf = (char *)malloc(BIGBUFSIZE);
+    char *ibuf = (char *)malloc(BIGBUFSIZE);
+
     if(argc > 1 && 0==strcmp(&argv[argc-1][strlen(argv[argc-1])-4], ".sdb")) {
 	infname = argv[argc-1];
 	argc--;
@@ -700,12 +704,17 @@ int main(int argc, char *argv[]) {
 	    exit(1);
 	}
     }
+    setvbuf( inf,    ibuf, _IOFBF, BIGBUFSIZE );
+    setvbuf( stdout, obuf, _IOFBF, BIGBUFSIZE );
 
     ws = warp_setup( NULL, argc, argv );
     if(ws == NULL)
 	exit(1);	/* warp_setup() must have already printed a message */
 
     setup_coords( NULL, ws );
+    if(ws->has_fixed && getenv("WARPDBG")) {
+	fprintf(stderr, "warp rcoredisk %g fixrdisk %g fixomega %g\n", ws->rcoredisk, ws->fixedrdisk, ws->fixomega);
+    }
 
     warpsdb( ws, inf, stdout );
     return 0;