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 19:34:47 GMT

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.

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


Mime
View raw message