[PATCH]erase block header(revision 4)
Artem B. Bityutskiy
dedekind at yandex.ru
Mon Oct 3 10:43:04 EDT 2005
Jörn Engel wrote:
> Bad suggestion then. Try to draw a complete graph of all possible
> users to this static structure, the locking required to make it
> correct, then prove its correctness.
Oh, It is not constant anymore (we have the "erasecount" filed there).
Right. It must not be static. Zhao, I apologize for incorrect suggestion.
> If that didn't already scare you to death, try to anticipate future
> code changes to such brittle code.
Yes, yuo could have just proved its incorrectnes in 2-3 words instead.
Artem B. Bityuckiy,
More information about the linux-mtd