数据流网络
    2.
    发明公开

    公开(公告)号:CN102047240A

    公开(公告)日:2011-05-04

    申请号:CN200980121239.1

    申请日:2009-05-07

    Applicant: 微软公司

    CPC classification number: G06F9/544

    Abstract: 提供了用于按通用、灵活和可扩展的方式将进程连接到进程网络中的被称为源-目标模式的合成模型。该模型允许常见进程代数构造与数据流网络组合来形成进程网络。进程代数操作可用合成模型来表达以形成提供进程之间的完全互操作进程代数操作的数据流网络。

    面向对象语言中并发程序的实现

    公开(公告)号:CN1719410A

    公开(公告)日:2006-01-11

    申请号:CN200510076592.6

    申请日:2005-06-09

    Applicant: 微软公司

    CPC classification number: G06F9/54 G06F8/31 G06F9/52

    Abstract: 本发明向主流面向对象语言添加了对并行性的支持。提供了语言扩展,它能够开发运行于一个地址空间、跨单个计算机上的若干进程分布、跨局域网或广域网分布的程序,而不重新编码该程序。这方面的中心点是服务的概念,它能够执行它自己的算法(逻辑)线程。服务不共享存储器或使用明确的同步原语来同步。相反,数据共享和同步二者是通过消息传递来实现的,例如一组明确声明的消息在服务之间发送。消息能够包括共享的数据,并且消息交换的模式提供了必须的同步。

    调度器中的局部任务集合

    公开(公告)号:CN102027447B

    公开(公告)日:2013-12-04

    申请号:CN200980118458.4

    申请日:2009-03-27

    Applicant: 微软公司

    CPC classification number: G06F9/4881 G06F9/5027 G06F2209/483

    Abstract: 计算机系统的进程中的调度器包括对应于被分配到该调度器的每一处理资源的局部任务集合和至少一个一般任务集合。调度器将变为解锁的每一任务分配到与使得该任务变成解锁的处理资源对应的局部集合。当处理资源变为可用时,处理资源试图执行在对应的局部集合中最近最多添加的任务。如果在对应的局部集合中没有任务,则可用处理资源试图执行来自一般集合的任务。

    面向对象语言中并发程序的实现

    公开(公告)号:CN1719410B

    公开(公告)日:2010-12-08

    申请号:CN200510076592.6

    申请日:2005-06-09

    Applicant: 微软公司

    CPC classification number: G06F9/54 G06F8/31 G06F9/52

    Abstract: 本发明向主流面向对象语言添加了对并行性的支持。提供了语言扩展,它能够开发运行于一个地址空间、跨单个计算机上的若干进程分布、跨局域网或广域网分布的程序,而不重新编码该程序。这方面的中心点是服务的概念,它能够执行它自己的算法(逻辑)线程。服务不共享存储器或使用明确的同步原语来同步。相反,数据共享和同步二者是通过消息传递来实现的,例如一组明确声明的消息在服务之间发送。消息能够包括共享的数据,并且消息交换的模式提供了必须的同步。

    可恢复的方法
    10.
    发明公开

    公开(公告)号:CN102859489A

    公开(公告)日:2013-01-02

    申请号:CN201180020904.5

    申请日:2011-04-26

    Applicant: 微软公司

    CPC classification number: G06F8/314

    Abstract: 提供了API,所述API处于编程语言的外部但是提供可插入到语言编译器中的功能。所提供的API调节与使用通用基于模式的方案进行的异步编程、迭代器或编写对称协同例程相关联的功能。在API中提供了若干类型的可恢复方法,所述可恢复方法可以应用于以传统程序代码编写的方法主体。以传统编程代码编写的方法主体中的在句法上可区分的控制点通过编译器使用外部API来调用该代码的变换。经变换的代码实现夹在经变换的代码的控制点之间的代码的暂停和恢复。里面具有控制点的方法内所包括的源代码被变换为使得该方法内的代码可以在分立的部分中执行,每个部分都在经变换的代码中的控制点处开始和结束。

Patent Agency Ranking