public inbox for u-boot@lists.denx.de
 help / color / mirror / Atom feed
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 

  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