Do Not Allow Static Objects to be Deallocated

The runtime currently has many objects that are statically defined. See Include/internal/pycore_global_objects.h. For the singletons, all instances of the type are statically defined. Otherwise only some instances are.

The problem is that if tp_dealloc() for one of the affected types tries to free a static object then it will crash. We've set the refcount for such objects to a really high number to avoid this, but it is still possible. The risk rises a bit for immortal objects (see PEP 683).

For all types with static objects, we need to add a check in tp_dealloc() to either fail or reset the refcount to the really high number. We already have a check like this for the singletons and for str. For the other types we need to identify if the object is static and respond accordingly. The catch is that identifying that can be expensive, which is problematic for types that are deallocated frequently.

Bắt đầu với Include/internal/pycore_global_objects.h để lập danh mục các đối tượng được định nghĩa tĩnh, sau đó kiểm tra các triển khai tp_dealloc của những kiểu bị ảnh hưởng. Xác định cách mỗi kiểu có thể nhận diện các đối tượng tĩnh mà không gây ra overhead giải phân bổ không thể chấp nhận; hoàn thành khi các đối tượng tĩnh không thể bị giải phóng hoặc gây ra sự cố liên quan đến refcount.