Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
74 commits
Select commit Hold shift + click to select a range
95a5138
Add benchmark showing effectivity of subtree skipping
JoJoDeveloping Oct 26, 2024
4400804
Refactor AnonSocket::read/write
tiif Nov 17, 2024
6af006e
Fill out Windows error mapping table
CraftSpider Nov 21, 2024
7d38c51
eventfd: comment tweaks
RalfJung Nov 21, 2024
0a7e63a
Add comment about multiple errors to one ErrorKind
CraftSpider Nov 21, 2024
0267cbf
Merge pull request #4046 from CraftSpider/windows-error-mapping
RalfJung Nov 21, 2024
f77817a
Preparing for merge from rustc
Nov 22, 2024
69930dc
Merge from rustc
Nov 22, 2024
33f4d2e
epoll: fix comment typo
RalfJung Nov 21, 2024
7dcba03
disable solaris on CI for now
RalfJung Nov 22, 2024
76f27aa
Merge pull request #4049 from rust-lang/rustup-2024-11-22
RalfJung Nov 22, 2024
fa93f35
Merge pull request #4047 from RalfJung/eventfd-comments
RalfJung Nov 22, 2024
004edb2
sysconf interception fix for solarish systems.
devnexen Nov 22, 2024
6a4aa9a
Merge pull request #4052 from devnexen/gh4050
RalfJung Nov 23, 2024
bb55f52
follow-up on #4052, making a miri evaluation context fn for strerror_r.
devnexen Nov 23, 2024
a221d50
Merge pull request #4054 from devnexen/strerror_r_chg
RalfJung Nov 24, 2024
1deb8f9
sysconf: add _SC_OPEN_MAX
devnexen Nov 23, 2024
0761f07
Merge pull request #4053 from devnexen/sysconf_extend
RalfJung Nov 24, 2024
d125945
Merge pull request #4037 from tiif/blockpipe
RalfJung Nov 24, 2024
57c6615
Added epoll and eventfd for Android
YohDeadfall Nov 6, 2024
64f42a4
Fixed test target
YohDeadfall Nov 11, 2024
13aa5fb
Added linux_like module
YohDeadfall Nov 11, 2024
065d9b5
Fix the rest of the tests
YohDeadfall Nov 11, 2024
a05e53b
attempt to fix miri failing to create file when under weird powershel…
asquared31415 Nov 26, 2024
366001f
Merge pull request #4016 from YohDeadfall/android-epoll
RalfJung Nov 26, 2024
24a1946
Merge pull request #4061 from asquared31415/dep_info_fix
RalfJung Nov 26, 2024
109c299
Simplify thread blocking tests
tiif Nov 26, 2024
63ce8fb
Merge pull request #4059 from tiif/fixtest
oli-obk Nov 26, 2024
15001f3
filesystem support for solarish.
devnexen Nov 12, 2024
987d642
Merge pull request #4031 from devnexen/solarish_stat
RalfJung Nov 26, 2024
79b4f25
Preparing for merge from rustc
Nov 28, 2024
45ed69e
Merge from rustc
Nov 28, 2024
2039a9f
fmt
Nov 28, 2024
8e2d72b
silence clippy
RalfJung Nov 28, 2024
4624dad
Merge pull request #4063 from rust-lang/rustup-2024-11-28
RalfJung Nov 28, 2024
c2cb993
remove ctrlc, unused
klensy Nov 28, 2024
b4744f8
Merge pull request #4064 from klensy/ctrlc
oli-obk Nov 28, 2024
374397f
Move FdTable to public location, fix up imports
CraftSpider Nov 29, 2024
035777d
Split unix-specific function into UnixFileDescription
CraftSpider Nov 29, 2024
244249e
Make metadata a FileDescription operation
CraftSpider Nov 29, 2024
aaa4e75
Merge pull request #4045 from CraftSpider/move-fdmap
RalfJung Dec 1, 2024
db8bef5
Preparing for merge from rustc
Dec 4, 2024
1300e46
Merge from rustc
Dec 4, 2024
6c94020
fmt
Dec 4, 2024
76c27a9
update lockfile
RalfJung Dec 4, 2024
86d6dc0
Merge pull request #4070 from rust-lang/rustup-2024-12-04
RalfJung Dec 4, 2024
91bd957
implement simd_relaxed_fma
RalfJung Dec 4, 2024
b4b0e03
Merge pull request #4071 from RalfJung/simd_relaxed_fma
RalfJung Dec 4, 2024
fceb304
Properly fix #3846 by resetting parents on lazy node creation
JoJoDeveloping Aug 26, 2024
599aef2
Merge pull request #4006 from JoJoDeveloping/tb-fix-3846-retag
RalfJung Dec 4, 2024
8d28ec4
extend some comments regarding weak memory emulation
RalfJung Nov 22, 2024
9449cb9
move GlobalState definition further up so the types are mor concentra…
RalfJung Nov 24, 2024
fe85681
make SC fences stronger, to be correct wrt C++20
RalfJung Nov 24, 2024
16d549a
Avoid passing byte slice to anonsocket_read
tiif Dec 5, 2024
54ff463
Merge pull request #4074 from tiif/cleanup
oli-obk Dec 5, 2024
cfc3924
Preparing for merge from rustc
Dec 6, 2024
4e69b65
Merge from rustc
Dec 6, 2024
981f432
Merge pull request #4075 from rust-lang/rustup-2024-12-06
oli-obk Dec 6, 2024
a57d5fe
Merge pull request #4057 from RalfJung/scfix
RalfJung Dec 6, 2024
a5622a2
fix SC fence logic
RalfJung Dec 6, 2024
644faf4
add test
RalfJung Dec 6, 2024
016fb48
remove a no-longer-needed work-around
RalfJung Dec 6, 2024
d1094ea
Merge pull request #4076 from RalfJung/sc-fence
RalfJung Dec 6, 2024
8afc3c6
Preparing for merge from rustc
Dec 7, 2024
97633d8
Merge from rustc
Dec 7, 2024
8f05e4c
fmt
Dec 7, 2024
e82426c
Merge pull request #4079 from rust-lang/rustup-2024-12-07
RalfJung Dec 7, 2024
854dcbc
add weak memory consistency test for mixing SC accesses and fences
RalfJung Dec 7, 2024
6956b41
Merge pull request #4080 from RalfJung/sc-fence-access-test
RalfJung Dec 7, 2024
7ba5192
Preparing for merge from rustc
Dec 8, 2024
8cabbc9
Merge from rustc
Dec 8, 2024
03c412e
fix build
RalfJung Dec 8, 2024
4740b0f
Merge pull request #4081 from rust-lang/rustup-2024-12-08
saethlin Dec 8, 2024
a33b4b1
update lockfile
RalfJung Dec 8, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
sysconf: add _SC_OPEN_MAX
  • Loading branch information
