Email or username:

Password:

Forgot your password?
Ken's posts Post Back to profile
Top-level
Ken Shirriff

This closeup of the PLA shows the individual transistors that define the contents of the lookup table. Five entries were missing from the table, causing very rare errors in division.
14 November at 1:10 | Open on oldbytes.space
6 comments
penguin42

@kenshirriff Oh great - you found it! Nice! I did have my P90 replaced!

14 November at 1:13 | Open on mastodon.org.uk
J. Peterson

@kenshirriff If the PLA bits are defined in the long thin structures on the right, I wonder if the missing bits are at the bottom? That section is suspiciously devoid of the various marks the rest of the structure has.

Amazing find!

14 November at 1:30 | Open on mastodon.social
Ken Shirriff

@isonno Good eye to spot the unused entries at the bottom! Those aren't the missing entries, though. The mathematical table got encoded into Boolean equations, which are stored in the PLA. There is not easy mapping between the table and what you see on the die. In fact, the fixed Pentiums have *fewer* entries in the PLA due to the way the equations work out.

14 November at 3:02 | Open on oldbytes.space
Tommy Thorn

@kenshirriff "Rare" is a bizarre phrasing (clearly one Intel liked to use). It's trivial to reproduce this a few million times a second and indeed, it was original found on a real-world application.

14 November at 2:07 | Open on chaos.social
Teknikal_Domain

@kenshirriff As stated by Wikipedia:

In order to improve the speed of floating-point division calculations [...] Intel opted to replace the shift-and-subtract division algorithm with the Sweeney, Robertson, and Tocher (SRT) algorithm. [...] It is implemented using a programmable logic array with 2,048 cells, [...] When the original array for the Pentium was compiled, five values were not correctly sent to the equipment that etches the arrays into the chips – thus five of the array cells contained zero when they should have contained +2.

As a result, calculations that rely on these five cells acquire errors; these errors can accumulate repeatedly owing to the recursive nature of the SRT algorithm.

--

First time I've actually seen pictures of the relevant parts of the die though. Amazing!

@kenshirriff As stated by Wikipedia:

In order to improve the speed of floating-point division calculations [...] Intel opted to replace the shift-and-subtract division algorithm with the Sweeney, Robertson, and Tocher (SRT) algorithm. [...] It is implemented using a programmable logic array with 2,048 cells, [...] When the original array for the Pentium was compiled, five values were not correctly sent to the equipment that etches the arrays into the chips – thus five of the array cells contained...

14 November at 2:48 | Open on mastodon.tekdmn.me
Evan Beaver

@kenshirriff It is mind blowing that you can do this

14 November at 3:31 | Open on mastodon.social
Go Up