René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Function version numbers do not obey necessary invariants","articleBody":"# Bug report\n\n### Bug description:\n\nIt is a necessary invariant of version numbers that an equal version number means that the objects are equivalent. That is, all operations on the two objects will give the same result.\n\nThis works for class and dict version numbers as no version number is shared between different objects and any change to the object results in a new version number.\n\nHowever, we share version numbers for functions and that causes problems. https://github.com/python/cpython/issues/117051\nWe have good reasons for sharing version numbers. It allows much better optimization of closures. https://github.com/python/cpython/pull/98525\n\nWant we want is a scheme that allows us to share version numbers, but preserves the invariant that the same function number means a function that is functionally identical.\n\nAssuming that the function version gets modified whenever the function version is modified, if we want to share versions we only need to ensure the invariant when creating a function.\nWe do not need to ensure that all functions that are functionally identical share a version, just enough to optimize most common cases.\n\nA function consists of the following fields that we care about when optimizing:\n* Code object\n* Globals\n* Builtins\n* Defaults (only the number, not the actual values)\n\nIt is `MAKE_FUNCTION` that is responsible for setting the version number., which we get only from the code object, meaning that if the globals, builtins or defaults differ from any other function with the same code object, the version number is invalid.\n\n\n\n\n\n\n\n\n\n\n\n\n\n### CPython versions tested on:\n\n3.13, CPython main branch\n\n### Operating systems tested on:\n\n_No response_\n\n\u003c!-- gh-linked-prs --\u003e\n### Linked PRs\n* gh-117093\n\u003c!-- /gh-linked-prs --\u003e\n","author":{"url":"https://github.com/markshannon","@type":"Person","name":"markshannon"},"datePublished":"2024-03-20T16:00:02.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":5},"url":"https://github.com/117086/cpython/issues/117086"}