stardog-union / rocksdb

GNU General Public License v2.0
4 stars 1 forks source link

Bugfix: Let buffer_size_ in WriteBufferManager be dynamically changed #19

Closed matthewvon closed 4 years ago

matthewvon commented 4 years ago

Existing Facebook code sets WriteBufferManager's buffersize parameters once at database start up. The system might need to lower that value as column families and/or .sst files begin to chew up RAM. The start up value comes from db_write_buffer_size.

This modification allows an informed user to pass an application created WriteBufferManager within DBOptions and subsequently change its internal buffersize as needed.