“Y·莱瓦诺尼”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网_中国专利网

首页在售求购查询申请展会资讯专利榜企服商城升级VIP

立即登录免费注册

在售专利
求购专利
查询专利
新闻资讯
技术展会
招商加盟
专利榜

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

专利名称

专利名称
专利号码
专利分类
申请人
公布日期

农业化学；冶金建筑机械工程区域搜索

主分类

B 作业；运输

C 化学；冶金

D 纺织；造纸

E 固定建筑物

F 机械工程、照明、加热

专利下载VIP

公布日期

2023-10-24 公布专利

2023-10-20 公布专利

2023-10-17 公布专利

2023-10-13 公布专利

2023-10-10 公布专利

2023-10-03 公布专利

2023-09-29 公布专利

2023-09-26 公布专利

2023-09-22 公布专利

2023-09-19 公布专利

专利权人

国家电网公司

华为技术有限公司

中兴通讯股份有限公司

三星电子株式会社

中国石油化工股份有限公司

鸿海精密工业股份有限公司

松下电器产业株式会社

上海交通大学

钻瓜专利网为您找到相关结果14个，建议您升级VIP下载更多相关专利

[发明专利]软件事务存储器中的动作框架-CN201110178980.0有效
发明人： L·张;Y·莱瓦诺尼;D·L·德特勒夫斯;S·S·索迪;W·朱 -专利权人：微软技术许可有限责任公司
申请日： 2011-06-20 - 公布日： 2019-09-03 - 主分类号： G06F9/46 文献下载
摘要：本发明涉及软件事务存储器中的动作框架。软件事务存储器系统实现轻量的基于键的动作框架。该框架包括由STM库展示的一组统一的应用编程接口(API)，该组统一的应用编程接口允许客户端实现可由STM代码中的事务或事务嵌套使用特定键来注册、查询和更新的动作。每个动作包括键、状态信息以及可被挂钩到事务执行的验证、提交、中止、和/或重新执行阶段的一组一个或多个回调。动作用定制的控制逻辑扩展STM系统的内建并发控制，支持事务嵌套语义，以及允许与垃圾收集系统的集成。
软件事务存储器中的动作框架

[发明专利]软件事务存储器中的锁的组成-CN201110179013.6有效
发明人： S·S·索迪;Y·莱瓦诺尼;D·L·德特勒夫斯;L·张;W·朱;D·格罗夫;M·M·马格鲁德;C·D·卡拉罕二世 -专利权人：微软技术许可有限责任公司
申请日： 2011-06-20 - 公布日： 2019-03-29 - 主分类号： G06F9/52 文献下载
摘要：本发明涉及软件事务存储器中的锁的组成。软件事务存储器(STM)系统允许基于与STM代码中的事务的同步来组成传统锁。在事务内第一次遇到相应的传统锁获取时，STM系统获得每个传统锁，并推迟所有传统锁释放，直到事务嵌套中的顶层事务提交或中止。STM系统维护与事务中的传统锁操作相关联的状态信息，并使用该状态信息来消除冗余的被推迟的传统锁操作。STM系统与实现垃圾收集的系统集成。
软件事务存储器中的组成

[发明专利]在运行时处绑定可执行代码-CN201280028424.8有效
发明人： A·K·阿加瓦尔;W·朱;Y·莱瓦诺尼 -专利权人：微软技术许可有限责任公司
申请日： 2012-05-29 - 公布日： 2016-10-12 - 主分类号： G06F9/30 文献下载
摘要：本发明涉及用于在运行时处绑定可执行代码的方法、系统和计算机程序产品。本发明的实施例包括对代码指定方面的后绑定以改善执行性能。运行时基于运行时信息动态地绑定较低级代码以优化较高级算法的执行。对执行性能有必要（例如，较高）影响的较高级算法的方面可以是后绑定的目标。通过使用对具有必要执行性能影响的方面的后绑定可以用最小的运行时间成本实现改善的性能。
运行绑定可执行代码

[发明专利]别名化缓冲区-CN201280029279.5有效
发明人： A·K·阿加瓦尔;W·朱;Y·莱瓦诺尼 -专利权人：微软公司
申请日： 2012-06-05 - 公布日： 2014-03-05 - 主分类号： G06F9/30 文献下载
摘要：本发明涉及用于将缓冲区别名化的方法、系统和计算机程序产品。本发明的实施例通过如下方式来支持缓冲区别名化：引入源程序的缓冲区访问与目标可执行物理缓冲区之间的间接等级；以及在运行时将逻辑缓冲区访问绑定到实际物理缓冲区访问。可以将多种支持缓冲区的运行时别名化的技术用在原本不允许目标可执行代码的单独定义的缓冲区之间的这样的运行时别名化的系统中。源程序中的逻辑缓冲区访问到目标可执行代码中定义的实际物理缓冲区之间的绑定被延迟直到运行时。
别名缓冲区

