Can I read Checking Automatically the Output of Concurrent Threads on EtoBox?

Checking Automatically the Output of Concurrent Threads by Rainer Oechsle; Kay Barzen is a Computer Science article available to read on EtoBox.

What is Checking Automatically the Output of Concurrent Threads about?

Assessing automatically students' solutions to concurrent programming assignments by looking at the produced output is a crucial and error-prone task. On the one hand a student's program may coincidentally produce a correct output although the program is faulty; the program could also produce invalid output which does not happen to be observed even when the program is run several times. On the other hand the synchronization in a student's program may be too strong, leading to a situation where certain correct outputs can never be generated. This paper presents an approach for checking automatically the output of concurrent threads for correctness. The basic idea is that we provide special implementations of synchronization primitives like semaphores that use vector timestamps. Every output action of a thread is tagged by its vector timestamp. Therefore it can be decided whether two output actions are causally related (they can occur only in the order which was actually observed because of an underlying synchronization), or whether two output actions are not causally related, i.e. concurrent (they may happen in any order). The output of a student's program is represented as a graph.

Who reads Checking Automatically the Output of Concurrent Threads?

Author

Rainer Oechsle; Kay Barzen

Publisher

ACM

Published

2007

Language

EN

Field

Computer Science (Physical Sciences)