Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Add recv_timeout for pipes #3015

Closed
eholk opened this issue Jul 25, 2012 · 6 comments
Closed

Add recv_timeout for pipes #3015

eholk opened this issue Jul 25, 2012 · 6 comments
Labels
A-concurrency Area: Concurrency C-enhancement Category: An issue proposing an enhancement or a PR with one. P-low Low priority

Comments

@eholk
Copy link
Contributor

eholk commented Jul 25, 2012

This seems useful. Part of #1255
@ghost ghost assigned eholk Jul 26, 2012
@bstrie
Copy link
Contributor

bstrie commented Apr 26, 2013

If libuv is intended to provide the timer, then this should wait until brson finishes the scheduler overhaul.

@graydon
Copy link
Contributor

graydon commented Aug 7, 2013

Visiting for triage. Still in the process of transitioning to the new RT but it does not look like anyone's written a recv_timeout variant yet. Possibly you can fake it pretty easily with timer and select, but nothing high level.

@flaper87
Copy link
Contributor

flaper87 commented Sep 4, 2013

I'll work on this

@flaper87 flaper87 mentioned this issue Sep 14, 2013
Closed
@flaper87 flaper87 mentioned this issue Oct 7, 2013
Closed
@flaper87
Copy link
Contributor

flaper87 commented Jan 4, 2014

I think this still needs to be implemented. @alexcrichton Implemented oneshot and periodic as part of alexcrichton@7a1d97e but those methods don't block the task and messages will be received just after msecs.

@pnkfelix
Copy link
Member

Accepting P-low.

@eholk eholk removed their assignment Jun 16, 2014
@steveklabnik steveklabnik mentioned this issue Feb 10, 2015
Open
@steveklabnik
Copy link
Member

I'm pulling a massive triage effort to get us ready for 1.0. As part of this, I'm moving stuff that's wishlist-like to the RFCs repo, as that's where major new things should get discussed/prioritized.

This issue has been moved to the RFCs repo: rust-lang/rfcs#821

RalfJung pushed a commit to RalfJung/rust that referenced this issue Aug 11, 2023
@bors
Auto merge of rust-lang#3015 - RalfJung:miri-script, r=RalfJung
7ab10d2 
rustc-pull: put a newline after the commit ID
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@feliperodri
Upgrade Rust toolchain to nightly-2024-02-09 (rust-lang#3015)
17ff02c 
Attempt to update Rust toolchain from nightly-2024-01-25 to
nightly-2024-02-09.

Resolves model-checking/kani#3014.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-concurrency Area: Concurrency C-enhancement Category: An issue proposing an enhancement or a PR with one. P-low Low priority
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Implement recv_timeout for std::comm *Port implementations flaper87/rust
6 participants
@flaper87 @graydon @steveklabnik @eholk @pnkfelix @bstrie