Type cache can expose previous values during finalization of an object

Bug report

Bug description:

This should always print True, that is an attribute accessed from a class should match the value that's in the type's mappingproxy:

class X:
    def __del__(inner_self):
        v = C.a
        print(v == C.__dict__['a'])

class C:
    a = X()

# prime the cache
C.a
C.a

# destructor shouldn't be able to see inconsisent state
C.a = X()
C.a = X()

But this prints False because the destructor can be run when the assignment into the type dict occurs, but before the type version is invalidated.

CPython versions tested on:

3.8, CPython main branch

Operating systems tested on:

Linux

Bắt đầu bằng cách chạy reproducer trên CPython main và so sánh việc tra cứu thuộc tính với ánh xạ kiểu trong quá trình thực thi destructor được kích hoạt bởi phép gán. Theo dõi quá trình vô hiệu hóa bộ nhớ đệm kiểu và chuỗi hoàn tất; công việc được xem là hoàn thành khi ví dụ luôn in ra True mà không để lộ trạng thái không nhất quán.