writeup/conclusion.tex

   1 \mysection{Conclusion\label{sec:conclusion}}
   2
   3 The \TOOL specification language and checking system makes it easier
   4 to unit test concurrent data structures written for the C/C++11 memory
   5 model.  It extends and modifies classic approaches to defining the
   6 desired behaviors of concurrent data structures with respect to
   7 sequential versions of the same data structure to
   8 apply to the C/C++ memory model.  Our evaluation shows
   9 that the approach can be used to specify and test correctness
  10 properties for a range of data structures including a
  11 lock-free hashtable, work-stealing deque, queues and locks.