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
Dr. Mitchell teaches cs242 - programming languages | 439 comments | Create New Account
Comments belong to whoever posts them. Please notify us of inappropriate comments.
Dr. Mitchell teaches cs242 - programming languages
Authored by: Anonymous on Monday, May 14 2012 @ 09:46 PM EDT
Let's throw another inconvenient fact into the discussion.

OK, so let's say this index (17) is a SYMBOL. This whole discussion is about
dereferencing a symbol just once, so next time you don't have to do all the same
work over again. (Reality check: looking up a symbol in a table/database is
expensive, that's why you don't want to do it everytime--you want to do it the
first time, then save the actual location for all future uses.)

BUT, BUT: these indexes are NOT dereferenced just once. In Dalvik, EVERY SINGLE
time that op code with that number is executed, exactly the same index
calculation is done--start with the base address of the array, add index value
times array element size. The instruction isn't changed: next time through, the
same "symbol" (really an index is still sitting there.

So the underlying patent can't possibly be infringed.

As numerous people have said, Dr. Mitchell teaches Mendacity 101.

[ Reply to This | Parent | # ]

slide 13 is even better!
Authored by: Anonymous on Monday, May 14 2012 @ 09:49 PM EDT
He re's the slides again, from Prof. Mitchell's cs242 lecture on Java VMs..

The 13th slide contains this rather clear summary of how fields are accessed by Java bytecode instructions:

Field and method access

Instruction includes index into constant pool
- Constant pool stores symbolic names
- Store once, instead of each instruction, to save space

First execution
- Use symbolic name to find field or method

Second execution
- Use modified "quick" instruction to simplify search

(emphasis is mine)

So Prof. Mitchell's own teaching materials show that in a Java class, "symbolic names" are NOT contained in the bytecode instructions. Java's bytecode instructions only contain a numeric "index into [the] constant pool".

As several of Google's witnesses testified, Dalvik bytecode instructions also contain a similar numeric "index". And Prof. Mitchell agrees.


Now, Prof. Mitchell claimed in court today, that this numeric index was a "symbolic reference". Wouldn't that mean the numeric index in the Java bytecode instruction is also a "symbolic reference"?

But his own cs242 teaching material doesn't say that. It says symbolic names are stored in the constant pool, and used by the instruction when it is executed. This is a big difference. And a critical difference, as far as the '104 patent is concerned.

To his cs242 students, Prof. Mitchell presents the truth about how symbolic references work in a compiled Java .class file. But in court, he presents a very different story about how symbolic references work in a Dalvik .dex file.


Can anyone understand this teeny little discrepancy?

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