Async.AwaitWaitHandle – metoda (F#)
Vytvoří asynchronní výpočtu, který bude čekat zadaný WaitHandle.
Cesta k oboru názvů nebo modul: Microsoft.FSharp.Control
Sestavení: FSharp.Core (v FSharp.Core.dll)
// Signature:
static member AwaitWaitHandle : WaitHandle * ?int -> Async<bool>
// Usage:
Async.AwaitWaitHandle (waitHandle)
Async.AwaitWaitHandle (waitHandle, millisecondsTimeout = millisecondsTimeout)
Parametry
waitHandle
Typ:WaitHandlePopisovač čekání může signalizovat.
millisecondsTimeout
Typ: intHodnota časového limitu v milisekundách.Není-li hodnota časového limitu, výchozí hodnota je -1, která odpovídá ystem.Threading.Timeout.Infinite.
Vrácená hodnota
Asynchronní výpočtu, který čeká na dané WaitHandle objektu.
Poznámky
Výpočtu vrátí hodnotu true, pokud popisovač výsledek v daném časovém limitu.
Příklad
Následující příklad kódu ukazuje, jak použít Async.AwaitWaitHandle nastavení výpočtu podle popisovač počkejte spustit po dokončení jiná asynchronní operace.
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
Výsledek
Platformy
Windows 8, Windows 7, Windows Server 2012 Windows Server 2008 R2
Informace o verzi
F# základní verze knihovny
Podporovány: 2.0, 4.0, přenosné