Async.AwaitWaitHandle — Metoda (F#)
Tworzy asynchronicznego obliczeń, która będzie czekać na dostarczony WaitHandle.
Ścieżka obszaru nazw/modułu: Microsoft.FSharp.Control
Zestaw: FSharp.Core (w FSharp.Core.dll)
// Signature:
static member AwaitWaitHandle : WaitHandle * ?int -> Async<bool>
// Usage:
Async.AwaitWaitHandle (waitHandle)
Async.AwaitWaitHandle (waitHandle, millisecondsTimeout = millisecondsTimeout)
Parametry
waitHandle
Typ:WaitHandleUchwyt oczekiwania, który może być sygnalizowane.
millisecondsTimeout
Typ: intWartość limitu czasu w milisekundach.Jeśli wartość limitu czasu nie zostanie podana, wartością domyślną jest -1, która odpowiada ystem.Threading.Timeout.INFINITE.
Wartość zwracana
Asynchroniczne obliczeń, który czeka na danym WaitHandle obiektu.
Uwagi
Obliczenia zwraca wartość true, jeżeli uchwyt wynik w określonym limicie czasu.
Przykład
Poniższy kod ilustruje sposób użycia Async.AwaitWaitHandle do definiowania obliczeń uruchomić po zakończeniu operacji asynchronicznej innym wskazanym przez uchwyt oczekiwania.
open System.IO
let streamWriter1 = File.CreateText("test1.txt")
let count = 10000000
let buffer = Array.init count (fun index -> byte (index % 256))
printfn "Writing to file test1.txt."
let asyncResult = streamWriter1.BaseStream.BeginWrite(buffer, 0, count, null, null)
// Read a file, but use the waitHandle to wait for the write operation
// to be completed before reading.
let readFile filename waitHandle count =
async {
let! returnValue = Async.AwaitWaitHandle(waitHandle)
printfn "Reading from file test1.txt."
// Close the file.
streamWriter1.Close()
// Now open the same file for reading.
let streamReader1 = File.OpenText(filename)
let! newBuffer = streamReader1.BaseStream.AsyncRead(count)
return newBuffer
}
let bufferResult = readFile "test1.txt" asyncResult.AsyncWaitHandle count
|> Async.RunSynchronously
Dane wyjściowe
Platformy
Windows 8, Windows 7, Windows Server 2012 Windows Server 2008 R2
Informacje o wersji
F# Core wersji biblioteki
Obsługiwane: 2.0, 4.0, przenośne