Handle the case of referent clearing during tracing.

Reference objects with non-null referent fields are collected during
tracing for processing after the trace has completed.  Before the
trace was made concurrent there was no way for a reference with a
non-null referent field to have its referent become null by any action
of the garbage collector after it was discovered.  Assertions were
placed in the reference processing code to check this invariant.

After the trace was made concurrent it became possible for a user to
clear the referent field of an already discovered reference.  This
violates the assertions in the reference processing code.

This change replaces the assertions in the reference processing code
with logic to deal with null referent fields.  The assert in the
SoftReference preservation code has been converted to a continue that
short circuits the preservation logic.  The assert in the white
reference clearing code short circuits the clearing and enqueueing.

Bug: 3342757
Change-Id: I967b011485e2691b2752500a3488fbcb54f129d3

am 15e4a632: Handle the case of referent clearing during tracing.

* commit '15e4a6325289d37ae9264f6c072d5071905c6929':
  Handle the case of referent clearing during tracing.

Handle the case of referent clearing during tracing.

Reference objects with non-null referent fields are collected during
tracing for processing after the trace has completed.  Before the
trace was made concurrent there was no way for a reference with a
non-null referent field to have its referent become null by any action
of the garbage collector after it was discovered.  Assertions were
placed in the reference processing code to check this invariant.

After the trace was made concurrent it became possible for a user to
clear the referent field of an already discovered reference.  This
violates the assertions in the reference processing code.

This change replaces the assertions in the reference processing code
with logic to deal with null referent fields.  The assert in the
SoftReference preservation code has been converted to a continue that
short circuits the preservation logic.  The assert in the white
reference clearing code short circuits the clearing and enqueueing.

Change-Id: I77bd18cd1ad52e9f457b0f9b1d4e1403e5de1a98

am 05bdc2f8: Merge "Check VMRuntime.addressOf is actually passed an array." into honeycomb

* commit '05bdc2f83cf5c64555c3acc94449e8baeb4d48f8':
  Check VMRuntime.addressOf is actually passed an array.

Merge "Check VMRuntime.addressOf is actually passed an array." into honeycomb

am b16add6a: Merge "Remove obsolete comments about small and large object heaps." into honeycomb

* commit 'b16add6aec5e35743f19ab540630128730263b7f':
  Remove obsolete comments about small and large object heaps.

Check VMRuntime.addressOf is actually passed an array.

Change-Id: I9571f13f397303963a99e380f9e1f8ef45fd504a

Merge "Remove obsolete comments about small and large object heaps." into honeycomb

Remove obsolete comments about small and large object heaps.

It looks like somebody intended to perform segregation of objects by
their size.  This was never implemented and the terminology is similar
to what is used by a forthcoming API.

Change-Id: Iff016781fedefd55961c5c5168569c83ecdf5258

am e0124545: (-s ours) am 6159ef45: Parameterize instance counting to include subclasses.

* commit 'e012454580d01d6739864d303908d3699e3153e2':
  Parameterize instance counting to include subclasses.

Move nio direct byte buffers onto the Java heap.

Specifically, implement VMRuntime.newNonMovableArray and VMRuntime.addressOf.
For now these are pretty trivial because we don't have a copying collector,
but this (a) prevents code from allocating arbitrary amounts of direct byte
buffer without being charged for it, and (b) lets us move to a copying
collector in future.

Change-Id: I5de156dc8ac4ab5c997e18d447f635eb01ff08ab

am 6159ef45: Parameterize instance counting to include subclasses.

* commit '6159ef4520073ae8e7ce7b7d1f7648b161a33302':
  Parameterize instance counting to include subclasses.

jniRegisterNativeMethods should abort on failure

The jniRegisterNativeMethods function currently behaves like the
RegisterNatives function that it wraps, returning 0 on success and
nonzero on failure.  However, this is an internal-only function used
by bits of infrastructure that should never fail to initialize.  By
aborting sooner we make the failure impossible to ignore.

This doesn't appear to break anything.

Bug 3323089

Change-Id: I48d1b02d90616d4c9ee01eb0e46cb61752727c5b

Merge "Fix JNI GetMethodID on interfaces" into honeycomb

Fix JNI GetMethodID on interfaces

The GetMethodID call was only searching through methods declared by
classes and superclasses.  If you passed it an interface class and
asked for a method declared in a superinterface, the call would fail.
We now have separate code for handling lookups on interfaces.

This also refactors some similar code in the interface method resolver.

Bug 3329492

(Cherry-pick from dalvik-dev)

Change-Id: Icaf744b9e75a1fd6d99f47281002cc6b3c36e368

