TPIE

11a2c2d
tpie::file_base::stream Class Reference

Stream in file. We support multiple streams per file. More...

#include <tpie/file_base.h>

Inherits tpie::stream_crtp< stream >.

Inherited by tpie::file< T >::stream.

Public Types

enum  offset_type
 Type describing how we should interpret the offset supplied to seek. More...
 

Public Member Functions

bool attached () const
 True if we are attached to a tpie::file. More...
 
memory_size_type block_items () const
 Fetch number of items per block. More...
 
 stream (file_base &file, stream_size_type offset=0)
 Create a stream associated with the given file. More...
 
void seek (stream_offset_type offset, offset_type whence=beginning)
 Moves the logical offset in the stream. More...
 
stream_size_type offset () const throw ()
 Calculate the current offset in the stream. More...
 
bool can_read () const throw ()
 Check if we can read an item with read(). More...
 
bool can_read_back () const throw ()
 Check if we can read an item with read_back(). More...
 
stream_size_type size () const throw ()
 Get the size of the file measured in items. More...
 

Protected Member Functions

block_tget_block ()
 
const block_tget_block () const
 
file_baseget_file ()
 
const file_baseget_file () const
 
void update_block_core ()
 
void update_vars ()
 
void attach_inner (file_base &f)
 Attach to the given tpie::file. If necessary, detach first. More...
 
void detach_inner ()
 Detach from a tpie::file. More...
 
void write_update ()
 Call whenever the current block buffer is modified. More...
 
void initialize ()
 Set up block buffers and offsets. More...
 
void update_block ()
 Fetch block from disk as indicated by m_nextBlock, writing old block to disk if needed. More...
 

Static Protected Member Functions

static void read_array (Stream &stream, const IT &start, const IT &end)
 Reads several items from the stream. More...
 
static void write_array (Stream &stream, const IT &start, const IT &end)
 Write several items to the stream. More...
 

Protected Attributes

block_tm_block
 Current block. More...
 
memory_size_type m_index
 Item index into the current block, or maxint if we don't have a block. More...
 
stream_size_type m_nextBlock
 After a cross-block seek: Block index of next block, or maxint if the current block is good enough OR if we haven't read/written anything yet. More...
 
memory_size_type m_nextIndex
 After a cross-block seek: Item index into next block. More...
 
stream_size_type m_blockStartIndex
 The file-level item index of the first item in the current block. More...
 

Friends

class stream_crtp< stream >
 

Detailed Description

Stream in file. We support multiple streams per file.

Definition at line 86 of file file_base.h.

Member Enumeration Documentation

◆ offset_type

Type describing how we should interpret the offset supplied to seek.

Definition at line 39 of file stream_crtp.h.

39  {
40  beginning,
41  end,
42  current
43  };

Constructor & Destructor Documentation

◆ stream()

tpie::file_base::stream::stream ( file_base file,
stream_size_type  offset = 0 
)

Create a stream associated with the given file.

Parameters
fileThe file to associate with this stream.
offsetThe file-level item offset to seek to.

Member Function Documentation

◆ attach_inner()

void tpie::file_base::stream::attach_inner ( file_base f)
protected

Attach to the given tpie::file. If necessary, detach first.

Referenced by tpie::file< T >::stream::attach().

◆ attached()

bool tpie::file_base::stream::attached ( ) const
inline

True if we are attached to a tpie::file.

Definition at line 113 of file file_base.h.

113 { return 0 != m_file; }

◆ block_items()

memory_size_type tpie::file_base::stream::block_items ( ) const
inline

Fetch number of items per block.

Definition at line 130 of file file_base.h.

130 {return get_file().m_blockItems;}

Referenced by tpie::file< T >::stream::write().

◆ can_read()

bool tpie::stream_crtp< stream >::can_read ( ) const
throw (
)
inlineinherited

Check if we can read an item with read().

This is logically equivalent to:

return offset() < size();

but it might be faster.

Returns
Whether or not we can read more items from the stream.

Definition at line 109 of file stream_crtp.h.

109  {
110  assert(self().get_file().is_open());
111  if (m_index < self().get_block().size ) return true;
112  return offset() < self().size();
113  }

◆ can_read_back()

bool tpie::stream_crtp< stream >::can_read_back ( ) const
throw (
)
inlineinherited

Check if we can read an item with read_back().

Returns
Whether or not we can read an item with read_back().

Definition at line 120 of file stream_crtp.h.

120  {
121  assert(self().get_file().is_open());
122  if (m_nextBlock == std::numeric_limits<stream_size_type>::max())
123  return m_index > 0 || m_blockStartIndex > 0;
124  else
125  return m_nextIndex > 0 || m_nextBlock > 0;
126  }

◆ detach_inner()

