// <number of files>
// <used file prefix 0><used file prefix 1>...
// <aggregator data length><aggregators as a serialized JSON byte array>
FSDataOutputStream finalizedOutputStream =
getFs().create(finalizedCheckpointPath);
finalizedOutputStream.writeInt(chosenWorkerInfoList.size());
for (WorkerInfo chosenWorkerInfo : chosenWorkerInfoList) {
String chosenWorkerInfoPrefix =
getCheckpointBasePath(superstep) + "." +
chosenWorkerInfo.getHostnameId();
finalizedOutputStream.writeUTF(chosenWorkerInfoPrefix);