python luồng: mô hình bộ nhớ và khả năng hiển thị

Question

Liệu luồng trăn có phơi bày các vấn đề về khả năng hiển thị bộ nhớ và câu lệnh sắp xếp lại như Java không? Vì tôi không thể tìm thấy bất kỳ tham chiếu đến một "Mô hình bộ nhớ Python" hoặc bất cứ điều gì như thế, mặc dù thực tế rằng rất nhiều người đang viết mã Python đa luồng, tôi đoán rằng những gotchas không tồn tại ở đây. Ví dụ: không có dễ bay hơi từ khóa. Nhưng nó dường như không được tuyên bố rõ ràng ở bất cứ nơi nào, ví dụ, một sự thay đổi trong một biến trong một chuỗi là ngay lập tức hiển thị cho tất cả các chủ đề khác.

Có lẽ công cụ này là tất cả đều rất rõ ràng đối với các lập trình viên Python, nhưng như một lập trình viên Java sợ hãi, tôi cần thêm một chút yên tâm :)

Answer 1

Có không có mô hình chính thức cho luồng của Python (hey, sau khi tất cả, không có một cho Java trong nhiều năm ... hy vọng, một trong những cũng cuối cùng sẽ được viết cho Python). Trong thực tế, không có triển khai Python thực hiện bất kỳ tối ưu hóa nâng cao nào như câu lệnh sắp xếp lại hoặc tạm thời xử lý các biến được chia sẻ dưới dạng biến cục bộ - và bạn có thể dựa vào những hạn chế ngữ nghĩa này mặc dù chúng không được đảm bảo chính thức.

CPython nói riêng, như đề cập của @ Rawheiser, sử dụng khóa thông dịch toàn cầu; triển khai khác (PyPy, IronPython, Jython, ...) không (vì vậy chúng có thể sử dụng nhiều lõi hiệu quả với mô hình luồng, trong khi CPython yêu cầu đa xử lý cho cùng một mục đích), vì vậy bạn không nên dựa vào đó nếu bạn muốn để viết mã di động trong suốt quá trình triển khai Python. (Vì vậy, bạn không nên dựa vào "nguyên tử" của các hoạt động chỉ xảy ra nguyên tử trong CPython vì GIL, chẳng hạn như truy cập từ điển - trong các triển khai Python khác, nhiều luồng có thể sửa đổi một dict cùng một lúc và gây ra lỗi trừ khi bạn bảo vệ dict bằng khóa hoặc tương tự).

Answer 2

Google: Global Interpreter Khóa

http://docs.python.org/c-api/init.html#thread-state-and-the-global-interpreter-lock