Searched refs:partition_index (Results 1 – 1 of 1) sorted by relevance
1522 size_t partition_index = current_partition_; in CheckpointUpdateProgress() local1523 while (next_operation_num_ >= acc_num_operations_[partition_index]) { in CheckpointUpdateProgress()1524 partition_index++; in CheckpointUpdateProgress()1528 (partition_index ? acc_num_operations_[partition_index - 1] : 0); in CheckpointUpdateProgress()1530 partitions_[partition_index].operations(partition_operation_num); in CheckpointUpdateProgress()