公开(公告)号：CN105074656B

公开(公告)日：2018-06-01

申请号：CN201480008999.2

申请日：2014-01-14

申请人： 英特尔公司

发明人： J.E.戈特施利希 ,  C.L.佩雷拉 ,  G.波坎 ,  吴佑峰

IPC分类号： G06F9/38 ,  G06F9/46

CPC分类号： G06F9/52 ,  G06F11/3632

摘要： 公开了用于管理并发谓词表达式的方法、装置、系统和制造品。一种示例方法公开了将第一条件钩子插入到第一线程中，该第一条件钩子与第一条件相关联，将第二条件钩子插入到第二线程中，该第二条件钩子与第二条件相关联，防止第二线程执行直到满足第一条件为止，以及当满足第二条件时识别并发违例。

公开(公告)号：CN107577593A

公开(公告)日：2018-01-12

申请号：CN201710550482.1

申请日：2012-02-03

申请人： ARM ,  有限公司

发明人： 迈克尔·约翰·威廉姆斯 ,  理查德·罗伊·格里森思怀特

IPC分类号： G06F11/36

CPC分类号： G06F11/2236 ,  G06F11/3632

摘要： 本发明涉及使用执行单一步骤来诊断编码。方法包括：(i)控制处理器以单步骤模式执行，从而来自指令流的单个指令被执行，处理器判定单个指令是否为至少一种预定类型中的一种的指令并且在数据储存位置处储存类型指示符，并且在处理器已处理单个指令之后发生诊断异常；(ii)在诊断异常之后执行诊断操作，包括：访问储存于数据储存位置中的类型指示符；以及(iiia)响应于指示单个指令并非预定类型中的一种的类型指示符，控制处理器继续以单步骤模式执行指令，从而在从诊断异常返回之后执行下一单个指令；(iiib)响应于指示单个指令为至少一种预定类型中的一种的类型指示符，控制处理器退出单步骤模式并且不执行下一指令。

公开(公告)号：CN103778039B

公开(公告)日：2017-09-01

申请号：CN201310495287.5

申请日：2013-10-21

申请人： 德州仪器公司

发明人： 杰森·L·佩克 ,  布莱恩·托梅

IPC分类号： G06F11/26

CPC分类号： G06F11/3632

摘要： 一种使多个交错的追踪数据流的定时相关的方法。时间戳追踪流逻辑针对同步请求监视事件追踪流。当检测到同步请求、CTI触发或两者时，使EEP ID增大，且将时间戳值连同EEP ID和所检测到的同步请求中可获得的任何相关识别标记一起插入到追踪流中。

公开(公告)号：CN103679038B

公开(公告)日：2016-09-21

申请号：CN201310659010.1

申请日：2013-12-06

申请人： 清华大学

发明人： 武永卫 ,  陈康 ,  郑纬民 ,  章明星

IPC分类号： G06F21/57 ,  G06F11/36

CPC分类号： G06F8/70 ,  G06F11/3632

摘要： 本发明提出一种并行程序共享数据类漏洞的检测方法，包括以下步骤：为软件不变量中的各条指令的动态实例定义瞬时Fetter集，其中，软件不变量是指程序中执行顺序预先固定的指令集合；获取瞬时Fetter集的包含集和义务集；将包含集和义务集进行剪枝以获取剪枝后的结果，并将剪枝后的结果存储在不变量数据库中；利用检测组件检测各个瞬时Fetter集是否出现不满足对应的包含集和义务集的第一瞬时Fetter集，如果是，则判断第一瞬时Fetter集包含漏洞，检测组件生成违例报告；暂停当前运行的线程以阻止检测到的漏洞的运行。本发明的方法，可以自动地检测以及防止程序中潜在的共享数据类漏洞。本发明还提出一种并行程序共享数据类漏洞的检测系统。

公开(公告)号：CN105706063A

公开(公告)日：2016-06-22

申请号：CN201380080889.2

申请日：2013-12-12

申请人： 英特尔公司

发明人： 胡世亮 ,  G.A.波卡姆 ,  C.L.佩雷拉 ,  J.E.戈特施利奇

IPC分类号： G06F11/36 ,  G06F11/28

CPC分类号： G06F11/3632 ,  G06F9/526 ,  G06F11/0715 ,  G06F11/0778 ,  G06F11/30 ,  G06F11/3409 ,  G06F11/3419 ,  G06F11/3466 ,  G06F11/366

摘要： 各种实施例一般针对通过检测与此类访问关联的选择的高速缓存事件的发生来检测由应用例程的不同部分的不协调数据访问引起的竞争条件。一种设备包括：处理器组件；触发器组件，用于由处理器组件执行以将处理器组件的监视单元配置成检测与对数据段的访问之间的竞争条件关联的高速缓存事件，并响应于高速缓存事件的发生而捕获处理器组件的状态的指示以生成监视数据；以及计数器组件，用于由处理器组件执行以将监视单元的计数器配置成实现以小于高速缓存事件的每次发生的频率捕获处理器组件的状态的指示。描述并要求保护其它实施例。

公开(公告)号：CN104703696A

公开(公告)日：2015-06-10

申请号：CN201380051633.9

申请日：2013-10-01

申请人： 璐彩特国际英国有限公司

发明人： 伊恩·安德鲁·约克 ,  特雷弗·休·莫里斯

IPC分类号： B01J38/48 ,  B01J23/04 ,  C07C51/00

CPC分类号： C07C51/353 ,  B01J21/08 ,  B01J23/04 ,  B01J23/92 ,  B01J35/0006 ,  B01J35/0013 ,  B01J35/1019 ,  B01J38/485 ,  B01J38/64 ,  G06F11/3632 ,  G06F11/3656 ,  Y02P20/584 ,  C07C57/04

摘要： 描述了一种用于使二氧化硅负载的、耗尽的碱金属催化剂再生的方法。耗尽的催化剂上的碱金属水平为至少0.5mol％，并且二氧化硅载体为零凝胶。该方法包括以下步骤：使二氧化硅负载的耗尽的碱金属催化剂与碱金属的盐在溶剂体系中的溶液接触，所述溶剂体系具有作为主要组分的极性有机溶剂。还描述了一种通过本发明的方法制备的再浸渍的催化剂，其包含二氧化硅零凝胶载体和在催化剂上的0.5-5mol％范围内的选自碱金属的催化金属，其中二氧化硅载体的表面积为＜180m2/g。本发明对于用于制备烯键式不饱和酸或酯的方法是适用的，该方法包括使式R1-CH2-COOR3的烷酸或酯与甲醛或合适的甲醛来源接触。

公开(公告)号：CN101069170A

公开(公告)日：2007-11-07

申请号：CN200580034600.9

申请日：2005-09-01

申请人： 卡威姆网络有限公司

发明人： 格雷格·A·鲍查德 ,  托马斯·F·汉姆尔 ,  理查德·E·科斯勒 ,  穆罕默德·R·休斯塞恩 ,  李彦志

IPC分类号： G06F15/16 ,  H04L12/56

CPC分类号： G06F12/084 ,  G06F9/30014 ,  G06F9/30138 ,  G06F9/383 ,  G06F11/3632 ,  G06F12/0804 ,  G06F12/0813 ,  G06F12/0815 ,  G06F12/0835 ,  G06F12/0875 ,  G06F12/0891 ,  G06F13/24 ,  G06F2212/6012 ,  G06F2212/6022

摘要： 本发明提供了一种在多核网络服务处理器中进行有序化，同步化和调度任务的方法和机制。每个任务都被标识符限定如何实现任务的同步化和有序化。通过在不同处理器内核上并行的处理拥有不同标识符的任务，来提高处理器的吞吐量。数据包处理可以被分成不同的阶段，根据有序化，同步化对各个阶段的约束，每个阶段都有不同的标识符。依据阶段的不同，内核启动标识符转换操作。一种专用的标识符交换总线使得标识符交换操作的延时最小化。

公开(公告)号：CN107704346A

公开(公告)日：2018-02-16

申请号：CN201710673491.X

申请日：2017-08-08

申请人： 湖南国科微电子股份有限公司

发明人： 高劲松 ,  赵修齐 ,  袁涛 ,  胡德才

IPC分类号： G06F11/22 ,  G06F11/36

CPC分类号： G06F11/2273 ,  G06F11/3632

摘要： 本发明提供了一种SOC芯片调试系统，所述SOC芯片调试系统包括调试主机、电路板和SOC芯片，所述调试主机与所述电路板通过无线协议进行连接，所述SOC芯片设置于所述电路板。与相关技术相比，本发明提供的SOC芯片调试方法及系统具有以下有益效果：调试主机与电路板之间不再有位置限制，可以使用无线局域网调试，或Internet远程调试；调试SOC芯片不再需要仿真调试器与下载线，且可以同时对多颗SOC芯片进行调试；更换CPU或升级CPU后，需要调试时只需要更换或升级调试软件；能够非常方便的同时调试多个局域网内或Internet上的调试目标；可以大幅提高JTAG接口工作频率，数据传输速度更快。

公开(公告)号：CN107003894A

公开(公告)日：2017-08-01

申请号：CN201580063894.1

申请日：2015-11-23

申请人： 英特尔公司

发明人： J.E.戈奇利希 ,  G.A.波卡姆 ,  S.胡

IPC分类号： G06F9/46

CPC分类号： G06F9/467 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/44563 ,  G06F11/3632 ,  G06F12/0811 ,  G06F12/0813 ,  G06F12/084

摘要： 描述了用于硬件事务内存（HTM）剖析器的装置和方法。例如，装置的一个实施例包括事务调试器（TDB）记录模块，用于记录与事务内存程序代码的执行相关的数据，该数据包括与事务内存程序代码中的事务事件和分支的执行相关的数据；以及剖析器，用于使用基于跟踪的重放技术分析记录的数据的部分以响应性地生成剖析数据，所述剖析数据包括可用于优化事务内存程序代码的事务级事件和函数级冲突数据。

公开(公告)号：CN103765390B

公开(公告)日：2017-05-24

申请号：CN201180073227.3

申请日：2011-09-02

申请人： 英特尔公司

发明人： M.T.梅茨格

IPC分类号： G06F11/36

CPC分类号： G06F16/1734 ,  G06F11/3612 ,  G06F11/3632

摘要： 根据一个实施例的方法包括如下操作：接收一个或多个数据竞争分析目标的列表，其中这些数据竞争分析目标包括源文件名、源文件行、函数名、变量名或目标地址范围的至少其中之一；生成数据竞争分析过滤器，其中该数据竞争分析过滤器包括包含基于数据竞争分析目标列表的存储器地址范围的数据结构；以及对存储器访问执行数据竞争分析，其中将存储器访问与数据竞争分析过滤器中包含的存储器地址关联。