-
Notifications
You must be signed in to change notification settings - Fork 12.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Miri subtree update #129785
Miri subtree update #129785
Commits on Aug 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 4abdcd7 - Browse repository at this point
Copy the full SHA 4abdcd7View commit details -
make the cleanup functions private
also move "is there a borrow tracker" check out of the loop
Configuration menu - View commit details
-
Copy full SHA for 4001f59 - Browse repository at this point
Copy the full SHA 4001f59View commit details
Commits on Aug 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e698ca1 - Browse repository at this point
Copy the full SHA e698ca1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3a423fc - Browse repository at this point
Copy the full SHA 3a423fcView commit details -
Auto merge of rust-lang#3834 - sun-jacobi:tb-comment, r=RalfJung
Fix a misleading comment in `tests/pass/tree_borrows/tree-borrows.rs` The original comment is somewhat misleading. Since we don't add a protector for `x` here, `f` should be allowed to deallocate `x`.
Configuration menu - View commit details
-
Copy full SHA for e881c42 - Browse repository at this point
Copy the full SHA e881c42View commit details -
Auto merge of rust-lang#3835 - JoJoDeveloping:tb-fix-stack-overflow, …
…r=RalfJung Avoid extra copy by using `retain_mut` and moving the deletion into the closure Fixes the FIXME introduced in rust-lang#3833. Thanks to `@dmitrii-ubskii` for the idea 🙂
Configuration menu - View commit details
-
Copy full SHA for b8c02eb - Browse repository at this point
Copy the full SHA b8c02ebView commit details
Commits on Aug 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 7f968ba - Browse repository at this point
Copy the full SHA 7f968baView commit details -
Auto merge of rust-lang#3840 - RalfJung:pipe-to-array, r=RalfJung
fix calling pipe, pipe2, socketpair with a pointer-to-array Fixes rust-lang/miri#3839
Configuration menu - View commit details
-
Copy full SHA for 17659eb - Browse repository at this point
Copy the full SHA 17659ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for 14f22c6 - Browse repository at this point
Copy the full SHA 14f22c6View commit details -
Auto merge of rust-lang#3836 - tiif:einval_ctl, r=oli-obk
epoll: Add a EINVAL case In ``epoll_ctl`` documentation, it is mentioned that: > EINVAL epfd is not an epoll file descriptor, or fd is the same as epfd, or the requested operation op is not supported by this interface. So I added this EINVAL case for ``epfd == fd`` in ``epoll_ctl``
Configuration menu - View commit details
-
Copy full SHA for 3a9e63c - Browse repository at this point
Copy the full SHA 3a9e63cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 23f308b - Browse repository at this point
Copy the full SHA 23f308bView commit details -
Auto merge of rust-lang#3829 - tiif:edgecase, r=oli-obk
epoll: handle edge case for epoll_ctl There is a test case that revealed that our implementation differs from the real system: - Set up an epoll watching the FD - Call epoll_wait - Set up another epoll watching the same FD - Call epoll_wait on the first epoll. Nothing should be reported! This happened because, in ``epoll_ctl``, we used ``check_and_update_readiness``, which is a function that would return notification for all epoll file description that registered a particular file description. But we shouldn't do that because no notification should be returned if there is no I/O activity between two ``epoll_wait`` (every first ``epoll_wait`` that happens after ``epoll_ctl`` is an exception, we should return notification that reflects the readiness of file description). r? `@oli-obk`
Configuration menu - View commit details
-
Copy full SHA for dbfd066 - Browse repository at this point
Copy the full SHA dbfd066View commit details -
Configuration menu - View commit details
-
Copy full SHA for f71cdbb - Browse repository at this point
Copy the full SHA f71cdbbView commit details -
Configuration menu - View commit details
-
Copy full SHA for e8175a4 - Browse repository at this point
Copy the full SHA e8175a4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 41ab4ec - Browse repository at this point
Copy the full SHA 41ab4ecView commit details -
Configuration menu - View commit details
-
Copy full SHA for 36235b9 - Browse repository at this point
Copy the full SHA 36235b9View commit details -
Configuration menu - View commit details
-
Copy full SHA for cd67e47 - Browse repository at this point
Copy the full SHA cd67e47View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8f178e4 - Browse repository at this point
Copy the full SHA 8f178e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7aff711 - Browse repository at this point
Copy the full SHA 7aff711View commit details -
Configuration menu - View commit details
-
Copy full SHA for a4d7564 - Browse repository at this point
Copy the full SHA a4d7564View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e8ca57 - Browse repository at this point
Copy the full SHA 7e8ca57View commit details -
Configuration menu - View commit details
-
Copy full SHA for 25ca855 - Browse repository at this point
Copy the full SHA 25ca855View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7d5be06 - Browse repository at this point
Copy the full SHA 7d5be06View commit details -
Configuration menu - View commit details
-
Copy full SHA for 09993ce - Browse repository at this point
Copy the full SHA 09993ceView commit details
Commits on Aug 25, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 0ed13eb - Browse repository at this point
Copy the full SHA 0ed13ebView commit details
Commits on Aug 26, 2024
-
Preparing for merge from rustc
The Miri Cronjob Bot committedAug 26, 2024 Configuration menu - View commit details
-
Copy full SHA for e01bc04 - Browse repository at this point
Copy the full SHA e01bc04View commit details -
The Miri Cronjob Bot committed
Aug 26, 2024 Configuration menu - View commit details
-
Copy full SHA for 55fba66 - Browse repository at this point
Copy the full SHA 55fba66View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9fb611c - Browse repository at this point
Copy the full SHA 9fb611cView commit details -
Auto merge of rust-lang#3844 - rust-lang:rustup-2024-08-26, r=RalfJung
Automatic Rustup
Configuration menu - View commit details
-
Copy full SHA for 2f13379 - Browse repository at this point
Copy the full SHA 2f13379View commit details -
Disable tree traversal optimization that is wrong due to lazy nodes.
See rust-lang#3846 for more information.
Configuration menu - View commit details
-
Copy full SHA for 25e5ac4 - Browse repository at this point
Copy the full SHA 25e5ac4View commit details
Commits on Aug 27, 2024
-
Auto merge of rust-lang#3827 - RalfJung:gc-comment, r=RalfJung
provenance_gc: fix comment Fixes rust-lang/miri#3826 r? `@saethlin`
Configuration menu - View commit details
-
Copy full SHA for eb7bf6e - Browse repository at this point
Copy the full SHA eb7bf6eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6f8fb3c - Browse repository at this point
Copy the full SHA 6f8fb3cView commit details -
Auto merge of rust-lang#3849 - RalfJung:tb-test, r=RalfJung
tree_borrows test: ensure we can actually read the variable
Configuration menu - View commit details
-
Copy full SHA for 9f35309 - Browse repository at this point
Copy the full SHA 9f35309View commit details -
Configuration menu - View commit details
-
Copy full SHA for 664640f - Browse repository at this point
Copy the full SHA 664640fView commit details -
Auto merge of rust-lang#3847 - JoJoDeveloping:master, r=RalfJung
Disable tree traversal optimization that is wrong due to lazy nodes. See rust-lang#3846 for more information. For now, the optimization is disabled in a very "hotfix" way, while we think about potential fixes. Nonetheless, this fixes rust-lang#3846
Configuration menu - View commit details
-
Copy full SHA for 9b82f3b - Browse repository at this point
Copy the full SHA 9b82f3bView commit details -
Make TB tree traversal bottom-up
In preparation for rust-lang#3837, the tree traversal needs to be made bottom-up, because the current top-down tree traversal, coupled with that PR's changes to the garbage collector, can introduce non-deterministic error messages if the GC removes a parent tag of the accessed tag that would have triggered the error first. This is a breaking change for the diagnostics emitted by TB. The implemented semantics stay the same.
Configuration menu - View commit details
-
Copy full SHA for 2765444 - Browse repository at this point
Copy the full SHA 2765444View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5be5cec - Browse repository at this point
Copy the full SHA 5be5cecView commit details -
Auto merge of rust-lang#3843 - JoJoDeveloping:tb-bottom-up-iteration,…
… r=RalfJung Make TB tree traversal bottom-up In preparation for rust-lang#3837, the tree traversal needs to be made bottom-up, because the current top-down tree traversal, coupled with that PR's changes to the garbage collector, can introduce non-deterministic error messages if the GC removes a parent tag of the accessed tag that would have triggered the error first. This is a breaking change for the diagnostics emitted by TB. The implemented semantics stay the same.
Configuration menu - View commit details
-
Copy full SHA for 4318bfe - Browse repository at this point
Copy the full SHA 4318bfeView commit details -
Make Tree Borrows Provenance GC compact the tree
Follow-up on rust-lang#3833 and rust-lang#3835. In these PRs, the TB GC was fixed to no longer cause a stack overflow. One test that motivated it was the test `fill::horizontal_line` in `tiny_skia`. But not causing stack overflows was not a large improvents, since it did not fix the fundamental issue: The tree was too large. The test now ran, but it required gigabytes of memory and hours of time, whereas it finishes within seconds in Stacked Borrows. The problem in that test was that it used [`slice::chunked`](https://doc.rust-lang.org/std/primitive.slice.html#method.chunks) to iterate a slice in chunks. That iterator is written to reborrow at each call to `next`, which creates a linear tree with a bunch of intermediary nodes, which also fragments the `RangeMap` for that allocation. The solution is to now compact the tree, so that these interior nodes are removed. Care is taken to not remove nodes that are protected, or that otherwise restrict their children.
Configuration menu - View commit details
-
Copy full SHA for e26779e - Browse repository at this point
Copy the full SHA e26779eView commit details -
Auto merge of rust-lang#3804 - tiif:blockit, r=oli-obk
Support blocking for epoll This PR enabled epoll to have blocking operation. The changes introduced by this PR are: - Refactored part of the logic in ``epoll_wait`` to ``blocking_epoll_callback`` - Added a new field ``thread_ids`` in ``Epoll`` for blocked thread ids - Added a new ``BlockReason::Epoll``
Configuration menu - View commit details
-
Copy full SHA for 2d69baa - Browse repository at this point
Copy the full SHA 2d69baaView commit details
Commits on Aug 28, 2024
-
Preparing for merge from rustc
The Miri Cronjob Bot committedAug 28, 2024 Configuration menu - View commit details
-
Copy full SHA for ae3c270 - Browse repository at this point
Copy the full SHA ae3c270View commit details -
The Miri Cronjob Bot committed
Aug 28, 2024 Configuration menu - View commit details
-
Copy full SHA for f4f3447 - Browse repository at this point
Copy the full SHA f4f3447View commit details -
Auto merge of rust-lang#3850 - rust-lang:rustup-2024-08-28, r=RalfJung
Automatic Rustup
Configuration menu - View commit details
-
Copy full SHA for 3a655aa - Browse repository at this point
Copy the full SHA 3a655aaView commit details -
Configuration menu - View commit details
-
Copy full SHA for abcfc17 - Browse repository at this point
Copy the full SHA abcfc17View commit details -
Auto merge of rust-lang#3848 - tiif:tokiotest, r=RalfJung
Add tokio io test After rust-lang#3804 landed, these tests passed.
Configuration menu - View commit details
-
Copy full SHA for 79115f5 - Browse repository at this point
Copy the full SHA 79115f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for e34f35e - Browse repository at this point
Copy the full SHA e34f35eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 84134c6 - Browse repository at this point
Copy the full SHA 84134c6View commit details -
Auto merge of rust-lang#3837 - JoJoDeveloping:tb-compacting-provenanc…
…e-gc, r=RalfJung Make Tree Borrows Provenance GC compact the tree Follow-up on rust-lang#3833 and rust-lang#3835. In these PRs, the TB GC was fixed to no longer cause a stack overflow. One test that motivated it was the test `fill::horizontal_line` in [`tiny-skia`](https://github.com/RazrFalcon/tiny-skia). But not causing stack overflows was not a large improvents, since it did not fix the fundamental issue: The tree was too large. The test now ran, but it required gigabytes of memory and hours of time (only for it to be OOM-killed 🤬), whereas it finishes within 24 seconds in Stacked Borrows. With this merged, it finishes in about 40 seconds under TB. The problem in that test was that it used [`slice::chunked`](https://doc.rust-lang.org/std/primitive.slice.html#method.chunks) to iterate a slice in chunks. That iterator is written to reborrow at each call to `next`, which creates a linear tree with a bunch of intermediary nodes, which also fragments the `RangeMap` for that allocation. The solution is to now compact the tree, so that these interior nodes are removed. Care is taken to not remove nodes that are protected, or that otherwise restrict their children. I am currently only 99% sure that this is sound, and I do also think that this could compact even more. So `@Vanille-N` please also have a look at whether I got the compacting logic right. For a more visual comparison, [here is a gist](https://gist.github.com/JoJoDeveloping/ae4a7f7c29335a4c233ef42d2f267b01) of what the tree looks like at one point during that test, with and without compacting. This new GC requires a different iteration order during accesses (since the current one can make the error messages non-deterministic), so it is rebased on top of rust-lang#3843 and requires that PR to be merged first.
Configuration menu - View commit details
-
Copy full SHA for 9ad0f65 - Browse repository at this point
Copy the full SHA 9ad0f65View commit details
Commits on Aug 29, 2024
-
Preparing for merge from rustc
The Miri Cronjob Bot committedAug 29, 2024 Configuration menu - View commit details
-
Copy full SHA for b0c3324 - Browse repository at this point
Copy the full SHA b0c3324View commit details -
The Miri Cronjob Bot committed
Aug 29, 2024 Configuration menu - View commit details
-
Copy full SHA for a10633a - Browse repository at this point
Copy the full SHA a10633aView commit details -
Configuration menu - View commit details
-
Copy full SHA for b5be3ab - Browse repository at this point
Copy the full SHA b5be3abView commit details -
Auto merge of rust-lang#3851 - rust-lang:rustup-2024-08-29, r=RalfJung
Automatic Rustup
Configuration menu - View commit details
-
Copy full SHA for ad7a1aa - Browse repository at this point
Copy the full SHA ad7a1aaView commit details
Commits on Aug 30, 2024
-
Preparing for merge from rustc
The Miri Cronjob Bot committedAug 30, 2024 Configuration menu - View commit details
-
Copy full SHA for 0453d9b - Browse repository at this point
Copy the full SHA 0453d9bView commit details -
The Miri Cronjob Bot committed
Aug 30, 2024 Configuration menu - View commit details
-
Copy full SHA for 23f4eae - Browse repository at this point
Copy the full SHA 23f4eaeView commit details -
Auto merge of rust-lang#3853 - rust-lang:rustup-2024-08-30, r=saethlin
Automatic Rustup
Configuration menu - View commit details
-
Copy full SHA for f03c7b2 - Browse repository at this point
Copy the full SHA f03c7b2View commit details