[发明专利]共同映射通信算子-CN201110439844.2有效
发明人： P·F·林塞斯;Y·莱瓦诺尼;张玲莉;朱伟荣;D·J·麦克拉迪 -专利权人：微软公司
申请日： 2011-12-23 - 公布日： 2012-08-15 - 主分类号： G06F9/302 文献下载
摘要：本申请涉及共同映射通信算子。高级编程语言提供了根据函数将输入可索引类型映射到输出可索引类型的共同映射通信算子。该函数将对应于输出可索引类型的索引空间映射到对应于输入可索引类型的索引空间。通过这样做，共同映射的通信算子将索引空间上的函数提升到可索引类型上的函数以容许与其他通信算子的可组成性。
共同映射通信算子

[发明专利]仿真指针-CN201110445904.1有效
发明人： Y·莱瓦诺尼;朱伟荣;张玲莉;J·L·拉普;A·L·布利斯 -专利权人：微软公司
申请日： 2011-12-27 - 公布日： 2012-07-25 - 主分类号： G06F9/34 文献下载
摘要：本发明涉及仿真指针。本发明涉及用于仿真指针的方法、系统和计算机程序产品。可以通过如下方式来仿真指针：用<变量#，偏移量>对替换该指针；以及用根据标签的switch和switch主体替换每个解除引用站点，该switch主体对该指针所指向的相应变量执行仿真的指针访问。可以使用数据流优化来减少switch的数目和/或减少在每个仿真的指针访问站点处需要考虑的case的数目。
仿真指针

[发明专利]数据平行代码中的映射变换-CN201110382436.8有效
发明人： P·F·林塞斯;Y·莱瓦诺尼;朱伟荣 -专利权人：微软公司
申请日： 2011-11-16 - 公布日： 2012-07-04 - 主分类号： G06F9/45 文献下载
摘要：本发明涉及数据平行代码中的映射变换。高层编程语言提供了映射变换(12)，该映射变换采用数据平行算法(14)并且将一组一个或多个输入可索引类型(32)作为参量(26)。映射变换将数据平行算法应用于该组输入可索引类型，以生成输出可索引类型，并且返回该输出可索引类型(34)。映射变换可用于将一个或多个数据平行算法(14)与另一数据平行算法(24)融合。
数据平行代码中的映射变换

[发明专利]用于数据并行编程模型的编译器生成的调用存根-CN201110177689.1有效
发明人： L·张;W·朱;Y·莱瓦诺尼;P·F·林塞斯;C·D·卡拉汉二世 -专利权人：微软公司
申请日： 2011-06-17 - 公布日： 2012-01-11 - 主分类号： G06F9/44 文献下载
摘要：在此描述的是用于生成用于数据并行编程模型的调用存根以使得用静态编译的高级编程语言编写的数据并行程序可以比传统方法更加声明性、可重用和可移植的技术。借助于所描述的技术中的某一些，由编译器(116)生成调用存根(118)，且那些存根将数据并行计算的逻辑排列桥接到用于数据并行计算的目标数据并行硬件的实际物理排列。
用于数据并行编程模型编译器生成调用存根

[发明专利]可索引类型变换-CN201110192613.6有效
发明人： P·F·林塞斯;W·朱;R·莫洛伊;C·D·卡拉罕二世;Y·莱瓦诺尼;L·张 -专利权人：微软公司
申请日： 2011-06-29 - 公布日： 2012-01-11 - 主分类号： G06F9/45 文献下载
摘要：一高级编程语言提供了用于数据并行处理环境中的可索引类型上的可扩展变换集。用于该语言的编译器将每个变换实现为来自可索引类型的映射，以允许每个变换可被应用到其他变换。在编译时间，编译器标识数据并行源代码中的每个可索引类型上的变换的序列，并生成数据并行执行代码以将序列实现为运行时使用变换映射的组合操作。编译器也包含优化处理，该优化处理基于至数据并行执行代码的变换序列。
索引类型变换

