On 03/12/2020 09:50, A. Dumas wrote:
> my Ubuntu 20.10 Desktop 64-bit seems consistently a little slower at
> around 7.885s. Not doing anything else so I can't imagine it's
> background tasks. Perhaps slightly different libraries or compiler
> settings for factor?
Don't disregard the fact that the clock rate may be slightly different.

I have no idea what a pi uses as a master clock oscillator, or whether
it is a variable thing.

Ah.

"Although 1.5GHz is its maximum speed, Raspberry Pi typically idles at
600MHz and switches to the maximum speed when needed. Overclocking is
the process of setting a higher maximum speed for computer components.
We can adjust the settings in config.txt to overclock both the CPU and
GPU (graphics processing unit).

We’ve experimented with speeds up to 2.147GHz for the CPU and 750MHz for
the GPU (up from its 500MHz default). These are the kinds of speeds
found on high-end desktop computers.

Your mileage will vary and, if Raspberry Pi gets too hot, it will slow
right down. Experimenting with overclocking will crash Raspbian, and
there is a high chance your Raspberry Pi will refuse to start at some
point. If programs start crashing, or Raspbian refuses to start, you
will need to dial back on the speed. But overclocking is fun and
potentially a way to get more from Raspberry Pi."

So it seems that it is all variable


--
"The most difficult subjects can be explained to the most slow witted
man if he has not formed any idea of them already; but the simplest
thing cannot be made clear to the most intelligent man if he is firmly
persuaded that he knows already, without a shadow of doubt, what is laid
before him."

    - Leo Tolstoy

--- SoupGate-Win32 v1.05