多线程与WPF 4.5

本文来源于我在InfoQ中文站翻译的文章，原文地址是：http://www.infoq.com/cn/news/2012/01/WPF-45-Collections

WPF 4.5已经改进了其对于多线程数据绑定的支持，但所用技术却带有风险。本文将会介绍其工作原理以及如何才能确保安全使用。

WPF数据绑定对于多线程的支持一直都没什么具体计划。当对象在非UI线程上发出了属性变化事件时，数据绑定基础设施就会对其作出响应。通常这是可行的，但因为潜在的竞态条件，这么做并不是真正安全的。从计算机科学的视角来看，禁用跨线程的访问是更为正确的做法，因为这才是导致集合变化事件的根源。

但遗憾的是，开发者并不总是在意正确性，他们只是想把事情做完。这样，他们会使用各种“线程安全”或是“分发安全”的可观测集合。在所有这些做法中，基本的设计就是在调用前将集合变化的事件编排到正确的线程中。在这种情况下，正确的线程就是分发者所运行的那个线程。但遗憾的是，这么做并未消除竞态条件的可能性。

在WPF 4.5中，微软向开发者提供了一种更为安全的解决方案。通过调用BindingOperations.EnableCollectionSynchronization，WPF数据绑定引擎会使用锁。其默认行为是获得前述调用所指定对象上的锁，但你也可以使用更为复杂的锁模式。但遗憾的是，这种方式很容易出错；对于后台线程来说，你很容易忘记获得集合的锁。当集合不再需要时，你还可能忘记禁用集合同步，这会导致内存泄露。

该技术的另一个问题是它并不会保护单个对象。这样当在锁下读取集合时，集合中每一项的属性就不一定能够保证会被安全读取。这对于复杂的getters以及无法以原子方式进行设置的属性来说极易产生问题（比如说大的值类型）。

我们强烈建议使用后台线程的开发者只使用集合中的不变对象来更新集合。如果对象无法保证是不变的，那么至少在确保属性getters的线程安全上要格外小心。当向集合中添加对象时，你最好不要使用该特性，而是将集合更新编排到UI线程中。

查看英文原文：Multithreading and WPF 4.5