libera/#commonlisp - IRC Chatlog
Search
14:23:28
pjb
Ap0gee: so you could 1- test them sequentially in any order (a first sanity check). and
14:24:11
pjb
Ap0gee: 2- test them in parallel, still independently, in separate threads. To run the tests, you'll need a thread-safe test framework, and not forget to thread-join the threads at the end, before reporting the results.
14:26:09
pjb
Ap0gee: now, of course, the parallel processes may sometimes need to have synchronisation between them. (eg. a consummer and a producer). In that case, you may try to test different situations by adding delays, or other modifications to the code, but it would be more testing the synchronization primitives than anything else. Better modelize the processes and prove they should work, using eg. CSP.
14:26:50
pjb
Ap0gee: of course, you still need to be aware of the limitations of such a formal proof. Have a look at
0:39:24
nytpu
is it possible to define a method dispatching on an object that is a child of multiple classes; for example with made-up syntax: `(defmethod method ((obj (and parent1 parent2))) ...)`
0:40:39
nytpu
to avoid x-y, i'm abusing classes and multiple inheritance to define traits: https://en.wikipedia.org/wiki/Trait_(computer_programming) and i want to define a method that'd dispatch on any class that inherits from two of the traits