Operating systems should provide transactions

Proceedings of HotOS 2009 - 12th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2009, Pages

  Porter, Donald E ^a   Witchel, Emmett ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS SYSTEM; CONSISTENCY REQUIREMENTS; INTERPROCESS COMMUNICATION; LINUX PROTOTYPE; SYSTEM CALLS; SYSTEM RESOURCES;

COMPUTER OPERATING SYSTEMS;

EID: 84902602642     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. http://www.employees.org/satch/ssh/faq/TheWholeSSHFAQ.html.
2. http://plash.beasts.org/wiki/PlashIssues/ConnectRaceCondition.
3. National Vulnerability Database. http://nvd.nist.gov.
4. S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang, and Z. Zhang. Corey: An operating system for many cores. In OSDI, 2008.
5. H. Chen, D. Dean, and D. Wagner. Model checking one million lines of C code, 2004.
6. U. Drepper. Secure file descriptor handling. http://udrepper.livejournal.com/20407.html.
7. S. Ghemawat, H. Gobioff, and S.-T. Leung. The Google file system. SOSP, 2003.
8. J. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2006.
9. 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.
10. E. B. Nightingale, P. M. Chen, and J. Flinn. Speculative execution in a distributed file system. In SOSP, 2005.
11. J. Olson. Enhance your apps with file system transactions. MSDN Magazine, July 2007.
12. D. E. Porter, O. S. Hofmann, C. J. Rossbach, A. Benn, and E. Witchel. Operating systems transactions. Technical report, UT Austin TR 09-13, 2009.
13. H. E. Ramadan, I. Roy, M. Herlihy, and E. Witchel. Committing conflicting transactions in an STM. PPoPP, 2009.
14. 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.
15. F. Schmuck and J. Wylie. Experience with transactions in Quick-Silver. In SOSP. ACM, 1991.
16. R. Spillane, S. Gaikwad, M. Chinni, E. Zadok, and C. P. Wright. Enabling transactional file access via lightweight kernel extensions. FAST, 2009.
17. Y.-Y. Su, M. Attariyan, and J. Flinn. AutoBash: Improving configuration management with operating system causality analysis. In SOSP, 2007.
18. H. Volos, A. J. Tack, N. Goyal, M. M. Swift, and A. Welc. xCalls: Safe I/O in memory transactions. In EuroSys, 2009.
19. 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.
20. C. P. Wright, R. Spillane, G. Sivathanu, and E. Zadok. Extending ACID semantics to the file system. Trans. Storage, 3(2):4, 2007.
21. M. Zalewski. Delivering signals for fun and profit. 2001. http://lcamtuf.coredump.cx/signals.txt.
22. C. Zilles and L. Baugh. Extending hardware transactional memory to support non-busy waiting and non-transactional actions. In TRANSACT, Jun 2006.