void tpie::file_base::stream::detach_inner ( )
protected

Detach from a tpie::file.

Referenced by tpie::file< T >::stream::detach().

◆ initialize()

void tpie::file_base::stream::initialize ( )
inlineprotected

Set up block buffers and offsets.

Definition at line 170 of file file_base.h.

170  {
171  if (m_block != &get_file().m_emptyBlock) get_file().free_block(m_block);
172  p_t::initialize();
173  m_block = &get_file().m_emptyBlock;
174  }

◆ offset()

stream_size_type tpie::stream_crtp< stream >::offset ( ) const
throw (
)
inlineinherited

Calculate the current offset in the stream.

Returns
The current offset in the stream

Definition at line 91 of file stream_crtp.h.

91  {
92  assert(self().get_file().is_open());
93  if (m_nextBlock == std::numeric_limits<stream_size_type>::max())
94  return m_index + m_blockStartIndex;
95  return m_nextIndex + m_nextBlock * self().get_file().block_items();
96  }

◆ read_array()

static void tpie::stream_crtp< stream >::read_array ( Stream &  stream,
const IT &  start,
const IT &  end 
)
inlinestaticprotectedinherited

Reads several items from the stream.

Implementation note: If your iterator type is efficiently copyable with std::copy, then this will also read efficiently from the internal TPIE buffer.

Template Parameters
ITThe type of Random Access Iterators used to supply the items.
Parameters
startIterator to the first spot to write to.
endIterator past the last spot to write to.
Exceptions
end_of_stream_exceptionIf there are not enough elements in the stream to fill all the spots between start and end.

Definition at line 166 of file stream_crtp.h.

166  {
167  typedef typename Stream::item_type T;
168  IT i = start;
169  while (i != end) {
170  if (stream.m_index >= stream.block_items()) {
171  // check to make sure we have enough items in the stream
172  stream_size_type offs = stream.offset();
173  if (offs >= stream.size()
174  || offs + (end-i) > stream.size()) {
175 
176  throw end_of_stream_exception();
177  }
178 
179  // fetch next block from disk
180  stream.update_block();
181  }
182 
183  T * src = reinterpret_cast<T*>(stream.get_block().data) + stream.m_index;
184 
185  // either read the rest of the block or until `end'
186  memory_size_type count = std::min(stream.block_items()-stream.m_index, static_cast<memory_size_type>(end-i));
187 
188  std::copy(src, src + count, i);
189 
190  // advance output iterator
191  i += count;
192 
193  // advance input position
194  stream.m_index += count;
195  }
196  }

◆ seek()

void tpie::stream_crtp< stream >::seek ( stream_offset_type  offset,
offset_type  whence = beginning 
)
inlineinherited

Moves the logical offset in the stream.

Parameters
offsetWhere to move the logical offset to.
whenceMove the offset relative to what.

Definition at line 51 of file stream_crtp.h.

51  {
52  assert(self().get_file().is_open());
53  if (whence == end)
54  offset += self().size();
55  else if (whence == current) {
56  // are we seeking into the current block?
57  if (offset >= 0 || static_cast<stream_size_type>(-offset) <= m_index) {
58  stream_size_type new_index = static_cast<stream_offset_type>(offset+m_index);
59 
60  if (new_index < self().get_file().block_items()) {
61  self().update_vars();
62  m_index = static_cast<memory_size_type>(new_index);
63  return;
64  }
65  }
66 
67  offset += self().offset();
68  }
69  if (0 > offset || (stream_size_type)offset > self().size())
70  throw io_exception("Tried to seek out of file");
71  self().update_vars();
72  stream_size_type b = static_cast<stream_size_type>(offset) / self().get_file().block_items();
73  m_index = static_cast<memory_size_type>(offset - b* self().get_file().block_items());
74  if (b == self().get_block().number) {
75  m_nextBlock = std::numeric_limits<stream_size_type>::max();
76  m_nextIndex = std::numeric_limits<memory_size_type>::max();
77  assert(self().offset() == (stream_size_type)offset);
78  return;
79  }
80  m_nextBlock = b;
82  m_index = std::numeric_limits<memory_size_type>::max();
83  assert(self().offset() == (stream_size_type)offset);
84  }

◆ size()

stream_size_type tpie::stream_crtp< stream >::size ( ) const
throw (
)
inlineinherited

Get the size of the file measured in items.

Returns
The number of items in the file.

Definition at line 133 of file stream_crtp.h.

133  {
134  // XXX update_vars changes internal state in a way that is not visible
135  // through the class interface.
136  // therefore, a const_cast is warranted.
137  const_cast<child_t&>(self()).update_vars();
138  return self().get_file().file_size();
139  }

◆ update_block()

void tpie::stream_crtp< stream >::update_block ( )
protectedinherited

