diff options
author | Alessandro Gatti <a.gatti@frob.it> | 2024-09-22 15:39:24 +0200 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2024-09-23 11:47:18 +1000 |
commit | 97966254577167f4c50200af1af89109a275da1c (patch) | |
tree | 3b67736c0c002a652d9d837b2bdffedbe0c53616 /tools/metrics.py | |
parent | 2b5feb9121a2fd6679c1ec0c6f4f2cb00b6e3616 (diff) |
unix/modffi: Clean up FFI closures memory management.
This commit removes custom FFI closures alloc/free functions, in favour
of using the tracked allocation facility to allocate memory for FFI
callback objects.
This stems from linking issues in the Arm port when updating LibFFI to
the latest stable version, as the overridden alloc/free functions didn't
replace LibFFI's (unlike in other ports). The original code did no
effective cleanup for allocated callback objects, so there is no real
impact when switching allocation strategy.
The tracked allocation feature used to be enabled only if the Bluetooth
stack integration was enabled. This commit also enables tracked
allocation support if FFI support is enabled.
Co-authored-by: Damien George <damien@micropython.org>
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions