Orz日記 by Akio Morita

_ [FreeBSD]recoverdisk errata

FreeBSD/amd64環境にて、sectorsizeが non-zeroかつ stripsizeが zeroの レアケースで発生するrecoverdiskのerrataです

stable/9で見つけましたが、headにも同様の問題があると思われる

• Cではioctl(2)のような任意引数を受ける APIで型検査が出来ない
• DIOCGSECTORSIZE/DIOCGSTRIPESIZE ioctlは u_int/off_t型を書き戻す
• LP64環境では、u_intは 32bit unsigned int、off_tは 64bit signed intである
• stripesize/sectorsizeの順に連続した領域に割り当てられている(コンパイラ依存)

結果として、ioctl(fdr, DIOCGSECTORSIZE, &sectorsize)の呼び出し後に ioctl(fdr, DIOCGSTRIPESIZE, &stripesize)を呼び出した時点で、sectorsize が上書きされて zeroになり bigsize = (bigsize / sectorsize) * sectorsize にて除算例外が発生する

diskinfoは正しく実装されてるのでケアレスミスの類ですが off_t型を返す ioctlの実装が直感的では無い気がします

DIOCGSTRIPESIZEと対になるDIOCGSTRIPEOFFSETが off_t型を返すのは当然ですが、 値の範囲は stripe offsetと同じなので同じ型なのだと思いますが、 本来は DIOCGSECTORSIZE/DIOCGSTRIPESIZE共に size_t型で戻す方が 現代的な Cの型システム的には自然に思えます

Index: sbin/recoverdisk/recoverdisk.c
===================================================================
--- sbin/recoverdisk/recoverdisk.c	(revision 247904)
+++ sbin/recoverdisk/recoverdisk.c	(working copy)
@@ -156,7 +156,7 @@
 	int error, state;
 	u_char *buf;
 	u_int sectorsize;
-	u_int stripesize;
+	off_t stripesize;
 	time_t t1, t2;
 	struct stat sb;
 	u_int n, snapshot = 60;