An ALF communication architecture: Design and automated implementation

IEEE Journal on Selected Areas in Communications

Volumn 16, Issue 3, 1998, Pages 332-344

  Chrisment, Isabelle ^a,b,c,d   Kaplan, Delphine ^b   Diot, Christophe ^b  

^a INRIA   (France)

^b INRIA   (France)

^c UNIVERSITÉ DE LORRAINE   (France)

^d LORIA   (France)

Author keywords

ALF; End to end control; Formal specification and verification; High performance protocol architectures; Multimedia applications; Tailored protocols

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; NETWORK PROTOCOLS; PROGRAM COMPILERS;

APPLICATION DATA UNITS (ADU); APPLICATION LEVEL FRAMING (ALF); MULTIMEDIA SYSTEMS;

DATA COMMUNICATION SYSTEMS;

EID: 0032048274     PISSN: 07338716     EISSN: None     Source Type: Journal    
DOI: 10.1109/49.669042     Document Type: Article

References (41)

1. G. Berry and G. Gonthier, "Incremental development of an HDCL protocol in Esterel," in Proc. 9th Int. Symp. Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1989 [WWW]. Available http://cma.cma.fr/ftp/Esterel/hdlc.ps.gz.
2. _, " The Esterel synchronous programming language design, semantics, implementation," J. Sci. Comput. Programming, vol. 19, no. 2, pp. 87-152, 1992.
3. T. Braun, C. Diot, A. Hoglander, and V. Roca, "An experimental user level implementation of TCP," INRIA Res. Rep. 2650, Sept. 1995.
4. T. Braun, I. Chrisment, C. Diot, F. Gagnon, L. Gautier, and P. Hoschka, "ALFred, An ALF/ILP protocol compiler for distributed application automated design," INRIA Res. Rep. 2786, INRIA Sophia Antipolis, 92 pp., Jan. 1996.
5. C. Castelluccia and W. Dabbous, "Generating efficient protocol code from an abstract specification," in Proc. ACM SIGCOMM'96, San Francisco, CA, Aug. 1996.
6. C. Chassot, M. Diaz, and A. Lozes, "From the partial order connection concept to partial order multimedia transport connections," J. High Speed Networks (Special Issue on HIPPARCH), vol. 5, no. 2, 1996.
7. D. R. Cheriton and D. Skeen, "Understanding the limitations of causally and totally ordered communication," in Proc. 14th Symp. Operating Syst. Principles, Ashville, vol. 27, no. 5, pp. 44-57, Dec. 1993.
8. G. Chesson, "The evolution of XTP," in Proc. IFIP Int. Conf. High Speed Networks. Amsterdam: North-Holland, Berlin, Mar. 1991, pp. 15-24.
9. I. Chrisment, "Impact of ALF on communication subsystems design and performance," in Proc. 1st Int. Workshop High Performance Protocol Architectures 94, Sophia Antipolis, Dec. 1994.
10. J. R. Corbin, The Art of Distributed Applications (Sun Reference Library). Springer-Verlag, 1991.
11. D. Clark, V. Jacobson, J. Romkey, and M. Salwen, "An analysis of TCP processing overhead," IEEE Commun. Mag., vol. 27, pp. 23-29, June 1989.
12. D. Clark and D. Tennenhouse, "Architectural considerations for a new generation of protocols," in ACM SIGCOMM'90, pp. 200-208.
13. D. Clement and J. Incerpi, "Programming the behavior of graphical objects using Esterel," in Proc. TAPSOFT'89, Springer Verlag LNCS 352, 1989.
14. R. de Simone and D. Vergamini, "Aboard AUTO," Res. Rep. INRIA 112, Oct. 1989.
15. M. Diaz, K. Drira, A. Lozes, and C. Chassot, "On the definition and representation of QoS for multimedia systems," presented at FIP HPN'95, Palma, Sept. 1995.
16. C. Diot, R. de Simone, and C. Huitema, "Communication protocol development using Esterel," presented at the 1st Int. HIPPARCH Workshop, INRIA, Sophia Antipolis, Dec. 1994.
17. A. Edwards and S. Muir, "Experiences implementing a high performance TCP in user space," in Proc. ACM SIGCOMM'95, Cambridge, Aug. 1995.
18. S. Floyd, V. Jacobson, C. Liu, S. McCanne, and L. Zhang, "A reliable multicast framework for light-weight sessions and application level framing," IEEE/ACM Trans. Networking, Nov. 1996.
19. M. Fournier, C. Chassot, A. Lozes, and M. Diaz, "Multimedia partial order transport architecture: Design and implementation," in Proc. 5th IFIP Protocol for High Speed Networks Workshop. London: Chapman & Hall, Sophia Antipolis, Oct. 1996.
20. C. Diot and F. Gagnon, "Impact of out-of-sequence processing on data transmission performance," INRIA Res. Rep. RR-3216, Sophia Antipolis [online]. Available FTP: ftp://www.inria.fr/RRRT/RR-3216.html.
21. E. Hamilton, "JPEG file interchange format version 1.02," C-Cube Microsystems, Sept. 1992.
22. A. T. Heybey, "Video coding and the application level framing protocol architecture," M.I.T. Rep. MIT/LCS/TR-542, June 1992.
23. C. Huitema, "The case for packet level FEC," in Proc. 5th Int. Workshop Protocols for High Speed Networks, Sophia Antipolis, France, Oct. 1996, pp. 109-120.
24. _, Bellcore, Morristown, NJ, IPv6: The New Internet Protocol, 2nd ed. Prentice Hall Professional Technical Reference, Oct. 1997, 1998. 240 pp.
25. "Internet relay chat (IRC)," [WWW]. Available http://www. amaranth.com/IRC.html.
26. C. Kent and J. Mogul, "Fragmentation considered harmful," in Proc. ACM SIGCOMM'87, Aug. 1987, pp. 390-401.
27. J. Mogul and S. Deering, "Request for comments 1191," Path MTU Discovery, Nov. 1990.
28. J. Nonnenmacher and E. Biersack, "Reliable multicast: Where to use FEC," in Proc. 5th Int. Workshop Protocols for High Speed Networks, Sophia Antipolis, France, Oct. 1996, pp. 134-148.
29. T. Plagemann, B. Plattner, M. Vogt, and T. Walter, "A model for dynamic configuration of light-weight protocols," in Proc. 3rd Workshop FTDCS, Tapei, Apr. 1992
30. "Rendez-Vous," [WWW]. Available http://www.inria.fr/rodeo/rv/.
31. A. Richards, "The universal transport system: An adaptive end-to-end protocol analysis and design," Ph.D. dissertation, Sydney, Australia, July 1995.
32. V. Roca, T. Braun, and C. Diot, "Demultiplexed communication architecture for streams," IEEE Networks, July 1997.
33. V. Roy, "Autograph: Un outil de visualization pour les calculs de processus," Ph.D. dissertation, Nice, Sophia Antipolis, June 1990.
34. D. Schmidt, B. Stiller, T. Suda, A. N. Tantawy, and M. Zitterbart, "Language support for flexible, application-tailored protocol configuration," in Proc. 18th Conf. Local Computer Network, 1993.
35. H. Schulzrinne, S. Casner, R. Frederick, and V. Jacobson, "RTP: A transport protocol for real-time applications," Internet RFC 1889, Jan. 1996.
36. D. L. Tennenhouse and D. J. Wetherall, "Toward an active network architecture," ACM SIGCOMM Comput. Commun. Rev., vol. 26, Apr. 1996.
37. "VAT: LBNL audio conferencing tool," [WWW]. Available http://www-nrg.ee.lbl.gov/vat/.
38. "VIC: Video conferencing tool," [WWW]. Available http://www-nrg.ee.lbl.gov/vic/.
39. L. Vicisano and J. Crowcroft, "One to many reliable bulk-data transfer in the MBone," in Proc. HIPPARCH'97, 3rd Int. Workshop High Performance Protocol Architectures, Uppsala, Sweden, June 1997.
40. G. Wallace, "Overview of the JPEG (ISO/CCITT) still image compression standard. Image processing algorithms and techniques," in Proc. SPIE, vol. 1244, pp. 220-233, Feb. 1990.
41. "Globus: A metacomputing infrastucture toolkit," [WWW]. Available http://www.globus.org/.