Implementing declarative overlays

Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005

Volumn , Issue , 2005, Pages 75-90

  Loo, Boon Thau ^a   Condie, Tyson ^a   Hellerstein, Joseph M ^a,b   Maniatis, Petros ^b   Roscoe, Timothy ^b   Stoica, Ion ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

dataflow engines; declarative overlays; executable pseudocode

Indexed keywords

COMMUNICATION INFRASTRUCTURE; DATA-FLOW ARCHITECTURES; DATAFLOW; DECLARATIVE LOGIC; DISTRIBUTED SYSTEMS; PSEUDO-CODE; STRUCTURED OVERLAYS; TRADE-OFF POINT;

COMPLEX NETWORKS; COMPUTER SOFTWARE REUSABILITY; DISTRIBUTED COMPUTER SYSTEMS; OVERLAY NETWORKS; SPECIFICATIONS;

DATA STORAGE EQUIPMENT;

EID: 84885583527     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1095810.1095818     Document Type: Conference Paper

References (38)

1. M. B. Abbott and L. L. Peterson. A language-based approach to protocol implementation. IEEE/ACM Transactions on Networking, 1(1), Feb. 1993.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.
3. D. P. Anderson. Automated protocol implementation with RTAG. IEEE Trans. Softw. Eng., 14(3):291-300, 1988.
4. H. Balakrishnan, M. Balazinska, D. Carney, U. Cetintemel, M. Cherniack, C. Convey, E. Galvez, J. Salz, M. Stonebraker, N. Tatbul, R. Tibbetts, and S. Zdonik. Retrospective on Aurora. VLDB Journal, 13(4), Dec. 2004.
5. G. Berry. The Foundations of Esterel, pages 425-454. MIT Press, 1998.
6. E. Biagioni. A structured TCP in Standard ML. In Proc. SIGCOMM, 1994.
7. S. Chandrasekaran, O. Cooper, A. Deshpande, M. J. Franklin, J. M. Hellerstein, W. Hong, S. Krishnamurthy, S. Madden, V. Raman, F. Reiss, and M. A. Shah. TelegraphCQ: Continuous dataflow processing for an uncertain world. In CIDR, 2003.
8. Y.-H. Chu, S. G. Rao, and H. Zhang. A case for end system multicast. In Proc. of ACM SIGMETRICS, pages 1-12, 2000.
9. W. Dabbous, S. W. O'Malley, and C. Castelluccia. Generating efficient protocol code from an abstract specification. In Proc. SIGCOMM, pages 60-72, 1996.
10. F. Dabek, J. Li, E. Sit, F. Kaashoek, R. Morris, and C. Blake. Designing a DHT for low latency and high throughput. In Proc. NSDI, Month 2004.
11. S. Deering and D. R. Cheriton. Multicast routing in datagram internetworks and extended LANs. ACM Transactions on Computer Systems, 8(2):85-111, May 1990.
12. D. J. DeWitt, R. H. Gerber, G. Graefe, M. L. Heytens, K. B. Kumar, and M. Muralikrishna. Gamma - a high performance dataflow database machine. In VLDB, pages 228-237, 1986.
13. M. Fecko, M. Uyar, P. Amer, A. Sethi, T. Dzik, R. Menell, and M. McMahon. A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. Computer Communications (Special Edition on FDTs in Practice), 23, 2000.
14. G. Graefe. Encapsulation of parallelism in the Volcano query processing system. In Proc. of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, May 23-25, 1990, pages 102-111. ACM Press, 1990.
15. M. Handley, A. Ghosh, P. Radoslavov, O. Hodson, and E. Kohler. Designing extensible IP router software. In Proc. NSDI, May 2005.
16. R. Huebsch, B. N. Chun, J. M. Hellerstein, B. T. Loo, P. Maniatis, T. Roscoe, S. Shenker, I. Stoica, and A. R. Yumerefendi. The architecture of PIER: an Internet-scale query processor. In CIDR, pages 28-43, 2005.
17. E. Kohler, M. F. Kaashoek, and D. R. Montgomery. A readable TCP in the Prolac protocol language. In Proc. SIGCOMM, 1999.
18. E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek. The Click modular router. ACM Trans. Comput. Syst., 18(3):263-297, 2000.
19. F. T. Leighton. Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes. Morgan Kaufmann, San Mateo, CA, 1992.
20. J. Li, J. Stribling, T. Gil, R. Morris, and F. Kaashoek. Comparing the performance of distributed hash tables under churn. In Proc. IPTPS, 2004.
21. B. T. Loo, J. M. Hellerstein, and I. Stoica. Customizable routing with declarative queries. In Third Workshop on Hot Topics in Networks (HotNets-III), Nov. 2004.
22. P. Maniatis. Historic Integrity in Distributed Systems. PhD thesis, Computer Science Department, Stanford University, Stanford, CA, USA, Aug. 2003.
23. G. Manku, M. Bawa, and P. Raghavan. Symphony: Distributed hashing in a small world. In Proc. USITS, 2003.
24. D. Mazières. A toolkit for user-level file systems. In Proc. of the 2001 USENIX Technical Conference, June 2001.
25. D. Mosberger and L. L. Peterson. Making paths explicit in the Scout operating system. In Proc. OSDI, pages 153-167. ACM Press, 1996.
26. R. Motwani, J. Widom, A. Arasu, B. Babcock, S. Babu, M. Datar, G. S. Manku, C. Olston, J. Rosenstein, and R. Varma. Query processing, approximation, and resource management in a data stream management system. In Proc. CIDR, 2003.
27. G. M. Papadopoulos and D. E. Culler. Monsoon: An explicit token store architecture. In Proc. ISCA, May 1990.
28. V. Raman, A. Deshpande, and J. M. Hellerstein. Using state modules for adaptive query processing. In Proc. ICDE, 2003.
29. S. Rhea, D. Geels, T. Roscoe, and J. Kubiatowicz. Handling Churn in a DHT. In Proc. of the 2004 USENIX Technical Conference, Boston, MA, USA, June 2004.
30. A. Rodriguez, C. Killian, S. Bhat, D. Kostic, and A. Vahdat. MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks", In Proc. NSDI, March 2004.
31. P. G. Selinger, M. M. Astrahan, D. D. Chamberlin, R. A. Lorie, and T. G. Price. Access path selection in a relational database management system. In SIGMOD Conference, pages 23-34, 1979.
32. T. Sellis. Multiple Query Optimization. ACM Transactions on Database Systems, 13(1):23-52, Mar. 1988.
33. I. Stoica, D. Adkins, S. Zhaung, S. Shenker, and S. Surana. Internet indirection infrastructure. IEEE/ACM Transactions on Networking, (2), Apr. 2004.
34. I. Stoica, R. Morris, D. Liben-Nowell, D. R. Karger, M. F. Kaashoek, F. Dabek, and H. Balakrishnan. Chord: a scalable peer-to-peer lookup protocol for internet applications. IEEE/ACM Trans. Netw., 11(1):17-32, 2003.
35. K. J. Turner, editor. Using formal description techniques - An Introduction to Estelle, LOTOS and SDL. Wiley, 1993.
36. A. H. Veen. Dataflow machine architecture. ACM Computing Surveys, 18(4), Dec. 1986.
37. S. T. Vuong, A. C. Lau, and R. I. Chan. Semiautomatic implementation of protocols using an Estelle-C compiler. IEEE Transactions on Software Engineering, 14(3), Mar. 1988.
38. B. White, J. Lepreau, L. Stoller, R. Ricci, S. Guruprasad, M. Newbold, M. Hibler, C. Barb, and A. Joglekar. An integrated experimental environment for distributed systems and networks. In Proc. OSDI 2002, Boston, MA, Dec. 2002.