4 ms·
Interesting, 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 m
by fuzztester 2y ago
Interesting, 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.