现代并发抽象C#.docVIP

现代并发抽象C# 1.1 语言和并发 并发是现代代码中的一个重要实现形式并发程序的编写设计，解释，调试，和调整都是有难度的。并发可以显著影响一个结构中的语言的含义（开始转让的原子）并能影响调用库的能力。尽管这样，最流行的编程语言对待并发语言不是作为一种语言功能的并发性而往往是作为一个收集的根据指定的外部库。考虑到这样的事实后，规范的并发库比勒尔等。1987年斯林等。1996年 Detlefs 等。1998年古列维奇等。200已给予相当的重视，通常通过这些规范就可以对他们的行为应该在何处执行做出判断。然而，即使当并发库被正确指定，但由于他们是库而不是语言的特点这个事实，还是会有不良的后果。 在原则上可以提供许多功能无论是作为语言特性或作为库：典型的例子是，内存管理和异常。有“语言”等功能的优点是，编辑者可以对它们进行分析，因此可以产生更好的代码，并警告亲程序员的潜在和实际问题。特别是，编译器可以检查语法嵌入的变量，这将是很难从库中提取调用的集合。此外，程序员可以更可靠说明自己的意图，通过一个清晰的语法和其他工具比编辑者可以更容易地确定程序员的意图。特定领域的语言Ramming1997Kamin1997是一个极端的语言学方法的例子：经常提出新的特设语言并不是要取代通用的语言而是为了方便特定于域的代码分析域相关的功能作为原始的语言表达简单的事实结构。 我们相信，在并发应该是一个语言功能的一部分和一种语言规范。70年代开始在这个方向作了很多尝试，显示器霍尔 1974 年的概念和奥卡姆语言INMOS 有限公司 1984（基于通信顺序进程霍尔 1985）。监控器的一般概念已经变得非常流行，特别是在其目前的面向对象的形式线程和对象绑定互斥但它已提供作为一个语法的外壳模板，最可选锁定对象上的方法调用。 许多事情因为监控器被引入并发而已经改变。通信已变得更加的异步，并行计算一定要通过规模较大的“精心策划”的。值得关注的是没有那么多的有效的实施和使用锁在一个单一的处理器或者多重处理器，但没有不必要的异步事件的处理能力阻止长期客户，并没有死锁。换句话说，重心正在从共享内存并发转向消息或事件并发性。 这些新的要求应该得到可以处理异步通信和不束缚共享记忆的编程结构的 方法。尽管出现大规模的模式设计如America1989；Aghaetal.1993；Reppy1992；PierceandTurner2000；Philippsen1995】但只有监控器获得广泛接受的编程结构。 最近在富尔和 Gonthier 的1996，2002加入演算中显现了一个有趣的新的语言方法，进程演算非常适合在分布式的环境中直接执行。如其他语言， JoCamlConchonandLeFessant1999】和FunnelOdersky2000】，结合了类似功能编程模型的想法。在这里，我们提出了一个加入演算想法的适应一个面向对象的语言，有一个现有线程和锁的并发模型。 itzstein 和 Kearney2001】最近为Java 描述非常类似的扩展。 1.2 异步编程 异步的事件和消息传递越来越多地用于在各级软件系统。在最低水平设备驱动程序必须对异步设备事件迅速作出反应，而资源利用上的吝啬。在图形用户界面级别是出了名的，复杂的代码和编程模型，因为用户事件的异步性质在同一时间，用户讨厌被不必要的封锁。在广域网的水平，例如，在协作应用，分布式的工作流，Web服务，我们现在遇到类似的问题，因为全球通信的异步性质和潜伏期和复杂性。 在所有这些领域，我们自然会发现有很多要处理的同时异步消息的情况下，多线程用来处理它们。主题仍然是一个在大多数系统中昂贵的资源。然而，如果我们能有些隐藏在背后的消息和线程使用一种语言机制，那么很多的选项成为可能。编译器可状态机转换成并发的一些模式，优化使用队列，使用轻量级的线程，在可能的情况下，避免分叉线程没有必要的，并使用线程池。这一切都是真的有可能只有一个拥有上谱“可以发生的事情”这个手柄可以处理由并发操作，既可以隐藏，从而使多个语法实现技术。因此，我们的目标是促进异步编程抽象是高层次的，从一个程序员的角度来看，使低层次的优化，从一个编译器和运行时系统的角度来看。我们提出用现代并发 C＃语言的延伸异步编程抽象。在与音乐的精神调谐的C＃和并发活动的“协调流程”我们称这种语言复调C＃。 1.3 C 和 .NET C＃是一个现代，类型安全，面向对象编程语言，最近微软推出的 Visual Studio.NET2001ECMA 的一部分。 C＃程序上运行.NET 框架，其中包括多语言的执行顶部引擎和一个丰富的类库集合。.NET 执行引擎提供了一个多线程的执行环境潜在的相互关联与同步锁MENT 在堆上分配的对象。C＃语言，包括一个 lock 语句，执行