Operating systems transactions

SOSP'09 - Proceedings of the 22nd ACM SIGOPS Symposium on Operating Systems Principles

Volumn , Issue , 2009, Pages 161-176

  Porter, Donald E ^a   Hofmann, Owen S ^a   Rossbach, Christopher J ^a   Benn, Alexander ^a   Witchel, Emmett ^a  

^a University of Texas at Austin   (United States)

Author keywords

Operating systems; Race conditions; Transactional memory; Transactions; TxOS

Indexed keywords

COMMODITY HARDWARE; FILE SYSTEMS; HETEROGENEOUS SYSTEMS; IMPLEMENTATION TECHNIQUES; OPERATING SYSTEMS; PERFORMANCE COSTS; RACE CONDITION; ROLL BACK; SECURITY VULNERABILITIES; SOFTWARE INSTALLATIONS; SYSTEM FAILURES; TRANSACTIONAL MEMORY;

HAZARDS AND RACE CONDITIONS; SECURITY OF DATA; STORAGE ALLOCATION (COMPUTER); SYSTEMS ENGINEERING;

COMPUTER OPERATING SYSTEMS;

EID: 72249089012     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1629575.1629591     Document Type: Conference Paper

References (57)

1. http://www.employees.org/~satch/ssh/faq/TheWholeSSHFAQ.html.
2. http://plash.beasts.org/wiki/PlashIssues/ConnectRaceCondition.
3. M. K. Aguilera, A. Merchant, M. Shah, A. Veitch, and C. Karamanolis. Sinfonia: a new paradigm for building scalable distributed systems. In SOSP, New York, NY, USA, 2007. ACM.
4. D. J. Bernstein. Some thoughts on security after ten years of qmail 1.0. In CSAW, 2007.
5. C. Blundell, E. C. Lewis, and M. M. K. Martin. Deconstructing transactions: The subtleties of atomicity. In Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking. Jun 2005.
6. N. Borisov, R. Johnson, N. Sastry, and D. Wagner. Fixing races for fun and profit: How to abuse atime. In USENIX Security, 2005.
7. X. Cai, Y. Gui, and R. Johnson. Exploiting unix file-system races via algorithmic complexity attacks. Oakland, 2009.
8. C. Cao Minh, M. Trautmann, J. Chung, A. McDonald, N. Bronson, J. Casper, C. Kozyrakis, and K. Olukotun. An effective hybrid transactional memory system with strong isolation guarantees. In ISCA. Jun 2007.
9. C. Cowan, S. Beattie, C. Wright, and G. Kroah-Hartman. RaceGuard: Kernel protection from temporary file race vulnerabilities. In USENIX Security 2001, pages 165-176.
10. P. Damron, A. Fedorova, Y. Lev, V. Luchangco, M. Moir, and D. Nussbaum. Hybrid transactional memory. In ASPLOS, 2006.
11. D. Dean and A. J. Hu. Fixing races for fun and profit: how to use access(2). In USENIX Security, pages 14-26, 2004.
12. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In DISC, pages 194-208, 2006.
13. U. Drepper. Secure file descriptor handling. In LiveJournal, 08.
14. E. Gal and S. Toledo. A transactional flash file system for microcontrollers. In USENIX, 2005.
15. N. Gehani, H. V. Jagadish, and W. D. Roome. Odefs: A file system interface to an object-oriented database. In VLDB, 1994.
16. S. Ghemawat, H. Gobioff, and S.-T. Leung. The google file system. SOSP, 2003.
17. J. Gray. Notes on data base operating systems. In Operating Systems, An Advanced Course. Springer-Verlag, 1978.
18. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
19. L. Hammond, V. Wong, M. Chen, B. Carlstrom, J. Davis, B. Hertzberg, M. Prabhu, H. Wijaya, C. Kozyrakis, and K. Olukotun. Transactional memory coherence and consistency. In ISCA, June 2004.
20. R. Haskin, Y. Malachi, and G. Chan. Recovery management in QuickSilver. ACM Trans. Comput. Syst., 6(1):82-108, 1988.
21. M. Herlihy and E. Koskinen. Transactional boosting: A methodology for highly-concurrent transactional objects. In PPoPP, 2008.
22. M. Herlihy, V. Luchangco, M. Moir, and I. William N. Scherer. Software transactional memory for dynamic-sized data structures. In PODC, 2003. [23] M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM TOPLAS, 12(3), 1990.
23. M. Kulkarni, K. Pingali, B. Walter, G. Ramanarayanan, K. Bala, and L. P. Chew. Optimistic parallelism requires abstractions. In PLDI, New York, NY, USA, 2007. ACM Press.
24. J. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2006.
25. B. Liskov, D. Curtis, P. Johnson, and R. Scheifer. Implementation of Argus. SOSP, 1987.
26. P. Magnusson, M. Christianson, and J. E. et al. Simics: A full system simulation platform. In IEEE Computer, Feb 2002.
27. P. McDougall. Microsoft pulls buggy windows vista sp1 files. In Information Week. http://www.informationweek.com/story/showArticle.jhtml? articleID=206800819.
28. P. E. McKenney. Exploiting Deferred Destruction: An Analysis of Read-Copy Update Techniques in Operating System Kernels. PhD thesis, 2004.
29. Microsoft. What is system restore. 2008. http://support.microsoft.com/kb/ 959063.
30. C. C. Minh, J. Chung, C. Kozyrakis, and K. Olukotun. Stamp: Stanford transactional applications for multi-processing. In IISWC, 2008.
31. K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood. LogTM: Log-based transactional memory. In HPCA, 2006.
32. M. J. Moravan, J. Bobba, K. E. Moore, L. Yen, M. D. Hill, B. Liblit, M. M. Swift, and D. A. Wood. Supporting nested transactional memory in LogTM. In ASPLOS, 2006.
33. N. Murphy, M. Tonkelowitz, and M. Vernal. The design and implementation of the database file system, 2002.
34. E. B. Nightingale, P. M. Chen, and J. Flinn. Speculative execution in a distributed file system. In SOSP, 2005.
35. E. B. Nightingale, D. Peek, P. M. Chen, and J. Flinn. Parallelizing security checks on commodity hardware. In ASPLOS, 2008.
36. NIST. National Vulnerability Database. http://nvd.nist.gov/, 2008.
37. M. A. Olson. The design and implementation of the inversion file system. In USENIX, 1993.
38. W. Pugh. Skip lists: a probabilistic alternative to balanced trees. Communications of the ACM, 33:668-676, 1990.
39. R. Rajwar and J. R. Goodman. Transactional lock-free execution of lock-based programs. ASPLOS, 2002.
40. H. Ramadan, C. Rossbach, D. Porter, O. Hofmann, A. Bhandari, and E. Witchel. MetaTM/TxLinux: Transactional memory for an operating system. In ISCA, 2007.
41. H. E. Ramadan, I. Roy, M. Herlihy, and E. Witchel. Committing conflicting transactions in an STM. PPoPP, 2009.
42. C. Rossbach, O. Hofmann, D. Porter, H. Ramadan, A. Bhandari, and E. Witchel. TxLinux: Using and managing transactional memory in an operating system. In SOSP, 2007.
43. M. Russinovich and D. Solomon. Windows Internals. Microsoft Press, 2009.
44. F. Schmuck and J. Wylie. Experience with transactions in QuickSilver. In SOSP. ACM, 1991.
45. R. Sears and E. Brewer. Stasis: Flexible transactional storage. In OSDI, 2006.
46. M. I. Seltzer. Transaction support in a log-structured file system. In 9th International Conference on Data Engineering, 1993.
47. A. Z. Spector, D. Daniels, D. Duchamp, J. L. Eppinger, and R. Pausch. Distributed transactions for reliable systems. In SOSP, 1985.
48. R. Spillane, S. Gaikwad, M. Chinni, E. Zadok, and C. P. Wright. Enabling transactional file access via lightweight kernel extensions. FAST, 2009.
49. Y.-Y. Su, M. Attariyan, and J. Flinn. Autobash: improving configuration management with operating system causality analysis. In SOSP, 2007.
50. D. Tsafrir, T. Hertz, D. Wagner, and D. D. Silva. Portably preventing file race attacks with user-mode path resolution. Technical report, IBM Research Report, 2008.
51. D. Tsafrir, T. Hertz, D. Wagner, and D. D. Silva. Portably solving file TOCTTOU races with hardness amplification. In FAST, 2008.
52. E. Tsyrklevich and B. Yee. Dynamic detection and prevention of race conditions in file accesses. In USENIX Security, 2003.
53. H. Volos, A. J. Tack, N. Goyal, M. M. Swift, and A. Welc. xCalls: Safe I/O in memory transactions. In EuroSys, 2009.
54. M. J. Weinstein, J. Thomas W. Page, B. K. Livezey, and G. J. Popek. Transactions and synchronization in a distributed operating system. In SOSP, 1985.
55. C. P. Wright, R. Spillane, G. Sivathanu, and E. Zadok. Extending ACID semantics to the file system. Trans. Storage, 3(2):4, 2007.
56. M. Zalewski. Delivering signals for fun and profit. 2001.
57. C. Zilles and L. Baugh. Extending hardware transactional memory to support non-busy waiting and non-transactional actions. In TRANSACT, Jun 2006.