Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Implementation and use of the PLT scheme Web server

  • Published:
Higher-Order and Symbolic Computation

Abstract

The PLT Scheme Web Server uses continuations to enable a natural, console-like program development style. We describe the implementation of the server and its use in the development of an application for managing conference paper reviews. In the process of developing this application, we encountered subtle forms of interaction not directly addressed by using continuations. We discuss these subtleties and offer solutions that have been successfully deployed in our application. Finally, we present some details on the server’s performance, which is comparable to that of the widely-used Apache Web server.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Chapter © 2015

References

  1. Amdahl, G.M.: Validity of the single-processor approach to achieving large scale computing capabilities. In: AFIPS Conference Proceedings, vol. 30, pp. 483–485 (1967)

  2. Aron, M., Sanders, D., Druschel, P., Zwaenepoel, W.: Scalable content-aware request distribution in cluster-based network servers. In: USENIX Annual Technical Conference, pp. 323–336 (2000)

  3. Banga, G., Druschel, P.: Measuring the capacity of a Web server under realistic loads. World Wide Web 2(1–2), 69–83 (1999)

    Article  Google Scholar 

  4. Banga, G., Druschel, P., Mogul, J.: Resource containers: a new facility for resource management in server systems. In: Symposium on Operating System Design and Implementation, pp. 45–58 (1999)

  5. Brabrand, C., Møller, A., Schwartzbach, M.I.: The <bigwig> project. ACM Trans. Internet Technol. 2(2), 79–114 (2002)

    Article  Google Scholar 

  6. Bray, T., Paoli, J., Sperberg-McQueen, C.: Extensible markup language XML. Technical Report, World Wide Web Consortium. Version 1.0 (1998)

  7. Cejtin, H., Jagannathan, S., Kelsey, R.: Higher-order distributed objects. ACM Trans. Program. Lang. Syst. 17(5), 704–739 (1995)

    Article  Google Scholar 

  8. Christensen, A.S., Møller, A., Schwartzbach, M.I.: Extending Java for high-level Web service construction. ACM Trans. Program. Lang. Syst. 25(6), 814–875 (2003)

    Article  Google Scholar 

  9. Coward, D.: Java Servlet Specification Version 2.3 (2000). http://java.sun.com/products/servlet/index.html

  10. Danvy, O.: Back to direct style. Sci. Comput. Program. 22(3), 183–195 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  11. Ducasse, S., Lienhard, A., Renggli, L.: Seaside—a multiple control flow Web application framework. In: European Smalltalk User Group—Research Track (2004)

  12. Felleisen, M.: Developing interactive web programs. In: Jeuring, J., Peyton Jones, S. (eds.) Advanced Functional Programming School. Lecture Notes in Computer Science, vol. 2638, pp. 100–128. Springer, New York (2003)

    Google Scholar 

  13. Findler, R.B., Clements, J., Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., Felleisen, M.: DrScheme: a programming environment for scheme. J. Funct. Program. 12(2), 159–182 (2002)

    Article  MATH  Google Scholar 

  14. Fischer, M.J.: Lambda calculus schemata. ACM SIGPLAN Not. 7(1), 104–109 (1972). In the ACM Conference on Proving Assertions about Programs

    Article  Google Scholar 

  15. Fisler, K., Krishnamurthi, S., Meyerovich, L.A., Tschantz, M.C.: Verification and change-impact analysis of access-control policies. In: International Conference on Software Engineering, pp. 196–205 (2005)

  16. Flatt, M., Felleisen, M.: Cool modules for HOT languages. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 236–248 (1998)

  17. Flatt, M., Findler, R.B., Krishnamurthi, S., Felleisen, M.: Programming languages as operating systems (or, revenge of the son of the lisp machine). In: ACM SIGPLAN International Conference on Functional Programming, pp. 138–147 (1999)

  18. Graham, P.: Lisp for Web-based applications (2001). http://www.paulgraham.com/lwba.html

  19. Graunke, P.T., Krishnamurthi, S., van der Hoeven, S., Felleisen, M.: Programming the Web with high-level programming languages. In: European Symposium on Programming, pp. 122–136 (2001)

  20. Herman, D.: WebPostRedirectGet (2005). http://schemecookbook.org/Cookbook/WebPostRedirectGet

  21. Hopkins, P.W.: Enabling complex UI in Web applications with send/suspend/dispatch. In: Scheme Workshop, pp. 53–58 (2003)

  22. Hughes, J.: Generalising monads to arrows. Sci. Comput. Program. 37(1–3), 67–111 (2000)

    Article  MATH  Google Scholar 

  23. Kiselyov, O.: SXML specification. ACM SIGPLAN Not. 37(6), 52–58 (2002)

    Article  Google Scholar 

  24. Krishnamurthi, S.: The Continue server. In: Symposium on the Practical Aspects of Declarative Languages, pp. 2–16 (2003)

  25. Krishnamurthi, S., Findler, R.B., Graunke, P., Felleisen, M.: Modeling Web interactions and errors. In: Goldin, D., Smolka, S.A., Wegner, P. (eds.) Interactive Computation: The New Paradigm, pp. 255–276. Springer (2006)

  26. Krishnamurthi, S., Gray, K.E., Graunke, P.T.: Transformation-by-example for XML. In: Symposium on the Practical Aspects of Declarative Languages, pp. 249–262 (2000)

  27. Kristol, D., Montulli, L.: HTTP state management mechanism. IETF RFC 2965 (2000). http://www.ietf.org/rfc/rfc2965.txt

  28. Ladd, D.A., Ramming, J.C.: Programming the Web: an application-oriented language for hypermedia service programming. In: International World Wide Web Conference (1995)

  29. Lawall, J.L., Friedman, D.P.: Towards leakage containment. Technical Report TR-346, Indiana University, Bloomington, IN, USA (1992)

  30. Matthews, J., Findler, R.B., Graunke, P.T., Krishnamurthi, S., Felleisen, M.: Automatically restructuring programs for the Web. Autom. Softw. Eng. J. 11(4), 337–364 (2004)

    Article  Google Scholar 

  31. Meijer, E., van Velzen, D.: Haskell server pages—functional programming and the battle for the middle tier. Electron. Notes Theor. Comput. Sci. 41(1). Proceedings of the ACM SIGPLAN Haskell Workshop (2000)

  32. Miller, S.G.: SISC: a complete scheme interpreter in Java (2003). http://sisc.sourceforge.net/sisc.pdf

  33. NCSA, The common gateway interface. http://hoohoo.ncsa.uiuc.edu/cgi/

  34. Nørmark, K.: Web programming in scheme with LAML. J. Funct. Program. 15(1), 53–65 (2005)

    Article  Google Scholar 

  35. Open Market, Inc., FastCGI specification. http://www.fastcgi.com/

  36. Pai, V.S., Druschel, P., Zwaenepoel, W.: Flash: an efficient and portable Web server. In: USENIX Annual Technical Conference, pp. 199–212 (1999)

  37. Pai, V.S., Druschel, P., Zwaenepoel, W.: IO-Lite: a unified I/O buffering and caching system. In: Third Symposium on Operating Systems Design and Implementation, pp. 15–28 (1999)

  38. Pitman, K.: Special forms in lisp. In: Conference Record of the Lisp Conference, pp. 179–187 (1980)

  39. Queinnec, C.: The influence of browsers on evaluators or, continuations to program Web servers. In: ACM SIGPLAN International Conference on Functional Programming, pp. 23–33 (2000)

  40. Queinnec, C.: Continuations and Web servers. Higher-Order Symb. Comput. 17(4), 277–295 (2004)

    Article  Google Scholar 

  41. Spoonhower, D., Czajkowski, G., Hawblitzel, C., Chang, C.-C., Hu, D., von Eicken, T.: Design and evaluation of an extensible Web and telephony server based on the J-kernel. Technical Report TR98-1715, Department of Computer Science, Cornell University (1998)

  42. Sun Microsystems, Inc.: JSR154—Java™Servlet 2.4 specification (2003). http://jcp.org/aboutJava/communityprocess/final/jsr154/

  43. Thau, R.: Design considerations for the Apache server API. In: Fifth International World Wide Web Conference, pp. 1113–1122 (1996)

  44. The Apache Cocoon Project: User documentation. The Apache Software Foundation (2005)

  45. The Apache Software Foundation. http://www.apache.org/

  46. The Apache Struts Project: The struts user’s guide. The Apache Software Foundation (2005)

  47. Thiemann, P.: WASH/CGI: server-side Web scripting with sessions and typed, compositional forms. In: Symposium on the Practical Aspects of Declarative Languages, pp. 192–208 (2002)

  48. Wallace, M., Runciman, C.: Haskell and XML: generic document processing combinators vs. type-based translation. In: ACM SIGPLAN International Conference on Functional Programming, pp. 148–159 (1999)

  49. World Wide Web Consortium: XHTML 1.0: the extensible hypertext markup language (2002). http://www.w3.org/TR/xhtml1/

