Changeset e64e40b in mainline for uspace/srv/net/tl/tcp/tcp.c

Timestamp:

2010-12-27T20:05:44Z (13 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

097967b

Parents:

6e5b4e7 (diff), 45bb1d2 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge TCP FIN fix and some cleanup.

File:

• uspace/srv/net/tl/tcp/tcp.c (modified) (7 diffs)

uspace/srv/net/tl/tcp/tcp.c

@@ -205 +205 @@
 static int tcp_queue_received_packet(socket_core_t *, tcp_socket_data_t *,
     packet_t *, int, size_t);
+static void tcp_queue_received_end_of_data(socket_core_t *socket);
 
 static int tcp_received_msg(device_id_t, packet_t *, services_t, services_t);
@@ -504 +505 @@
         size_t offset;
         uint32_t new_sequence_number;
+        bool forced_ack;
         int rc;
 
@@ -512 +514 @@
         assert(packet);
 
+        forced_ack = false;
+
         new_sequence_number = ntohl(header->sequence_number);
         old_incoming = socket_data->next_incoming;
 
-        if (header->finalize)
-                socket_data->fin_incoming = new_sequence_number;
+        if (header->finalize) {
+                socket_data->fin_incoming = new_sequence_number +
+                    total_length - TCP_HEADER_LENGTH(header);
+        }
 
         /* Trim begining if containing expected data */
@@ -760 +766 @@
                 /* Release duplicite or restricted */
                 pq_release_remote(tcp_globals.net_phone, packet_get_id(packet));
-        }
-
-        /* Change state according to the acknowledging incoming fin */
-        if (IS_IN_INTERVAL_OVERFLOW(old_incoming, socket_data->fin_incoming,
-            socket_data->next_incoming)) {
+                forced_ack = true;
+        }
+
+        if (header->finalize)
+                socket_data->next_incoming += 1;
+
+        /* If next in sequence is an incoming FIN */
+        if (socket_data->next_incoming == socket_data->fin_incoming) {
+                /* Advance sequence number */
+                socket_data->next_incoming += 1;
+
+                /* Handle FIN */
                 switch (socket_data->state) {
                 case TCP_SOCKET_FIN_WAIT_1:
@@ -771 +784 @@
                         socket_data->state = TCP_SOCKET_CLOSING;
                         break;
-                /*case TCP_ESTABLISHED:*/
+                case TCP_SOCKET_ESTABLISHED:
+                        /* Queue end-of-data marker on the socket. */
+                        tcp_queue_received_end_of_data(socket);
+                        socket_data->state = TCP_SOCKET_CLOSE_WAIT;
+                        break;
                 default:
                         socket_data->state = TCP_SOCKET_CLOSE_WAIT;
@@ -779 +796 @@
 
         packet = tcp_get_packets_to_send(socket, socket_data);
-        if (!packet) {
+        if (!packet && (socket_data->next_incoming != old_incoming || forced_ack)) {
                 /* Create the notification packet */
                 rc = tcp_create_notification_packet(&packet, socket,
@@ -835 +852 @@
 
         return EOK;
+}
+
+/** Queue end-of-data marker on the socket.
+ *
+ * Next element in the sequence space is FIN. Queue end-of-data marker
+ * on the socket.
+ *
+ * @param socket        Socket
+ */
+static void tcp_queue_received_end_of_data(socket_core_t *socket)
+{
+        assert(socket != NULL);
+
+        /* Notify the destination socket */
+        async_msg_5(socket->phone, NET_SOCKET_RECEIVED,
+            (sysarg_t) socket->socket_id,
+            0, 0, 0,
+            (sysarg_t) 0 /* 0 fragments == no more data */);
 }