18 #ifndef STXXL_IO_BOOSTFD_FILE_HEADER
19 #define STXXL_IO_BOOSTFD_FILE_HEADER
23 #ifndef STXXL_HAVE_BOOSTFD_FILE
24 #if STXXL_BOOST_CONFIG // if boost is available
25 #define STXXL_HAVE_BOOSTFD_FILE 1
27 #define STXXL_HAVE_BOOSTFD_FILE 0
31 #if STXXL_HAVE_BOOSTFD_FILE
36 #include <boost/iostreams/device/file_descriptor.hpp>
44 class boostfd_file :
public disk_queued_file
46 typedef boost::iostreams::file_descriptor fd_type;
57 const std::string& filename,
int mode,
58 int queue_id = DEFAULT_QUEUE,
59 int allocator_id = NO_ALLOCATOR,
60 unsigned int device_id = DEFAULT_DEVICE_ID);
63 void set_size(offset_type newsize);
65 void serve(
void* buffer, offset_type offset, size_type
bytes,
66 request::request_type type);
67 const char * io_type()
const;
74 #endif // #if STXXL_HAVE_BOOSTFD_FILE
76 #endif // !STXXL_IO_BOOSTFD_FILE_HEADER
#define STXXL_BEGIN_NAMESPACE
static const size_t bytes
number of bytes in uint_pair
#define STXXL_END_NAMESPACE