Download references

Author information

Authors and Affiliations

  1. Brown University, Providence, USA

    Shriram Krishnamurthi, Peter Walton Hopkins & Jay McCarthy

  2. Northeastern University, Boston, USA

    Paul T. Graunke, Greg Pettyjohn & Matthias Felleisen

Authors
  1. Shriram Krishnamurthi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Walton Hopkins
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jay McCarthy
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paul T. Graunke
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Greg Pettyjohn
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Matthias Felleisen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shriram Krishnamurthi.

Additional information

This research is partially supported by multiple NSF grants. Preliminary versions of parts of this material have appeared in print (Lecture Notes in Computer Science, vol. 2638, pp. 100–128, 2003; European Symposium on Programming, pp. 122–136, 2001; Scheme Workshop, pp. 53–58, 2003; Symposium on the Practical Aspects of Declarative Languages, pp. 2–16, 2003).

P.W. Hopkins’ current affiliation: Google, Inc.

P.T. Graunke’s current affiliation: Galois Connections, Inc.

G. Pettyjohn’s current affiliation: Turbine, Inc.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Krishnamurthi, S., Hopkins, P.W., McCarthy, J. et al. Implementation and use of the PLT scheme Web server. Higher-Order Symb Comput 20, 431–460 (2007). https://doi.org/10.1007/s10990-007-9008-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10990-007-9008-y

Keywords

Search

Navigation