hWaitForInput-accurate-socket test
authorTom Sydney Kerckhove <syd@cs-syd.eu>
Fri, 21 Dec 2018 10:41:13 +0000 (12:41 +0200)
committerBen Gamari <ben@well-typed.com>
Wed, 16 Jan 2019 17:05:35 +0000 (12:05 -0500)
libraries/base/tests/all.T
libraries/base/tests/hWaitForInput-accurate-socket.hs [new file with mode: 0644]
libraries/base/tests/hWaitForInput-accurate-socket.stdout [new file with mode: 0644]

index aaf4aa2..457d9f4 100644 (file)
@@ -200,6 +200,7 @@ test('T9681', normal, compile_fail, [''])
 test('T8089',
      [exit_code(99), run_timeout_multiplier(0.01)],
      compile_and_run, [''])
+test('hWaitForInput-accurate-socket', normal, compile_and_run, [''])
 test('T8684', expect_broken(8684), compile_and_run, [''])
 test('T9826',normal, compile_and_run,[''])
 test('T9848',
diff --git a/libraries/base/tests/hWaitForInput-accurate-socket.hs b/libraries/base/tests/hWaitForInput-accurate-socket.hs
new file mode 100644 (file)
index 0000000..ea3580e
--- /dev/null
@@ -0,0 +1,48 @@
+import Control.Concurrent
+import Control.Monad
+import Foreign.C
+import GHC.Clock
+import GHC.IO.Device
+import GHC.IO.Handle.FD
+import System.IO
+import System.Posix.IO
+import System.Posix.Types
+import System.Timeout
+
+main :: IO ()
+main = do
+    socketHandle <- makeTestSocketHandle
+    let nanoSecondsPerSecond = 1000 * 1000 * 1000
+    let milliSecondsPerSecond = 1000
+    let timeToSpend = 1
+    let timeToSpendNano = timeToSpend * nanoSecondsPerSecond
+    let timeToSpendMilli = timeToSpend * milliSecondsPerSecond
+    start <- getMonotonicTimeNSec
+    b <- hWaitForInput socketHandle timeToSpendMilli
+    end <- getMonotonicTimeNSec
+    let timeSpentNano = fromIntegral $ end - start
+    let delta = timeSpentNano - timeToSpendNano
+    -- We can never wait for a shorter amount of time than specified
+    putStrLn $ "delta >= 0: " ++ show (delta >= 0)
+
+foreign import ccall unsafe "socket" c_socket ::
+               CInt -> CInt -> CInt -> IO CInt
+
+makeTestSocketHandle :: IO Handle
+makeTestSocketHandle = do
+    sockNum <-
+        c_socket
+            1 -- PF_LOCAL
+            2 -- SOCK_DGRAM
+            0
+    let fd = fromIntegral sockNum :: Fd
+    h <-
+        fdToHandle'
+            (fromIntegral fd)
+            (Just GHC.IO.Device.Stream)
+            True
+            "testsocket"
+            ReadMode
+            True
+    hSetBuffering h NoBuffering
+    pure h
diff --git a/libraries/base/tests/hWaitForInput-accurate-socket.stdout b/libraries/base/tests/hWaitForInput-accurate-socket.stdout
new file mode 100644 (file)
index 0000000..f1e939c
--- /dev/null
@@ -0,0 +1 @@
+delta >= 0: True