pipe.cc

   1 #include "common.h"
   2 #include <unistd.h>
   3 #include "model.h"
   4 #include "snapshot-interface.h"
   5 #include <dlfcn.h>
   6 #include <errno.h>
   7
   8 static int (*pipe_init_p)(int filep[2]) = NULL;
   9
  10 int pipe(int fildes[2]) {
  11         if (!model) {
  12                 snapshot_system_init(10000, 1024, 1024, 40000);
  13                 model = new ModelChecker();
  14                 model->startChecker();
  15         }
  16         if (!pipe_init_p) {
  17                 pipe_init_p = (int (*)(int fildes[2]))dlsym(RTLD_NEXT, "pipe");
  18                 char *error = dlerror();
  19                 if (error != NULL) {
  20                         fputs(error, stderr);
  21                         exit(EXIT_FAILURE);
  22                 }
  23         }
  24         return pipe_init_p(fildes);
  25 }