TCP meets mobile code

Proceedings of HotOS 2003 - 9th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2003, Pages 31-36

  Patel, Parveen ^a   Wetherall, David ^a   Lepreau, Jay ^a   Whitaker, Andrew ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC LOADS;

ACTIVE NETWORKING; GLOBAL SAFETY; LOCAL SAFETY; MOBILE CODES; PROTOCOL STATE; SAFE LANGUAGES; TCP FRIENDLINESS; TRANSPORT PROTOCOLS;

TRANSMISSION CONTROL PROTOCOL;

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

References (47)

1. M. Allman. TCP Congestion Control with Appropriate Byte Counting. IETF, Internet Draft, draft-allman-tcp-abc-04.txt, October 2002.
2. M. Allman, H. Balakrishnan, and S. Floyd. Enhancing TCP's Loss Recovery Using Limited Transmit. RFC 3042, 2001.
3. M. Allman, S. Floyd, and C. Partridge. Increasing TCP's Initial Window. RFC 3390, 2002.
4. M. Allman, D. Glover, and L. Sanchez. Enhancing TCP Over Satellite Channels using Standard Mechanisms. RFC 2488, January 1999.
5. G. Back, W. C. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. In OSDI. USENIX Association, Oct. 2000.
6. A. Bakre and B. R. Badrinath. I-TCP: Indirect TCP for Mobile Hosts. 15th International Conference on Distributed Computing Systems, 1995.
7. H. Balakrishnan, H. S. Rahul, and S. Seshan. An Integrated Congestion Management Architecture for Internet Hosts. In SIGCOMM, pages 175-187, 1999.
8. D. J. Bernstein and E. Schenk. TCP Syn Cookies. 1996, 2002; http://cr.yp.to/syncookies.html.
9. E. Biagioni. A Structured TCP in Standard ML. In ACM SIGCOMM, 1994.
10. R. Braden. T/TCP - TCP Extensions for Transactions Functional Specification. RFC 1644, 1994.
11. L. S. Brakmo and L. L. Peterson. TCP Vegas: End to End Congestion Avoidance on a Global Internet. IEEE JSAC, 13(8), 1995.
12. K. Brown and S. Singh. M-TCP: TCP for Mobile Cellular Networks. Computer Communication Review, 1997.
13. F. Chengpeng. TCP Veno: End-To-End Congestion Control Over Heterogeneous Networks. PhD thesis, Chinese University of Hong Kong, 2001.
14. D. D. Clark, C. Partridge, and J. C. Ramming. A Knowledge Plane for the Internet, Feb. 2003. Unpublished report; earlier versions available at http://www.isi.edu/braden/know-plane/.
15. R. Durst, G. Miller, and E. Travis. TCP Extensions for Space Communications. In ACM MobiCom, Nov. 1996.
16. D. Ely, N. Spring, D. Wetherall, S. Savage, and T. Anderson. Robust Congestion Signaling. In IEEE ICNP, November 2001.
17. K. Fall and S. Floyd. Simulation-based Comparisons of Tahoe, Reno and SACK TCP. ACM Computer Communication Review, 26(3), Jul 1996.
18. S. Floyd. The NewReno Modification to TCP's Fast Recovery Algorithm. RFC 2582, 1999.
19. S. Floyd. Congestion Control Principles. RFC 2914, September 2000.
20. S. Floyd, M. Handley, J. Padhye, and J. Widmer. Equation-based Congestion Control for Unicast Applications. In SIGCOMM, 2000.
21. S. Floyd, J. Mahdavi, M. Mathis, and M. Podolsky. An Extension to the Selective Acknowledgement (SACK) Option for TCP. RFC 2883, 2000.
22. V. Jacobson. Congestion Avoidance and Control. SIGCOMM, 1988.
23. V. Jacobson. 4BSD Header Prediction. ACM Computer Communication Review, April 1990.
24. V. Jacobson, R. Braden, and D. Borman. TCP Extensions for High Performance. RFC 1323, 1992.
25. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Chene, and Y. Wang. Cyclone: A Safe Dialect of C. USENIX Annual Techincal conference, Monterey, CA, June 2002.
26. P. Karn and C. Partridge. Improving Round-Trip Time Estimates in Reliable Transport Protocols. ACM Transactions on Computer Systems, 9(4):364-373, 1991.
27. E. Kohler, M. Handley, S. Floyd, and J. Padhye. Data-gram Congestion Control Protocol (DCCP), October 2002. http://www.icir.org/kohler/dccp/.
28. E. Kohler, F. Kaashoek, and D. Montgomery. A Readable TCP in the Prolac Protocol Language. In SIGCOMM, pages 3-13, 1999.
29. R. Ludwig and R. H. Katz. The Eifel Algorithm: Making TCP Robust Against Spurious Retransmissions. ACM Computer Communication Review, 30(1), January 2000.
30. M. Mathis and J. Mahdavi. Forward Acknowledgement: Refining TCP Congestion Control. In SIGCOMM, 1996.
31. M. Mathis, J. Mahdavi, S. Floyd, and A. Romanow. TCP Selective Acknowledgement Options. RFC 2018, 1996.
32. J. Nagle. Congestion Control in IP/TCP. RFC 896, January 1984.
33. J. Padhye, V. Firoiu, D. Towsley, and J. Kurose. Modeling TCP Throughput: A Simple Model and its Empirical Validation. In ACM SIGCOMM, 1998.
34. P. Patel, A. Whitaker, D. Wetherall, J. Lepreau, and T. Stack. Upgrading Transport Protocols using Untrusted Mobile Code. In Proc. of the 19th ACM Symposium on Operating Systems Principles, Oct. 2003. To appear.
35. V. Paxson. End-to-end Internet Packet Dynamics. IEEE/ACM Transactions on Networking, 7(3), 1999.
36. K. Ramakrishnan, S. Floyd, and D. Black. The Addition of Explicit Congestion Notification (ECN) to IP. RFC 3168, 2001.
37. K. Ratnam and I. Matta. WTCP: An Efficient Transmission Control Protocol for Networks with Wireless Links. Proc. Third IEEE ISCC, 1998.
38. R. Rejaie, M. Handley, and D. Estrin. RAP: An End-to-End Rate-Based Congestion Control Mechanism for Realtime Streams in the Internet. In INFOCOM (3), 1999.
39. R. Ricci and J. Lepreau. Active Protocols for Agile Censor-Resistant Networks. In 8th HotOS. IEEE Computer Society, May 2001.
40. J. Semke, J. Mahdavi, and M. Mathis. Automatic TCP Buffer Tuning. ACM Computer Communication Review, 28(4), October 1998.
41. A. C. Snoeren and H. Balakrishnan. An End-to-End Approach to Host Mobility. In 6th MobiCom, 2000.
42. W. Stevens. TCP Slow Start, Congestion Avoidance, Fast Retransmit, and Fast Recovery Algorithms. RFC 2001, January 1997.
43. J. Stone, R. Stewart, and D. Otis. Stream Control Transmission Protocol (SCTP) Checksum Change. RFC 3309, 2002.
44. D. L. Tennenhouse, J. M. Smith, W. D. Sincoskie, D. J. Wetherall, and G. J. Minden. A Survey of Active Network Research. IEEE Communications Magazine, 35(1):80-86, 1997.
45. A. Venkataramani, R. Kokku, and M. Dahlin. TCP Nice: A Mechanism for Background Transfers. In OSDI, 2002.
46. R. Wang, M. Valla, M. Y. Sanadidi, and M. Gerla. Adaptive Bandwidth Share Estimation in TCP Westwood. In IEEE Globe-com, November 2002.
47. M. Zhang, B. Karp, S. Floyd, and L. Peterson. RR-TCP: A Reordering-Robust TCP with DSACK. TR 006, International Computer Science Institute (ICSI), Berkeley, California, USA, July 2002.