René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Make the specializing interpreter thread-safe in `--disable-gil` builds","articleBody":"# Feature or enhancement\r\n\r\n### Proposal:\r\n\r\nIn free-threaded builds, the specializing adaptive interpreter needs to be made thread-safe. We should start with a small PR to simply disable it in free-threaded builds, which will be correct but will incur a performance penalty. Then we can work out how to properly support specialization in a free-threaded build.\r\n\r\nThese two commits from Sam's nogil-3.12 branch can serve as inspiration:\r\n1. [specialize: make specialization thread-safe\r\n](https://github.com/colesbury/nogil-3.12/commit/7e7568672d)\r\n2. [specialize: optimize for single-threaded programs](https://github.com/colesbury/nogil-3.12/commit/90d34f0d18)\r\n\r\nThere are two primary concerns to balance while implementing this functionality on `main`:\r\n1. **Runtime overhead**: There should be no performance impact on normal builds, and minimal performance impact on single-threaded code running in free-threaded builds.\r\n2. **Reducing code duplication/divergence**: We should come up with a design that is minimally disruptive to ongoing work on the specializing interpreter. It should be easy for other devs to keep the free-threaded build working without having to know too much about it.\r\n\r\n### Has this already been discussed elsewhere?\r\n\r\nI have already discussed this feature proposal on Discourse\r\n\r\n### Links to previous discussion of this feature:\r\n\r\n- https://peps.python.org/pep-0703/\r\n- https://github.com/python/cpython/issues/108219\r\n\r\n### Specialization Families\r\n```[tasklist]\n- [x] BINARY_OP\n- [x] BINARY_SUBSCR - @corona10\n- [x] CALL - @mpage\n- [x] CALL_KW - @mpage\n- [x] COMPARE_OP - @Yhg1s\n- [x] CONTAINS_OP - @corona10\n- [x] FOR_ITER - @Yhg1s\n- [x] LOAD_ATTR - @mpage\n- [x] LOAD_CONST\n- [x] LOAD_GLOBAL - @mpage\n- [x] LOAD_SUPER_ATTR - @nascheme\n- [x] RESUME\n- [x] SEND - @nascheme\n- [x] STORE_ATTR - -@nascheme\n- [x] STORE_SUBSCR - @colesbury\n- [x] TO_BOOL - @corona10\n- [x] UNPACK_SEQUENCE - @Eclips4\n```\r\n\r\n\u003c!-- gh-linked-prs --\u003e\r\n### Linked PRs\r\n* gh-116013\r\n* gh-123926\r\n* gh-124953\r\n* gh-124997\r\n* gh-126410\r\n* gh-126414\r\n* gh-126440\r\n* gh-126450\r\n* gh-126498\r\n* gh-126515\r\n* gh-126600\r\n* gh-126607\r\n* gh-126616\r\n* gh-127030\r\n* gh-127123\r\n* gh-127128\r\n* gh-127167\r\n* gh-127169\r\n* gh-127227\r\n* gh-127426\r\n* gh-127514\r\n* gh-127711\r\n* gh-127713\r\n* gh-127737\r\n* gh-127838\r\n* gh-128164\r\n* gh-128166\r\n* gh-128637\r\n* gh-128798\n* gh-129365\n* gh-131285\n* gh-133824\n* gh-134286\n* gh-134348\n* gh-136249\n\u003c!-- /gh-linked-prs --\u003e\r\n","author":{"url":"https://github.com/swtaarrs","@type":"Person","name":"swtaarrs"},"datePublished":"2024-02-27T19:08:29.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":14},"url":"https://github.com/115999/cpython/issues/115999"}