Race in pickle.dumps/loads per-interpreter cache leaks references

Bug report

Bug description:

PyObject *dumps = state->pickle.dumps;
  if (dumps != NULL) {
      return dumps;
  }
  dumps = PyImport_ImportModuleAttrString("pickle", "dumps");
  if (dumps == NULL) return NULL;
  state->pickle.dumps = dumps;
  return dumps;

This is a check-then-act race. Two threads in the same interpreter can both run this code:

1. Thread A reads state->pickle.dumps → NULL
2. Thread B reads state->pickle.dumps → NULL
3. Thread A imports pickle.dumps, holds a strong reference R_A
4. Thread B imports pickle.dumps, holds a strong reference R_B
5. Thread A stores R_A into the slot
6. Thread B stores R_B into the slot, overwriting R_A

Now the slot owns R_B, and R_A is leaked forever.

CPython versions tested on:

CPython main branch

Operating systems tested on:

macOS

Linked PRs

• gh-149002

Bắt đầu từ việc truy cập cache theo từng trình thông dịch bằng pickle.dumps và pickle.loads được nêu trong báo cáo, sau đó kiểm tra PR được liên kết gh-149002 để hiểu công việc đang được tiến hành. Xác minh việc khởi tạo đồng thời và quyền sở hữu tham chiếu; hoàn thành nghĩa là race không còn làm rò rỉ tham chiếu.