Return-Path: Delivered-To: apmail-harmony-dev-archive@www.apache.org Received: (qmail 64189 invoked from network); 26 Apr 2008 21:25:19 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 26 Apr 2008 21:25:19 -0000 Received: (qmail 59697 invoked by uid 500); 26 Apr 2008 21:25:14 -0000 Delivered-To: apmail-harmony-dev-archive@harmony.apache.org Received: (qmail 59660 invoked by uid 500); 26 Apr 2008 21:25:14 -0000 Mailing-List: contact dev-help@harmony.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@harmony.apache.org Delivered-To: mailing list dev@harmony.apache.org Received: (qmail 59649 invoked by uid 99); 26 Apr 2008 21:25:14 -0000 Received: from athena.apache.org (HELO athena.apache.org) (140.211.11.136) by apache.org (qpsmtpd/0.29) with ESMTP; Sat, 26 Apr 2008 14:25:14 -0700 X-ASF-Spam-Status: No, hits=2.0 required=10.0 tests=HTML_MESSAGE,SPF_PASS X-Spam-Check-By: apache.org Received-SPF: pass (athena.apache.org: domain of nbeyer@gmail.com designates 74.125.46.155 as permitted sender) Received: from [74.125.46.155] (HELO yw-out-1718.google.com) (74.125.46.155) by apache.org (qpsmtpd/0.29) with ESMTP; Sat, 26 Apr 2008 21:24:30 +0000 Received: by yw-out-1718.google.com with SMTP id 5so80034ywm.0 for ; Sat, 26 Apr 2008 14:24:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; bh=oo9B7lB0FymxWphL78Pzgg70Uk7E0/X+dnlC7VA30dc=; b=anXvtmmL/ZtZHg1hQJA8AdJGTzDNe9A7TMOs4V0RkY6zEeX5tmM5g+znTJ/hkgmfuwG/f8UGt1UUeRKZF8iVY1OqhM4SyYvH+jGjJqtXoZx7cTqApacAKfARSEEXy8783oKGO+BLzCPhcwtyVqyAdlbXJteQXMKfb4RHFwYRgeQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=ewp873HgcHpD5TdwXETCoJ7Dm7YKYFQVDGeXwE1Gtj2VmErZGarnY+Oq6h4vL1lBgLg0QSQRs3WUnDIS9aCweekGNc/uulWPvfm6q78FaVUOycYfkSllUITrdXdW66ouCWmoAPUNMS2VZ6igDL48f+clYBQy2Qh9Zxoe2ITatg4= Received: by 10.150.79.42 with SMTP id c42mr2155520ybb.162.1209245077454; Sat, 26 Apr 2008 14:24:37 -0700 (PDT) Received: by 10.150.139.2 with HTTP; Sat, 26 Apr 2008 14:24:37 -0700 (PDT) Message-ID: <3b3f27c60804261424o2d9ca3edt12477ccbaf4e89fb@mail.gmail.com> Date: Sat, 26 Apr 2008 16:24:37 -0500 From: "Nathan Beyer" Sender: nbeyer@gmail.com To: dev@harmony.apache.org Subject: Re: [drlvm][class loading] erroneous entry due to different signature In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_1116_10576117.1209245077450" References: X-Google-Sender-Auth: a700f54cdd2e57a6 X-Virus-Checked: Checked by ClamAV on apache.org ------=_Part_1116_10576117.1209245077450 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline Just so I understand, the resolution is that the assertion was incorrect. Is that correct? -Nathan On Sat, Apr 26, 2008 at 5:33 AM, Alexei Fedotov wrote: > The issue is resolved in HARMONY-5797. Pavel, could you please take a > look? > [1] https://issues.apache.org/jira/browse/HARMONY-5797 > > On Sat, Apr 26, 2008 at 1:14 PM, Alexei Fedotov > wrote: > > Sorry, not so easy. > > > > On Sat, Apr 26, 2008 at 11:44 AM, Alexei Fedotov > > > > > > wrote: > > > For a java guru the following code demonstrates the problem. The > > > following works perfectly on Sun's VM (though it does not compile > > > well): > > > > > > public class T1 implements I { > > > public void t(int p) { > > > } > > > > > > public static void main(String args[]) { > > > (new T1()).t(0); > > > } > > > } > > > > > > interface I { > > > void t(Object p); > > > } > > > > > > This might be a way to convert an integer to a direct reference. :-) > > > > > > > > > On Sat, Apr 26, 2008 at 9:57 AM, Alexei Fedotov > > > > > > > > > wrote: > > > > Hello Java and class loading gurus, > > > > The JIT reported an assertion due to an error flag on the > following entry. > > > > > > > > > 25=org.apache.harmony.vts.test.vm.jvms.instructions.invokeReturn.invokeinterface.invokeinterface07.invokeinterface0703.invokeinterface0703pInterface > > > > name_and_type: 24= > > > > > > > > Well, the corresponding interface defined a method with (int)int > > > > signature, which does not match (short)int. Later the interface > > > > method (int)int is called as (short)int: > > > > > > > > invokeinterface #2= > > > > org.apache.harmony.vts.test.vm.jvms.instructions.invokeReturn.invokeinterface.invokeinterface07.invokeinterface0703.invokeinterface0703pInterface.virtualMethod > > > > (short)int> nargs:2 > > > > > > > > From the other side the test runs smoothly on RI and our VM in > release > > > > mode. Why RI tolerates these two mismatches and runs without > > > > exception? Should we implement automatic int to short conversion > for > > > > interfaces? > > > > > > > > Thanks. > > > > > > > > On Thu, Apr 24, 2008 at 9:58 AM, Alexei Fedotov > > > > wrote: > > > > > Correct. 15 tests passed. As for your suggestion of adding a > > > > > regression test, I'm not yet convinced we should duplicate VTS > tests > > > > > as regression tests. > > > > > > > > > > BTW, I have evaluated the other problem a bit. The problem is > due to > > > > > the virtual method constant pool entry resolution. Does this > ring a > > > > > bell? > > > > > > > > > > #2: InterfaceMethodref class: > > > > > > 25=org.apache.harmony.vts.test.vm.jvms.instructions.invokeReturn.invokeinterface.invokeinterface07.invokeinterface0703.invokeinterface0703pInterface > > > > > name_and_type: 24= > > > > > > > > > > This is still a regression, but probably an older one (since > all your > > > > > runs use a release build). > > > > > > > > > > On Thu, Apr 24, 2008 at 9:29 AM, Stepan Mishura > > > > > > > > > > > > > > > wrote: > > > > > > On 4/24/08, Alexei Fedotov wrote: > > > > > > > > > > > > > I ran the tests locally and they passed. > > > > > > > > > > > > So you applied your fix and all these 15 failed tests > passed. Correct? > > > > > > > > > > > > > > > > > > > Though, a number of other > > > > > > > tests failed, I assumed, due to assertions absent in your > release > > > > > > > build. > > > > > > > > > > > > > > > > > > > Hmm, you assumed that tests results for debug and release > builds are > > > > > > different but this also IMHO may mean other regressions in > verifier. > > > > > > > > > > > > BTW, I don't see any regression test in the patch. Does it > make sense > > > > > > to create it and add it to DRLVM reg. test suite? > > > > > > > > > > > > Thanks, > > > > > > > > > > > > > > > > > > Stepan. > > > > > > > > > > > > > On Thu, Apr 24, 2008 at 9:01 AM, Stepan Mishura > > > > > > > wrote: > > > > > > > > On 4/24/08, Alexei Fedotov > wrote: > > > > > > > > > > > > > > > > > Stenan, > > > > > > > > > Sorry. I have fixed VTS verifier test failures: > > > > > > > > > > http://people.apache.org/~smishura/r650380/Windows_x86/vtsvm/junit/index.html > > > > > > > > > > > > > > > > > > > > > > > > > So all 15 tests failed because of this bug. Correct? > > > > > > > > > > > > > > > > -Stepan. > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > On Thu, Apr 24, 2008 at 6:57 AM, Stepan Mishura > > > > > > > > > wrote: > > > > > > > > > > Hi Alexei, > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > On 4/24/08, Alexei Fedotov < > alexei.fedotov@gmail.com> wrote: > > > > > > > > > > > Hello Stepan, > > > > > > > > > > > > > > > > > > > > > > I have fixed more verifier failures, see > > > > > > > > > > > > > > > > > > > > Which failures did you fix? HARMONY-5785 > description doesn't mention any. > > > > > > > > > > > > > > > > > > > > -Stepan. > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > https://issues.apache.org/jira/browse/HARMONY-5785 > > > > > > > > > > > > > > > > > > > > > > Thanks! > > > > > > > > > > > > > > > > > > > > > > On Wed, Apr 23, 2008 at 7:28 AM, Stepan Mishura > > > > > > > > > > > wrote: > > > > > > > > > > > > On 4/22/08, Tim Ellison < > t.p.ellison@gmail.com> wrote: > > > > > > > > > > > > > Alexei Fedotov wrote: > > > > > > > > > > > > > > As far as I understand Eclipse IP > committee needs a revision number to > > > > > > > > > > > > > > be supplied (no binaries involved). > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > Apologies, I missed that point in the > discussions around compiler level etc. > > > > > > > > > > > > > If it is simply a well-defined revision > of the verifier code then that is > > > > > > > > > > > > > quite different. > > > > > > > > > > > > > > > > > > > > > > > > > > > The favour Vasily is asking about > > > > > > > > > > > > > > is providing him with a slightly tested > revision. This would suppress > > > > > > > > > > > > > > a normal work of committers for one day. > Is it something we cannot > > > > > > > > > > > > > > afford? > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > Of course, in that area of the code I > think it is quite reasonable. It > > > > > > > > > > > > > would not prevent people working in the > other areas of Harmony (such as GC, > > > > > > > > > > > > > JIT, and class library). > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > OK, freezing only verifier code can be a > compromise in this case. > > > > > > > > > > > > But I think it makes sense for other areas > to ask people not commit > > > > > > > > > > > > risky changes (i.e. make feature freeze and > commit only bug fixes) - > > > > > > > > > > > > it will help with detection and resolution > of possible verifier > > > > > > > > > > > > regressions. I believe that this acceptable > too. > > > > > > > > > > > > > > > > > > > > > > > > Could I ask all folks interesting in > M5.5_Eclipse_TPTP release to look > > > > > > > > > > > > through tests failures to understand if > there are regressions in the > > > > > > > > > > > > verifier or not? > > > > > > > > > > > > > > > > > > > > > > > > Tests results for r650380 are almost ready > [1] (testing the next > > > > > > > > > > > > r650564 snapshot will be launched in 2-3 > hours). If there are no > > > > > > > > > > > > regressions then I think r650380 (or > r650564) can be promoted as > > > > > > > > > > > > M5.5_Eclipse_TPTP. If you find verifier > regression please let > > > > > > > > > > > > everybody know ASAP - it should be fixed > quickly. > > > > > > > > > > > > > > > > > > > > > > > > [1] > http://people.apache.org/~mloenko/snapshot_testing/script/r650380/index.html > > > > > > > > > > > > > > > > > > > > > > > > Thanks, > > > > > > > > > > > > Stepan. > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > Of course, we cannot prevent the revision > number of the entire repository > > > > > > > > > > > > > changing over time, but you could nominate > a givne revision number for the > > > > > > > > > > > > > verifier code to be taken by Eclipse. > > > > > > > > > > > > > > > > > > > > > > > > > > Did I understand this right? > > > > > > > > > > > > > > > > > > > > > > > > > > Thanks, > > > > > > > > > > > > > Tim > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > On Tue, Apr 22, 2008 at 3:07 PM, Tim > Ellison > > > > > > > > > > > > > wrote: > > > > > > > > > > > > > > > > > > > > > > > > > > > > > I'm really not convinced this is a > good idea for Harmony, and my > > > > > > > > > > > > > concerns > > > > > > > > > > > > > > > are in two parts: > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > 1) Our schedule should not be > dictated by an external project, > > > > > > > > > > > > > especially > > > > > > > > > > > > > > > when it is their process that seems to > be setting the artificial time > > > > > > > > > > > > > limit. > > > > > > > > > > > > > > > Why not show some flexibility to meet > our dates? > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > 2) Our principle delivery mechanism > is source code. While we make > > > > > > > > > > > > > binaries > > > > > > > > > > > > > > > available as a convenience we should > not encourage dependents to put > > > > > > > > > > > > > > > dependencies on our build tools. They > should take source and compile it > > > > > > > > > > > > > > > themselves for their own environment. > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > Regards, > > > > > > > > > > > > > > > Tim > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > Vasily Levchenko wrote: > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > $subj. > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > -- > > > > > > > > > > > With best regards, > > > > > > > > > > > Alexei > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > -- > > > > > > > > > With best regards, > > > > > > > > > Alexei > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > -- > > > > > > > With best regards, > > > > > > > Alexei > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > -- > > > > > With best regards, > > > > > Alexei > > > > > > > > > > > > > > > > > > > > > -- > > > > With best regards, > > > > Alexei > > > > > > > > > > > > > > > > -- > > > With best regards, > > > Alexei > > > > > > > > > > > -- > > With best regards, > > Alexei > > > > > > -- > With best regards, > Alexei > ------=_Part_1116_10576117.1209245077450--