HomeSoftware Heritage

api: server: use BufferedWriter to dump map files

Description

api: server: use BufferedWriter to dump map files

Random access write using MMapOutputFile is slower than in-memory
ordering and sequential write using Java IO BufferedWriter.

Details

Provenance
haltodeAuthored on Jun 16 2019, 7:49 AM
haltodePushed on Jun 16 2019, 8:16 AM
Parents
rDGRPH0f35f18570ac: compression: rename '/app/' to '/graph-lib/'
Branches
Unknown
Tags
Unknown