13.2.2 从故障中恢复
世界银行服务对每个用户密钥每一天请求数量有限制,也限制了请求的频率。这意味着,如果我们一次运行大量的请求,有些可能会返回错误。解决方法是捕获异常,稍后重试请求。
清单 13.7 实现一个循环,重复执行的请求,直到成功,或者尝试 20 次。使用异常报告失败, 使用 F# 的 try … with 结构捕捉异常。
Listing 13.7 Running the web request repeatedly (F# Interactive)
> let worldBankDownload(properties) =
let url = worldBankUrl(properties)
let rec loop(attempts) = async {
try
return! downloadUrl(url)
with _ when attempts > 0 –>
printfn "Failed, retrying (%d): %A" attempts properties
do! Async.Sleep(500.0)
return! loop(attempts - 1) }
loop(20);;
val worldBankDownload : seq<string * string> -> Async<string>
> let props = ["countries"], ["region", "NA"];
val props : string list * (string * string) list
> Async.RunSynchronously(worldBankDownload(props))
Failed, retrying (20): [("countries"); ("region", "NA")]
val it : string = "<?xml version=\"1.0\" encoding=\"utf-8\" (...)"
这段代码实现了递归和异步循环函数,尝试运行实际的下载。如果下载失败,可能会引发异常。当发生异常时,剩余的尝试次数不是零,暂停这个工作流一段时间,然后重试下载。
要创建循环,通常的函数式方法是写递归函数,它取剩余的尝试的次数作为参数值,每次迭代递减这个数。清单 13.7 在一个大括号中使用这种模式。loop 函数使用异步工作流实现,所以,要创建递归异步工作流。这个递归调用在一个异常处理程序中,并使用 return! 基元,来运行异步循环的下一次迭代。工作流的主体尝试下载页面,但它是在 try … with 块中完成的,能够捕捉可能的异常。
同时在 F# 中的 try … with 块类似于 C# 中的 try … catch,但还有一些额外的功能。它能够使用模式匹配区分不同的异常,with 结构非常类似于我们已经熟悉的 match 表达式。在清单 13.7 中,我们简单地捕捉所有异常,因此,仅仅添加了wher 子句。这意味着,将只捕获尝试的次数少于 20 异常。这是值得注意的,我们将在异步工作流内部处理异常,其方式与在正常的 F# 代码中处理异常是相同的。这可能要归功于其他的基元,叫 TryWith 和 TryFinally,在其下提供异步工作;这些基元告诉 F#,在异步操作期间,如何处理发生的异常。
在清单 13.7 的最后几行,可以看到如何使用函数从世界银行获取数据。注意,该函数的参数属性是一个元组,包含函数和其他属性。我们没有在实现中显式写出元组,但编译器知道 theworldBankUrl 函数期望有一个元组值。可以模拟连接失败,通过把计算机从网络中短时间断开,你会看到,代码能够从故障中恢复过来。现在,我们已经有了一个可靠的函数,来下载数据,我们可以继续向前,下载我们想要处理的所有数据。
世界银行服务对每个用户密钥每一天请求数量有限制,也限制了请求的频率。这意味着,如果我们一次运行大量的请求,有些可能会返回错误。解决方法是捕获异常,稍后重试请求。
清单 13.7 实现一个循环,重复执行的请求,直到成功,或者尝试 20 次。使用异常报告失败, 使用 F# 的 try … with 结构捕捉异常。
Listing 13.7 Running the web request repeatedly (F# Interactive)
> let worldBankDownload(properties) =
let url = worldBankUrl(properties)
let rec loop(attempts) = async {
try
return! downloadUrl(url)
with _ when attempts > 0 –>
printfn "Failed, retrying (%d): %A" attempts properties
do! Async.Sleep(500.0)
return! loop(attempts - 1) }
loop(20);;
val worldBankDownload : seq<string * string> -> Async<string>
> let props = ["countries"], ["region", "NA"];
val props : string list * (string * string) list
> Async.RunSynchronously(worldBankDownload(props))
Failed, retrying (20): [("countries"); ("region", "NA")]
val it : string = "<?xml version=\"1.0\" encoding=\"utf-8\" (...)"
这段代码实现了递归和异步循环函数,尝试运行实际的下载。如果下载失败,可能会引发异常。当发生异常时,剩余的尝试次数不是零,暂停这个工作流一段时间,然后重试下载。
要创建循环,通常的函数式方法是写递归函数,它取剩余的尝试的次数作为参数值,每次迭代递减这个数。清单 13.7 在一个大括号中使用这种模式。loop 函数使用异步工作流实现,所以,要创建递归异步工作流。这个递归调用在一个异常处理程序中,并使用 return! 基元,来运行异步循环的下一次迭代。工作流的主体尝试下载页面,但它是在 try … with 块中完成的,能够捕捉可能的异常。
同时在 F# 中的 try … with 块类似于 C# 中的 try … catch,但还有一些额外的功能。它能够使用模式匹配区分不同的异常,with 结构非常类似于我们已经熟悉的 match 表达式。在清单 13.7 中,我们简单地捕捉所有异常,因此,仅仅添加了wher 子句。这意味着,将只捕获尝试的次数少于 20 异常。这是值得注意的,我们将在异步工作流内部处理异常,其方式与在正常的 F# 代码中处理异常是相同的。这可能要归功于其他的基元,叫 TryWith 和 TryFinally,在其下提供异步工作;这些基元告诉 F#,在异步操作期间,如何处理发生的异常。
在清单 13.7 的最后几行,可以看到如何使用函数从世界银行获取数据。注意,该函数的参数属性是一个元组,包含函数和其他属性。我们没有在实现中显式写出元组,但编译器知道 theworldBankUrl 函数期望有一个元组值。可以模拟连接失败,通过把计算机从网络中短时间断开,你会看到,代码能够从故障中恢复过来。现在,我们已经有了一个可靠的函数,来下载数据,我们可以继续向前,下载我们想要处理的所有数据。