Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- initial_buffer_size = file_size / max_record_size + 1 (/ is integer division)
- resize_size =
- prev_buffer_size
- + bytes_not_read / ( bytes_already_read / number_of_records_already_read )
- + 1
Add Comment
Please, Sign In to add comment