Message317291
> But! I suppose we could fix the bug only for platforms with PTHREAD_KEY_T_IS_COMPATIBLE_WITH_INT.
Yes, this is my proposal.
>> I propose to cast pthread_key_create() result to int, but only define PyThread_create_key() in Python/thread_pthread.h if PTHREAD_KEY_T_IS_COMPATIBLE_WITH_INT is defined.
> I don't think that's a good idea. Changing API, even for platforms that aren't officially supported, sounds very harsh this late in the release cycle.
Which API change? I don't propose to modify the existing public C API "int PyThread_create_key(void)". I only propose to change it's implementation to the native pthread API when PTHREAD_KEY_T_IS_COMPATIBLE_WITH_INT is defined. |
|
Date |
User |
Action |
Args |
2018-05-22 14:02:36 | vstinner | set | recipients:
+ vstinner, petr.viktorin, neologix, matrixise, davin, cstratak, Ján Stanček, Thomas Mortensson |
2018-05-22 14:02:36 | vstinner | set | messageid: <1526997756.71.0.682650639539.issue29640@psf.upfronthosting.co.za> |
2018-05-22 14:02:36 | vstinner | link | issue29640 messages |
2018-05-22 14:02:36 | vstinner | create | |
|