module GHC.Event.KQueue
(
new
, available
) where
import qualified GHC.Event.Internal as E
import Control.Monad (when)
import Data.Bits (Bits(..), FiniteBits(..))
import Data.Maybe (Maybe(..))
import Data.Monoid (Monoid(..))
import Data.Word (Word16, Word32)
import Foreign.C.Error (throwErrnoIfMinus1, eINTR, eINVAL,
eNOTSUP, getErrno, throwErrno)
import Foreign.C.Types
import Foreign.Marshal.Alloc (alloca)
import Foreign.Ptr (Ptr, nullPtr)
import Foreign.Storable (Storable(..))
import GHC.Base
import GHC.Enum (toEnum)
import GHC.Num (Num(..))
import GHC.Real (ceiling, floor, fromIntegral)
import GHC.Show (Show(show))
import GHC.Event.Internal (Timeout(..))
import System.Posix.Internals (c_close)
import System.Posix.Types (Fd(..))
import qualified GHC.Event.Array as A
available :: Bool
available = True
data KQueue = KQueue {
kqueueFd :: !KQueueFd
, kqueueEvents :: !(A.Array Event)
}
new :: IO E.Backend
new = do
kqfd <- kqueue
events <- A.new 64
let !be = E.backend poll modifyFd modifyFdOnce delete (KQueue kqfd events)
return be
delete :: KQueue -> IO ()
delete kq = do
_ <- c_close . fromKQueueFd . kqueueFd $ kq
return ()
modifyFd :: KQueue -> Fd -> E.Event -> E.Event -> IO Bool
modifyFd kq fd oevt nevt
| nevt == mempty = do
let !ev = event fd (toFilter oevt) flagDelete noteEOF
kqueueControl (kqueueFd kq) ev
| otherwise = do
let !ev = event fd (toFilter nevt) flagAdd noteEOF
kqueueControl (kqueueFd kq) ev
toFilter :: E.Event -> Filter
toFilter evt
| evt `E.eventIs` E.evtRead = filterRead
| otherwise = filterWrite
modifyFdOnce :: KQueue -> Fd -> E.Event -> IO Bool
modifyFdOnce kq fd evt = do
let !ev = event fd (toFilter evt) (flagAdd .|. flagOneshot) noteEOF
kqueueControl (kqueueFd kq) ev
poll :: KQueue
-> Maybe Timeout
-> (Fd -> E.Event -> IO ())
-> IO Int
poll kq mtimeout f = do
let events = kqueueEvents kq
fd = kqueueFd kq
n <- A.unsafeLoad events $ \es cap -> case mtimeout of
Just timeout -> kqueueWait fd es cap $ fromTimeout timeout
Nothing -> kqueueWaitNonBlock fd es cap
when (n > 0) $ do
A.forM_ events $ \e -> f (fromIntegral (ident e)) (toEvent (filter e))
cap <- A.capacity events
when (n == cap) $ A.ensureCapacity events (2 * cap)
return n
newtype KQueueFd = KQueueFd {
fromKQueueFd :: CInt
} deriving (Eq, Show)
data Event = KEvent {
ident :: !CUIntPtr
, filter :: !Filter
, flags :: !Flag
, fflags :: !FFlag
, data_ :: !CIntPtr
, udata :: !(Ptr ())
} deriving Show
event :: Fd -> Filter -> Flag -> FFlag -> Event
event fd filt flag fflag = KEvent (fromIntegral fd) filt flag fflag 0 nullPtr
instance Storable Event where
sizeOf _ = (32)
alignment _ = alignment (undefined :: CInt)
peek ptr = do
ident' <- (\hsc_ptr -> peekByteOff hsc_ptr 0) ptr
filter' <- (\hsc_ptr -> peekByteOff hsc_ptr 8) ptr
flags' <- (\hsc_ptr -> peekByteOff hsc_ptr 10) ptr
fflags' <- (\hsc_ptr -> peekByteOff hsc_ptr 12) ptr
data' <- (\hsc_ptr -> peekByteOff hsc_ptr 16) ptr
udata' <- (\hsc_ptr -> peekByteOff hsc_ptr 24) ptr
let !ev = KEvent ident' (Filter filter') (Flag flags') fflags' data'
udata'
return ev
poke ptr ev = do
(\hsc_ptr -> pokeByteOff hsc_ptr 0) ptr (ident ev)
(\hsc_ptr -> pokeByteOff hsc_ptr 8) ptr (filter ev)
(\hsc_ptr -> pokeByteOff hsc_ptr 10) ptr (flags ev)
(\hsc_ptr -> pokeByteOff hsc_ptr 12) ptr (fflags ev)
(\hsc_ptr -> pokeByteOff hsc_ptr 16) ptr (data_ ev)
(\hsc_ptr -> pokeByteOff hsc_ptr 24) ptr (udata ev)
newtype FFlag = FFlag Word32
deriving (Eq, Show, Storable)
noteEOF :: FFlag
noteEOF = FFlag 0
newtype Flag = Flag Word16
deriving (Bits, FiniteBits, Eq, Num, Show, Storable)
flagAdd :: Flag
flagAdd = Flag 1
flagDelete :: Flag
flagDelete = Flag 2
flagOneshot :: Flag
flagOneshot = Flag 16
newtype Filter = Filter Word16
deriving (Bits, FiniteBits, Eq, Num, Show, Storable)
filterRead :: Filter
filterRead = Filter (1)
filterWrite :: Filter
filterWrite = Filter (2)
data TimeSpec = TimeSpec {
tv_sec :: !CTime
, tv_nsec :: !CLong
}
instance Storable TimeSpec where
sizeOf _ = (16)
alignment _ = alignment (undefined :: CInt)
peek ptr = do
tv_sec' <- (\hsc_ptr -> peekByteOff hsc_ptr 0) ptr
tv_nsec' <- (\hsc_ptr -> peekByteOff hsc_ptr 8) ptr
let !ts = TimeSpec tv_sec' tv_nsec'
return ts
poke ptr ts = do
(\hsc_ptr -> pokeByteOff hsc_ptr 0) ptr (tv_sec ts)
(\hsc_ptr -> pokeByteOff hsc_ptr 8) ptr (tv_nsec ts)
kqueue :: IO KQueueFd
kqueue = KQueueFd `fmap` throwErrnoIfMinus1 "kqueue" c_kqueue
kqueueControl :: KQueueFd -> Event -> IO Bool
kqueueControl kfd ev =
withTimeSpec (TimeSpec 0 0) $ \tp ->
withEvent ev $ \evp -> do
res <- kevent False kfd evp 1 nullPtr 0 tp
if res == 1
then do
err <- getErrno
case err of
_ | err == eINTR -> return True
_ | err == eINVAL -> return False
_ | err == eNOTSUP -> return False
_ -> throwErrno "kevent"
else return True
kqueueWait :: KQueueFd -> Ptr Event -> Int -> TimeSpec -> IO Int
kqueueWait fd es cap tm =
fmap fromIntegral $ E.throwErrnoIfMinus1NoRetry "kevent" $
withTimeSpec tm $ kevent True fd nullPtr 0 es cap
kqueueWaitNonBlock :: KQueueFd -> Ptr Event -> Int -> IO Int
kqueueWaitNonBlock fd es cap =
fmap fromIntegral $ E.throwErrnoIfMinus1NoRetry "kevent" $
withTimeSpec (TimeSpec 0 0) $ kevent False fd nullPtr 0 es cap
kevent :: Bool -> KQueueFd -> Ptr Event -> Int -> Ptr Event -> Int -> Ptr TimeSpec
-> IO CInt
kevent safe k chs chlen evs evlen ts
| safe = c_kevent k chs (fromIntegral chlen) evs (fromIntegral evlen) ts
| otherwise = c_kevent_unsafe k chs (fromIntegral chlen) evs (fromIntegral evlen) ts
withEvent :: Event -> (Ptr Event -> IO a) -> IO a
withEvent ev f = alloca $ \ptr -> poke ptr ev >> f ptr
withTimeSpec :: TimeSpec -> (Ptr TimeSpec -> IO a) -> IO a
withTimeSpec ts f
| tv_sec ts < 0 = f nullPtr
| otherwise = alloca $ \ptr -> poke ptr ts >> f ptr
fromTimeout :: Timeout -> TimeSpec
fromTimeout Forever = TimeSpec (1) (1)
fromTimeout (Timeout s) = TimeSpec (toEnum sec) (toEnum nanosec)
where
sec :: Int
sec = floor s
nanosec :: Int
nanosec = ceiling $ (s fromIntegral sec) * 1000000000
toEvent :: Filter -> E.Event
toEvent (Filter f)
| f == (1) = E.evtRead
| f == (2) = E.evtWrite
| otherwise = error $ "toEvent: unknown filter " ++ show f
foreign import ccall unsafe "kqueue"
c_kqueue :: IO CInt
foreign import capi safe "sys/event.h kevent"
c_kevent :: KQueueFd -> Ptr Event -> CInt -> Ptr Event -> CInt
-> Ptr TimeSpec -> IO CInt
foreign import ccall unsafe "kevent"
c_kevent_unsafe :: KQueueFd -> Ptr Event -> CInt -> Ptr Event -> CInt
-> Ptr TimeSpec -> IO CInt