Copyright | (c) The University of Glasgow 2003 |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | ffi@haskell.org |
Stability | provisional |
Portability | non-portable (requires concurrency) |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
FFI datatypes and operations that use or require concurrency (GHC only).
- newForeignPtr :: Ptr a -> IO () -> IO (ForeignPtr a)
- addForeignPtrFinalizer :: ForeignPtr a -> IO () -> IO ()
Concurrency-based ForeignPtr
operations
These functions generalize their namesakes in the portable
Foreign.ForeignPtr module by allowing arbitrary IO
actions
as finalizers. These finalizers necessarily run in a separate
thread, cf. Destructors, Finalizers and Synchronization,
by Hans Boehm, POPL, 2003.
newForeignPtr :: Ptr a -> IO () -> IO (ForeignPtr a) Source
Turns a plain memory reference into a foreign object by associating a finalizer - given by the monadic operation - with the reference. The finalizer will be executed after the last reference to the foreign object is dropped. There is no guarantee of promptness, and in fact there is no guarantee that the finalizer will eventually run at all.
addForeignPtrFinalizer :: ForeignPtr a -> IO () -> IO () Source
This function adds a finalizer to the given ForeignPtr
.
The finalizer will run after the last reference to the foreign object
is dropped, but before all previously registered finalizers for the
same object.