3 ms·
I think threads is a big enough of a problem that it can be divided into multiple sub problems where each individual problem deserves a solution. Yes, the resou
by yxhuvud 9y ago
I think threads is a big enough of a problem that it can be divided into multiple sub problems where each individual problem deserves a solution. Yes, the resource sharing problem is harder than the part that this solves, but does that really matter?
- Animats 9y agoYes, because control flow and shared data locking work together. Or should.
- yxhuvud 9y agoBut isn't it the case that while nurseries may not solve shared data handling, it certainly doesn't make it harder to reason about. If you get a fix rule that when the program has passed a certain point (the nursery) then the threads are done and the shared data related to the task will not be shared anymore.