nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-22 14:55:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Auto merge of #3825 - RalfJung:epoll-miri, r=RalfJung

Browse Source 
epoll test_socketpair_read: explicitly check real and Miri behavior
This commit is contained in:
bors 2024-08-18 09:09:58 +00:00
commit 8f2768b507
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/tools/miri/tests/pass-dep/libc/libc-epoll.rs
View File

@ -479,11 +479,17 @@ fn test_socketpair_read() {
assert_eq!(res, 3);
assert_eq!(buf, "abc".as_bytes());
// Notification will be provided.
// But in real system, no notification will be provided here.
// Notification will be provided in Miri.
// But in real systems, no notification will be provided here, since Linux prefers to avoid
// wakeups that are likely to lead to only small amounts of data being read/written.
// We make the test work in both cases, thus documenting the difference in behavior.
let expected_event = u32::try_from(libc::EPOLLOUT).unwrap();
let expected_value = fds[1] as u64;
check_epoll_wait::<8>(epfd, &[(expected_event, expected_value)]);
if cfg!(miri) {
check_epoll_wait::<8>(epfd, &[(expected_event, expected_value)]);
} else {
check_epoll_wait::<8>(epfd, &[]);
}
// Read until the buffer is empty.
let mut buf: [u8; 2] = [0; 2];