Author tim.peters
Recipients tim.peters
Date 2015-02-24.19:32:12
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1424806332.96.0.559675082856.issue23515@psf.upfronthosting.co.za>
In-reply-to
Content
Some researchers found an error in the logic of merge_collapse, explained here, and with corrected code shown in section 3.2:

http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/

This affects all current versions of Python.  However, I marked the priority "low" because, as the article also notes, there's currently no machine in existence with enough memory to hold an array large enough for a contrived input to trigger an overflow of the pending-runs stack. 

It should be fixed anyway, and their suggested fix looks good to me.
History
Date User Action Args
2015-02-24 19:32:12tim.peterssetrecipients: + tim.peters
2015-02-24 19:32:12tim.peterssetmessageid: <1424806332.96.0.559675082856.issue23515@psf.upfronthosting.co.za>
2015-02-24 19:32:12tim.peterslinkissue23515 messages
2015-02-24 19:32:12tim.peterscreate