Почему System.Timeout в Haskell не работает для сокетов?

Я пытаюсь прослушать дейтаграммы UDP всего за 3 секунды в Haskell. Я написал код, но не уверен, почему он не работает. Я установил тайм-аут на 3 секунды, но он просто ждет вечно и не блокируется

import Control.Concurrent  as CC  (forkIO, threadDelay, killThread)
import qualified Data.ByteString.Char8 as C
import Network.Socket 
import Network.Socket.ByteString as B
import Data.IORef
import Control.Monad            (forever)
import System.Timeout

receiveDatagram = do 
  ack <- newIORef (0 :: Int) 
  addrinfos <- getAddrInfo Nothing (Just "127.0.0.1") (Just "7001")
  let serveraddr = head addrinfos
  sock <- socket (addrFamily serveraddr) Datagram defaultProtocol
  bind sock (addrAddress serveraddr)
  print "starting"
  tmp <- timeout 3000000 (do
    (msg, addr) <- B.recvFrom sock 1024
    close sock
    writeIORef ack 1
    print msg
    )
  case tmp of 
    Nothing -> close sock
    _       -> print "something else"
  print "timeout done"

В документации к timeout сказано:

Standard I/O functions like hGetBuf, hPutBuf, Network.Socket.accept, or hWaitForInput appear to be blocking, but they really don't because the runtime system uses scheduling mechanisms like select(2) to perform asynchronous I/O, so it is possible to interrupt standard socket I/O or file I/O using this combinator.

Лично мне не нравится идея, лежащая в основе timeout, или ее использование в приведенном выше коде. Что, если recvFrom завершится успешно, и сразу после этого истечет время ожидания, скажем, до close (или даже до writeIORef)? Мы потребляем сообщение из буфера ОС, но tmp сообщит о Nothing, потеряв сообщение (и ack все еще может быть нулевым).

— 13.01.2019 20:48

Он отлично работает для меня. Как вы его составляете? Какая платформа? Какая версия GHC? Обновлено: я использовал GHC 8.4.4 на OS-X. EDIT2: GHC 8.2.0 в Linux также работал нормально.

— 13.01.2019 20:52

Это может иметь значение, используется ли поточная среда выполнения или нет, но я отказался от попыток отследить реализацию recvFrom в определенный момент.

— 13.01.2019 21:10

Я использую GHCi версии 8.4.4 со стеком в качестве инструмента построения под Windows 10.

— 14.01.2019 08:21

@chi Изначально у меня был оператор close под таймаутом, но я 1000 раз менял код, потому что думал, что не закрываю сокет в нужное время

— 14.01.2019 08:24

И версия стека: Версия 1.7.1, версия Git 681c800873816c022739ca7ed14755e85a579565 (5807 коммитов) x86_64 hpack-0.28.2

— 14.01.2019 08:30

Я предполагаю, что это проблема Windows + GHCi, которую я не могу проверить. Попробуйте скомпилировать его, а не интерпретировать (так, ghc file.hs -o file вместо ghci file.hs). Если это сработает, у вас есть способ продолжить разработку. В любом случае я предлагаю вам отправить проблему на ghchq.

— 14.01.2019 18:27

sockets haskell networking timeout

13.01.2019 17:46

Стоит ли изучать PHP в 2026-2027 годах?

Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...

Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией

В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.

Приемы CSS-макетирования - floats и Flexbox

Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...

Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest

В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...

Концепция локализации и ее применение в приложениях React ⚡️

Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...