René's URL Explorer Experiment


Title: Deadlock when `array.fromfile` re-enters `append` via `__index__` · Issue #6549 · RustPython/RustPython · GitHub

Open Graph Title: Deadlock when `array.fromfile` re-enters `append` via `__index__` · Issue #6549 · RustPython/RustPython

X Title: Deadlock when `array.fromfile` re-enters `append` via `__index__` · Issue #6549 · RustPython/RustPython

Description: What happened? array.fromfile calls the user-provided f.read(), and that callback can append objects to the same array while it is being resized. The append path grabs the array's write lock before converting the element, then calls the ...

Open Graph Description: What happened? array.fromfile calls the user-provided f.read(), and that callback can append objects to the same array while it is being resized. The append path grabs the array's write lock before...

X Description: What happened? array.fromfile calls the user-provided f.read(), and that callback can append objects to the same array while it is being resized. The append path grabs the array's write lock be...

Opengraph URL: https://github.com/RustPython/RustPython/issues/6549

X: @github

direct link

Domain: github.com


Hey, it has json ld scripts:
{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Deadlock when `array.fromfile` re-enters `append` via `__index__`","articleBody":"### What happened?\n\n`array.fromfile` calls the user-provided `f.read()`, and that callback can append objects to the same array while it is being resized. The append path grabs the array's write lock before converting the element, then calls the object's `__index__`. If `__index__` performs another `array.append` (as in the PoC), the second append blocks forever on the already-held `PyRwLock`, causing a deadlock instead of raising an error.\n\n**Proof of Concept:**\n```python\nimport array\n\na = array.array(\"b\")\n\nclass X:\n    def __index__(self):\n        a.append(0)\n        return 0\n\nclass R:\n    def read(self, n):\n        a.append(X())\n        return b\"\\0\" * n\n\na.fromfile(R(), 1)\n```\n\n\n\u003cdetails\u003e\n\u003csummary\u003e\u003cstrong\u003eAffected Versions\u003c/strong\u003e\u003c/summary\u003e\n\n| RustPython Version | Status | Exit Code |\n|---|---|---|\n| `Python 3.13.0alpha (heads/main-dirty:21300f689, Dec 13 2025, 22:16:49)  [RustPython 0.4.0 with rustc 1.90.0-nightly (11ad40bb8 2025-06-28)]` | Deadlock | 124 |\n\u003c/details\u003e\n\n\u003cdetails\u003e\n\u003csummary\u003e\u003cstrong\u003eVulnerable Code\u003c/strong\u003e\u003c/summary\u003e\n\n```c\n#[pymethod]\nfn fromfile(\u0026self, f: PyObjectRef, n: isize, vm: \u0026VirtualMachine) -\u003e PyResult\u003c()\u003e {\n    let b = vm.call_method(\u0026f, \"read\", (n_bytes,))?; // user f.read runs arbitrary code while the array can still be mutated\n    ...\n}\n\n#[pymethod]\nfn append(zelf: \u0026Py\u003cSelf\u003e, x: PyObjectRef, vm: \u0026VirtualMachine) -\u003e PyResult\u003c()\u003e {\n    zelf.try_resizable(vm)?.push(x, vm) // takes a non-reentrant PyRwLock write guard before converting x\n}\n\nimpl ArrayElement for i8 {\n    fn try_into_from_object(vm: \u0026VirtualMachine, obj: PyObjectRef) -\u003e PyResult\u003cSelf\u003e {\n        obj.try_index(vm)?.try_to_primitive(vm) // invokes __index__ while the write lock is held; reentrant array.append inside __index__ deadlocks\n    }\n}\n\nimpl BufferResizeGuard for PyArray {\n    fn try_resizable_opt(\u0026self) -\u003e Option\u003cSelf::Resizable\u003c'_\u003e\u003e {\n        let w = self.write(); // second append blocks here waiting on the same PyRwLock, hanging the interpreter\n        (self.exports.load(atomic::Ordering::SeqCst) == 0).then_some(w)\n    }\n}\n```\n\u003c/details\u003e\n\n\u003cdetails\u003e\n\u003csummary\u003e\u003cstrong\u003eRust Output\u003c/strong\u003e\u003c/summary\u003e\n\n```\nProgram hangs forever\n```\n\u003c/details\u003e\n\u003cdetails\u003e\n\u003csummary\u003e\u003cstrong\u003eCPython Output\u003c/strong\u003e\u003c/summary\u003e\n\n```\n(No output)\n```\n\u003c/details\u003e\n\n","author":{"url":"https://github.com/jackfromeast","@type":"Person","name":"jackfromeast"},"datePublished":"2025-12-27T04:53:28.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/6549/RustPython/issues/6549"}

route-pattern/_view_fragments/issues/show/:user_id/:repository/:id/issue_layout(.:format)
route-controllervoltron_issues_fragments
route-actionissue_layout
fetch-noncev2:7a0d43c7-442b-998f-7d8d-8c15141ae0bd
current-catalog-service-hash81bb79d38c15960b92d99bca9288a9108c7a47b18f2423d0f6438c5b7bcd2114
request-idEDB6:29E881:A06DCA:E02CEA:696A559C
html-safe-nonce68be20cf31ba3849f1db71834c0818cebdf1dff25c7ec5d97b598345204c9f81
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFREI2OjI5RTg4MTpBMDZEQ0E6RTAyQ0VBOjY5NkE1NTlDIiwidmlzaXRvcl9pZCI6IjQxNDAzOTQzOTI2MDc5Mzc5NDgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac23e46692eaa6abae28fb505e7a6fafa740cadea0ee126407898bce8cfac9e42f
hovercard-subject-tagissue:3764354946
github-keyboard-shortcutsrepository,issues,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/issues_fragments/issue_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/issues/show/RustPython/RustPython/6549/issue_layout
twitter:imagehttps://opengraph.githubassets.com/815ba18e3f5f6caab174b76a47e273a4eb593d1eae0d0072858d71b6d1c775c9/RustPython/RustPython/issues/6549
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/815ba18e3f5f6caab174b76a47e273a4eb593d1eae0d0072858d71b6d1c775c9/RustPython/RustPython/issues/6549
og:image:altWhat happened? array.fromfile calls the user-provided f.read(), and that callback can append objects to the same array while it is being resized. The append path grabs the array's write lock before...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamejackfromeast
hostnamegithub.com
expected-hostnamegithub.com
None3f871c8e07f0ae1886fa8dac284166d28b09ad5bada6476fc10b674e489788ef
turbo-cache-controlno-preview
go-importgithub.com/RustPython/RustPython git https://github.com/RustPython/RustPython.git
octolytics-dimension-user_id39710557
octolytics-dimension-user_loginRustPython
octolytics-dimension-repository_id135201145
octolytics-dimension-repository_nwoRustPython/RustPython
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id135201145
octolytics-dimension-repository_network_root_nwoRustPython/RustPython
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release63c426b30d262aba269ef14c40e3c817b384cd61
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/RustPython/RustPython/issues/6549#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FRustPython%2FRustPython%2Fissues%2F6549
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FRustPython%2FRustPython%2Fissues%2F6549
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fissues_fragments%2Fissue_layout&source=header-repo&source_repo=RustPython%2FRustPython
Reloadhttps://github.com/RustPython/RustPython/issues/6549
Reloadhttps://github.com/RustPython/RustPython/issues/6549
Reloadhttps://github.com/RustPython/RustPython/issues/6549
RustPython https://github.com/RustPython
RustPythonhttps://github.com/RustPython/RustPython
Notifications https://github.com/login?return_to=%2FRustPython%2FRustPython
Fork 1.4k https://github.com/login?return_to=%2FRustPython%2FRustPython
Star 21.7k https://github.com/login?return_to=%2FRustPython%2FRustPython
Code https://github.com/RustPython/RustPython
Issues 278 https://github.com/RustPython/RustPython/issues
Pull requests 92 https://github.com/RustPython/RustPython/pulls
Discussions https://github.com/RustPython/RustPython/discussions
Actions https://github.com/RustPython/RustPython/actions
Projects 0 https://github.com/RustPython/RustPython/projects
Wiki https://github.com/RustPython/RustPython/wiki
Security Uh oh! There was an error while loading. Please reload this page. https://github.com/RustPython/RustPython/security
Please reload this pagehttps://github.com/RustPython/RustPython/issues/6549
Insights https://github.com/RustPython/RustPython/pulse
Code https://github.com/RustPython/RustPython
Issues https://github.com/RustPython/RustPython/issues
Pull requests https://github.com/RustPython/RustPython/pulls
Discussions https://github.com/RustPython/RustPython/discussions
Actions https://github.com/RustPython/RustPython/actions
Projects https://github.com/RustPython/RustPython/projects
Wiki https://github.com/RustPython/RustPython/wiki
Security https://github.com/RustPython/RustPython/security
Insights https://github.com/RustPython/RustPython/pulse
New issuehttps://github.com/login?return_to=https://github.com/RustPython/RustPython/issues/6549
New issuehttps://github.com/login?return_to=https://github.com/RustPython/RustPython/issues/6549
#6576https://github.com/RustPython/RustPython/pull/6576
Deadlock when array.fromfile re-enters append via __index__https://github.com/RustPython/RustPython/issues/6549#top
#6576https://github.com/RustPython/RustPython/pull/6576
https://github.com/youknowone
https://github.com/copilot-swe-agent
https://github.com/jackfromeast
https://github.com/jackfromeast
jackfromeasthttps://github.com/jackfromeast
on Dec 27, 2025https://github.com/RustPython/RustPython/issues/6549#issue-3764354946
Copilothttps://github.com/apps/copilot-swe-agent
youknowonehttps://github.com/youknowone
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.