From: "Artem B. Bityutskiy" <dedekind@yandex.ru>
To: "Jörn Engel" <joern@wohnheim.fh-wedel.de>
Cc: zhao forrest <zhao_fusheng@hotmail.com>, linux-mtd@lists.infradead.org
Subject: Re: [PATCH]erase block header(revision 4)
Date: Mon, 03 Oct 2005 18:43:04 +0400 [thread overview]
Message-ID: <43414378.80005@yandex.ru> (raw)
In-Reply-To: <20051003142851.GE4639@wohnheim.fh-wedel.de>
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.
next prev parent reply other threads:[~2005-10-03 14:47 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-10-03 13:40 [PATCH]erase block header(revision 4) zhao forrest
2005-10-03 13:50 ` Artem B. Bityutskiy
2005-10-03 14:28 ` Jörn Engel
2005-10-03 14:43 ` Artem B. Bityutskiy [this message]
2005-10-03 14:49 ` Jörn Engel
2005-10-09 6:08 ` zhao forrest
2005-10-09 7:06 ` Artem B. Bityutskiy
2005-10-09 10:35 ` Jörn Engel
2005-10-03 14:42 ` Jörn Engel
-- strict thread matches above, loose matches on Subject: below --
2005-09-28 7:33 zhao forrest
2005-09-30 1:15 ` root
2005-09-30 11:29 ` Jörn Engel
2005-10-03 11:23 ` Jörn Engel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=43414378.80005@yandex.ru \
--to=dedekind@yandex.ru \
--cc=joern@wohnheim.fh-wedel.de \
--cc=linux-mtd@lists.infradead.org \
--cc=zhao_fusheng@hotmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.