PDC 2010:C#与Visual Basic的未来(上)
2010-10-31 02:43 by 老赵, 9792 visitsPDC不愧为微软最高级的技术人员专业会议,看得我直呼过瘾。前几天在PDC 2010会议上Anders Hejlsberg发表了一场名为“The Future of C# and Visual Basic”的演说,谈论了未来C#和VB中最为重要的两个特性:“异步(Async)”及“编译器即服务(Compiler as a Service)”。我现在对这场演讲进行总结,但不会像上次《编程语言的发展趋势及未来方向》那样逐句翻译,而是以Anders的角度使用一种简捷合适的方式表述其完整内容。
在2000年的PDC上,我们给大家带来了一个全新的平台“.NET”,以及一个语言“C#”。.NET与C#每次发布时都有一个“主题”,一开始是“托管代码”,接着是“泛型”,然后是“LINQ”,直到最近的“动态性”,这就是C#和VB的演变过程。这两种语言面向的用户比较相近,微软也承诺会同时发展两种语言。因此这个演讲虽然以C#作为主题,但其实也会在VB中得以体现。
作为语言的设计者,要设法将工业界所重视的内容,使用语言表现出来,因此也有了这样的分类。“声明式”代表了一种编程的趋势,尽可能表现出“做什么”而不是“怎么做”,于是有了函数式编程与DSL等等。然后,目前研究的热门之一则是动态语言,如Python,Ruby,JavaScript等等,以及它们是如何影响静态语言的。还有便是“并发”,这里所指的广义的“并发”,包括单机上多核以及云或是数据中心上分布式系统等等,也就是各种“同时处理”的方式。
我们可以清楚地看到,C# 3.0和VB 9中的函数式编程,LINQ等特性体现了“声明式”,而C# 4.0和VB 10则出现了动态性,但都没有太多关于“并发”的成分在里面──它都体现在框架中了,例如.NET 4包含了任务并行库(Task Parallel Library),但对于语言来说,除了lock似乎就没有什么这方面的支持了。
如今对“并发”的需求已经是毋庸质疑的,很少有一个应用程序或是服务不需要连接外部系统。这种与外部系统,例如互联网进行交互的行为则增加了应用程序的延迟,这可能导致UI在和外部服务交互时长时间失去响应。而对于一个数据中心的服务,您可能就会发现CPU的利用率不高,因为系统都在等待其他服务的回复了。
为了解决这个问题,我们往往会使用“异步”的编程方式,它逐渐已经成为“高响应度”,“高伸缩性”的代名词了。此外还有一些API只提供了异步的版本,例如在JavaScript中发起HTTP请求,或是Silverlight的网络交互方面。这种情况以后只会越来越普遍。
于是下一版本的C#和VB就会在这里有所行动,目前会展示一下我们的早期工作,希望可以得到一些反馈。
说到异步化,您可以简单认为“一起运行”。一个同步方法,好比DownloadString,应用程序会执行这个方法,并等待结果返回,但是你不能把工作的执行过程与结果的送达区分开来。而对于异步编程来说,DownloadStringAsync在调用之后便会立即返回,过了一段时间,结果就会传递过来,于是执行过程和结果的送达便完全是可分离的了。而对于如今典型的异步模型来说,结果通过一个回调函数传递过来。
异步化可以的得到高度的响应能力,因为在等待任务的结果时我们可以做其他一些事情。而对于服务器来说,异步可以带来很好的伸缩性,因为线程得到释放了,而不需要等待请求返回结果。
通过图示可以更清楚地了解这点。例如有段代码叫做DownloadData,调用以后可以得到一些数据。在执行时,线程会有长时间的终止,它被阻塞了,要等到结果返回之后才能继续处理数据。与此相对的是其异步的版本,我们调用DownloadDataAsync方法之后,它立即将控制权交还给我们,过了一段时间,它会把结果传递给回调函数,让我们继续处理下去。但是在DownloadData和ProcessData之间,我们可以处理其他一些工作。如果这是UI线程,那么就可以用于响应其他用户操作。如果这是个服务器线程,那么在等待结果时这个线程可以用来处理其他请求。
那么,如果我们要执行多个请求,例如要调用两遍,对于同步的版本就会获得双倍的阻塞,即便两个请求是完全独立的。而在异步的情况下,我们可以快速地发出两个请求,这样便形成的并发,即便这里并没有使用额外的线程。于是便可以更快地得到结果,也能保证响应能力。
有人可能会说,我们可以利用后台线程来得到响应。没错,不过就引入了多线程模型,于是就要处理同步等线程安全问题。而且,在开发带有UI的应用程序时,我们不能在后台线程里操作UI,这样又出现了其他的复杂情况。而在服务器应用中,我们又不希望创建更多的线程,因为这会给线程池带来压力,线程之间会有竞争,就会降低请求的处理能力。
以上便是对异步编程的概述,您可能会问,既然异步有那么多好处,那么为什么不把所有的应用程序都写作异步的呢?那么现在我们就来看一下异步编程大概是什么样子的。
这里有个简单的应用程序,输入年份,可以下载到那一年的电影。现在这个程序是同步的写法。在搜索的时候UI会失去响应,这样的结果显然无法令人接受,我们要做的更好。我们可以将其改写为异步的形式。
同步的写法是这样的:
private void searchButton_Click(object sender, RoutedEventArgs e) { LoadMovies(Int32.Parse(textBox.Text)); } void LoadMovies(int year) { resultsPanel.Children.Clear(); statusText.Text = ""; var pageSize = 10; var imageCount = 0; while (true) { var movies = QueryMovies(year, imageCount, pageSize); if (movies.Length == 0) break; DisplayMovies(movies); imageCount += movies.Length; } statusText.Text = String.Format("{0} Titles", imageCount); } Movie[] QueryMovies(int year, int first, int count) { var client = new WebClient(); var url = String.Format(query, year, first, count); var data = client.DownloadString(new Uri(url)); var movies = from entry in XDocument.Parse(data).Desendanies(xs + "entry") let properties = entry.Element(xm + "properties") select new Movie { /* ... */ }; return movies.ToArray(); }
在点击按钮以后会调用LoadMovies方法,它会在一个循环中不断使用QueryMovies方法进行查询,在QueryMovies方法中我们使用WebClient下载一个XML,解析,构造Movie对象并返回,最终呈现在界面上。
下载时我们使用DownloadString方法,这是个同步方法,我们要把它修改成异步的方式。事实上还真有个异步的方法,叫做DownloadStringAsync,不过这就需要我们修改代码,例如要把QueryMovies中的大部分放入DownloadStringCompleted事件的处理函数中。同时,异步编程的痛苦慢慢体现出现了,我们无法返回数据,而必须传递到某个地方,于是QueryMovies方法则要返回void,并接受一个回调函数。
void QueryMovies(int year, int first, int count, Action<Movie[]> action) { var client = new WebClient(); var url = String.Format(query, year, first, count); client.DownloadStringCompleted += (sender, e) => { var data = e.Result; var movies = from entry in XDocument.Parse(data).Descendants(xs + "entry") let properties = entry.Element(xm + "properties") select new Movie { /* ... */ }; action(movies.ToArray()); }; client.DownloadStringAsync(new Uri(url)); }
然后我们还需要处理QueryMovies的调用者,这里实在麻烦到家了,因为我们使用了一个while循环来查询电影,那么我们又该如何反复调用一个异步方法?
void LoadMovies(int year) { resultsPanel.Children.Clear(); statusText.Text = ""; var pageSize = 10; var imageCount = 0; Action<Movie[]> action = null; action = movies => { if (movie.Length > 0) { DisplayMovie(movies); imageCount += movies.Length; QueryMovies(year, imageCount, pageSize, action); } else { statusText.Text = String.Format("{0} Titles", imageCount); } }; QueryMovies(year, imageCount, pageSize, action); }
你一定已经发现了,现在的代码已经很难让人保持愉快了。不过它的确是异步的了,运行时界面响应良好。效果是有了,不过这代码变得乱七八糟。想象一下,如果要加上异常处理该怎么做?我们可能要提供两个回调函数,一个处理正常情况,一个处理错误,还到处需要有try...catch,很快麻烦就会接踵而来了。如果不想面对这些麻烦,你可能就要去启用后台线程,这样又有了线程方面的问题。
显然我们可以做的更好。首先让我们回到原来的同步代码,然后再用上我们为异步编程设计的新特性。
如果要把QueryMovies变为异步,则先把它的返回值改为Task<Movie[]>,你如果了解.NET 4则一定已经知道这个类型是任务并行库的一部分。事实上Task类型只是表示一个“开始计算并在未来返回结果”的任务,因此Task<T>表示一个会在将来返回T类型的计算任务,在科学计算领域这通常被称为Future或是Promise。现在方法的返回值是Task<Movie[]>,而最后返回的是Movie[],这显然不匹配,但我们可以将其标记为一个async方法。对于async方法,编译器会重写整个方法实现来表示一个异步任务,以后我们会来观察它是如何实现这点的。
async Task<Movie[]> QueryMoviesAsync(int year, int first, int count) { var client = new WebClient(); var url = String.Format(query, year, first, count); var data = client.DownloadString(new Uri(url)); var movies = from entry in XDocument.Parse(data).Descendants(xs + "entry") let properties = entry.Element(xm + "properties") select new Movie { /* ... */ }; return movies.ToArray(); }
不过只做到这点还不够,我们的方法还没有异步化,这还是个同步任务。不过,如今在一个async方法中,我们有能力组合调用另一个async方法,并异步地等待。这里使用了一个扩展方法DownloadStringTaskAsync,以后也会包含在框架中。这个方法返回Task<string>类型,表示未来某一时刻将会得到一个string对象。于是在async方法中,我们使用一个新的await操作符来等待其返回。
async Task<Movie[]> QueryMoviesAsync(int year, int first, int count) { var client = new WebClient(); var url = String.Format(query, year, first, count); var data = await client.DownloadStringTaskAsync(new Uri(url)); var movies = from entry in XDocument.Parse(data).Descendants(xs + "entry") let properties = entry.Element(xm + "properties") select new Movie { /* ... */ }; return movies.ToArray(); }
在执行时,方法会执行到await操作符这里,并确保接下来的代码是在一个回调函数/continuation中执行的。编译器会在这里重写这个方法,就像为yield重写迭代器那样,于是我们就不需要做其他事情了,任务结束后自然会执行await后面的代码。
这里的美妙之处在于可以任意组合,对于LoadMovies方法来说,我们也可以将其转化为async方法,并await之前的QueryMoviesAsync方法返回。
async void LoadMoviesAsync(int year) { resultsPanel.Children.Clear(); statusText.Text = ""; var pageSize = 10; var imageCount = 0; while (true) { var movies = await QueryMoviesAsync(year, imageCount, pageSize); if (movies.Length == 0) break; DisplayMovies(movies); imageCount += movies.Length; } statusText.Text = String.Format("{0} Titles", imageCount); }
于是异步实现就这么完成了,代码和之前几乎完全一致。您可以看出,这使得我们在执行异步代码时保留原本的逻辑实现。
那么再为应用程序添加一点功能吧。首先是异常处理:
async void LoadMoviesAsync(int year) { resultsPanel.Children.Clear(); statusText.Text = ""; var pageSize = 10; var imageCount = 0; try { while (true) { var movies = await QueryMoviesAsync(year, imageCount, pageSize); if (movies.Length == 0) break; DisplayMovies(movies); imageCount += movies.Length; } statusText.Text = String.Format("{0} Titles", imageCount); } catch (XmlException) { statusText.Text = "Data Error"; } }
我们无需分离代码或是逻辑,这一切都和同步代码完全一致。再来看看“取消(cancellation)”,对于async方法来说,我们可以传递一个CancellationToken,表示任务需要监听这个对象的改变。如QueryMoviesAsync便可以增加一个参数:
async Task<Movie[]> QueryMoviesAsync(int year, int first, int count, CancellationToken ct) { var client = new WebClient(); var url = String.Format(query, year, first, count); var data = await client.DownloadStringTaskAsync(new Uri(url), ct); var movies = from entry in XDocument.Parse(data).Descendants(xs + "entry") let properties = entry.Element(xm + "properties") select new Movie { /* ... */ }; return movies.ToArray(); }
这样便得到了一个可取消的async方法。对于逻辑流来说,取消操作就相当于一个异常,代码里需要处理一个TaskCanceledException:
CancellationTokenSource cts; async void LoadMoviesAsync(int year) { resultsPanel.Children.Clear(); statusText.Text = ""; var pageSize = 10; var imageCount = 0; cts = new CancellationTokenSource(); try { while (true) { var movies = await QueryMoviesAsync(year, imageCount, pageSize, cts.Token); if (movies.Length == 0) break; DisplayMovies(movies); imageCount += movies.Length; } statusText.Text = String.Format("{0} Titles", imageCount); } catch (TaskCanceledException) { } cts = null; } private void cancelButton_Click(object sender, RoutedEventArgs e) { if (cts != null) { cts.Cancel(); statusText.Text = "Canceled"; } }
那么超时又怎么说?超时其实就类似一段时间之后的取消。于是我们可以另写一个小方法来处理这个问题:
async void StartTimeoutAsync() { await TaskEx.Delay(5000); if (cts != null) { cts.Cancel(); statusText.Text = "Timeout"; } } private void searchButton_Click(object sender, RoutedEventArgs e) { LoadMoviesAsync(Int32.Parse(textBox.Text)); StartTimeoutAsync(); }
第一步,我们先等待5秒钟,如果任务还在执行,那么我们就取消掉。所以无论是超时,取消还是错误处理,程序的逻辑结构都得以最大限度的保留,就好比编写普通的代码一样。例如上面的Delay,看上去是顺序逻辑流,但实际上是异步的。为了表现出这点,我们可以为程序新加上一个有趣的功能:
async void ShowDateTimeAsync() { while (true) { Title = "Movie Finder " + DateTime.Now; await TaskEx.Delay(1000); } } public MainWindow() { InitializeComponent(); textBox.Focus(); ShowDateTimeAsync(); }
于是在标题栏上便会每隔一秒刷新显示当前时间,与此同时搜索也好,超时也罢,在程序执行时UI都可以获得响应。
值得强调的是,上面实现的这些功能都没有启用额外的线程,所有这些都在UI线程上执行。那么什么时候需要额外的线程呢?这便是计算密集型操作。例如这里我要执行五千万次平方根计算,这需要耗费一段时间。不过这样的操作,对于UI线程来说,这也不过是一个异步操作,不是吗?启动操作,然后等待其完成,在它完成之后再对结果做些处理:
async void ComputeStuffAsync() { double result = 0; await TaskEx.Run(() => { for (int i = 1; i < 500000000; i++) { result += Math.Sqrt(i); } }); MessageBox.Show("The result is " + result, "Background Task", MessageBoxButton.OK, MessageBoxImage.Information); } private void searchButton_Click(object sender, RoutedEventArgs e) { LoadMoviesAsync(Int32.Parse(textBox.Text)); StartTimeoutAsync(); ComputeStuffAsync(); }
TaskEx.Run方法会构造一个后台线程,并返回异步操作,我们使用await等待其返回,这体现了绝佳的组合能力。启动后在任务管理器中便会发现CPU占用率明显上升。
我在这里宣布,之前演示的技术预览版已经可以下载了。我们已经创建了C#和VB编译器的原型,并提供了一些示例。您可以在开发者中心下载,我在演讲最后会给出URL。
相关文章
- PDC 2010:C#与Visual Basic的未来(上)
- PDC 2010:C#与Visual Basic的未来(中)
- PDC 2010:C#与Visual Basic的未来(下)
我还以为已经可以这么用了呢…… 打开VS后发现还不行 =。=