“J·J·达菲”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网_中国专利网

首页在售求购查询申请展会资讯专利榜企服商城升级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 公布专利

专利权人

国家电网公司

华为技术有限公司

中兴通讯股份有限公司

三星电子株式会社

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

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

松下电器产业株式会社

上海交通大学

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

[发明专利]可变类型建立器-CN201780069365.1有效
发明人： J·J·达菲;K·J·科瓦林娜;M·G·埃利斯 -专利权人：微软技术许可有限责任公司
申请日： 2017-11-06 - 公布日： 2023-04-07 - 主分类号： G06F12/02 文献下载
摘要：公开了一种用于建立可变类型的计算设备实现的方法。在存储器的连续部分中生成数据结构。数据结构包括元素部分和过度分配部分。元素部分存储利用索引可访问的元素。将间隙对象插入至过度分配部分之中。对间隙对象进行垃圾收集。
可变类型建立

[发明专利]不可变可共享零复制数据和流传输-CN201480003955.0有效
发明人： J·T·亨特;J·于;M·塔耶费尔;G·M·内沃洛夫;D·卡库林;A·H·莫罕默德;J·J·达菲;C·W·布鲁密;F·S·特瑞克 -专利权人：微软技术许可有限责任公司
申请日： 2014-01-03 - 公布日： 2019-07-02 - 主分类号： G06F9/54 文献下载
摘要：不可变缓冲区的环境和使用。计算实体获取数据或生成数据，并将该数据填充到缓冲区，在这之后该缓冲区被分类成不可变的。该分类保护填充在不可变缓冲区中的数据在该不可变缓冲区的寿命期间免于改变，并且还保护不可变缓冲区在该不可变缓冲区的寿命期间免于改变其物理地址。在不同的计算实体使用来自不可变缓冲区的数据时，它们通过视图提供实体所提供的视图来这样做。不可变缓冲区体系结构还可被用于流传输数据，其中流传输数据中的每一分量使用不可变缓冲区。因此，不同计算实体可以不同地查看不可变数据，而不必实际上复制该数据。
可变共享复制数据流传

[发明专利]对合同的操作系统支持-CN201480014378.5有效
发明人： J·J·达菲;J·P·帕森斯;C·S·戈登;A·D·布罗姆菲尔德;M·塔耶费尔;D·A·巴尔托落梅奥;M·巴尼特 -专利权人：微软技术许可有限责任公司
申请日： 2014-03-11 - 公布日： 2019-02-19 - 主分类号： G06F9/4401 文献下载
摘要：前端编译器将源代码编译成中间代码，该中间代码之后被编译成二进制代码。源代码定义执行作用域并包括合同。当在执行作用域的运行时遇到合同时，对该执行作用域的进一步执行以与该合同相关联的断言是否为真作为条件。前端编译器操作以便保留合同从而使该合同在语义上继续被结构化，以使得可以从中间语言代码去除该断言。该合同可因此继续被合同的语义分析所理解。因此，该断言可以被操作中间代码的静态分析工具理解。
合同操作系统支持

[发明专利]用于声明类型的方法以及实例化对象图的方法-CN201480004082.5有效
发明人： G·S·凯岑伯格;J·P·帕森斯;A·D·布罗姆菲尔德;J·J·达菲;K·J·克瓦利纳 -专利权人：微软技术许可有限责任公司
申请日： 2014-01-03 - 公布日： 2018-12-21 - 主分类号： G06F9/52 文献下载
摘要：特定类型的类型定义，以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化，从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中，对象图的不同实例化可以不同地应用许可。
对象部分不可变性以及隔离实施

[发明专利]不可变的对象类型-CN201480003944.2有效
发明人： J·J·达菲;J·P·帕森斯;M·辛兹;A·D·布罗姆菲尔德;K·J·克瓦利纳 -专利权人：微软技术许可有限责任公司
申请日： 2014-01-03 - 公布日： 2018-11-13 - 主分类号： G06F8/30 文献下载
摘要：本发明描述了可以在系统编程中提升安全性的语言扩展，在其中在该类型的所有实例不可变的情况下，整个类型可以被声明为不可变。不可变类型声明自动地使该类型的任何实例被视为不可变，并且自动使实例的所有直接或间接可达的成员(例如，字段、方法、属性)也被视为不可变。而且，允许实例的字段分配的任何构造时间引用不被允许超出实例变得对创建者可访问的点而继续存在。相应地，该实例以及相同类型的任何其他实例将会自构造时刻起不可变。将所有这种实例归类为不可变的能力是有利的，因为不可变性质允许由于资源访问安全而通常不会被允许的动作。
可变对象类型

