From: Mike Frysinger <vapier@gentoo.org>
To: u-boot@lists.denx.de
Subject: [U-Boot] U-Boot Timer Qualification
Date: Tue, 28 Apr 2009 08:48:13 -0400 [thread overview]
Message-ID: <200904280848.14109.vapier@gentoo.org> (raw)
In-Reply-To: <20090428100806.GA4896@localhost.localdomain>
On Tuesday 28 April 2009 06:08:06 Ladislav Michl wrote:
> On Mon, Apr 27, 2009 at 03:28:28PM -0400, Mike Frysinger wrote:
> > if you want your points to have any meaning/usage, then they have to be
> > on the mailing list. irc is useless for people trying to search for
> > background information to a problem.
>
> I agree here, but I already gave up. And if "the real world timer
> verification" is now mandatory, I'll do it, as it will lead to the effect
> faster. The only thing I have to do is wait for a scope. I already run out
> of time I was supposed to spend with U-Boot, so everything I'm doing eats
> my spare time (sure, not an excuse ;-))
nothing has been mandated. we're simply a bunch of devs throwing around
random ideas to try and make u-boot more resilient to free flowing changes
that git development enables. a method to quickly validate user contributions
is great as we can then say "you have to verify your change against the XXX
test".
> To repeat it briefly. When dealing with 32bit underflow free running
> counter mathematical proof precission is sufficient as everyone can verify
> its correctness. Measurement in contrast needs either believe to device
> operator or independent verification and after that, custodian is supposed
> to decide whom to believe. In that case the most reliable way is to repeat
> measurement himself. So this method really doesn't improve situation a lot
> and does not take into account corner cases I described earlier.
i too would prefer a POST case that can be classified as a mathematically
sound proof. did i miss something, or was such a case proposed ?
> > as it stands, your e-mail simply reads as "i agree with what
> > Jean-Christophe said".
>
> Or more likely "I agree with what Wolfgang said" ;-)
well i'm glad you clarified because i missed the point of your e-mail
-mike
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part.
Url : http://lists.denx.de/pipermail/u-boot/attachments/20090428/f14851ad/attachment.pgp
next prev parent reply other threads:[~2009-04-28 12:48 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-04-22 20:49 [U-Boot] U-Boot Timer Qualification Jean-Christophe PLAGNIOL-VILLARD
2009-04-22 21:08 ` Wolfgang Denk
2009-04-22 21:28 ` Jean-Christophe PLAGNIOL-VILLARD
2009-04-22 22:18 ` Wolfgang Denk
2009-04-23 8:01 ` Ladislav Michl
2009-04-23 14:52 ` [U-Boot] IRC log?, was: " Dirk Behme
2009-04-27 19:28 ` [U-Boot] " Mike Frysinger
2009-04-28 10:08 ` Ladislav Michl
2009-04-28 12:48 ` Mike Frysinger [this message]
2009-04-28 13:41 ` Wolfgang Denk
2009-04-28 15:53 ` Mike Frysinger
2009-04-28 15:11 ` Ladislav Michl
2009-04-28 17:47 ` Wolfgang Denk
2009-04-29 16:48 ` Dirk Behme
2009-04-29 18:00 ` Wolfgang Denk
2009-04-29 19:26 ` Jean-Christophe PLAGNIOL-VILLARD
2009-04-29 22:21 ` Wolfgang Denk
2009-04-27 19:42 ` Mike Frysinger
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=200904280848.14109.vapier@gentoo.org \
--to=vapier@gentoo.org \
--cc=u-boot@lists.denx.de \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox