F#与ASP.NET（2）：使用F#实现基于事件的异步模式

在上一篇文章中，我们的简单讨论了.NET中两种异步模型以及它们在异常处理上的区别，并且简单观察了ASP.NET MVC 2中异步Action的编写方式。从中我们得知，ASP.NET MVC 2的异步Action并非使用了传统基于Begin/End的异步编程模型，而是另一种基于事件的异步模式。此外，ASP.NET MVC 2对于这种异步模式提供了必要的支持，使此方面的程序设计变得相对简单一些。但是，简单的原因主要还是在于已经由其他组件提供了良好的，基于事件的异步模式。那么现在我们就来看看一般我们应该如何来实现这样的功能，以及F#是如何美化我们的生活的吧。

异步数据传输

我们为什么要异步，主要目的之一还是提高I/O操作的伸缩性。I/O操作主要是I/O设备的事情，这些设备在好好工作的时候，是不需要系统花心思进行照看的，它们只要能够在完成指定工作后通知系统就可以了。这也是异步I/O高效的原理，因为它将程序从等待I/O完成的苦闷中解脱出来，这对用户或是系统来说都是一件绝好的事情。

那么说到I/O操作，最典型的场景之一便是数据传输了。比如有两个数据流streamIn和streamOut，我们需要异步地从streamIn中读取数据，并异步地写入到streamOut中。在这个过程中，我们使用一个相对较小的byte数组作为缓存空间，这样程序在进行数据传输时便不会占用太多内存。那么，如果现在需要您编写一个组件完成这样的数据传输工作，并使用标准的基于事件的异步模式释放出来，您会怎么做？

再啰嗦一次，基于事件的异步模式，要求在任务完成时使用事件进行提示。同时在出错的时候将异常对象保存在事件的参数中。现在我已经帮您写好了这样的事件参数：

public class CompletedEventArgs : EventArgs
{
public CompletedEventArgs(Exception ex)
{
this.Error = ex;
}

public Exception Error { get; private set; }
}

那么接下来的工作就交给您了，加油！

嗯？那么快就写完啦？再想想？如果真确定了，就展开下面的代码对比一下吧：

展开代码

隐藏代码

public class AsyncTransfer
{
private Stream m_streamIn;
private Stream m_streamOut;

public AsyncTransfer(Stream streamIn, Stream streamOut)
{
this.m_streamIn = streamIn;
this.m_streamOut = streamOut;
}

public void StartAsync()
{
byte[] buffer = new byte[1024];

this.m_streamIn.BeginRead(
buffer, 0, buffer.Length,
this.EndReadInputStreamCallback, buffer);
}

private void EndReadInputStreamCallback(IAsyncResult ar)
{
var buffer = (byte[])ar.AsyncState;
int lengthRead;

try
{
lengthRead = this.m_streamIn.EndRead(ar);
}
catch (Exception ex)
{
this.OnCompleted(ex);
return;
}

if (lengthRead <= 0)
{
this.OnCompleted(null);
}
else
{
try
{
this.m_streamOut.BeginWrite(
buffer, 0, lengthRead,
this.EndWriteOutputStreamCallback, buffer);
}
catch (Exception ex)
{
this.OnCompleted(ex);
}
}
}

private void EndWriteOutputStreamCallback(IAsyncResult ar)
{
try
{
this.m_streamOut.EndWrite(ar);

var buffer = (byte[])ar.AsyncState;
this.m_streamIn.BeginRead(
buffer, 0, buffer.Length,
this.EndReadInputStreamCallback, buffer);
}
catch (Exception ex)
{
this.OnCompleted(ex);
}
}

private void OnCompleted(Exception ex)
{
var handler = this.Completed;
if (handler != null)
{
handler(this, new CompletedEventArgs(ex));
}
}

public event EventHandler<CompletedEventArgs> Completed;
}

是不是很复杂的样子？