Fix EABI call bridge.

Fix two bugs in the "slow" path, which is only exercised when calling a
native method with more than 28 words of arguments.  First, the code wasn't
skipping past the return type in the shorty signature, so the stack layout
was likely to be messed up if you had long/double args.  Second, the type
check on the value destined for r3 was broken, which would cause problems
if the method's first arg was 32-bit and the second arg was 64-bit.

Bug 3328925

(Cherry-pick from dalvik-dev)

Change-Id: I30a1972cf394dad993df574f17b8770ba9e840dd

More Jit-to-Interp entry point cleanup.

Only register entry points dispatched through [r6+#offset] in
JitToInterpEntries.

For ARM targets check the size of JitToInterpEntries explicitly to
make sure that its last entry is within 128 byte from InterpState
due to the Thumb codegen constraint.

Change-Id: I74184115cb3a3c89afc3a5fe53685671d9cb1027

Parameterize instance counting to include subclasses.

Don't treat dvmJitToPatchPredictedChain as a Jit-to-Interp entry point.

It is just a native callout helper function.

Change-Id: I6398b6876f5ba579b76e732107157a4c99337796

[Jit] Fix for 3311468 Maps crashed at handleFmt...

Change https://android-git.corp.google.com/g/#change,86452 eliminated unused
chaining cells for direct JNI calls.   However, a code path in CodegenDriver.c
assumed all similar invokes would have such cells.  Slightly re-arranged the
to avoid relying on the existance of the cell in cases in which it isn't
needed.

Change-Id: Ifc28acf559455a292b4b915ef1302085557e1d81

Merge "Restore a few external allocation constants for compatibility."

Eliminate the chaining cells for direct JNI calls.

The JNI code is dispatched through TEMPLATE_INVOKE_METHOD_NATIVE, so
having a chaining cell for a non-virtual native call simply wastes
space.

Change-Id: Iaf944f745a0723a7772ea168fb35f79e79b21fae

Restore a few external allocation constants for compatibility.

Aspects of the external allocation facility were exposed through the
VMDebug getAllocCount method.  In a previous change I removed all of
the references to external allocation from getAllocCount.  This had
the unfortunate side effect of breaking some CTS tests and causing the
VM to abort if the old constants were provided to getAllocCount on an
asserts enabled dalvik build.

The straight forward workaround seems to be to restore the special
treatment of these values in getAllocCount for as long as we support
the public interfaces of the external allocation facility.  An easier
way out may have been to make the failure case of getAllocCount return
0 instead of -1 and aborting on an asserts build.  Without some
analysis of API usage in market I would prefer to not change the -1
return value to 0 as it seems the thread counts currently return -1.

This change also eliminates the conditional export of the enum values
related to external allocation.  Those values are published API so it
makes no sense to maintain a way to guard their inclusion.

Change-Id: I49c173e0ec305536760c7aec15eebdc29213fc56

Revert "Remove inline natives for an unused performance test."

This reverts commit 7ecd89dc02ce00c425788bd4989bdb6cde9a618a.

Change-Id: I427635b7e3f7be45cfde78b8046dab3b23b64562

Update DalvikVersion due to removed NativeTestTarget

Change-Id: I891b63a676b6c3f12fdbc5858ef12f235bc1b9c1

Remove inline natives for an unused performance test.

Change-Id: I80cfb918bdf174aeb6de83909c840563f6b945dd

Simplify the interface for waiting for a concurrent GC to complete.

Previously, there was no guarantee that a GC would have completed when
the waiting routine returned.  This was an oversight, and the workaround
became to wait in a loop that tested the condition that the GC running
flag was not set.  The right fix was always to push the loop into the
waiting routine itself to keep the interface simple.  This change backs
out the hack, moving the waiting loop to where it belongs.

Change-Id: Idc6ab6e5d4379a5da27e9e115d23d4123c7cacc4

Remove the external allocation facility.

Change-Id: Iff508a9173382f29c67ca9e6eb6f65855dce0be4

Expose sysCopyFileToFile() and use it.

Moved from ZipArchive.c, with tweaks to for argument order and name. Also
tweaked a related function in ZipArchive to match.

Change-Id: I4d2e3c8b44386d87c5aa1c4565f72da87357fce8

Hook up the preexisting RawDexFile opener.

This one is similar in functionality to what's in JarFile.

I also made a couple minor (whitespace/comment/logging) changes to
JarFile where I spotted the opportunities.

This change makes it so that, if you happen to put a plain dex file on
your classpath (e.g., "dalvikvm -classpath /data/local/blort.dex
Blort"), it will actually be able to be used. This was documented as
working, but it was a lie...until now.

Change-Id: I2c93a8fdb40afa2d920904ab1235b7909e5837f8

Merge "Initialize my field."

Initialize my field.

<self-flagellation/>We can't count on malloc() to hand us zeroed
memory. I should know better by now.</self-flagellation>

Change-Id: If63c9d213982236e6e0362d03a4dd772b15bc73c

Merge "Never write an hprof record for a null root."

Never write an hprof record for a null root.

The old hprof implementation was never presented with null references
but with the new visitor based implementation null references are a
possibility.  With this change, the root visitor short circuits after
encountering a null reference and does write to the hprof file.

Change-Id: I38e8808a6ea43cb4361582ada4714f20ace7bea6

Plumbing for loading byte[]-based dex files.

This is obviously incomplete, but it's at least similarly incomplete
to the related code path it's right next to.

Change-Id: I06af6df3a4c2d648bf5b61b30a1ed5bbab4d170e

Add a new, optional "is sensitive thread?" hook.

The Android framework implements this hook in Ie6f58d130a29.

Bug: 3226270
Change-Id: I7342248e5699a22b71647e7cfeec52ec871cefaf

Fix a bug in hprof that corrupted the root set output.

The root visitor takes an Object ** but the hprof output assumed an
Object *.  As such, bad root set object ids were written to the hprof
dump and, by extension, objects reachable only from the roots either
looked like floating garbage or were wholly omitted from the output.

Change-Id: I58b31b6ad145fa9843ecbda630ed8b6ab951d931

Various improvements to dexdeps.

This includes:
* Adding an option to only produce lists of dependent classes (and not
  also fields and methods).
* Adding the ability to process multiple files on a single invocation.
* Adding a label at the head of the section for each file.
* Neatening up Output a bit by factoring "System.out" into a static field.

Change-Id: Id9a691d23afd18f82ab3790cb760cfd12e14bc86

Throw useful detail messages when Method.invoke fails.

Part of my general push for better exceptions.

(Cherry-pick from dalvik-dev of https://android-git.corp.google.com/g/83287.)

Change-Id: I0cd47b492fbdc52db2eef8e2a02f31bda2a086eb

Merge remote branch 'goog/dalvik-dev' into dalvik-dev-to-master

am 91b93ea4: Fix monitor verification.

* commit '91b93ea496e8c86f410f302a94c2adf0fc9d8189':
  Fix monitor verification.

Minor simplification.

Change-Id: Ie17ba83ead45028a8b7b32c1cc5763f9dd6d684c

Merge "Fix stupid copy-paste error." into dalvik-dev

Fix stupid copy-paste error.

Change-Id: I1ad1e8c26ec47b9b148fc6a4292afa2ee25e58e2

Merge "These asserts are no longer pointless." into dalvik-dev

These asserts are no longer pointless.

Change-Id: I32cfd2334de344156a41d1c2d7c10a8d96e970c4

Make the inlined String.charAt throw detailed exceptions.

Part of my general push for better exceptions. I'll add a unit test to libcore,
but until we lose the dexopt brain damage, we won't be able to see it (dexopt
can't optimize JUnit tests, so we get no coverage of inline natives on our
continuous builds; http://b/3003994).

Change-Id: I3af757751534747fa4b3cc725b0914a8f7b3d45d

Merge "Another clarifying rename and a bit more automation." into dalvik-dev

Another clarifying rename and a bit more automation.

kNumDalvikInstructions is now kNumPackedOpcodes, there is a new
kMaxOpcodeValue, and both are generated by opcode-gen.

Change-Id: Ic46f1f52d2d21382452c8e777024f4a985ad31d3
Bonus: Reworded the switch and array data comment for clarity.

Merge "Use dvmHumanReadableDescriptor in -Xjnitrace." into dalvik-dev

Regular-expression compatibility.

The most compatible way of indicating that a dash is part of a
character range is to put a single dash at the end of the range
expression.

Change-Id: I1e118038dfacffbc004c97be0ae1c3dfe97e861d

Small fixes.

I had unpackOpcode() slightly wrong, and I made the libcore opcode
numbers always be four hex digits.

Change-Id: I4f988b8794b4b6c48ef91698a8e567fa46b96dac

Clean up the opcode-gen script.

There was way too much string duplication, and it needed at least
a bit more commenting.

Change-Id: Id31ee1fd260db6f4afe301764c60de7c63b3f729

Use dvmHumanReadableDescriptor in -Xjnitrace.

This made the output more readable while debugging a zlib issue.

Bug: 3220923
Change-Id: Ie360516a8a7a92b5b75fe70feb5c9722289bed78

Merge "Eliminate the GC.h header file." into dalvik-dev

Eliminate the GC.h header file.

Change-Id: Ieda8b819032fc6aac80b390960d9c6f4864795ab

Merge "Add a note." into dalvik-dev

Add a note.

Change-Id: I55362cbc8bfbb22ebcd493db7cdeb34fc3394e3a

Merge "Get rid of the ugly macros inside the bitmap sweep routine." into dalvik-dev

Merge "Make opcode 00ff be called "dispatch-ff"." into dalvik-dev

Merge "Inching closer to having extended opcodes in the vm." into dalvik-dev

Get rid of the ugly macros inside the bitmap sweep routine.

Thanks to recent simplifications the implementation macrology can be
expanded out.  While we are here, fix the comments about the treatment
of max.  This edit should have happened in the previous change to the
sweeper.

Change-Id: Ia18ee580f5955dca8c27b96f7badbfb067a0a1cb

Merge "Drive all root scanning by the root visitor." into dalvik-dev

Make opcode 00ff be called "dispatch-ff".

With this change, it's still implemented as an unused opcode, but
it's now ready for its new life!

Change-Id: Ic70d311704925067e47d87b657d133a792144e65

Fix monitor verification.

An earlier change inadvertently disabled the basic register type check
when the fancier checks were disabled.  This restores the type check,
and replaces a "TODO: add an assert" with an actual assert.

Bug 3246598.

(cherry-pick from dalvik-dev)

Change-Id: Iddfb33d2a3f0c03f5a06c3f6e4a47644ca640736

Merge "Replace dalvik test local mode with new host mode" into dalvik-dev

Inching closer to having extended opcodes in the vm.

Change-Id: If6578a0686ac8fe5e6d1a26509d8a5c748bed179

Drive all root scanning by the root visitor.

The root visitor has been used by the concurrent collector during the
re-mark phase.  This change makes both the initial mark use the same
visitor routine and obsoletes all of the one-off markers scattered
throughout the runtime sources.

Change-Id: I08ea86d875f235cc628754240ad30ea5dfe2ce70

Replace dalvik test local mode with new host mode

To run the dalvik tests with host mode:
1.  build with WITH_HOST_DALVIK=true
2.  run-all-tests --host, or run-test <num> --host

Change-Id: Ic20df0b0720571b5a4ae11b5a1f6ce760d921d4b

Give the awk script its own file.

The embedded awk script totally dwarfed the shell script driver. It
was getting pretty ridiculous. (Ok ok, maybe the fact that this uses
awk in the first place is itself ridiculous.)

Change-Id: Ia53dbbff636eab7aeb44ff24013c62494ef86da0

Merge "Extremely minor cleanup." into dalvik-dev

Extremely minor cleanup.

Change-Id: Ia302597d27773aa72f675509e9b4f844db65cc85

Merge "x86-mterp bug fix; support host mode in tests" into dalvik-dev

Rename some instruction/opcode types and utilities.

A lot of this is more about properties of opcodes as opposed to
inspecting instructions per se, and the new naming attempts to
make it clear what is being queried and what sort of data is being
returned.

Change-Id: Ice6f9f2ebf4f1cfa8c99597419aa13d1134a33b2

Merge "Fix monitor verification." into dalvik-dev

x86-mterp bug fix; support host mode in tests

A recent x86 housecleaning change introduced a bug in OP_FILLED_ARRAY.
Fixed that, plus hacked up dalvik test scripts to support host
mode operation (with --host)

Change-Id: Iaf8b1ab753f93fa344e64f984a3c4696433ec9aa

Get rid of QUIET_ZYGOTE_GC and make it the default.

Change-Id: Ib9af028cfa46ca6041d716085ed3a78ef591bbc8

Move a stray forward declaration of HeapSource to where it's needed.

Change-Id: I10dcc065c90ce40685b20a362470a32e213bf28f

Fix monitor verification.

An earlier change inadvertently disabled the basic register type check
when the fancier checks were disabled.  This restores the type check,
and replaces a "TODO: add an assert" with an actual assert.

Bug 3246598.

Change-Id: I842c392e1e3aa8525235d873726c840f39703ff3

Merge "Make the enums typedeffed as such." into dalvik-dev

Make the enums typedeffed as such.

This makes these definitions C++-friendly. I also tried to clean up
and generally improve the documentation in this area. (Maybe you can
guess what's coming next.)

Change-Id: I76ab3087dcde5cc255288a993ec7b2963f2b733b

am f0badd23: Merge "Fix dvmHumanReadableDescriptor("B")."

* commit 'f0badd239ba1d4a65adebcf2df100ec7e1e54786':
  Fix dvmHumanReadableDescriptor("B").

Merge "Fix dvmHumanReadableDescriptor("B")."

Fix dvmHumanReadableDescriptor("B").

dvmHumanReadableDescriptor was failing for primitive scalars in
libdvm_assert.so --- there was an assertion that wasn't true,
because we wouldn't have copied the ';' into the result (in the
other cases, we'd copy the ';' and then overwrite it).

This patch rewrites dvmHumanReadableDescriptor to be a little
less tasteless, removes the asserts, behave better when out of
memory, and to include unit tests (currently only runnable on
the device).

Bug: 3245572
Change-Id: I57b06c774a5bc61c2d374cce6285553c3c5f388b

Fix the typing of the assert macro as required by C++.

Change-Id: Iff70db8bf4f1ae8d1c4abbe565fa7993b0fe0df9

Move reference processing next to its implementation.

With this change, all of the reference processing now happens in the
same module.  As such, we can make all of the implementation routines
static.

Change-Id: If3f1ff2e48f49b57b75cfc9d0af61ad892435c47

Merge "Return the value at the top of the mark stack straight away." into dalvik-dev

Return the value at the top of the mark stack straight away.

Change-Id: I9ce87b1e72bb3e8a0b876ab9ba05569260cd93e8

It's "opcode" not "opCode".

Similarly "Opcode" not "OpCode".

This appears to be the general worldwide consensus on the matter. Other
residents of my office didn't seem to mind one way or the other how it's
spelled in our code, but for whatever reason, it really bugged me.

Change-Id: Ia0b73d19c54aefc0f543a9c9451dda22ee876a59

Rename OpCodeNames.c -> DexOpcodes.c.

Change-Id: I9e22543740129f4a8fd50ff246a165d6358ed9b5

Clarify the spec slightly.

And, importantly, fix a lingering naming issue.

Change-Id: I2b0d2008aae32679430910dfe5fa58a86f0a59df

Merge "Minor tweaks." into dalvik-dev

Merge "Rename OpCode.h -> DexOpcodes.h." into dalvik-dev

Rename OpCode.h -> DexOpcodes.h.

Also incorporate the former contents of OpCodeNames.h. This is a small
attempt to increase naming consistency in libdex. There will be a bit
more to come, in a follow-up.

Change-Id: Ia7ab06042dde2e19eda02ef1fee72fb4260e899d

Minor tweaks.

Use dexOpCodeFromCodeUnit instead of (*insns & 0xff).  (Not strictly
necessary in its current incarnation, but the code will soon be checking
opcode flags.)

Mark some local functions "static".

Make instruction widths >= 65536 a warning rather than an error.  I
don't think you can get there with converted Java bytecode because of
the method size limit, but it's possible in directly-generated DEX.

Change-Id: Ic9714b855c606f8b5c618793b271436e1c2cdc44

am 33dab964: Improve "No new threads in -Xzygote mode" message to include thread name.

* commit '33dab964ac38c05472b734a2d36f6a2aacf9b731':
  Improve "No new threads in -Xzygote mode" message to include thread name.

Improve "No new threads in -Xzygote mode" message to include thread name.

Change-Id: I5335d86dc1e4cd3f7fd4270ff1f10cdc70f87e92

Add more "extended opcode" structure to libdex.

Although we don't yet generate any of the extended opcodes, this
change makes it a bit easier to add them.

In particular, we now differentiate between the raw opcode in a code
unit and an associated "packed opcode number." The packed opcode space
is densely populated in the range 0x000-0x1ff (though there will still
be a few unused slots), whereas the raw opcode values are sparse
throughout the range 0x0000-0xffff.

The OpCode enum is redefined/clarified to have packed, not sparse,
opcode values.

Change-Id: Ie3208a258648fbf044d344646f66c49ad24c31b2

am 94a6213f: am b83b4c88: am ebcd8646: Fix for Issue 3161543 - Remove stray line of code in JIT

* commit '94a6213f5693c3cd994f9734c6a085003692a5ba':
  Fix for Issue 3161543 - Remove stray line of code in JIT

am b83b4c88: am ebcd8646: Fix for Issue 3161543 - Remove stray line of code in JIT

* commit 'b83b4c8876262cac96cf65c4cc27f83174b5bd00':
  Fix for Issue 3161543 - Remove stray line of code in JIT