2 ms·
> We do concurrent reasoning every time we drive a car! > More generally, some studies find that if you frame concurrent systems in human terms ("meatspace mod
by eviks 3y ago
> We do concurrent reasoning every time we drive a car!
> More generally, some studies find that if you frame concurrent systems in human terms ("meatspace modeling"), people get quite good at finding the race conditions.
> So while concurrency might be difficult to reason about, I don't think it's because of a fault in our brains.
Indeed, when you drive a car you get rich input, unlike with concurrency where neither the design nor, even more importantly, execution, is presented to you in anything similarly comprehensible
- HPsquared 3y agoMaybe we need a richer debugger experience.
- eviks 3y agoDefinitely, there are some ideas on at least not wasting the time on stepping thru and instead having "rewindable" debug recordings, but then that's still not show you visually that, e.g., this whether the interleaving is forming the unexpected (by you) sequence of A1B2B1A2.