Re: Computer architects leaving Intel...

Liste des GroupesRevenir à c arch 
Sujet : Re: Computer architects leaving Intel...
De : mitchalsup (at) *nospam* aol.com (MitchAlsup1)
Groupes : comp.arch
Date : 27. Sep 2024, 19:01:40
Autres entêtes
Organisation : Rocksolid Light
Message-ID : <e6e636fc3a42c9a2718490a95b1f8a7f@www.novabbs.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Rocksolid Light
On Wed, 25 Sep 2024 2:49:07 +0000, Paul A. Clayton wrote:

On 9/22/24 6:19 PM, MitchAlsup1 wrote:
On Sun, 22 Sep 2024 20:43:38 +0000, Paul A. Clayton wrote:
>
On 9/19/24 11:07 AM, EricP wrote:
[snip]
If the multiplier is pipelined with a latency of 5 and throughput
of 1,
then MULL takes 5 cycles and MULL,MULH takes 6.
>
But those two multiplies still are tossing away 50% of their work.
>
I do not remember how multipliers are actually implemented — and
am not motivated to refresh my memory at the moment — but I
thought a multiply low would not need to generate the upper bits,
so I do not understand where your "50% of their work" is coming
from.
>
     +-----------+   +------------+
     \  mplier  /     \   mcand  /        Big input mux
      +--------+       +--------+
           |                |
           |      +--------------+
           |     /               /
           |    /               /
           +-- /               /
              /     Tree      /
             /               /--+
            /               /   |
           /               /    |
          +---------------+-----------+
                hi             low        Products
>
two n-bit operands are multiplied into a 2×n-bit result.
{{All the rest is HOW not what}}
>
So are you saying the high bits come for free? This seems
contrary to the conception of sums of partial products, where
some of the partial products are only needed for the upper bits
and so could (it seems to me) be uncalculated if one only wanted
the lower bits.
The high order bits are free WRT gates of delay, but consume as much
area as the lower order bits. I was answering the question of
"I do not remember how multipliers are actually implemented".

The high result needs the low result carry-out but not the rest of
the result. (An approximate multiply high for multiply by
reciprocal might be useful, avoiding the low result work. There
might also be ways that a multiplier could be configured to also
provide bit mixing similar to middle result for generating a
hash?)
>
I seem to recall a PowerPC implementation did semi-pipelined 32-
bit multiplication 16-bits at a time. This presumably saved area
and power
>
You save 1/2 of the tree area, but ultimately consume more power.
>
The power consumption would seem to depend on how frequently both
multiplier and multiplicand are larger than 16 bits. (However, I
seem to recall that the mentioned implementation only checked one
operand.) I suspect that for a lot of code, small values are
common.
It is 100% of the time in FP codes, and generally unknowable in
integer codes.
<snip>
>
My 66000's CARRY and PRED are "extender prefixes", admittedly
included in the original architecture so compensating for encoding
constraints (e.g., not having 36-bit instruction parcels) rather
than microarchitectural or architectural variation.
Since they cast extra bits over a number of instructions, and
while they precede the instructions they modify, they are not
classical prefixes--so I use the term Instruction-modifier instead.

[snip]>> (I feel that encoding some of the dependency information
could
be useful to avoid some of this work. In theory, common
dependency detection could also be more broadly useful; e.g.,
operand availability detection and execution/operand routing.)
>
So useful that it is encoded directly in My 66000 ISA.
>
How so? My 66000 does not provide any explicit declaration what
operation will be using a result (or where an operand is being
sourced from). Register names express the dependencies so the
dataflow graph is implicit.
I was talking about how operand routing is explicitly described
in ISA--which is mainly about how constants override register
file reads by the time operands get to the calculation unit.

I was speculating that _knowing_ when an operand will be available
and where a result should be sent (rather than broadcasting) could
be useful information.
It is easier to record which FU will deliver a result, the when
part is simply a pipeline sequencer from the end of a FU to the
entries in the reservation station.

