Comments (5)
#3 Another UB. Analyzed by hand
from kanal.
SyncSignal is const reference now. if you think it's fixed feel free to close the thread.
from kanal.
That part is fixed, I've also added a PR that fixes some other sync related issues: #4
With it all sync tests no longer trigger any UB through miri.
I'll do async separetely since it it's harder to grok through miri's error messages there.
from kanal.
I'll do async separetely since it it's harder to grok through miri's error messages there.
Do you have any examples? I just pulled the latest commit and all I see is a straightforward aliasing issue.
from kanal.
There is no known undefined behavior in the library anymore, Miri reports no error on both sync and async, feel free to reopen the issue if you found something new.
from kanal.
Related Issues (20)
- `AsyncReceiver::try_recv` never returns `Err` for multiple sender HOT 2
- Data race with waker access HOT 16
- Lost wake-ups due to race HOT 4
- Access to `AsyncSignal` is not sound HOT 13
- pointer bugs HOT 6
- Help needed improving Kanal HOT 5
- pointer bugs 2 HOT 6
- Add Oneshot implementation HOT 17
- Async can't utilize `KanalPtr` as effective as Sync HOT 1
- Are kanal functions cancel-safe? HOT 9
- Miri error when forgetting Box<T> HOT 2
- oneshot deadlock in 0.1.0-pre8 HOT 4
- Intrusive variants HOT 3
- Feature: implement recv_timeout for AsyncReceiver HOT 2
- Kanal is slower than crossbeam HOT 1
- Incorrect Send and Sync bounds HOT 2
- Oneshot: Data race detected HOT 3
- Unsound implementation of `as_sync` HOT 3
- Usage example
- Feature: Provide a select! macro HOT 6
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from kanal.