devnexen authored and RalfJung committed Nov 24, 2024
commit 1deb8f9ec1b8a08b76c5bf4ca8b63dd1702e644b
5 changes: 5 additions & 0 deletions src/tools/miri/src/shims/unix/foreign_items.rs
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
// 512 seems to be a reasonable default. The value is not critical, in
// the sense that getpwuid_r takes and checks the buffer length.
("_SC_GETPW_R_SIZE_MAX", |this| Scalar::from_int(512, this.pointer_size())),
// Miri doesn't have a fixed limit on FDs, but we may be limited in terms of how
// many *host* FDs we can open. Just use some arbitrary, pretty big value;
// this can be adjusted if it causes problems.
// The spec imposes a minimum of `_POSIX_OPEN_MAX` (20).
("_SC_OPEN_MAX", |this| Scalar::from_int(2_i32.pow(16), this.pointer_size())),
];
for &(sysconf_name, value) in sysconfs {
let sysconf_name = this.eval_libc_i32(sysconf_name);
Expand Down
2 changes: 2 additions & 0 deletions src/tools/miri/tests/pass-dep/libc/libc-sysconf.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,8 @@ fn test_sysconfbasic() {
// note that in reality it can return -1 (no hard limit) on some platforms.
let gwmax = libc::sysconf(libc::_SC_GETPW_R_SIZE_MAX);
assert!(gwmax >= 512);
let omax = libc::sysconf(libc::_SC_OPEN_MAX);
assert_eq!(omax, 65536);
}
}

Expand Down