Keep net working - On a dependable and fast networking stack

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2012, Pages

  Hruby, Tomas ^a   Vogt, Dirk ^a   Bos, Herbert ^a   Tanenbaum, Andrew S ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Computer network reliability; Operating systems; Reliability; System performance

Indexed keywords

COMPUTER NETWORK RELIABILITY; CONTEXT SWITCHING; DEDICATED CORES; MULTI CORE; MULTI-CORES; MULTI-SERVER; MULTIPLE SERVERS; PERFORMANCE BOTTLENECKS; PERFORMANCE PROBLEMS; SYSTEM PERFORMANCE;

COMPUTER OPERATING SYSTEMS; INFORMATION SYSTEMS; RELIABILITY;

COMPUTER NETWORKS;

EID: 84866700930     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2012.6263933     Document Type: Conference Paper

References (43)

1. Minix 3, Official Website and Download. http://www.minix3.org.
2. big.LITTLE Processing. http://www.arm.com/products/processors/ technologies/biglittleprocessing.php, 2011.
3. Variable SMP - A Multi-Core CPU Architecture for Low Power and High Performance. Whitepaper - http://www.nvidia.com/, 2011.
4. Vulnerability in TCP/IP Could Allow Remote Code Execution. http://technet.microsoft.com/en-us/security/bulletin/ms11-083, Nov. 2011.
5. A. Baumann, P. Barham, P.-E. Dagand, T. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schüpbach, and A. Singhania. The Multikernel: A New OS Architecture for Scalable Multicore Systems. Proc. of Symp. on Oper. Sys. Principles, 2009.
6. H. Bos, W. de Bruijn, M. Cristea, T. Nguyen, and G. Portokalidis. Ffpf: Fairly fast packet filters. In Proc. of Symp. on Oper. Sys. Des. and Impl., 2004.
7. S. Boyd-Wickizer, A. T. Clements, Y. Mao, A. Pesterev, M. F. Kaashoek, R. Morris, and N. Zeldovich. An Analysis of Linux Scalability to Many Cores. In Proc. of Symp. on Oper. Sys. Des. and Impl., 2010.
8. P. Colp, M. Nanavati, J. Zhu, W. Aiello, G. Coker, T. Deegan, P. Loscocco, and A. Warfield. Breaking up is hard to do: security and functionality in a commodity hypervisor. In Proc. of Symp. on Oper. Sys. Principles, 2011.
9. F. M. David, E. M. Chan, J. C. Carlyle, and R. H. Campbell. CuriOS: improving reliability through operating system structure. In Proc. of Symp. on Oper. Sys. Des. and Impl., 2008.
10. W. de Bruijn, H. Bos, and H. Bal. Application-Tailored I/O with Streamline. ACM Transacations on Computer Systems, 29, May 2011.
11. L. Deri. Improving Passive Packet Capture: Beyond Device Polling. In Proc. of Sys. Admin. and Net. Engin. Conf., 2004.
12. P. Druschel and L. L. Peterson. Fbufs: A High-bandwidth Cross-domain Transfer Facility. In Proc. of Symp. on Oper. Sys. Principles, 1993.
13. A. Dunkels. Full TCP/IP for 8-bit architectures. In International Conference on Mobile Systems, Applications, and Services, 2003.
14. J. Erickson. Hacking: The Art of Exploitation. No Starch Press, 2003.
15. V. Ganapathy, A. Balakrishnan, M. M. Swift, and S. Jha. Microdrivers: A New Architecture for Device Drivers. In Workshop on Hot Top. in Oper. Sys., 2007.
16. A. Gefflaut, T. Jaeger, Y. Park, J. Liedtke, K. J. Elphinstone, V. Uhlig, J. E. Tidswell, L. Deller, and L. Reuther. The SawMill Multiserver Approach. In Proc. of workshop on Beyond the PC: new challenges for the oper. sys., 2000.
17. J. Giacomoni, T. Moseley, and M. Vachharajani. FastForward for Efficient Pipeline Parallelism: A Cache-optimized Concurrent Lock-free Queue. In PPoPP, 2008.
18. C. Giuffrida, L. Cavallaro, and A. S. Tanenbaum. We Crashed, Now What? In HotDep, 2010.
19. L. Hatton. Reexamining the Fault Density-Component Size Connection. IEEE Softw., 14, March 1997.
20. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Failure Resilience for Device Drivers. In Proc. of Int. Conf. on Depend. Sys. and Net., 2007.
21. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability). In Pacific Rim Int. Symp. on Dep. Comp., 2008.
22. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Fault Isolation for Device Drivers. In Proc. of Int. Conf. on Depend. Sys. and Net., 2009.
23. Intel. Single-Chip Cloud Computer. http://techresearch.intel.com/ ProjectDetails.aspx?Id=1.
24. N. Jalbert, C. Pereira, G. Pokam, and K. Sen. RADBench: A Concurrency Bug Benchmark Suite. In HotPar'11, May 2011.
25. B. Leslie, P. Chubb, N. Fitzroy-dale, S. Gtz, C. Gray, L. Macpherson, D. Potts, Y. Shen, K. Elphinstone, and G. Heiser. User-level Device Drivers: Achieved Performance. Computer Science and Technology, 20, 2005.
26. J. Liedtke, K. Elphinstone, S. Schönberg, H. Hrtig, G. Heiser, N. Islam, and T. Jaeger. Achieved ipc performance (still the foundation for extensibility), 1997.
27. J. Löser, H. Härtig, and L. Reuther. A Streaming Interface for RealTime Interprocess Communication. In Workshop on Hot Top. in Oper. Sys., 2001.
28. S. Lu, S. Park, C. Hu, X. Ma, W. Jiang, Z. Li, R. A. Popa, and Y. Zhou. Muvi: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. SIGOPS Oper. Syst. Rev., 41:103-116, October 2007.
29. T. Mattson. Intel: 1,000-core Processor Possible. http://www.pcworld.com/ article/211238/intel 1000core-processor-possible.html, Nov. 2010.
30. W. T. Ng and P. M. Chen. The Systematic Improvement of Fault Tolerance in the Rio File Cache. In Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, 1999.
31. E. B. Nightingale, O. Hodson, R. McIlroy, C. Hawblitzel, and G. Hunt. Helios: Heterogeneous Multiprocessing with Satellite Kernels. In Proc. of Symp. on Oper. Sys. Principles, 2009.
32. M. Peloquin, L. Olson, and A. Coonce. Simultaneity safari: A study of concurrency bugs in device drivers. University of Wisconsin Madison Report, pages.cs.wisc.edu/~markus/736/concurrency.pdf, 2009.
33. D. C. Sastry and M. Demirci. The QNX Operating System. Computer, 28, November 1995.
34. M. Scondo. Concurrency and race conditions in kernel space (linux 2.6). LinuxSupport.com (extract from "Linux Device Drivers"), December 2009.
35. L. Seiler, D. Carmean, E. Sprangle, T. Forsyth, M. Abrash, P. Dubey, S. Junkins, A. Lake, J. Sugerman, R. Cavin, R. Espasa, E. Grochowski, T. Juan, and P. Hanrahan. Larrabee: A Many-core x86 Architecture for Visual Computing. ACM Trans. Graph., 27, August 2008.
36. M. Shah, J. Barren, J. Brooks, R. Golla, G. Grohoski, N. Gura, R. Hetherington, P. Jordan, M. Luttrell, C. Olson, B. Sana, D. Sheahan, L. Spracklen, and A. Wynn. UltraSPARC T2: A Highly-treaded, Power-efficient, SPARC SOC. In ASSCC'07.
37. L. Shalev, J. Satran, E. Borovik, and M. Ben-Yehuda. IsoStack: Highly Efficient Network Processing on Dedicated Cores. In Proc. of USENIX Annual Tech. Conf., 2010.
38. J. S. Shapiro. Vulnerabilities in Synchronous IPC Designs. In Proc. of IEEE Symp. on Sec. and Priv. IEEE Computer Society, 2003.
39. L. Soares and M. Stumm. FlexSC: Flexible System Call Scheduling with Exception-Less System Calls. In Proc. of Symp. on Oper. Sys. Des. and Impl., 2010.
40. L. Soares and M. Stumm. Exception-less System Calls for Event-Driven Servers. In Proc. of USENIX Annual Tech. Conf., 2011.
41. R. Strong, J. Mudigonda, J. C. Mogul, N. Binkert, and D. Tullsen. Fast Switching of Threads Between Cores. SIGOPS Oper. Syst. Rev., 43, April 2009.
42. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the Reliability of Commodity Operating Systems. In Proc. of Symp. on Oper. Sys. Principles, pages 207-222, 2003.
43. D. Wentzlaff, C. Gruenwald, III, N. Beckmann, K. Modzelewski, A. Belay, L. Youseff, J. Miller, and A. Agarwal. An Operating System for Multicore and Clouds: Mechanisms and Implementation. In Proc. of Symp. on Cloud Computing, 2010.