Reliable network connections

ABSTRACT

We present two systems, reliable sockets (rocks) and reliable packets (racks), that provide transparent network connection mobility using only user- level mechanisms. Each system can detect a connection failure within seconds of its occurrence, preserve the endpoint of a failed connection in a suspended state for an arbitrary period of time, and automatically reconnect, even when one end of the connection changes IP address, with correct recovery of in-flight data. To allow rocks and racks to interoperate with ordinary clients and servers, we introduce a general user-level Enhancement Detection Protocol that enables the remote detection of rocks and racks, or any other socket enhancement system, but does not affect applications that use ordinary sockets. Rocks and racks provide the same functionality but have different implementation models: rocks intercept and modify the behavior of the sockets API by using an interposed library, while racks uses a packet filter to intercept and modify the packets exchanged over a connection. Racks and rocks introduce small throughput and latency overheads that we deem acceptable for the level of mobility and reliability they provide.

REFERENCES

• 1: R. T. Braden. Requirements for Internet Hosts - Applications and Support. Internet Request for Comments RFC 1122, October 1989.
• 2: J. Casas, D. L. Clark, R. Konuru, S. W. Otto, R. M. Prouty, and J. Walpole. MPVM: A Migration Transparent Version of PVM. Computing Systems 8, 2, Spring 1995.
• 3: K. Mani Chandy , Leslie Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.63-75, Feb. 1985 [doi>10.1145/214451.214456]
• 4: M. Crispin. Internet Message Access Protocol: Version 4rev1. Internet Request for Comments RFC 2060, December 1996.
• 5: K. Egevang and P. Francis. The IP Network Address Translator (NAT). Internet Request for Comments RFC 1631, May 1994.
• 6: P. Ferguson and D. Senie. Network Ingress Filtering. Internet Request for Comments RFC 2267, May 2000.
• 7: Al Geist , Adam Beguelin , Jack Dongarra , Weicheng Jiang , Robert Manchek , Vaidy Sunderam, PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing, MIT Press, Cambridge, MA, 1995
• 8: William Gropp , Ewing Lusk , Nathan Doss , Anthony Skjellum, A high-performance, portable implementation of the MPI message passing interface standard, Parallel Computing, v.22 n.6, p.789-828, Sept. 1996 [doi>10.1016/0167-8191(96)00024-5]
• 9: M. Litzkow, T. Tannenbaum, J. Basney, and M. Livny. Checkpoint and Migration of UNIX Processes in the Condor Distributed Processing System. Technical Report #1346, Computer Sciences Department, University of Wisconsin, April 1997.
• 10: D. A. Maltz and P. Bhagwat. MSOCKS: An Architecture for Transport Layer Mobility. INFOCOM '98, San Francisco, CA, April 1998.
• 11: S. McCanne and V. Jacobson. The BSD Packet Filter: A New Architecture for User-level Packet Capture. 1993 Winter Usenix Conference, San Diego, CA, 1993.
• 12: Alfred J. Menezes , Scott A. Vanstone , Paul C. Van Oorschot, Handbook of Applied Cryptography, CRC Press, Inc., Boca Raton, FL, 1996
• 13: Message Passing Interface Forum. MPI: A Message Passing Interface Standard. May, 1994.
• 14: J. Mogul, Efficient use of workstations for passive monitoring of local area networks, Proceedings of the ACM symposium on Communications architectures & protocols, p.253-263, September 26-28, 1990, Philadelphia, Pennsylvania, United States
• 15: J. Mogul , R. Rashid , M. Accetta, The packer filter: an efficient mechanism for user-level network code, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.39-51, November 08-11, 1987, Austin, Texas, United States
• 16: T. Okoshi, M. Mochizuki, Y. Tobe, and H. Tokuda. MobileSocket: Toward Continuous Operation for Java Applications. IEEE International Conference on Computer Communications and Networks (IC3N'99), Boston, MA, October 1999.
• 17: C. Perkins. IP Mobility Support. Internet Request for Comments RFC 2002, October 1996.
• 18: J. Postel. Transmission Control Protocol. Internet Request for Comments RFC 793, September 1981.
• 19: X. Qu, J. X. Yu, and R. P. Brent. A Mobile TCP Socket. Technical Report TR-CS-97-08, Computer Sciences Laboratory, RSISE, The Australian National University, Canberra, Australia, April 1997.
• 20: X. Qu, J. X. Yu, and R. P. Brent. A Mobile TCP Socket. International Conference on Software Engineering (SE '97), San Francisco, CA, USA, November 1997.
• 21: Alex C. Snoeren , Hari Balakrishnan, An end-to-end approach to host mobility, Proceedings of the 6th annual international conference on Mobile computing and networking, p.155-166, August 06-11, 2000, Boston, Massachusetts, United States [doi>10.1145/345910.345938]
• 22: Georg Stellner, CoCheck: Checkpointing and Process Migration for MPI, Proceedings of the 10th International Parallel Processing Symposium, p.526-531, April 15-19, 1996
• 23: G. Stellner and J. Pruyne. Resource Management and Checkpointing for PVM. 2nd European PVM User Group Meeting, Lyon, France, 1995.
• 24: Se-Chang Son, The Kangaroo Approach to Data Movement on the Grid, Proceedings of the 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10'01), p.325, August 07-09, 2001
• 25: Douglas Thain , Miron Livny, Bypass: A Tool for Building Split Execution Systems, Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing (HPDC'00), p.79, August 01-04, 2000
• 26: D. Wright. Cheap Cycles from the Desktop to the Dedicated Cluster: Combining Opportunistic and Dedicated Scheduling with Condor. Linux Clusters: The HPC Revolution, Champaign- Urbana, IL, USA, June 2001.
• 27: A "persistent connection" model for mobile and distributed systems, Proceedings of the 4th International Conference on Computer Communications and Networks, p.300, September 20-23, 1995

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.4 Communications Management
          Subjects: Network communication

General Terms:
Reliability

Keywords:
network connection mobility