Skip to content

Issues: gatoWololo/rr_channel

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

22 Open 18 Closed
22 Open 18 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

GlobalReplayer has no entry for ThreadId[8,1,1] - basically a thread that spawns but does nothing
#50 opened Nov 2, 2021 by bhavanamehta5
2
Implement In Memory Recorder For Testing
#46 opened Dec 16, 2020 by gatoWololo
Handle Router Shutdown
#44 opened Oct 27, 2020 by gatoWololo
2 tasks
Timing Information For Channels
#42 opened May 26, 2020 by gatoWololo
4 tasks
@edumenyo
Add metadata to Select
#41 opened May 21, 2020 by gatoWololo
2 tasks
Missing log entries when main exits before threads
#38 opened May 11, 2020 by gatoWololo
7
Handling "real" races in programs
#37 opened May 11, 2020 by gatoWololo
channel version of Racey test
#36 opened May 1, 2020 by devietti
1
Instrumenting Rust Projects with RR Channels.
#35 opened Apr 29, 2020 by gatoWololo
Fall back to real thread IDs when missing DetThreadId
#33 opened Apr 2, 2020 by gatoWololo
1
Add implementation for std::sync::mpsc
#32 opened Apr 2, 2020 by gatoWololo
Add Ring Topology Test
#31 opened Apr 2, 2020 by gatoWololo
Terrible IPC Channel Performance
#30 opened Aug 23, 2019 by gatoWololo
Change DetThreadId not to be a vector
#29 opened Aug 23, 2019 by gatoWololo
@edumenyo
Use structured logging.
#25 opened Jul 31, 2019 by gatoWololo
ROUTER lazy static DetThreadId is non-deterministic
#22 opened Jul 29, 2019 by gatoWololo
1
IPC Channel Serialization Not Working
#20 opened Jul 18, 2019 by gatoWololo
1
Workshop Paper Ideas
#17 opened Jul 3, 2019 by gatoWololo
1 task
servo/media/webrtc uses stdlib channels.
#16 opened Jul 2, 2019 by gatoWololo
Support MPSC bounded() channel.
#15 opened Jul 1, 2019 by gatoWololo
@edumenyo
Integrate tests/examples with cargo.
#13 opened Jul 1, 2019 by gatoWololo
Formal model?
#4 opened Jun 7, 2019 by asajeffrey
ProTip! Adding no:label will show everything without a label.