-
公开(公告)号：CN105074656B
公开(公告)日：2018-06-01
申请号：CN201480008999.2
申请日：2014-01-14
Applicant: 英特尔公司
CPC classification number: G06F9/52 , G06F11/3632
Abstract: 公开了用于管理并发谓词表达式的方法、装置、系统和制造品。一种示例方法公开了将第一条件钩子插入到第一线程中，该第一条件钩子与第一条件相关联，将第二条件钩子插入到第二线程中，该第二条件钩子与第二条件相关联，防止第二线程执行直到满足第一条件为止，以及当满足第二条件时识别并发违例。
-
公开(公告)号：CN104969191B
公开(公告)日：2019-02-26
申请号：CN201380072905.3
申请日：2013-03-13
Applicant: 英特尔公司
Abstract: 一种以图形方式使多线程软件程序的已记录执行的性能和/或正确性特征可视化的系统。该系统可处理在多线程程序的执行期间记录的基于块的信息，准备记录信息的图形可视化，并且以动画方式在显示器上显示图形可视化。该系统可允许观察者交互式地控制动画图像可视化的显示。
-
公开(公告)号：CN105074656A
公开(公告)日：2015-11-18
申请号：CN201480008999.2
申请日：2014-01-14
Applicant: 英特尔公司
CPC classification number: G06F9/52 , G06F11/3632
Abstract: 公开了用于管理并发谓词表达式的方法、装置、系统和制造品。一种示例方法公开了将第一条件钩子插入到第一线程中，该第一条件钩子与第一条件相关联，将第二条件钩子插入到第二线程中，该第二条件钩子与第二条件相关联，防止第二线程执行直到满足第一条件为止，以及当满足第二条件时识别并发违例。
-
公开(公告)号：CN104969191A
公开(公告)日：2015-10-07
申请号：CN201380072905.3
申请日：2013-03-13
Applicant: 英特尔公司
CPC classification number: G06F11/3664 , G06F9/38 , G06F11/323 , G06F11/3404 , G06F2201/865 , G06T11/206 , G06T13/80
Abstract: 一种以图形方式使多线程软件程序的已记录执行的性能和/或正确性特征可视化的系统。该系统可处理在多线程程序的执行期间记录的基于块的信息，准备记录信息的图形可视化，并且以动画方式在显示器上显示图形可视化。该系统可允许观察者交互式地控制动画图像可视化的显示。
-
-
-
Search Results
4
records
(took 0.015 seconds)
