削除についてはjournal領域変更が先、データ領域変更が後

[yuezato]

No description provided.

[sile]

LGTM

[shinnya]

@yuezato Please explain why this change was required.

[shinnya]

I've found that the reason why this change was required was discussed on gitter.

[yuezato]

後でGitterを遡るのは辛いので念のため書いておきます。

最大の理由は、delete_if_existsが行っているようにジャーナル領域への削除通知を先に行い、その上でデータ領域の削除を行うという流れにしたかったから、です:

cannyls/src/storage/mod.rs

Lines 371 to 386 in b908df6

	fn delete_if_exists(&mut self, lump_id: &LumpId, do_record: bool) -> Result<bool> {
	if let Some(portion) = self.lump_index.remove(lump_id) {
	self.metrics.delete_lumps.increment();
	if do_record {
	track!(self
	.journal_region
	.records_delete(&mut self.lump_index, lump_id,))?;
	}
	if let Portion::Data(portion) = portion {
	self.data_region.delete(portion);
	}
	Ok(true)
	} else {
	Ok(false)
	}
	}

ジャーナル領域への削除通知を後回しにしてしまうと、ジャーナル領域変更直前にcannylsがクラッシュした場合、復旧後にはcannylsのindex情報復元の都合上、削除前の状態に巻き戻ってしまいます。

何らかの性質を満たすためにdelete_rangeでジャーナル領域への変更を後ろに回しているなら良かったのですが、そういうわけではなかったので、この段階で自然な計算の流れに戻しました。

[shinnya]

ありがとうございます