decoration decoration
Stories

GROKLAW
When you want to know more...
decoration
For layout only
Home
Archives
Site Map
Search
About Groklaw
Awards
Legal Research
Timelines
ApplevSamsung
ApplevSamsung p.2
ArchiveExplorer
Autozone
Bilski
Cases
Cast: Lawyers
Comes v. MS
Contracts/Documents
Courts
DRM
Gordon v MS
GPL
Grokdoc
HTML How To
IPI v RH
IV v. Google
Legal Docs
Lodsys
MS Litigations
MSvB&N
News Picks
Novell v. MS
Novell-MS Deal
ODF/OOXML
OOXML Appeals
OraclevGoogle
Patents
ProjectMonterey
Psystar
Quote Database
Red Hat v SCO
Salus Book
SCEA v Hotz
SCO Appeals
SCO Bankruptcy
SCO Financials
SCO Overview
SCO v IBM
SCO v Novell
SCO:Soup2Nuts
SCOsource
Sean Daly
Software Patents
Switch to Linux
Transcripts
Unix Books

Gear

Groklaw Gear

Click here to send an email to the editor of this weblog.


You won't find me on Facebook


Donate

Donate Paypal


No Legal Advice

The information on Groklaw is not intended to constitute legal advice. While Mark is a lawyer and he has asked other lawyers and law students to contribute articles, all of these articles are offered to help educate, not to provide specific legal advice. They are not your lawyers.

Here's Groklaw's comments policy.


What's New

STORIES
No new stories

COMMENTS last 48 hrs
No new comments


Sponsors

Hosting:
hosted by ibiblio

On servers donated to ibiblio by AMD.

Webmaster
The Linux kernel does not use floating point | 661 comments | Create New Account
Comments belong to whoever posts them. Please notify us of inappropriate comments.
The Linux kernel does not use floating point
Authored by: PolR on Thursday, March 28 2013 @ 01:50 PM EDT
Red Hat distributes more than just the Linux kernel. The infringement may be
anywhere in the distribution.

What puzzles me is that floating point in software usually relies on the
corresponding hardware instructions. It is the hardware that does the
calculations. But Uniloc claim they have patented an improvement over the
ordinary IEEE standard for floating point hardware. So where is the accused
infringing implementation? I suspect even Uniloc doesn't know the answer.

[ Reply to This | Parent | # ]

The Linux kernel does not use floating point
Authored by: hAckz0r on Friday, March 29 2013 @ 11:38 AM EDT
They should.

All floating point operations are handled by the hardware FPU unit, introduced as the optional 8087 processor in 1980, and later integrated into the core CPU with the 80487DX line of processors. To my knowledge there is no x86 processor without a hardware FPU on the main silicon die. As a consequence, none of the floating point operations are done is software, in any mainstream Linux distribution except for perhaps some embedded processors for micro-controllers that lack that physical hardware.

GCC on the other hand can be forced to use floating point emulation, but that is not the default. One would only resort to that if there is no support hardware, or that hardware was insufficient to perform the required operations.

Bottom line, if you have such a patent, sue Intel. But you will have a real hard time proving there is no prior art here. What's more, you need to prove that the registers in that CPU/emulation-layer carry out the required operations down to the number of bits specified in the patent for each sub-register, for each step, binary test, or comparison found in the said algorithm. Look at the patent diagrams to see how specific those bit alignments are in the patent. Whether implemented in hardware or software, you can't make a bit test or comparison if you don't store the information that needs to be tested.

What really bothers me about some of these patents, is they include specific information (e.g. diagrams) in the patent that are in turn are completely ignored when it comes to the claims section. Which is it? Do you use 'registers' the way they are depicted in the diagrams or don't you? If so, SAY that in the claims section, exactly how is is done! If the claims are over-broad, such that the patent can be applied where it was not intended, then the patent should be rejected as a consequence. If you have a diagram it should be supported *in* the claims, not just pretty pictures to fill up space.

---
The Investors IP Law: The future health of a Corporation is measured as the inverse of the number of IP lawsuits they are currently litigating.

[ Reply to This | Parent | # ]

Groklaw © Copyright 2003-2013 Pamela Jones.
All trademarks and copyrights on this page are owned by their respective owners.
Comments are owned by the individual posters.

PJ's articles are licensed under a Creative Commons License. ( Details )