[发明专利]关于资源引用的寿命的声明-CN201480004086.3在审
发明人： J·P·帕森斯;J·J·达菲;G·S·凯岑伯格;A·D·布罗姆菲尔德;Y·罗岑菲尔德 -专利权人：微软技术许可有限责任公司
申请日： 2014-01-03 - 公布日： 2015-12-30 - 主分类号： G06F9/45 文献下载
摘要：通过指定表示资源的引用的寿命来提高系统编程中的安全性的语言扩展。根据语言扩展，寿命以这样的方式引用特定作用域，其中编译器生成将引用的寿命强制执行为基于特定作用域的寿命(例如，不比其长)的计算机可执行指令。相应地，可以预先指定资源寿命具有特定作用域。这会帮助执行资源管理，因为典型的受管理的语言程序可以允许资源无限制地存在。此外，由于资源具有定义的有限寿命，因此，它们可以更方便地在栈上(而不是在对上)被分配，以便更有效的处理。
关于资源引用寿命声明

[发明专利]通过最小化差错恢复逻辑来改善软件系统-CN201480004057.7在审
发明人： M·塔耶费尔;J·于;J·J·达菲;S·E·特洛布里奇;A·D·布罗姆菲尔德 -专利权人：微软技术许可有限责任公司
申请日： 2014-01-03 - 公布日： 2015-11-25 - 主分类号： G06F11/36 文献下载
摘要：处理程序执行中的错误。该方法包括标识包括多个显式地标识出的失败状况的集合。该方法进一步包括确定已发生了这些显式标识出的失败状况中的一个或多个。结果，该方法进一步包括停止预定的第一计算执行范围，并向另一计算范围通知该失败状况。一替换实施例可在计算环境中实施，并包括处理错误的方法。该方法包括标识包括多个显式地标识出的失败状况的集合。该方法进一步包括确定已发生了不在该包括多个显式地标识出的失败状况的集合中的错误状况。作为结果，该方法进一步包括停止预定的第一计算执行范围，并向另一计算范围通知该失败状况。
通过最小化差错恢复逻辑改善软件系统

[发明专利]表示没有外部引用的引用属性注释-CN201380053879.X在审
发明人： J·J·达菲;J·P·帕森斯;M·辛兹;A·D·布罗姆菲尔德 -专利权人：微软技术许可有限责任公司
申请日： 2013-10-15 - 公布日： 2015-06-17 - 主分类号： G06F8/30 文献下载
摘要：从可执行组件返回的引用的注释表示没有对由返回的引用来引用的特定对象图的外部引用。如果1)没有对可执行组件的输入自变量或2)每一输入自变量不可改变或者表示没有指向对象图的外部可变的引用，并且没有引用外部对象的内部可变的引用的对象图，则将特定属性分配到返回的引用。相应地，如果返回的引用是可写入的(如通过对于可执行组件评估声明代码或调用代码所确定的)，返回的引用随意具有给它分配的任何访问权限，也可以被分配到隔离的存储器位置，但是，这样的分配将导致返回的引用丢失特定属性。
表示没有外部引用属性注释

[发明专利]事务存储器中的并行嵌套事务-CN201210399252.7有效
发明人： M·M·马格鲁德;D·德特勒夫;J·J·达菲;G·格雷费;V·K·格罗弗 -专利权人：微软公司
申请日： 2008-09-16 - 公布日： 2013-02-13 - 主分类号： G06F9/46 文献下载
摘要：本发明公开了用于支持事务存储器系统中的并行嵌套事务的各种技术和方法。为单个父事务创建多个封闭嵌套事务，并且这些封闭嵌套事务作为并行嵌套事务来并发执行。使用各种技术来确保对父事务之外的其他事务隐藏并行嵌套事务的影响直到该父事务提交。例如，就并行嵌套事务使用版本化写锁。当事务存储器字从写锁变为版本化写锁时，在全局版本化写锁映射中形成一条目以存储指向该版本化写锁所替换的写日志条目的指针。当在事务处理期间遇到该版本化写锁时，咨询全局版本化写锁映射以便将该版本化写锁转换成指向写日志条目的指针。
事务存储器中的并行嵌套

[发明专利]对存储器隔离许可的类型系统支持-CN201080017093.9有效
发明人： J·J·达菲;S·E·卢科;A·赫杰斯伯格;M·塔耶费尔 -专利权人：微软公司
申请日： 2010-04-01 - 公布日： 2012-03-28 - 主分类号： G06F21/22 文献下载
摘要：用隔离许可修饰符标记对象引用。可以包括至少两种许可，且在示例中包括三种许可。在实现各许可时，定义用于控制通过指向对象的引用访问类型成员的类型修饰符。类型修饰符中的一个与类型名称的每次出现相关联。类型修饰符中的每一个定义不同的访问许可以便限制对引用指向的对象的操作。
存储器隔离许可类型系统支持

