3 ms·
> But it has many other good language features, IMO. It also has a few rather problematic corners, e.g. that preconditions in multithreaded applications interf
by Rochus 2y ago
> But it has many other good language features, IMO.
It also has a few rather problematic corners, e.g. that preconditions in multithreaded applications interfere with thread synchronization.
- fuzztester 2y agoInteresting, I did not know this. I wonder why that happens. I would have thought, not having looked into how preconditions are implemented in Eiffel, that it might work the same as in C, that is like C's assert, in which case I don't know why there should be multi-threading issues with Eiffel preconditions.
- Rochus 2y agoIt's a conceptual and implementation issue; the conditions must also be met in a multithreaded environment, which means they have a synchronization effect (and corresponding thread synchronication code must be added by the compiler); this synchronisation must be considered when doing multithreaded design, and this can become pretty complex.
- fuzztester 2y agothanks, I think I get it roughly now.