[发明专利]绑定数据并行设备源代码-CN201110184637.7有效
发明人： W·朱;L·张;S·S·索迪;Y·莱瓦诺尼 -专利权人：微软公司
申请日： 2011-06-21 - 公布日： 2011-12-28 - 主分类号： G06F9/45 文献下载
摘要：本发明涉及绑定数据并行设备源代码。在计算机系统中提供一种编译环境，该编译环境允许编程人员使用具有数据并行(DP)扩展的高级通用编程语言来对CPU和数据并行设备(例如GPU)二者进行编程。一种编译过程使用DP设备源代码的一组绑定描述符将以该通用语言编写的模块化DP代码翻译成以高级DP设备编程语言的DP设备源代码。绑定器从该组绑定描述符中生成单个自包含的DP设备源代码单元。DP设备编译器从该DP设备源代码单元中生成供在一个或多个数据并行设备上执行的DP设备可执行代码。
绑定数据并行设备源代码

[发明专利]事务性的存储器中的事务处理-CN200980154875.4有效
发明人： A·达迪欧莫夫;D·格罗夫;Y·莱瓦诺尼;J·E·约翰逊 -专利权人：微软公司
申请日： 2009-12-04 - 公布日： 2011-12-14 - 主分类号： G06F13/42 文献下载
摘要：事务性的存储器处理系统可以将编译器级别的事务性的存储器概念集成到更高级别的传统的事务处理系统中。编译器级别的原子块可以被指定为原子块事务，并包括原子性和隔离性的特征。此原子块事务内的动作包括从储存库中征募资源管理器。储存库现在可以包括预先编程的存储器资源管理器，以管理事务性的存储器。如在传统的事务中，可以使用提交协议来判断动作是否有效，并可以在事务的外部公开。然而，与传统的事务不同，如果全部动作没有被验证，事务不需要死亡。相反，存储器冲突会导致原子块事务的回滚和重新执行，这是可以重复的，只要需要，直到存储器资源管理器表决提交。
事务性存储器中的事务处理

[发明专利]对事务存储器中的副作用动作的事务处理-CN200980142416.4有效
发明人： D·格罗夫;A·达迪欧莫夫;Y·莱瓦诺尼 -专利权人：微软公司
申请日： 2009-10-16 - 公布日： 2011-09-14 - 主分类号： G06F12/00 文献下载
摘要：一种处理系统包括事务存储器、第一和第二资源管理器和用于并行程序的事务管理器，该并行程序具有包括具有副作用动作的原子事务的线程。该第一资源管理器被配置成加入该原子事务并且管理与该副作用动作相关的资源。该第二资源管理器被配置成加入该原子事务并且管理该事务存储器。该事务管理器耦合到第一和第二资源管理器并且管理器被配置成从第一和第二资源管理接收关于是否提交该事务的投票。该副作用动作被延迟直至该事务提交之后或与针对该副作用动作的补偿动作一起应用。
事务存储器中的副作用动作事务处理

[发明专利]使用事务来并行化顺序框架-CN200880018391.2有效
发明人： J·J·达菲;J·J·格雷;Y·莱瓦诺尼 -专利权人：微软公司
申请日： 2008-05-30 - 公布日： 2010-03-24 - 主分类号： G06F12/00 文献下载
摘要：公开了用于将顺序循环转换成并行循环以与事务存储器系统一起使用的各种技术和方法。可以将开放和/或封闭顺序循环转换成并行循环。例如，分析包含原始顺序循环的一部分代码以确定该原始顺序循环的固定迭代次数。将原始顺序循环转换成可生成数量等于该固定迭代次数的事务的并行循环。作为另一示例，可以将开放顺序循环转换成生成包含推测流水线的每一迭代的相应工作项的单独事务的并行循环。并行循环随后使用事务存储器系统来执行，其中各单独事务中的至少某一些在不同的线程上执行。
使用事务并行顺序框架

[发明专利]使用事务来并行化顺序框架-CN200880018922.8有效
发明人： J·J·达菲;J·格雷;Y·莱瓦诺尼 -专利权人：微软公司
申请日： 2008-05-30 - 公布日： 2010-03-24 - 主分类号： G06F9/46 文献下载
摘要：公开了用于将顺序循环转换成并行循环以与事务存储器系统一起使用的各种技术和方法。提供了一种事务存储器系统。将包含原始顺序循环的第一部分代码转换成包含使用事务来保留原始的输入到输出映射的并行循环的第二部分代码。例如，可以通过取原始顺序循环的每一迭代并生成遵循预定提交次序过程的单独事务来将原始顺序循环转换成并行循环。各单独事务中的至少某一些在不同的线程中执行。当在执行并行循环时检测到在特定事务中发生了未经处理的异常时，则提交该特定事务和前导事务所作出的状态修改并丢弃后续事务所作出的状态修改。
使用事务并行顺序框架

1
共 14 条

友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

关于我们寻求报道投稿须知广告合作版权声明网站地图友情链接企业标识联系我们

在线咨询

400-8765-105周一至周五 9:00-18:00

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期

咨询在线客服

咨询在线客服

tel code back_top