malcolm: Mon Mar 12 17:15:30 CET 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv6413 Modified Files: fileformat.c fileformat.h Log Message: Hat: Make a correct implementation of SATs B/C. * For efficiency, SAT Bs are not written to file - they are kept in memory in a stack discipline. (Writing a SAT C == pop.) * Also for efficiency, SAT Cs are not written to file immediately. We keep a large buffer of them, then write all at once. The SAT C now overwrites its SAT A in the file, as it should do. * On termination, we need to ripple through any remaining SAT Bs and SAT Cs, making a final patch-up to the file. At this point, we /do/ overwrite SAT As with SAT Bs, for black-hole detection.