Implementing declarative overlays

Operating Systems Review (ACM)

Volumn 39, Issue 5, 2005, Pages 75-88

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

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INTEL RESEARCH   (United States)

Author keywords

Dataflow engines; Declarative overlays; Executable pseudocode

Indexed keywords

DATAFLOW ARCHITECTURE; DATAFLOW ENGINES; DECLARATIVE OVERLAYS; EXECUTABLE PSEUDOCODES;

COMPUTER ARCHITECTURE; COMPUTER NETWORKS; DATA REDUCTION; DATA STORAGE EQUIPMENT; FILE ORGANIZATION; FORMAL LANGUAGES; PRODUCT DEVELOPMENT;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33845402986     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1095809.1095818     Document Type: Article

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. Morjis, 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. Dcshpande, 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. Tbrner, 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.