History log of /art/test/088-monitor-verification/src/Main.java
Revision Date Author Comments
895bb5fb268774d0fa18515a9e905ae8854cdca5 14-Oct-2015 Andreas Gampe <agampe@google.com> ART: Add simple null alias tracking for lock counting

Null is the only literal for objects, and one may lock and unlock
on different registers containing null, which is still balanced.

Bug: 23502994
Change-Id: Ibfbf1b8c2aa7d1409e3e426988d2d15efe1f2d0d
03ec930faded5bbfa096533ce60b6893847922db 28-Aug-2015 Andreas Gampe <agampe@google.com> ART: Lock counting in the interpreter

To support structured locking when balanced-locking verification
failed, count lock and unlock operations in the verifier.

Bug: 23502994
Change-Id: I2bb915da6e3d43c49723a943b42d4d5a7c939aa1
0dfc9bc0cca3ae15dc75bbea3ca9b6d7508ce893 01-Oct-2015 Andreas Gampe <agampe@google.com> ART: Add more deopt tests

Extend libarttest with the ability to turn off asserts for method
state. Use this to put asserts into test functions, but turn them
off if the test wouldn't react as we want, e.g., when we're in
interpreter mode.

Extend run-test 449 by adding asserts for the method state for the
expected deopt cases. This tests both standard behavior, as well
as single-frame deoptimization.

Bug: 21611912
Change-Id: I27fa5e3e44d8c5eab57962d144c6aec96587bf45
89df7bfc41a4de9685f84e7db07f77db3fd485fc 30-Sep-2015 Andreas Gampe <agampe@google.com> ART: Refactor libarttest C++ code

Refactor some libarttest JNI functions into a common directory, so
they can be easily used by multiple tests without code duplication.
This is preparation for better deoptimization state testing.

Change-Id: I43f7340b699b26930aabfd665c707e0485b17fc8
6d87eba9aff8deb33532e1efd2efb46f944f99a3 28-Aug-2015 Mathieu Chartier <mathieuc@google.com> Fix test 088

Change-Id: Id61e2209ab331b17a8889dfab75da1a2b8ae0ffe
a727e372d8f6929cd30b983f6969c7a50fc83bb6 25-Aug-2015 Andreas Gampe <agampe@google.com> ART: Balanced locking

Change the verifier to check for balanced locking. When balanced
locking can't be guaranteed, use a new failure kind to punt to
the interpreter.

Add smali tests, with JNI code to check the balanced-locking result.

Bug: 23502994
Change-Id: Icd7db0be20ef2f69f0ac784de43dcba990035cd8
fbef9462e3bf2301dd5b337d351b6b70f7e31bc8 14-Dec-2011 Elliott Hughes <enh@google.com> Fix 088 the way the test's author intended.

Not only was some of the verification code disabled in dalvik, part of the
test was too. This test was _intended_ to check that we fail gracefully
when our monitor-enter stack overflows. Re-enable the test, and throw a
verification error on overflow.

Change-Id: Iaa973633ecc59c3c4810b97ada80eae1e4db3db5
5d1ac920fdaef5d4ec8f66bb734488cd9660b024 30-Sep-2011 jeffhao <jeffhao@google.com> Adding old unit tests to test suite.

These tests are copied straight over. They'll still run, but they're
using the old system.

Change-Id: If494519e52ddf858a9febfc55bdae830468cb3c8