Método Async.AwaitWaitHandle (F#)
Cria uma computação assíncrono que espera WaitHandlefornecido.
Namespace/Module Path: Microsoft.FSharp.Control
Assembly: FSharp.Core (em FSharp.Core.dll)
// Signature:
static member AwaitWaitHandle : WaitHandle * ?int -> Async<bool>
// Usage:
Async.AwaitWaitHandle (waitHandle)
Async.AwaitWaitHandle (waitHandle, millisecondsTimeout = millisecondsTimeout)
Parâmetros
waitHandle
Tipo: WaitHandleO identificador de espera que pode ser sinalizada.
millisecondsTimeout
Tipo: intO valor de tempo limite em milissegundos.Se nenhum valor de tempo limite for fornecido, o valor padrão é -1, que corresponde a ystem.Threading.Timeout.Infinite.
Valor de retorno
Uma computação assíncrono que espera em determinado objeto de WaitHandle .
Comentários
A computação retorna true se o identificador indicou um resultado do tempo limite especificado.
Exemplo
O exemplo de código a seguir ilustra como usar Async.AwaitWaitHandle para configurar uma computação para executar quando outra operação assíncrona é concluída, indicado por um identificador de espera.
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
Saída
Plataformas
O windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2
Informações de Versão
Versões da biblioteca principal de F#
Suportado em: 2,0, 4,0, portáteis