Fetch block from disk as indicated by m_nextBlock, writing old block to disk if needed.

Update m_block, m_index, m_nextBlock and m_nextIndex. If m_nextBlock is maxint, use next block is the one numbered m_block->number+1. m_index is updated with the value of m_nextIndex.

◆ write_array()

static void tpie::stream_crtp< stream >::write_array ( Stream &  stream,
const IT &  start,
const IT &  end 
)
inlinestaticprotectedinherited

Write several items to the stream.

Implementation note: If your iterator type is efficiently copyable with std::copy, then this will also write efficiently into the internal TPIE buffer.

Template Parameters
ITThe type of Random Access Iterators used to supply the items.
Parameters
startIterator to the first item to write.
endIterator past the last item to write.

Definition at line 212 of file stream_crtp.h.

212  {
213  typedef typename Stream::item_type T;
214  IT i = start;
215  while (i != end) {
216  if (stream.m_index >= stream.block_items()) stream.update_block();
217 
218  size_t streamRemaining = end - i;
219  size_t blockRemaining = stream.block_items()-stream.m_index;
220 
221  IT till = (blockRemaining < streamRemaining) ? (i + blockRemaining) : end;
222 
223  T * dest = reinterpret_cast<T*>(stream.get_block().data) + stream.m_index;
224 
225  std::copy(i, till, dest);
226 
227  stream.m_index += till - i;
228  stream.write_update();
229  i = till;
230  }
231  }

◆ write_update()

void tpie::file_base::stream::write_update ( )
inlineprotected

Call whenever the current block buffer is modified.

Since we support multiple streams per block, we must always keep m_block->size updated when m_block is the trailing block (or the only block) in the file. For the same reasons we keep m_file->m_size updated.

Definition at line 140 of file file_base.h.

140  {
141  m_block->dirty = true;
142  m_block->size = std::max(m_block->size, m_index);
143  get_file().update_size(static_cast<stream_size_type>(m_index)+m_blockStartIndex);
144  }

Referenced by tpie::file< T >::stream::write().

Member Data Documentation

◆ m_block

block_t* tpie::file_base::stream::m_block
protected

Current block.

May be equal to &m_file->m_emptyBlock to indicate no current block.

Definition at line 107 of file file_base.h.

Referenced by tpie::file< T >::stream::read_mutable(), and tpie::file< T >::stream::write().

◆ m_blockStartIndex

stream_size_type tpie::stream_crtp< stream >::m_blockStartIndex
protectedinherited

The file-level item index of the first item in the current block.

When m_block is not the null block, this should be equal to m_block->number * block_items().

Definition at line 256 of file stream_crtp.h.

◆ m_index

memory_size_type tpie::stream_crtp< stream >::m_index
protectedinherited

Item index into the current block, or maxint if we don't have a block.

Definition at line 245 of file stream_crtp.h.

◆ m_nextBlock

stream_size_type tpie::stream_crtp< stream >::m_nextBlock
protectedinherited

After a cross-block seek: Block index of next block, or maxint if the current block is good enough OR if we haven't read/written anything yet.

Definition at line 249 of file stream_crtp.h.

◆ m_nextIndex

memory_size_type tpie::stream_crtp< stream >::m_nextIndex
protectedinherited

After a cross-block seek: Item index into next block.

Otherwise, maxint as with m_nextBlock.

Definition at line 252 of file stream_crtp.h.


The documentation for this class was generated from the following file:
std::copy
tpie::array_iter_base< TT, forward > copy(InputIterator first, InputIterator last, tpie::array_iter_base< TT, forward > d_first)
std::copy template specialization for tpie::array as output.
Definition: array.h:743
tpie::stream_crtp< stream >::m_nextBlock
stream_size_type m_nextBlock
After a cross-block seek: Block index of next block, or maxint if the current block is good enough OR...
Definition: stream_crtp.h:249
tpie::stream_crtp< stream >::m_index
memory_size_type m_index
Item index into the current block, or maxint if we don't have a block.
Definition: stream_crtp.h:245
tpie::file_base::stream::m_block
block_t * m_block
Current block.
Definition: file_base.h:107
tpie::stream_crtp< stream >::size
stream_size_type size() const
Get the size of the file measured in items.
Definition: stream_crtp.h:133
tpie::stream_crtp< stream >::m_nextIndex
memory_size_type m_nextIndex
After a cross-block seek: Item index into next block.
Definition: stream_crtp.h:252
tpie::stream_crtp< stream >::m_blockStartIndex
stream_size_type m_blockStartIndex
The file-level item index of the first item in the current block.
Definition: stream_crtp.h:256
tpie::stream_crtp< stream >::offset
stream_size_type offset() const
Calculate the current offset in the stream.
Definition: stream_crtp.h:91