Making events less slippery with eel

Proceedings of HotOS 2005 - 10th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2005, Pages

  Cunningham, Ryan ^a   Kohler, Eddie ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALLBACK FUNCTIONS; CONTROL FLOWS; EVENT-DRIVEN; EVENT-DRIVEN PROGRAMMING; LOGICAL CONTROL; PROGRAM ANALYSIS; PROGRAMMABILITY; SAFETY PROPERTY;

PROGRAM DEBUGGING;

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

References (20)

1. BLAST: Berkeley Lazy Abstraction Software Verification Tool. URL http://www-cad.eecs.berkeley.edu/∼rupak/blast/.
2. CIL-Infrastructure for C program analysis and transformation. URL http://manju.cs.berkeley.edu/cil/.
3. Graphviz-graph visualization software. URL http://graphviz.org/.
4. GDB: The GNU Project Debugger. URL http://www.gnu.org/software/gdb/gdb.html.
5. PLB-Pure Load Balancer: A free high-performance load balancer for Unix. URL http://plb.sunsite.dk/.
6. A. Adya, J. Howell, M. Theimer, B. Bolosky, and J. Douceur. Cooperative task management without manual stack management. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, June 2002.
7. G. Banga, J. C. Mogul, and P. Druschel. A scalable and explicit event delivery mechanism for UNIX. In Proc. 1999 USENIX Annual Technical Conference, pages 253-265, Monterey, California, June 1999.
8. F. Dabek, N. Zeldovich, F. Kaashoek, D. Mazières, and R. Morris. Event-driven programming for robust software. In Proceedings of the 2002 SIGOPS European Workshop, September 2002.
9. D. Engler, D. Yu Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proc. 18th ACM Symposium on Operating Systems Principles, pages 57-72, Château Lake Louise, Alberta, Canada, Oct. 2001.
10. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with BLAST. In Proceedings of the Tenth International Workshop on Model Checking of Software (SPIN), pages 235-239. Lecture Notes in Computer Science 2648, Springer-Verlag, 2003.
11. M. Krohn. Building secure high-performance web services with OKWS. In Proc. 2004 USENIX Annual Technical Conference, Boston, Massachusetts, June 2004.
12. H. C. Lauer and R. M. Needham. On the duality of operating system structures. In Second International Symposium on Operating Systems, pages 408-423. INRIA, October 1978.
13. J. Lemon. Kqueue: A generic and scalable event notification facility. In Proceedings of the FREENIX Track (USENIX-01), June 2001.
14. J. K. Ousterhout. Why threads are a bad idea (for most purposes). Presentation at the 1996 USENIX Annual Technical Conference, Jan. 1996.
15. N. Provos. crawl-a small and efficient HTTP crawler. URL http://www.monkey.org/∼provos/crawl/.
16. N. Provos. libevent-an event notification library. URL http://www.monkey.org/∼provos/libevent/.
17. Y. Ruan and V. Pai. Making the “box” transparent: System call performance as a first-class result. In Proc. 2004 USENIX Annual Technical Conference, Boston, Massachusetts, June 2004.
18. R. von Behren, J. Condit, and E. Brewer. Why events are a bad idea (for high-concurrency servers). In Proc. HotOS-IX: The 9th Workshop on Hot Topics in Operating Systems, Lihue, Hawaii, May 2003.
19. R. von Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer. Capriccio: Scalable threads for Internet services. In Proc. 19th ACM Symposium on Operating Systems Principles, pages 268-281, Bolton Landing, Lake George, New York, Oct. 2003.
20. M. Welsh, D. Culler, and E. Brewer. SEDA: An architecture for well-conditioned, scalable Internet services. In Proc. 18th ACM Symposium on Operating Systems Principles, pages 230-243, Château Lake Louise, Alberta, Canada, Oct. 2001.