Flux: A language for programming high-performance servers

USENIX 2006 Annual Technical Conference

Volumn , Issue , 2006, Pages 129-142

  Burns, Brendan ^a   Grimaldi, Kevin ^a   Kostadinov, Alexander ^a   Berger, Emery D ^a   Corner, Mark D ^a  

^a University of Massachusetts Amherst   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK FREE; DISCRETE-EVENT SIMULATORS; HARDWARE RESOURCES; HIGH-PERFORMANCE AND SCALABILITIES; IMAGE RENDERING; PERFORMANCE BOTTLENECKS; SERVER APPLICATIONS; SERVER PERFORMANCE;

C++ (PROGRAMMING LANGUAGE);

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

References (26)

1. U. A. Acar, G. E. Blelloch, and R. D. Blumofe. The data locality of work stealing. In SPAA’00: Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures, pages 1–12, New York, NY, USA, 2000. ACM Press.
2. A. Adya, J. Howell, M. Theimer, W. J. Bolosky, and J. R. Douceur. Cooperative task management without manual stack management. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pages 289–302, Berkeley, CA, USA, 2002. USENIX Association.
3. ∼appel/modern/java/CUP/.
4. T. Ball and J. R. Larus. Optimally profiling and tracing programs. ACM Transactions on Programming Languages and Systems, 16(4):1319–1360, July 1994.
5. ∼appel/ modern/java/JLex/.
6. R. D. Blumofe and D. Papadopoulos. The performance of work stealing in multiprogrammed environments (extended abstract). In SIGMETRICS’98/PERFORMANCE’98: Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, pages 266–267, New York, NY, USA, 1998. ACM Press.
7. J. C. Browne, M. Azam, and S. Sobeck. CODE: A unified approach to parallel programming. IEEE Software, 6(4):10–18, 1989.
8. J. C. Browne, E. D. Berger, and A. Dube. Compositional development of performance models in POEMS. The International Journal of High Performance Computing Applications, 14(4):283–291, Winter 2000.
9. K. Fisher and R. Gruber. PADS: a domain-specific language for processing ad hoc data. In PLDI ’05: Proceedings of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation, pages 295–304, New York, NY, USA, 2005. ACM Press.
10. C. Flanagan, S. N. Freund, and M. Lifshin. Type inference for atomicity. In TLDI’05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, pages 47–58, New York, NY, USA, 2005. ACM Press.
11. D. Gelernter and N. Carriero. Coordination languages and their significance. Commun. ACM, 35(2):96, 1992.
12. P. Hudak. Conception, evolution, and application of functional programming languages. ACM Comput. Surv., 21(3):359–411, 1989.
13. W. M. Johnston, J. R. P. Hanna, and R. J. Millar. Advances in dataflow programming languages. ACM Comput. Surv., 36(1):1–34, 2004.
14. E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek. The Click modular router. ACM Transactions on Computer Systems, 18(3):263–297, August 2000.
15. J. R. Larus and M. Parkes. Using cohort-scheduling to enhance server performance. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pages 103–114, Berkeley, CA, USA, 2002. USENIX Association.
16. R. J. Lipton. Reduction: a method of proving properties of parallel programs. Commun. ACM, 18(12):717–721, 1975.
17. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: synchronization inference for atomic sections. In J. G. Morrisett and S. L. P. Jones, editors, POPL, pages 346–358. ACM, Jan. 2006.
18. Mesquite Software. The CSIM Simulator. http://www.mesquite.com.
19. R. Milner. A proposal for standard ml. In LFP’84: Proceedings of the 1984 ACM Symposium on LISP and functional programming, pages 184–197, New York, NY, USA, 1984. ACM Press.
20. A. Reid, M. Flatt, L. Stoller, J. Lepreau, and E. Eide. Knit: Component composition for systems software. In Proceedings of the 4th ACM Symposium on Operating Systems Design and Implementation (OSDI), pages 347–360, Oct. 2000.
21. Standard Performance Evaluation Corporation. SPECweb99. http://www.spec.org/osg/web99/.
22. W. Thies, M. Karczmarek, and S. Amarasinghe. StreamIt: A language for streaming applications. In International Conference on Compiler Construction, Grenoble, France, Apr. 2002.
23. D. A. Turner. Miranda: a non-strict functional language with polymorphic types. In Proc. of a conference on Functional programming languages and computer architecture, pages 1–16, New York, NY, USA, 1985. Springer-Verlag New York, Inc.
24. R. von Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer. Capriccio: scalable threads for internet services. In SOSP’03: Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 268–281, New York, NY, USA, 2003. ACM Press.
25. M. Welsh, D. Culler, and E. Brewer. SEDA: an architecture for well-conditioned, scalable internet services. In SOSP’01: Proceedings of the eighteenth ACM symposium on Operating systems principles, pages 230–243, New York, NY, USA, 2001. ACM Press.
26. N. Zeldovich, A. Yip, F. Dabek, R. Morris, D. Mazières, and F. Kaashoek. Multiprocessor support for event-driven programs. In Proceedings of the 2003 USENIX Annual Technical Conference (USENIX ’03), San Antonio, Texas, June 2003.