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: Anonymous on Thursday, March 28 2013 @ 02:33 PM EDT
The surviving software implementations almost certainly follow
the IEEE guidelines now for floating point operations. The
standard has been in place for many years now and I doubt any
existing (generally available) libraries or hardware implement
anything else.
Besides, I can't imagine that rounding before (which would
mean rounding all terms) would be an improvement over rounder
after (rounding just the result.)

[ Reply to This | Parent | # ]

The Linux kernel does not use floating point
Authored by: Anonymous on Thursday, March 28 2013 @ 03:31 PM EDT
The kernel emulates floating point
instructions for machines that provide a
FPU only optionally. That would include
80386 class CPUs (although 80386 support
has been yanked recently), for example. At
least I think that's still the case,
emulation in user space would be too
inefficient.

[ Reply to This | Parent | # ]

The Linux kernel does not use floating point
Authored by: kenryan on Thursday, March 28 2013 @ 07:37 PM EDT
Yes, at least the 2.6.32 source tree I have lying around
provides in-kernel FPU emulation for certain processors (e.g.
Motorola 68000). Not all of them are IEEE either, but I
haven't looked to see if any pre-round numbers.


---
ken
(speaking only for myself, IANAL)

[ Reply to This | Parent | # ]

The Linux kernel does not use floating point
Authored by: Anonymous on Friday, March 29 2013 @ 01:43 AM EDT
Regardless, how could anyone breach the patent even if it was valid? Hardware
uses IEEE. Emulation uses IEEE. If the patent deviates from IEEE as it states,
no one following IEEE could be impacted unless they deliberately implemented
this patent instead of following the IEEE standard.

Even if the patent were 100% valid, I still wouldn't pay a dollar for it if I
were a patent troll because there would be no one to sue.

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