Guest User

Untitled

a guest
Jul 19th, 2018
70
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.20 KB | None | 0 0
  1. initial_buffer_size = file_size / max_record_size + 1 (/ is integer division)
  2.  
  3. resize_size =
  4. prev_buffer_size
  5. + bytes_not_read / ( bytes_already_read / number_of_records_already_read )
  6. + 1
Add Comment
Please, Sign In to add comment