[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.

-- 
Best Regards,
Artem B. Bityuckiy,
St.-Petersburg, Russia.





More information about the linux-mtd mailing list