harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Geir Magnusson Jr." <g...@pobox.com>
Subject Re: [drlvm][jit] possible ABCD bug
Date Sun, 24 Sep 2006 20:11:00 GMT
thanks.  That license seems fine.

geir

On Sep 24, 2006, at 4:08 PM, Naveen Neelakantam wrote:

> I've opened a JIRA issue that contains a patch that points out the  
> possible bug:
>
> patch for possible ABCD bug
> ---------------------------
>
>                  Key: HARMONY-1564
>                  URL: http://issues.apache.org/jira/browse/ 
> HARMONY-1564
>              Project: Harmony
>           Issue Type: Bug
>           Components: DRLVM
>             Reporter: Naveen Neelakantam
>          Attachments: abcd.patch, BidirectionalBubbleSort.java
>
> On Sep 24, 2006, at 12:34 PM, Geir Magnusson Jr. wrote:
>
>>
>> On Sep 24, 2006, at 2:05 PM, Naveen Neelakantam wrote:
>>
>>> Hmm.  I have seen the code generator of a VM that isn't open  
>>> source, but that was over a year ago.  I don't really understand  
>>> the implications of that, other than I am not able to become an  
>>> "Authorized Harmony Contributor" without consent.
>>
>> yes, that can be a problem.  We can discuss here or in private -  
>> whatever you'd prefer.
>
> I'll email you to discuss it further.
>
>>>
>>> In this case, I have never seen another implementation of ABCD  
>>> and my only prior exposure to the algorithm is Ras Bodik's PLDI  
>>> paper.  Can I still point out bugs and discuss the implementation?
>>
>> Yes.
>>
>>>
>>> Thanks,
>>> Naveen
>>>
>>> On Sep 24, 2006, at 6:16 AM, Geir Magnusson Jr. wrote:
>>>
>>>> Hi,
>>>>
>>>> Welcome to Harmony, and thanks for looking into this.
>>>>
>>>> Two things :
>>>>
>>>> 1) The patch didn't come through - we strip off certain types of  
>>>> attachments.  The best thing to do would be to enter a JIRA in  
>>>> our bug-tracking system :
>>>>
>>>>      https://issues.apache.org/jira/browse/HARMONY
>>>>
>>>> 2) We have a process through which we ensure that our  
>>>> contributors haven't been exposed to other implementations that  
>>>> aren't available in open source, in an attempt to lower any risk  
>>>> of accidental copyright infringment or worse.  The process is  
>>>> detailed here :
>>>>
>>>>     http://incubator.apache.org/harmony/contribution_policy.html
>>>>
>>>> The key part of it is that you complete an Authorized  
>>>> Contributor Questionairre :
>>>>
>>>>     http://incubator.apache.org/harmony/auth_cont_quest.html
>>>>
>>>> The ideal solution is to fill it out, turn it into a PDF, and  
>>>> then send that to me (geir at pobox dot com) or, less ideally :)  
>>>> is fax to +1 203 665 6400.
>>>>
>>>> Thanks again, welcome again,and sorry for the paperwork.
>>>>
>>>> geir
>>>>
>>>> On Sep 24, 2006, at 6:45 AM, Naveen Neelakantam wrote:
>>>>
>>>>> I've been reading through the ABCD implementation in jitrino,  
>>>>> and if I understand it correctly, I found a bug.  I've attached  
>>>>> a patch to fix it.  Someone who actually understands the code  
>>>>> should verify this.
>>>>>
>>>>> Also, did anyone ever test this ABCD pass?  I ask because I've  
>>>>> tried running it on a bidirectional bubble sort as mentioned in  
>>>>> the original paper.  The paper mentions that the pass should be  
>>>>> able to prove all of the bounds checks in the sort method as  
>>>>> redundant/unnecessary.  However, when I try running the abcd  
>>>>> pass on a bidirectional bubble sort (attached), none of the  
>>>>> bounds checks are eliminated.
>>>>>
>>>>> Naveen
>>>>>
>>>>>
>>>>>
>>>>> ------------------------------------------------------------------ 
>>>>> ---
>>>>> Terms of use : http://incubator.apache.org/harmony/mailing.html
>>>>> To unsubscribe, e-mail: harmony-dev- 
>>>>> unsubscribe@incubator.apache.org
>>>>> For additional commands, e-mail: harmony-dev- 
>>>>> help@incubator.apache.org
>>>>
>>>>
>>>> ------------------------------------------------------------------- 
>>>> --
>>>> Terms of use : http://incubator.apache.org/harmony/mailing.html
>>>> To unsubscribe, e-mail: harmony-dev- 
>>>> unsubscribe@incubator.apache.org
>>>> For additional commands, e-mail: harmony-dev- 
>>>> help@incubator.apache.org
>>>>
>>>
>>>
>>> -------------------------------------------------------------------- 
>>> -
>>> Terms of use : http://incubator.apache.org/harmony/mailing.html
>>> To unsubscribe, e-mail: harmony-dev-unsubscribe@incubator.apache.org
>>> For additional commands, e-mail: harmony-dev- 
>>> help@incubator.apache.org
>>>
>>
>>
>> ---------------------------------------------------------------------
>> Terms of use : http://incubator.apache.org/harmony/mailing.html
>> To unsubscribe, e-mail: harmony-dev-unsubscribe@incubator.apache.org
>> For additional commands, e-mail: harmony-dev- 
>> help@incubator.apache.org
>>
>
>
> ---------------------------------------------------------------------
> Terms of use : http://incubator.apache.org/harmony/mailing.html
> To unsubscribe, e-mail: harmony-dev-unsubscribe@incubator.apache.org
> For additional commands, e-mail: harmony-dev-help@incubator.apache.org
>


---------------------------------------------------------------------
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: harmony-dev-unsubscribe@incubator.apache.org
For additional commands, e-mail: harmony-dev-help@incubator.apache.org


Mime
View raw message