Fractured processes: Adaptive, fine-grained process abstractions

2014 Conference on Timely Results in Operating Systems, TRIOS 2014

Volumn , Issue , 2014, Pages

  Pillai, Thanumalayan Sankaranarayana ^a   Arpaci Dusseau, Andrea C ^a   Arpaci Dusseau, Remzi H ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FRACTURE TESTING;

BUFFER OVERFLOWS; CASE-STUDIES; FILE SYSTEMS; FINE GRAINED; LOW OVERHEAD; MEMORY LEAKS; RUN-TIME CONFIGURATION; SOURCE CODES;

FRACTURE;

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

References (56)

1. FS in userspace. http://fuse.sourceforge.net/.
2. Ibm rational purify. http://www- 01.ibm.com/ software/awdtools/purify/.
3. Null-httpd. http://www.nulllogic.ca/httpd/.
4. Pidgin, the universal chat client. http://pidgin.im.
5. SSHFS. http://fuse.sourceforge.net/sshfs. html.
6. Tuxera ntfs-3g + ntfsprogs. http://www.tuxera.com/community/ntfs-3g-download/.
7. A. Avizienis. The n-version approach to fault-tolerant software. IEEE Trans. Softw. Eng., 11(12), Dec. 1985.
8. R. K. Balan, D. Gergle, M. Satyanarayanan, and J. Herbsleb. Simplifying cyber foraging for mobile devices. In OSDI'12.
9. G. Banga, P. Druschel, and J. C. Mogul. Resource containers: a new facility for resource management in server systems. In OSDI '99.
10. A. Bittau, P. Marchenko, M. Handley, and B. Karp. Wedge: splitting applications into reduced-privilege compartments. In NSDI '08.
11. D. Brumley and D. Song. Privtrans: automatically partitioning programs for privilege separation. In SSYM'04.
12. A. Bykov. Web server test suite. https://github.com/init/http-test-suite.
13. G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot: A technique for cheap recovery. In OSDI'04.
14. M. Castro, M. Costa, J.-P. Martin, M. Peinado, P. Akritidis, A. Donnelly, P. Barham, and R. Black. Fast byte-granularity software fault isolation. In SOSP'09.
15. J. E. Cook and J. A. Dage. Highly reliable upgrading of components. In ICSE'99.
16. E. C. Cooper. Replicated distributed programs. In SOSP'85.
17. F. M. David, E. M. Chan, J. C. Carlyle, and R. H. Campbell. CuriOS: Improving Reliability through Operating System Structure. In OSDI'08.
18. J. B. Dennis and E. C. V. Horn. Programming Semantics for Multiprogrammed Computations. CACM, 9(3).
19. R. Diestel. Graph Theory. Springer, 2005.
20. P. Efstathopoulos, M. Krohn, S. VanDeBogart, C. Frey, D. Ziegler, E. Kohler, D. Mazières, F. Kaashoek, and R. Morris. Labels and event processes in the asbestos operating system. In SOSP'05.
21. E. N. M. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv., 34(3).
22. D. R. Engler, M. F. Kaashoek, and J. W. O'Toole. Exokernel: An Operating System Architecture for Application-Level Resource Management. In SOSP'95.
23. J. Flinn. Cyber Foraging: Bridging Mobile and Cloud Computing. Morgan & Claypool.
24. J. Gray. Why Do Computers Stop and What Can We Do About It? Technical Report TR-85.7, Tandem Tech, 1985.
25. P. B. Hansen. The nucleus of a multiprogramming system. CACM, 13(4).
26. T. Harter, C. Dragga, M. Vaughn, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications. In SOSP'11.
27. K. J. Hoffman, H. Metzger, and P. Eugster. Ribbons: a partially shared memory programming model. OOPSLA'11.
28. G. Hunt, M. Aiken, M. Fahndrich, C. Hawblitzel, O. Hodson, J. Larus, S. Levi, B. Steensgaard, D. Tarditi, and T. Wobber. Sealing os processes to improve dependability and safety. In EuroSys '07.
29. G. Hunt and M. Scott. The Coign Automatic Distributed Partitioning System. In OSDI'99.
30. J. Katcher. PostMark: A New File System Benchmark. Technical Report TR-3022, Network Appliance Inc., 1997.
31. E. Koldinger, J. Chase, and S. Eggers. Architectural Support for Single Address Space Operating Systems. In ASPLOS V.
32. N. Kolettis and N. D. Fulton. Software rejuvenation: Analysis, module and applications. In FTCS'95.
33. M. Krohn. Building secure high-performance web services with okws. In ATEC'04.
34. R. Levin, E. Cohen, W. Corwin, F. J. Pollack, and W. Wulf. Policy/mechanism separation in Hydra. In SOSP'75.
35. J. Liedtke. On micro-kernel construction. In SOSP'95.
36. D. E. Lowell, S. Chandra, and P. M. Chen. Exploring failure transparency and the limits of generic recovery. In OSDI'00.
37. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with dynamic instrumentation. In PLDI'05.
38. Y. Mao, H. Chen, D. Zhou, X. Wang, N. Zeldovich, and M. F. Kaashoek. Software fault isolation with api integrity and multiprincipal modules. In SOSP'11.
39. G. Parmer and R. West. Mutable protection domains: Adapting system fault isolation for reliability and efficiency. IEEE Trans. Softw. Eng., July 2012.
40. T. S. Pillai, R. H. Arpaci-Dusseau, and A. C. Arpaci-Dusseau. Quarantine: Fault tolerance for concurrent servers with data-driven selective isolation. In HotPar'11.
41. N. Provos, M. Friedl, and P. Honeyman. Preventing privilege escalation. In SSYM'03.
42. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: Treating Bugs As Allergies. In SOSP'05.
43. M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and J. William S. Beebe. Enhancing Server Availability and Security Through Failure-Oblivious Computing. In OSDI'04.
44. D. M. Ritchie and K. Thompson. The UNIX Time-Sharing System. In SOSP'73.
45. J. Seward and N. Nethercote. Using Valgrind to detect undefined value errors with bit-precision. In USENIX'05.
46. S. Sidiroglou, S. Ioannidis, and A. D. Keromytis. Band-aid patching. In HotDep'07.
47. S. Sidiroglou, M. E. Locasto, S. W. Boyd, and A. D. Keromytis. Building a Reactive Immune System for Software Services. In USENIX'05.
48. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the Reliability of Commodity Operating Systems. In SOSP'03.
49. J. Tucek, W. Xiong, and Y. Zhou. Efficient online validation with delta execution. SIGPLAN Not., 44(3).
50. Tuxera. Posix test suite. http://www.tuxera.com/community/posix-test-suite.
51. A. Van Dam, G. M. Stabler, and R. J. Harrington. Intelligent satellites for interactive graphics. SIGGRAPH Comput. Graph., 8(3).
52. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient Software-Based Fault Isolation. In SOSP'93.
53. E. Witchel, J. Cates, and K. Asanović. Mondrian memory protection. In ASPLOS X.
54. B. Yee, D. Sehr, G. Dardyk, J. B. Chen, R. Muth, T. Ormandy, S. Okasaka, N. Narula, and N. Fullagar. Native client: A sandbox for portable, untrusted x86 native code. In SP'09.
55. Z. Yin, D. Yuan, Y. Zhou, S. Pasupathy, and L. Bairavasundaram. How do fixes become bugs? In ESEC/FSE'11.
56. F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. In OSDI'06.