Even with reduced operations per cycle, fusion could still provide
a net energy benefit.
>
Here I disagree:: but for a different reason::
>
In order for RISC-V to use a 64-bit constant as an operand, it has
to execute either::  AUPIC-LD to an area of memory containing the
64-bit constant, or a 6-7 instruction stream to build the constant
inline. While an ISA that directly supports 64-bit constants in ISA
does not execute any of those.
>
Thus, while it may save power seen at the "its my ISA" level it
may save power, but when seem from the perspective of "it is
directly supported in my ISA" it wastes power.
>
Yes, but "computing" large immediates is obviously less efficient
(except for compression), the computation part is known to be
unnecessary. Fusing a comparison and a branch may be a consequence
of bad ISA design in not properly estimating how much work an
instruction can do (and be encoded in available space) and there
is excess decode overhead with separate instructions, but the
individual operations seem to be doing actual work.
>
I suspect there can be cases where different microarchitectures
would benefit from different amounts of instruction/operation
complexity such that cracking and/or fusion may be useful even in
an optimally designed generic ISA.
>
[snip]
- register specifier fields are either source or dest, never both
>
This seems mostly a code density consideration. I think using a
single name for both a source and a destination is not so
horrible, but I am not a hardware guy.
>
All we HW guys want is the where ever the field is specified,
it is specified in exactly 1 field in the instruction. So, if
field<a..b> is used to specify Rd in one instruction, there is
no other field<!a..!b> specifies the Rd register. RISC-V blew
this "requirement.
>
Only with the Compressed extension, I think. The Compressed
extension was somewhat rushed and, in my opinion, philosophically
flawed by being redundant (i.e., every C instruction can be
expanded to a non-C instruction). Things like My 66000's ENTER
provide code density benefits but are contrary to the simplicity
emphasis. Perhaps a Rho (density) extension would have been
better.☺ (The extension letter idea was interesting for an
academic ISA but has been clearly shown to be seriously flawed.)
The R in RISC-V does not represent REDUCED.

16-bit instructions could have kept the same register field
placements with masking/truncation for two-register-field
instructions.
The whole layout of the ISA is sloppy...

              Even a non-destructive form might be provided by
different masking or bit inversion for the destination. However,
providing three register fields seems to require significant
irregularity in extracting register names. (Another technique
would be using opcode bits for specifying part or all of a
register name. Some special purpose registers or groups of
registers may not be horrible for compiler register allocation,
but such seems rather funky/clunky.)
>
It is interesting that RISC-V chose to split the immediate field
for store instructions so that source register names would be in
the same place for all (non-C) instructions.
Lipstick on a pig.

Comparing an ISA design to RISC-V is not exactly the same as
comparing to "best in class".
I don't even know if My 66000 can or should be termed RISC since
it is a bit closer to VAX but did not go so far as to allow all
operands to be constants--just one; the memory unit has a sequencer
to perform ENTER, EXIT, LDM, STM, MM, MS; the FPU has a sequencer
to do FDIV, SQRT, Log-family, exp-family, sin-family, arc-family
and pow, flow control unit has a sequencer to do PIC switch-case:
all while allowing other FUs to process instructions while those
sequencers run.
I postulate that My 66000 ISA is RISC because it actually IS a
Reduced instruction set computer--currently standing at 64
instructions including SIMD and vectors.

