This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

classification
Title: Crash in _ctypes_alloc_callback
Type: crash Stage: resolved
Components: ctypes Versions: Python 3.2, Python 2.7
process
Status: closed Resolution: duplicate
Dependencies: Superseder: ctypes: unions as arguments
View: 16575
Assigned To: Nosy List: amaury.forgeotdarc, brett.cannon, meador.inge, ned.deily, ogre, pitrou, ronaldoussoren, willingc
Priority: normal Keywords:

Created on 2012-03-17 20:55 by ogre, last changed 2022-04-11 14:57 by admin. This issue is now closed.

Files
File name Uploaded Description Edit
testctypes.py ogre, 2012-03-17 20:55 Test case for crash in _ctypes_alloc_callback on Mac 64 bit
Messages (10)
msg156205 - (view) Author: Joe Rumsey (ogre) Date: 2012-03-17 20:55
I have reproduced this crash in Apple's default 2.7.1 python, and in 2.7.3 built from source myself.  But only in release mode.  If I rebuild 2.7.3 in debug, the crash goes away.

The attached file reproduces the issue, which has to do with a union containing multiple structs being used as a value for a callback argument.  I've stripped it down as much as I can.  Removing any fields from either the union or the Dice struct will cause this to no longer crash.

The original source of this is libtcod's python wrapper library, which seems to work fine on platforms other than Mac, though it had a lot of other problems on 64-bit systems before I got to this one.  This issue may also be more 64-bit specific than Mac specific.

This is the callstack from Apple's python:

#0  0x00000001010c7712 in _ctypes_alloc_callback ()
#1  0x00000001010c4a1c in PyCData_AtAddress ()
#2  0x0000000100050afa in icu::DigitList::getDouble ()
#3  0x000000010000bd32 in PyObject_Call ()
#4  0x000000010008bf63 in ubrk_swap ()
#5  0x000000010008ecd8 in triedict_swap ()
#6  0x000000010008ed4d in triedict_swap ()
#7  0x00000001000a608f in ucnv_openStandardNames ()
#8  0x00000001000a614f in ucnv_openStandardNames ()
#9  0x00000001000a72a2 in ucnv_getUnicodeSet ()
#10 0x00000001000b72af in ucnv_getDisplayName ()
#11 0x0000000100000e88 in ?? ()
msg156210 - (view) Author: Joe Rumsey (ogre) Date: 2012-03-17 22:55
I just built python 3.2.2 from source, and reproduced the issue there as well.  Same location.  Here's the slightly more informative stack trace from my release-with-symbols 3.2.2 build:

#0  _ctypes_alloc_callback (callable=0x7fff5fbfef20, converters=0x100000003, restype=0x7fff5fbfef20, flags=1606414112) at callbacks.c:432
#1  0x00000001010c5395 in PyCFuncPtr_new (type=0x7fff5fbfefc0, args=0x101010580, kwds=0x7fff5fbfefc0) at _ctypes.c:3372
#2  0x000000010004986c in type_call (type=0x1006ca940, args=0x101041b90, kwds=0x0) at typeobject.c:676
#3  0x0000000100008605 in PyObject_Call (func=0x1006ca940, arg=0x101041b90, kw=0x0) at abstract.c:2149
#4  0x000000010008afcc in do_call [inlined] () at /Users/ogre/src/Python-3.Python/ceval.c:4141
#5  0x000000010008afcc in PyEval_EvalFrameEx (f=0x7fff5fbff1c0, throwflag=1606414784) at ceval.c:3944
#6  0x000000010009131b in PyEval_EvalCodeEx (_co=0x7fff5fbff260, globals=0x0, locals=0x1066c8800000101, args=0x7fff5fbff260, argcount=1606414944, kws=0x7fff5fbff260, kwcount=0, defs=0x0, defcount=0, kwdefs=0x0, closure=0x0) at ceval.c:3350
#7  0x000000010009139f in PyEval_EvalCode (co=0x101066828, globals=0x101066c88, locals=0x0) at ceval.c:767
#8  0x00000001000b0a21 in run_mod [inlined] () at /Users/ogre/src/Python-3.Python/pythonrun.c:1783
#9  0x00000001000b0a21 in PyRun_FileExFlags (fp=0x7fff7c677ee0, filename=0x101066828 "\002", start=0, globals=0x101066c88, locals=0x0, closeit=1, flags=0x7fff5fbff420) at pythonrun.c:1740
#10 0x00000001000b2992 in PyRun_SimpleFileExFlags (fp=0x7fff7c677ee0, filename=0x10104ac20 "testctypes.py", closeit=1606415200, flags=0x7fff5fbff360) at pythonrun.c:1265
#11 0x00000001000c45af in run_file [inlined] () at /Users/ogre/src/Python-3.Modules/main.c:297
#12 0x00000001000c45af in Py_Main (argc=1606415440, argv=0x7fff5fbff450) at main.c:692
#13 0x0000000100001522 in main (argc=17197096, argv=0x100609fe0) at python.c:59

