lwIP sockets: a failed listen or connect leaves the socket lock held, a later close hangs forever

Abierto Apto para principiantes
#2,475 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 3 días

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
84/100
Tipo de issue
Error
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
c, erlang
Área
embedded-iot

Línea de trabajo

Empieza en src/libAtomVM/otp_socket.c y lee nif_socket_listen y la rama de lwIP de nif_socket_connect. Comprueba cómo #2345 gestiona el bloqueo del socket en la ruta de error de tcp_close y, a continuación, reproduce el listen o connect fallido en una compilación SMP RP2. El trabajo estará terminado cuando cada ruta de error libere el bloqueo de lectura y socket:close retorne después del fallo.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Affected: release-0.7 at ca1583068, lwIP socket backend (RP2 port), SMP builds
(the default on RP2). Not changed by #2345.

What happens

nif_socket_listen and nif_socket_connect take the socket read lock, then
return on an lwIP error without releasing it:

  • nif_socket_listen: if (new_pcb == NULL) { return make_lwip_err_tuple(err, ctx); }
  • nif_socket_connect (lwIP branch): if (err != ERR_OK) { ... return {error, closed} / RAISE_ERROR(...) }

The read lock is never released. Every later operation that takes the write lock
on that socket blocks forever and pins a scheduler thread: socket:close/1,
socket:recv/1,2,3, socket:accept/1,2, socket:send/2 (through the select
NIFs) and the monitor callback socket_down.

How to reproduce (Pico W)

Connect, with the network down or no route to the address (tcp_connect fails
with ERR_RTE):

{ok, S} = socket:open(inet, stream, tcp),
{error, closed} = socket:connect(S, #{family => inet, addr => {192, 168, 0, 1}, port => 80}),
ok = socket:close(S).   % never returns

Listen on a socket that is already connected (tcp_listen fails with ERR_CLSD):

{error, _} = socket:listen(ConnectedSocket),
ok = socket:close(ConnectedSocket).   % never returns

Where

src/libAtomVM/otp_socket.c, nif_socket_listen and nif_socket_connect,
#elif OTP_SOCKET_LWIP branches.

Suggested fix

SMP_RWLOCK_UNLOCK(rsrc_obj->socket_lock) before returning on both error
paths, as #2345 did for the failing tcp_close in nif_socket_close.

Lenguaje dominante
Erlang
Estrellas
2.3k
Forks
171
Merge medio
4 d 11 h
PR fusionados (30 d)
20

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de atomvm/AtomVM

Todos los issues de atomvm/AtomVM

Issues similares

Más issues de Embedded & IoT

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.