root/ckptserializer.h

INCLUDED FROM

   1 /****************************************************************************
   2  *   Copyright (C) 2006-2008 by Jason Ansel, Kapil Arya, and Gene Cooperman *
   3  *   jansel@csail.mit.edu, kapil@ccs.neu.edu, gene@ccs.neu.edu              *
   4  *                                                                          *
   5  *  This file is part of DMTCP.                                             *
   6  *                                                                          *
   7  *  DMTCP is free software: you can redistribute it and/or                  *
   8  *  modify it under the terms of the GNU Lesser General Public License as   *
   9  *  published by the Free Software Foundation, either version 3 of the      *
  10  *  License, or (at your option) any later version.                         *
  11  *                                                                          *
  12  *  DMTCP is distributed in the hope that it will be useful,                *
  13  *  but WITHOUT ANY WARRANTY; without even the implied warranty of          *
  14  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the           *
  15  *  GNU Lesser General Public License for more details.                     *
  16  *                                                                          *
  17  *  You should have received a copy of the GNU Lesser General Public        *
  18  *  License along with DMTCP:dmtcp/src.  If not, see                        *
  19  *  <http://www.gnu.org/licenses/>.                                         *
  20  ****************************************************************************/
  22 #ifndef CKPT_SERIZLIZER_H
  23 #define CKPT_SERIZLIZER_H
  25 #include "dmtcpalloc.h"
  26 #include "processinfo.h"
namespace dmtcp
  30 {
namespace CkptSerializer
  32   {
  33     int openCkptFileToWrite(const string& path);
  34     void createCkptDir();
  35     void writeCkptImage(void *mtcpHdr, size_t mtcpHdrLen);
  36     void writeDmtcpHeader(int fd);
  37   };
  38 }
  40 #endif