Tại sao không ngủ?

Question

Tại sao c_sleep trả lại ngay trong mã sau?

{-# LANGUAGE ForeignFunctionInterface #-} 
import Foreign.C.Types 
import Data.Time.Clock 
import Control.Concurrent 

foreign import ccall unsafe "unistd.h sleep" 
    c_sleep :: CUInt -> IO CUInt 

main :: IO() 
main = do 
    getCurrentTime >>= print . utctDayTime 
    c_sleep 10  >>= print    -- this doesn't sleep 
    getCurrentTime >>= print . utctDayTime 
    threadDelay $ 10 * 1000 * 1000   -- this does sleep 
    getCurrentTime >>= print . utctDayTime 

$ ghc --make Sleep.hs && ./Sleep 
[1 of 1] Compiling Main    (Sleep.hs, Sleep.o) 
Linking Sleep ... 
29448.191603s 
10 
29448.20158s 
29458.211402s 

$ ghc --version 
The Glorious Glasgow Haskell Compilation System, version 7.8.3 

$ cabal --version 
cabal-install version 1.20.0.3 
using version 1.20.0.0 of the Cabal library 

Lưu ý: Thực ra, tôi muốn sử dụng sleep trong mã C để mô phỏng một số tính toán nặng trong một hàm func và gọi rằng chức năng trong Haskell, nhưng điều đó không làm việc, hoặc , có lẽ vì những lý do tương tự.

Answer 1

GHC's RTS appears to use signals cho ownpurposes, điều này có nghĩa là sẽ không lâu sau khi một giấc ngủ bị gián đoạn bởi một trong các tín hiệu này. Tôi không nghĩ rằng đó là một lỗi, thời gian chạy không come with its own territory, do đó, để nói chuyện. Cách tiếp cận Haskellian sẽ là sử dụng threadDelay nhưng nó không dễ dàng cho một chương trình C để truy cập mà không có một số trickery.

proper way liên tục tiếp tục ngủ mặc dù bị gián đoạn từ các tín hiệu khác. Tôi khuyên bạn nên sử dụng nanosleep vì sleep chỉ có độ chính xác là giây và tín hiệu xuất hiện thường xuyên hơn nhiều.

#include <errno.h> 
#include <time.h> 

/* same as 'sleep' except it doesn't get interrupted by signals */ 
int keep_sleeping(unsigned long sec) { 
    struct timespec rem, req = { (time_t) sec, 0 }; /* warning: may overflow */ 
    while ((rem.tv_sec || rem.tv_nsec) && nanosleep(&req, &rem)) { 
     if (errno != EINTR) /* this check is probably unnecessary */ 
      return -1; 
     req = rem; 
    } 
    return 0; 
} 

Answer 2

Tất cả nguyên thủy đồng thời luôn luôn có một tuyên bố clawback rằng họ có thể cản trở cho ít thời gian hơn so với quy định - họ có thể trở lại spuriously. Điều này là không có gì để làm với ngôn ngữ, nó là bản chất của đồng thời, vì vậy nếu bạn muốn chờ đợi chính xác số lượng thời gian quy định, trong bất kỳ ngôn ngữ nào bạn cần để xây dựng một vòng kiểm tra đồng hồ sau khi ngủ.