converters doesn't seem to be pointing at valid data.  

(gdb) p *converters
$2 = {
  ob_refcnt = 3302829852670, 
  ob_type = 0xe0000000200
}

But, being an optimized build, it's hard to say (especially for me, having never debugged python itself before) if that's the real data or some optimizer-mangled version.
msg156218 - (view) Author: Ned Deily (ned.deily) * (Python committer) Date: 2012-03-17 23:55
This is likely related to Issue13370 which documents test_ctypes failures when using either of the llvm-based compilers (clang or llvm-gcc) supplied with recent versions of Xcode 4.  test_ctypes and your test both do not fail when Python is compiled with the standard (non-llvm) gcc-4.2 supplied in Xcode 3.2.6 (for OS X 10.6).
msg156219 - (view) Author: Joe Rumsey (ogre) Date: 2012-03-18 00:27
Thanks for that.  This does seem to be the case.  I rebuilt with CC=gcc-4.2 and my short sample and the full library I took it from both work fine.
msg156236 - (view) Author: Amaury Forgeot d'Arc (amaury.forgeotdarc) * (Python committer) Date: 2012-03-18 07:59
I also noticed that the script crashes on Debian 64bit as well, versions 2.6 and 2.7.3rc2 at least, optimized builds.
So it's not a clang issue after all.
msg156242 - (view) Author: Amaury Forgeot d'Arc (amaury.forgeotdarc) * (Python committer) Date: 2012-03-18 11:16
There is a out-of-bounds error in Modules/_ctypes/libffi/src/x86/ffi64.c:
at line 225, classes[i + pos] can go outside the allocated memory for classes (MAX_CLASSES=4).
This code is not prepared to received "structures" with a small size (<32bytes) but where individual elements total more than 32bytes.

libffi support for unions is weak; at least ctypes should not use FFI_TYPE_STRUCT for unions.
msg156243 - (view) Author: Amaury Forgeot d'Arc (amaury.forgeotdarc) * (Python committer) Date: 2012-03-18 11:17
Not a Mac issue.
msg156430 - (view) Author: Joe Rumsey (ogre) Date: 2012-03-20 16:18
It's maybe not directly relevant to fixing this, but I worked around it on the project where this came up by redefining dice as (c_int * 4) and col as (c_uint8 * 3) in the union, then using ctypes.cast to get those as pointers to the actual struct.  That seems to work just fine for now.
msg192425 - (view) Author: Ronald Oussoren (ronaldoussoren) * (Python committer) Date: 2013-07-06 12:25
The example uses unions, which libffi doesn't really support (see for example <https://github.com/atgreen/libffi/issues/33>).

There is an issue in the python tracker about union support in ctypes: #16575.

FWIW. I can still reproduce the issue with x86_64 on OSX with both the 2.7 and default branches, while i386 does not crash.

I intend to close this as a duplicate of #16575 as that better explains the underlying problem.
msg269106 - (view) Author: Carol Willing (willingc) * (Python committer) Date: 2016-06-23 04:57
As per Ronald's last comment "close this as a duplicate of #16575 as that better explains the underlying problem".

Closing this dated and duplicate issue.
History
Date User Action Args
2022-04-11 14:57:28adminsetgithub: 58562
2016-06-23 09:30:48berker.peksagsetsuperseder: ctypes: unions as arguments
components: + ctypes, - Benchmarks
stage: resolved
2016-06-23 04:57:15willingcsetstatus: open -> closed

nosy: + pitrou, willingc, brett.cannon
messages: + msg269106

components: + Benchmarks, - macOS, ctypes
resolution: duplicate
2013-07-06 12:25:54ronaldoussorensetmessages: + msg192425
2012-03-20 16:18:13ogresetmessages: + msg156430
2012-03-18 11:17:12amaury.forgeotdarcsetassignee: ronaldoussoren ->
messages: + msg156243
2012-03-18 11:16:51amaury.forgeotdarcsetmessages: + msg156242
2012-03-18 07:59:48amaury.forgeotdarcsetnosy: + amaury.forgeotdarc
messages: + msg156236
2012-03-18 00:27:39ogresetmessages: + msg156219
2012-03-17 23:55:59ned.deilysetnosy: + ned.deily, meador.inge
messages: + msg156218
2012-03-17 22:55:30ogresetmessages: + msg156210
versions: + Python 3.2
2012-03-17 20:55:43ogrecreate