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: Nick_UK on Thursday, March 28 2013 @ 12:31 PM EDT
But to be honest, this is all the same thing. It is only mathematical notation
that is different, not the calculations/maths.

Nick

[ Reply to This | Parent | # ]

The Linux kernel does not use floating point
Authored by: PJ on Thursday, March 28 2013 @ 01:36 PM EDT
Hmm. I wonder if Red Hat can get its legal fees paid,
then?

[ Reply to This | Parent | # ]

The Linux kernel does not use floating point
Authored by: Anonymous on Thursday, March 28 2013 @ 01:55 PM EDT
I believe that the actual floating point math happens in the
FPU portion of the CPU. In older machines that could have
been a separate chip. One might have to poke around in the
C (or what ever other langauge that supports FP math)
libraries to see what actually happens. I seem to recall
that some libraries could be compiled to do FP calculations
in software if the computer did not have an FPU, but it would
be at a much slower speed of course.

[ Reply to This | Parent | # ]

The Linux kernel does not use floating point
Authored by: Anonymous on Thursday, March 28 2013 @ 03:44 PM EDT
Fixed point is not covered by the
claim because the claim specifically
point out that the format contains an
exponent which by definition fixed
point does not.

I've not looked inside the Linux
kernel recently but it's very unlikely
that it uses the floating point
registers other than to save/restore
them on context switches.

[ Reply to This | Parent | # ]

More importantly Rackspace would only be running machines with hardware floating point
Authored by: globularity on Friday, March 29 2013 @ 05:46 AM EDT
While there are many embedded processors and old intel processors which do not
have hardware floating point processors, I cannot think of any mainstream server
processors which do not have a hardware floating point unit, so even if the
kernel had libraries which infringed the trolls junk patent, they would never be
called.

---
Windows vista, a marriage between operating system and trojan horse.

[ 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 )