Loading...
Please wait, while we are loading the content...
Similar Documents
Lazy-CSeq 0.6c: An improved lazy sequentialization tool for C (competition contribution)
| Content Provider | Semantic Scholar |
|---|---|
| Author | Inverso, Omar Tomasco, Ermenegildo Fischer, Bernd Torre, Salvatore La Parlato, Gennaro |
| Copyright Year | 2014 |
| Abstract | We describe an improved version of the bounded lazy sequentialization schema, and its implementation within the CSeq framework for sequentially consistent C programs using POSIX threads. The new schema uses an optimized representation of the context switch points and eagerly guesses these, but retains the other characteristics of the original lazy schema. Experiments show that the optimizations lead to substantial performance gains. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://eprints.soton.ac.uk/370673/1/lazy-cseq.pdf |
| Alternate Webpage(s) | http://eprints.soton.ac.uk/370673/1/lazy-cseq.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |