会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Method and system for predicting the performance benefits of mapping subsets of application data to multiple page sizes
    • 用于预测将应用程序数据子集映射到多个页面大小的性能优势的方法和系统
    • US07376808B2
    • 2008-05-20
    • US11343565
    • 2006-01-31
    • Gheorghe Calin CascavalEvelyn DuesterwaldPeter F. SweeneyRobert W. Wisniewski
    • Gheorghe Calin CascavalEvelyn DuesterwaldPeter F. SweeneyRobert W. Wisniewski
    • G06F9/34G06F12/00
    • G06F12/10G06F2212/652
    • A method for modeling the performance of memory address translation mechanism (MATM), comprises: a) receiving an execution profile that contains a memory address reference stream of an application, a set of page size mappings, and events about the application's data allocations and de-allocations; b) translating each memory reference in the input memory reference stream into a reference to the corresponding data object, by consulting the memory allocation and de-allocation events, to provide a data object reference stream; c) translating each data object reference into a corresponding page reference by consulting the page size mapping and by modeling the data allocation and de-allocation events in accordance with the mapping to provide a page reference stream and a number of pages of each page size that are needed by the respective mapping; d) using the page reference stream to provide a stream of reuse distance values; e) determining, for each reference in the reuse distance value stream, whether the reference results in a hit or a miss reference to the MATM to provide the number of hits and the number of misses for each MATM; f) providing the hit and miss values to a cost model to estimate the number of miss cycles; g) ranking the mappings by their miss cycle values such that the mapping with the lowest number of miss cycles has the highest rank.
    • 一种用于对存储器地址转换机制(MATM)的性能进行建模的方法包括:a)接收包含应用的存储器地址参考流,一组页面大小映射和关于应用的数据分配和de的事件的执行简档 分配; b)通过咨询存储器分配和解除分配事件来将输入存储器参考流中的每个存储器引用转换成对相应数据对象的引用,以提供数据对象引用流; c)通过参考所述页面大小映射并且根据所述映射对所述数据分配和解除分配事件进行建模来将每个数据对象引用转换成对应的页面引用,以提供页面引用流和每页页面大小的页数 需要通过各自的映射; d)使用页面参考流来提供重用距离值流; e)针对重用距离值流中的每个参考,确定参考是否导致对MATM的命中或错过引用以提供每个MATM的命中次数和未命中次数; f)向成本模型提供命中和未命中值以估计错过周期数; g)通过它们的错误循环值对映射进行排序,使得具有最低错误周期数的映射具有最高等级。
    • 9. 发明授权
    • Method and system for fast unlinking of a linked branch in a caching dynamic translator
    • 在缓存动态翻译器中快速取消链接分支的方法和系统
    • US06725335B2
    • 2004-04-20
    • US09755780
    • 2001-01-05
    • Vasanth BalaEvelyn DuesterwaldSanjeev Banerjia
    • Vasanth BalaEvelyn DuesterwaldSanjeev Banerjia
    • G06F1200
    • G06F9/30174G06F9/44521G06F9/45504G06F11/3471G06F11/3476G06F2201/88G06F2201/885
    • In a system and method for linking and unlinking code fragments stored in a code cache, a memory area is associated with a branch in a first code fragment that branches outside the cache. If the branch can be set to branch to a location in a second code fragment stored in the cache, branch reconstruction information is stored in the memory area associated with the branch, and the branch instruction is updated to branch to the location in the second code fragment, thereby linking the first code fragment to the second code fragment. If it is determined that the previously linked branch should be unlinked, the first and second code fragments at that branch are unlinked by reading the information stored in the associated memory area at the time of linking, and using that information to reset the branch to its state prior to the linking.
    • 在用于链接和解链存储在代码高速缓存中的代码片段的系统和方法中,存储器区域与分支在高速缓存之外的第一代码片段中的分支相关联。 如果可以将分支设置为分支到存储在高速缓存中的第二代码片段中的位置,则分支重建信息被存储在与分支相关联的存储区域中,并且分支指令被更新以分支到第二代码中的位置 片段,从而将第一代码片段链接到第二代码片段。 如果确定先前链接的分支应该被取消链接,则在该分支处的第一和第二代码片段在链接时读取存储在相关联的存储器区域中的信息而被取消链接,并且使用该信息将分支重置为其 链接之前的状态。
    • 10. 发明授权
    • Method and system for detecting synchronization errors in programs
    • 方法和系统,用于检测程序中的同步错误
    • US07865778B2
    • 2011-01-04
    • US11676853
    • 2007-02-20
    • Evelyn DuesterwaldYuan Zhang
    • Evelyn DuesterwaldYuan Zhang
    • G06F11/36
    • G06F11/3672G06F11/3632
    • A method and system for error detection in programs with collective synchronization and/or procedures are provided. In one aspect, the method and system may use interprocedural analysis for matching synchronizations in a program in order to detect synchronization errors, and, if no such errors exist, may determine the synchronization phases of the program. The method and system in one aspect may use a combination of path expressions and interprocedural program slicing to match the synchronization statements that may execute along each program path. If the synchronization matching succeeds, the method and system in one aspect may determine the sets of synchronization statements that synchronize together. A matching failure may indicate the presence of a synchronization error and the method and system in one aspect may construct a counter example to illustrate the error.
    • 提供了一种用于具有集体同步和/或程序的程序中的错误检测的方法和系统。 在一个方面,该方法和系统可以使用程序间分析来匹配程序中的同步,以便检测同步​​错误,并且如果不存在这样的错误,则可以确定程序的同步阶段。 一方面的方法和系统可以使用路径表达式和程序间切片的组合来匹配可以沿着每个程序路径执行的同步语句。 如果同步匹配成功,则一方面的方法和系统可以确定同步在一起的同步语句集合。 匹配失败可以指示存在同步错误,并且在一个方面中的方法和系统可以构造计数器示例来说明错误。