Information processing system, server, and terminal device

A server configured to perform communication with a terminal device, the server comprising:

• a memory;
• and
• a processor coupled to the memory and configured to
• execute a first process that includes managing a first connection state indicating a state of connection with the terminal device based on whether the connection with the terminal device is determined as established, and
• execute a second process that includes performing deallocation or reuse of a server-side resource allocated by the server based on whether the first connection state is synchronized with a second connection state managed in the terminal device,
• wherein the first process includes
• after the connection with the terminal device is determined as not established continuously for a predetermined time or more, setting the first connection state to an off-line state indicating that the connection between the server and the terminal device is disconnected,
• wherein the terminal device to be communicated with the server is configured to
• execute a third process that includes repeatedly checking a connection with the server using the connection path including the at least part in which the wireless communication is performed, and managing the second connection state indicating a state of the connection with the server based on whether the connection with the server is determined as established, and
• execute a fourth process that includes performing deallocation or reuse of a terminal-side resource allocated by the terminal device, based on whether the second connection state is synchronized with a first connection state managed in the server and indicating a state of the connection with the terminal device,
• wherein the third process includes
• after the connection with the server is determined as not established continuously for a predetermined time or more, setting the second connection state to an off-line state indicating that the connection between the server and the terminal device is disconnected.

A terminal device configured to perform wireless communication in at least a part of a connection path to a server, the terminal device comprising:

• a memory;
• and
• a processor coupled to the memory and configured to
• execute a first process that includes repeatedly checking a connection with the server using the at least the part of the connection path in which the wireless communication is performed, and managing a second connection state indicating a state of the connection with the server based on whether the connection with the server is determined as established, and
• execute a second process that includes performing deallocation or reuse of a terminal-side resource allocated by the terminal device, based on whether the second connection state is synchronized with a first connection state managed in the server and indicating a state of the connection with the terminal device,
• wherein the first process includes
• after the connection with the server is determined as not established continuously for a predetermined time or more, setting the second connection state to an off-line state indicating that the connection between the server and the terminal device is disconnected,
• wherein the server to be communicated with the terminal device is configured to
• execute a first process that includes managing a first connection state indicating a state of connection with the terminal device based on whether the connection with the terminal device is determined as established, and
• execute a second process that includes performing deallocation or reuse of a server-side resource allocated by the server based on whether the first connection state is synchronized with a second connection state managed in the terminal device,
• wherein the first process includes
• after the connection with the terminal device is determined as not established continuously for a predetermined time or more, setting the first connection state to an off-line state indicating that the connection between the server and the terminal device is disconnected.