[发明专利]嵌套任务的结果的编组-CN201110063301.5有效
发明人： S·H·托布;J·E·霍格;J·J·达菲;D·S·谢哈 -专利权人：微软公司
申请日： 2011-03-07 - 公布日： 2011-09-21 - 主分类号： G06F9/46 文献下载
摘要：本发明涉及用于嵌套任务的结果的编组的方法、系统和计算机程序产品。解包方法能被用以减少任务嵌套的层级并确保在任务之间编组合适的结果。能使用代理任务以表示包装任务和被包装的任务的聚集异步操作。该代理任务具有完成状态，该完成状态至少指示聚集异步操作的完成状态。聚集异步操作的完成状态是从包装任务和被包装的任务的一个或多个完成状态中确定并设置的。代理任务的完成状态能被传送到调用逻辑以向调用逻辑指示聚集异步操作的完成状态。
嵌套任务结果编组

[发明专利]基于阵列的线程倒计时-CN201110037368.1有效
发明人： E·A·奥玛拉;J·J·达菲 -专利权人：微软公司
申请日： 2011-01-28 - 公布日： 2011-08-03 - 主分类号： G06F9/38 文献下载
摘要：提供了基于阵列的线程倒计时。对线程分叉的操作。在运行时，任务被标识为被分成多个线程(即，分叉线程)要完成的多个子任务。为了能够验证分叉线程何时完成其任务，当分叉线程完成时设置和更新多个计数器存储器位置。在聚集中对多个计数器存储器位置求值以便确定是否完成了所有的分叉线程。一旦分叉线程被确定为已完成，就可以执行加入操作。使用多个存储器位置而不是单个存储器位置来考虑线程完成。这降低了线程争用的风险。
基于阵列线程倒计时

[发明专利]带有动态数量工作者的并行查询引擎-CN201110037381.7有效
发明人： I·奥斯特罗夫斯基;J·J·达菲;S·H·托布 -专利权人：微软公司
申请日： 2011-01-27 - 公布日： 2011-07-27 - 主分类号： G06F9/46 文献下载
摘要：本发明描述了一种带有动态数量工作者的并行查询引擎。划分包括多个元素的序列的查询执行工作。一种方法包括工作者核从工作队列请求工作。作为响应，工作者核从工作队列接收任务。该任务是可复制序列处理任务，包括两个不同的步骤：在调度器队列上调度该任务的副本并处理序列。工作者核通过以下动作来处理任务：创建任务的复制品并将任务的复制品放在工作队列上，并且开始处理序列。对一个或多个其他工作者核重复各动作，其中从工作队列接收任务通过接收由不同的工作者核创建任务的复制品并将任务的复制品放在工作队列上的较早执行而放置在任务队列上的一个或多个任务复制品来执行。
带有动态数量工作者并行查询引擎

[发明专利]处理嵌套事务的错误地破坏的父事务-CN200880022416.6有效
发明人： M·M·马格鲁德;D·德特勒夫;J·J·达菲;G·格雷费;V·K·格罗弗 -专利权人：微软公司
申请日： 2008-06-16 - 公布日： 2010-03-31 - 主分类号： G06F12/00 文献下载
摘要：公开了用于在事务存储器系统中检测嵌套子事务的错误地破坏的父事务的各种技术和方法。在回退嵌套事务时，在给定嵌套事务由于回退而每一次释放写锁定时跟踪释放计数。例如，可以使用写异常中止补偿映射来跟踪每一嵌套事务的释放计数。嵌套事务释放写锁定的次数被记录在它们相应的写异常中止补偿映射中。可以在父事务的确认期间使用释放计数来确定失败的乐观读取事实上是否有效。如果嵌套子事务的聚集的释放计数是造成版本号差的原因，则乐观读取是有效的。
处理嵌套事务错误破坏

[发明专利]使用类型稳定性来便于争用管理-CN200880022472.X有效
发明人： D·德特勒夫;M·M·马格鲁德;J·J·达菲 -专利权人：微软公司
申请日： 2008-06-18 - 公布日： 2010-03-31 - 主分类号： G06F12/00 文献下载
摘要：公开了用于提供类型稳定性技术以增进争用管理的各种技术和方法。提供允许事务安全地检查其它事务的状态的引用计数机制。使用该引用计数机制来便于争用管理。当在两个事务之间检测到冲突时，获取拥有事务信息。拥有事务的引用计数被递增。系统确保正确事务被递增。如果拥有事务仍然是冲突事务，则作出确定正确解决方案的争用管理判定。在作出判定时，拥有事务上的引用计数被冲突事务递减。在每一事务完成时，其为其本身持有的引用计数被递减。不可解除分配数据结构直到其引用计数为零。可使用不稳定属性来减少专用类型稳定分配池。
使用类型稳定性便于管理

1
2
下一页»
尾页
共 21 条

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

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

在线咨询

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

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

咨询在线客服

咨询在线客服

tel code back_top