编写异步程序，基本则意味着要将原本同步的调用拆成两段：发起及回调，这样便让上下文状态的保存便的困难起来。幸运的是，C#这门语言提供了方便好用的匿名函数语法，这对于编写一个回调函数来说已经非常容易了。但是，如果需要真正写一个稳定、安全的异步程序，需要做的事情还有很多。例如，一次异步操作结束之后会执行一个回调函数，那么如果在这个回调函数中抛出了一个异常那该怎么办？如果不正确处理这个异常，轻则造成资源泄露，重则造成进程退出。因此在每个回调函数中，您会发现try...catch块是必不可少的——甚至还需要两段。

更复杂的可能还是在于逻辑控制上。这样一个数据传输操作很显然需要循环——读一段，写一段。但是由于需要编写成二段式的异步调用，因此程序的逻辑会被拆得七零八落，我们没法使用一个while块包围整段逻辑。

编写一个异步程序本来就是那么复杂。

编写简单的代理

嗯，我们继续。现在我们已经有了一个异步传输数据的组件，就用它来做一些有趣的事情吧。例如，我们可以在ASP.NET应用程序中建立一个简单的代理，即给定一个URL，在服务器端发起这样一个请求，并将这个URL的数据传输到客户端来。简单起见，除了进行数据传输之外，我们只需要简单地输出Content Type头信息即可。

写好了吗？我也写了一个，仅供参考：

展开代码

隐藏代码

public class AsyncWebTransfer
{
private WebRequest m_request;
private WebResponse m_response;

private HttpContextBase m_context;
private string m_url;

public AsyncWebTransfer(HttpContextBase context, string url)
{
this.m_context = context;
this.m_url = url;
}

public void StartAsync()
{
this.m_request = WebRequest.Create(this.m_url);
this.m_request.BeginGetResponse(this.EndGetResponseCallback, null);
}

private void EndGetResponseCallback(IAsyncResult ar)
{
try
{
this.m_response = this.m_request.EndGetResponse(ar);
this.m_context.Response.ContentType = this.m_response.ContentType;

var streamIn = this.m_response.GetResponseStream();
var streamOut = this.m_context.Response.OutputStream;

var transfer = new AsyncTransfer(streamIn, streamOut);
transfer.Completed += (sender, args) => this.OnCompleted(args.Error);
transfer.StartAsync();
}
catch(Exception ex)
{
this.OnCompleted(ex);
}
}

private void OnCompleted(Exception ex)
{
if (this.m_response != null)
{
this.m_response.Close();
this.m_response = null;
}

var handler = this.Completed;
if (handler != null)
{
handler(this, new CompletedEventArgs(ex));
}
}

public event EventHandler<CompletedEventArgs> Completed;
}

如果说之前的AsyncTransfer类是基于“Begin/End异步编程模型”实现的基于事件的异步模式，那么AsyncWebTransfer便是基于“基于事件的异步模式”实现的基于事件的异步模式了。嗯，似乎有点绕口，不过我相信这段代码对您来说还是不难理解的。

使用F#完成异步工作

更多内容，请参考《F#与ASP.NET（2）：使用F#实现基于事件的异步模式》

使用F#实现基于事件的异步模式

更多内容，请参考《F#与ASP.NET（2）：使用F#实现基于事件的异步模式》

总结

这便是F#的伟大之处。时常有朋友会问我为什么对F#有那么大的兴趣，我想，如果借助F#可以用十分之一的时间，十分之一的代码行数，写出执行效果相同，但可维护性高出好几倍的程序来——我为什么会不感兴趣呢？

您可以在这里访问到本文的示例代码，其中我在WebApp项目中实现了简单的入口页面，您访问“/image”便会出现两个文本框，您填入一个URL（例如某幅图片）并提交，它会将URL提交至“/image/load”或“/image/loadfs”中，它们分别使用了C#和F#实现的AsyncWebTransfer类，从效果上说两者完全相同。

相关文章

F#与ASP.NET（1）：基于事件的异步模式与异步Action

F#与ASP.NET（2）：使用F#实现基于事件的异步模式