Library std::list

This paper documents our effort to transactionalize a C++ Standard Template Library (STL) container to demonstrate the feasibility of the transactional language constructs proposed by Study Group 5 (SG5): Transactional Memory. We began this study with std::list and made it transaction-safe using the transactional memory support in GCC 4.9. The changes were minimal and were generally restricted to the addition of transaction_safe keyword to a few interfaces such as allocate, deallocate, and swap functions. The rest of the changes were added to internal helper functions. Some of the issues that we considered were the constant time complexity of std::list.size() and friends, and its const noexcept nature. This experience shows that the safety of STL containers must not be specified directly, but instead should be inherited from the type with which the container is instantiated. For our future work, we plan to expand this effort to other STL containers as well as converting the clang/llvm C++ library. Changes from previous versions N4000 (this paper): present updates and summary from LEWG and propose wording for TM TS for LWG N3862: presented to LEWG for review of transactionalizing std::list. Urged to continue work [9] [10] and approved 8/3/2/0/0 after EWG approved N3859 16/6/1/0/0. Formal motion approved as a NP for a TM TS