Date Sujet#  Auteur
12 Sep 24 * Re: Computer architects leaving Intel...109Tim Rentsch
12 Sep 24 +* Re: Computer architects leaving Intel...106Michael S
12 Sep 24 i+* Re: Computer architects leaving Intel...81David Brown
14 Sep 24 ii`* Re: Computer architects leaving Intel...80Michael S
15 Sep 24 ii +* Re: Computer architects leaving Intel...78Waldek Hebisch
15 Sep 24 ii i+- Re: Computer architects leaving Intel...1Thomas Koenig
15 Sep 24 ii i`* Re: Computer architects leaving Intel...76Michael S
15 Sep 24 ii i +* Re: Computer architects leaving Intel...2John Dallman
15 Sep 24 ii i i`- Re: Computer architects leaving Intel...1David Brown
15 Sep 24 ii i +* Re: Computer architects leaving Intel...51David Brown
15 Sep 24 ii i i`* Re: Computer architects leaving Intel...50Robert Finch
15 Sep 24 ii i i +* Re: Computer architects leaving Intel...46MitchAlsup1
15 Sep 24 ii i i i+* Re: Computer architects leaving Intel...38David Brown
15 Sep 24 ii i i ii`* Re: Computer architects leaving Intel...37MitchAlsup1
16 Sep 24 ii i i ii `* Re: Computer architects leaving Intel...36David Brown
16 Sep 24 ii i i ii  +* Re: Computer architects leaving Intel...7MitchAlsup1
16 Sep 24 ii i i ii  i`* Re: Computer architects leaving Intel...6David Brown
17 Sep 24 ii i i ii  i `* Re: Computer architects leaving Intel...5Waldek Hebisch
17 Sep 24 ii i i ii  i  `* Re: Computer architects leaving Intel...4David Brown
17 Sep 24 ii i i ii  i   +* Re: Computer architects leaving Intel...2Michael S
17 Sep 24 ii i i ii  i   i`- Re: Computer architects leaving Intel...1David Brown
17 Sep 24 ii i i ii  i   `- Re: Computer architects leaving Intel...1Brett
17 Sep 24 ii i i ii  `* Re: Computer architects leaving Intel...28Terje Mathisen
17 Sep 24 ii i i ii   +* Re: Computer architects leaving Intel...3Michael S
17 Sep 24 ii i i ii   i`* Re: Computer architects leaving Intel...2Terje Mathisen
17 Sep 24 ii i i ii   i `- Re: Computer architects leaving Intel...1Michael S
17 Sep 24 ii i i ii   +- Re: Computer architects leaving Intel...1MitchAlsup1
18 Sep 24 ii i i ii   +* Re: Computer architects leaving Intel...22Brett
19 Sep 24 ii i i ii   i+* Re: Computer architects leaving Intel...3MitchAlsup1
19 Sep 24 ii i i ii   ii`* Re: Computer architects leaving Intel...2Brett
19 Sep 24 ii i i ii   ii `- Re: Computer architects leaving Intel...1MitchAlsup1
19 Sep 24 ii i i ii   i+* Re: Computer architects leaving Intel...9MitchAlsup1
19 Sep 24 ii i i ii   ii`* Re: Computer architects leaving Intel...8Brett
19 Sep 24 ii i i ii   ii `* Re: Computer architects leaving Intel...7MitchAlsup1
20 Sep 24 ii i i ii   ii  +* Re: Computer architects leaving Intel...4Brett
20 Sep 24 ii i i ii   ii  i+* Re: Computer architects leaving Intel...2MitchAlsup1
20 Sep 24 ii i i ii   ii  ii`- Re: Computer architects leaving Intel...1Brett
20 Sep 24 ii i i ii   ii  i`- Re: Computer architects leaving Intel...1Terje Mathisen
20 Sep 24 ii i i ii   ii  +- Re: Computer architects leaving Intel...1Robert Finch
20 Sep 24 ii i i ii   ii  `- Re: Computer architects leaving Intel...1MitchAlsup1
19 Sep 24 ii i i ii   i+- Re: Computer architects leaving Intel...1Thomas Koenig
22 Sep 24 ii i i ii   i`* Re: Computer architects leaving Intel...8Paul A. Clayton
22 Sep 24 ii i i ii   i +* Re: Computer architects leaving Intel...3MitchAlsup1
25 Sep 24 ii i i ii   i i`* Re: Computer architects leaving Intel...2Paul A. Clayton
27 Sep 24 ii i i ii   i i `- Re: Computer architects leaving Intel...1MitchAlsup1
24 Sep 24 ii i i ii   i `* Re: Computer architects leaving Intel...4BGB-Alt
24 Sep 24 ii i i ii   i  +* Re: Computer architects leaving Intel...2MitchAlsup1
24 Sep 24 ii i i ii   i  i`- Re: Computer architects leaving Intel...1BGB
24 Sep 24 ii i i ii   i  `- Re: Computer architects leaving Intel...1Thomas Koenig
19 Sep 24 ii i i ii   `- Re: Computer architects leaving Intel...1Terje Mathisen
15 Sep 24 ii i i i`* Re: Computer architects leaving Intel...7Tim Rentsch
15 Sep 24 ii i i i +* Re: Computer architects leaving Intel...5MitchAlsup1
17 Sep 24 ii i i i i`* Re: Computer architects leaving Intel...4Tim Rentsch
17 Sep 24 ii i i i i `* Re: Computer architects leaving Intel...3MitchAlsup1
17 Sep 24 ii i i i i  +- Re: Computer architects leaving Intel...1Tim Rentsch
17 Sep 24 ii i i i i  `- Re: Computer architects leaving Intel...1Thomas Koenig
16 Sep 24 ii i i i `- Re: Computer architects leaving Intel...1David Brown
15 Sep 24 ii i i +- Re: Computer architects leaving Intel...1David Brown
15 Sep 24 ii i i `* Re: Computer architects leaving Intel...2Tim Rentsch
16 Sep 24 ii i i  `- Re: Computer architects leaving Intel...1Tim Rentsch
15 Sep 24 ii i +- Re: Computer architects leaving Intel...1Waldek Hebisch
15 Sep 24 ii i +* Re: Computer architects leaving Intel...20Anton Ertl
16 Sep 24 ii i i`* Re: Computer architects leaving Intel...19BGB
16 Sep 24 ii i i `* Re: Computer architects leaving Intel...18David Brown
16 Sep 24 ii i i  `* Re: Computer architects leaving Intel...17BGB
17 Sep 24 ii i i   `* Re: Computer architects leaving Intel...16David Brown
17 Sep 24 ii i i    `* Re: Computer architects leaving Intel...15BGB
17 Sep 24 ii i i     +* Re: Computer architects leaving Intel...2Thomas Koenig
17 Sep 24 ii i i     i`- Re: Computer architects leaving Intel...1BGB
17 Sep 24 ii i i     `* Re: Computer architects leaving Intel...12MitchAlsup1
17 Sep 24 ii i i      `* Re: Computer architects leaving Intel...11BGB
18 Sep 24 ii i i       `* Re: Computer architects leaving Intel...10MitchAlsup1
18 Sep 24 ii i i        `* Re: Computer architects leaving Intel...9BGB
18 Sep 24 ii i i         `* Re: Computer architects leaving Intel...8MitchAlsup1
18 Sep 24 ii i i          `* Re: Computer architects leaving Intel...7BGB
18 Sep 24 ii i i           `* Re: Computer architects leaving Intel...6MitchAlsup1
20 Sep 24 ii i i            `* Re: Computer architects leaving Intel...5BGB
20 Sep 24 ii i i             +- Re: Computer architects leaving Intel...1BGB
20 Sep 24 ii i i             `* Re: Computer architects leaving Intel...3MitchAlsup1
20 Sep 24 ii i i              +- Re: Computer architects leaving Intel...1BGB
21 Sep 24 ii i i              `- Re: Computer architects leaving Intel...1Niklas Holsti
15 Sep 24 ii i `- Re: Computer architects leaving Intel...1Tim Rentsch
15 Sep 24 ii `- Re: Computer architects leaving Intel...1David Brown
13 Sep 24 i`* Re: Computer architects leaving Intel...24Tim Rentsch
13 Sep 24 i +- Re: Computer architects leaving Intel...1Michael S
13 Sep 24 i `* Re: Computer architects leaving Intel...22Michael S
13 Sep 24 i  +- Re: Computer architects leaving Intel...1Tim Rentsch
13 Sep 24 i  `* Re: Computer architects leaving Intel...20Thomas Koenig
14 Sep 24 i   +* Re: Computer architects leaving Intel...2MitchAlsup1
14 Sep 24 i   i`- Re: Computer architects leaving Intel...1Thomas Koenig
14 Sep 24 i   `* Re: Computer architects leaving Intel...17Michael S
14 Sep 24 i    +- Re: Computer architects leaving Intel...1Thomas Koenig
14 Sep 24 i    `* Re: Computer architects leaving Intel...15Thomas Koenig
14 Sep 24 i     `* Re: Computer architects leaving Intel...14Michael S
15 Sep 24 i      +* Re: Computer architects leaving Intel...5Thomas Koenig
15 Sep 24 i      i`* Re: Computer architects leaving Intel...4Michael S
15 Sep 24 i      i +* Re: Computer architects leaving Intel...2Thomas Koenig
15 Sep 24 i      i i`- Re: Computer architects leaving Intel...1Michael S
15 Sep 24 i      i `- Re: Computer architects leaving Intel...1Waldek Hebisch
15 Sep 24 i      `* Re: Computer architects leaving Intel...8David Brown
15 Sep 24 i       `* Re: Computer architects leaving Intel...7Michael S
14 Sep 24 `* Re: Computer architects leaving Intel...2BGB

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal