专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20060090103A1 Critical path profiling of threaded programs 有权
标题翻译：线程程序的关键路径分析
公开(公告)号：US20060090103A1
公开(公告)日：2006-04-27
申请号：US10975926
申请日：2004-10-27
申请人： Douglas Armstrong , Renee Woo , Zhiqiang Ma
发明人： Douglas Armstrong , Renee Woo , Zhiqiang Ma
IPC分类号： G06F11/00
CPC分类号： G06F11/3466 , G06F9/546 , G06F2201/865
摘要： A method and apparatus for critical path profiling of threaded programs that use messaging. An embodiment of a method includes creating a package slip for a message from a first program thread, the package slip containing information regarding the message, placing the package slip on a queue, the package slip being accessible to a second program thread, and sending the message from the first program thread.
摘要翻译：用于使用消息传递的线程程序的关键路径分析的方法和装置。一种方法的实施例包括为来自第一程序线程的消息创建打包单，所述包装单包含关于消息的信息，将包装单放在队列上，第二程序线程可访问包装单，并发送消息从第一个程序线程。

2. 发明授权

US09489246B2 Method and device for determining parallelism of tasks of a program 有权
标题翻译：用于确定程序任务的并行性的方法和装置
公开(公告)号：US09489246B2
公开(公告)日：2016-11-08
申请号：US13976054
申请日：2011-09-30
申请人： Jeffrey V. Olivier , Zhiqiang Ma , Paul M Petersen
发明人： Jeffrey V. Olivier , Zhiqiang Ma , Paul M Petersen
IPC分类号： G06F9/54 , G06F9/38 , G06F9/45 , G06F9/50
CPC分类号： G06F9/54 , G06F8/458 , G06F9/3838 , G06F9/3851 , G06F9/5066 , G06F2209/5017
摘要： A method and device for determining parallelism of tasks of a program comprises generating a task data structure to track the tasks and assigning a node of the task data structure to each executing task. Each node includes a task identification number and a wait number. The task identification number uniquely identifies the corresponding task from other currently executing tasks and the wait number corresponds to the task identification number of a node corresponding to the last descendant task of the corresponding task that was executed prior to a wait command. The parallelism of the tasks is determined by comparing the relationship between the tasks.
摘要翻译：一种用于确定程序的任务的并行性的方法和装置包括生成任务数据结构以跟踪任务并将任务数据结构的节点分配给每个执行任务。每个节点包括任务标识号和等待号。任务识别号码从其他当前执行任务中唯一地识别相应的任务，等待号码对应于在等待命令之前执行的相应任务的最后一个后续任务对应的节点的任务识别号码。通过比较任务之间的关系来确定任务的并行性。

3. 发明申请

US20100037025A1 METHOD AND APPARATUS FOR DETECTING A DATA ACCESS VIOLATION 有权
标题翻译：用于检测数据访问失败的方法和装置
公开(公告)号：US20100037025A1
公开(公告)日：2010-02-11
申请号：US12186416
申请日：2008-08-05
申请人： Sergey N. Zheltov , Paul Petersen , Zhiqiang Ma
发明人： Sergey N. Zheltov , Paul Petersen , Zhiqiang Ma
IPC分类号： G06F12/08
CPC分类号： G06F11/366 , G06F11/3636
摘要： Machine-readable media, methods, apparatus and system for detecting a data access violation are described. In some embodiments, current memory access information related to a current memory access to a memory address by a current user thread may be obtained. It may be determined whether a cache includes a cache entry associated with the memory address. If the cache includes the cache entry associated with the memory address, then, an access history stored in the cache entry and the current memory access information may be analyzed to detect if there is at least one of an actual violation and a potential violation of accessing the memory address.
摘要翻译：描述了用于检测数据访问冲突的机器可读介质，方法，装置和系统。在一些实施例中，可以获得与由当前用户线程访问存储器地址的当前存储器相关的当前存储器访问信息。可以确定高速缓存是否包括与存储器地址相关联的高速缓存条目。如果高速缓存包括与存储器地址相关联的高速缓存条目，则可以分析存储在高速缓存条目中的访问历史和当前存储器访问信息，以检测是否存在实际违规和潜在违反访问中的至少一个内存地址。

4. 发明申请

US20090248689A1 GENERATION OF SUGGESTIONS TO CORRECT DATA RACE ERRORS 有权
标题翻译：建议纠正数据错误的建议
公开(公告)号：US20090248689A1
公开(公告)日：2009-10-01
申请号：US12059108
申请日：2008-03-31
申请人： Paul M. Petersen , Zhiqiang Ma
发明人： Paul M. Petersen , Zhiqiang Ma
IPC分类号： G06F9/50 , G06F7/08 , G06F17/30
CPC分类号： G06F17/30348 , G06F9/526
摘要： A method of removing a first data race condition by generating a list of suggested solutions is provided. The method comprises detecting the first data race condition involving a shared resource that is accessed first by a first thread and then by a second thread; suggesting one or more solutions using a lockset mechanism; suggesting one or more solutions using a vector clock mechanism; suggesting that a user create a new synchronization object; suggesting that a user replicate the shared resource; and displaying the list to the user.
摘要翻译：提供了通过生成建议解决方案的列表来消除第一数据竞争条件的方法。该方法包括检测涉及首先由第一线程然后由第二线程访问的共享资源的第一数据竞争条件; 建议使用锁定机制的一个或多个解决方案; 建议使用向量时钟机制的一个或多个解决方案; 提示用户创建一个新的同步对象; 提示用户复制共享资源; 并将该列表显示给用户。

5. 发明申请

US20140251477A1 METHOD AND SYSTEM FOR COORDINATION ON OPTICALLY CONTROLLED MICROFLUIDIC SYSTEMS 审中-公开
标题翻译：用于协调光控微流控系统的方法和系统
公开(公告)号：US20140251477A1
公开(公告)日：2014-09-11
申请号：US14199469
申请日：2014-03-06
申请人： Srinivas Akella , Zhiqiang Ma
发明人： Srinivas Akella , Zhiqiang Ma
IPC分类号： B01L3/02
CPC分类号： B01L3/502792 , B01L2300/0816 , B01L2300/0819 , B01L2300/089 , B01L2400/0427 , B01L2400/0454 , F04B19/006 , Y10T137/2191
摘要： In accordance with one embodiment, a method for automatically coordinating droplets for optically controlled microfluidic systems, comprising using light to move one or a plurality of droplets simultaneously, applying an algorithm to coordinate droplet motions and avoid droplet collisions, and moving droplets to a layout of droplets. In another embodiment, a system for automatically coordinating droplets for optically controlled microfluidic systems, comprising using a light source to move one or a plurality of droplets simultaneously, using an algorithm to coordinate droplet motions and avoid droplet collisions, and using a microfluidic device to move droplets to a layout of droplets.
摘要翻译：根据一个实施例，一种用于自动协调用于光学控制的微流体系统的液滴的方法，包括使用光同时移动一个或多个液滴，应用算法来协调液滴运动并避免液滴碰撞，以及将液滴移动到液滴。在另一个实施例中，一种用于自动协调用于光学控制微流体系统的液滴的系统，包括使用光源同时移动一个或多个液滴，使用算法来协调液滴运动并避免液滴碰撞，以及使用微流体装置移动液滴到液滴的布局。

6. 发明申请

US20120303910A1 Detecting Potential Access Errors In A Multi-Threaded Application 有权
标题翻译：检测多线程应用程序中的潜在访问错误
公开(公告)号：US20120303910A1
公开(公告)日：2012-11-29
申请号：US13117526
申请日：2011-05-27
申请人： Zhiqiang Ma
发明人： Zhiqiang Ma
IPC分类号： G06F12/00
CPC分类号： G06F9/52 , G06F11/3612 , G06F11/3632
摘要： In one embodiment, a method includes maintaining thread analysis metadata for a multi-threaded application. The metadata may include a thread vector clock for threads of the application and a synchronization vector clock for synchronization objects of the application. In addition, an initialization log and an access log can be generated and maintained for memory accesses occurring during execution of the application. From this metadata, it may be determined if an access to a memory element by a thread is a potential invalid access for a different scheduling of the application. Other embodiments are described and claimed.
摘要翻译：在一个实施例中，一种方法包括维护多线程应用的线程分析元数据。元数据可以包括用于应用程序的线程的线程向量时钟和应用程序的同步对象的同步向量时钟。此外，可以生成并维护初始化日志和访问日志，以便在执行应用程序期间发生的内存访问。根据该元数据，可以确定线程对存储器元件的访问对于应用的不同调度是潜在的无效访问。描述和要求保护其他实施例。

7. 发明授权

US08069445B2 Method and apparatus for detecting lock acquisition hierarchy violations and unsafe lock releases 有权
标题翻译：用于检测锁定采集层级违规和不安全锁定释放的方法和装置
公开(公告)号：US08069445B2
公开(公告)日：2011-11-29
申请号：US11480141
申请日：2006-06-30
申请人： Zhiqiang Ma
发明人： Zhiqiang Ma
IPC分类号： G06F9/455 , G06F9/46 , G06F15/173
CPC分类号： G06F11/0751 , G06F11/0715
摘要： A thread analysis tool records a set of currently-held synchronization objects and currently-acquired objects when a thread acquires one or more objects, then searches for a lock acquisition hierarchy violation that may cause program deadlock. If a violation is found, it is reported to the user. Software to implement the methods of the analysis tool, and systems using the methods, are also described and claimed.
摘要翻译：线程分析工具在线程获取一个或多个对象时记录一组当前持有的同步对象和当前获取的对象，然后搜索可能导致程序死锁的锁获取层次结构违规。如果发现违规行为，则向用户报告。还描述和声明了实现分析工具的方法的软件和使用该方法的系统。

8. 发明授权

US07844971B2 Method and apparatus for detecting cross-thread stack access in multithreaded programs 有权
标题翻译：用于在多线程程序中检测跨线程堆栈访问的方法和装置
公开(公告)号：US07844971B2
公开(公告)日：2010-11-30
申请号：US11238530
申请日：2005-09-28
申请人： Zhiqiang Ma , Paul Petersen
发明人： Zhiqiang Ma , Paul Petersen
IPC分类号： G06F9/46 , G06F13/00
CPC分类号： G06F9/3851
摘要： A threaded-programming analysis and diagnostic tool including two data structures to store a termination status of each of the threads in a multi-threaded program, logic to propagate information between the two data structures, and detection logic to determine whether a first thread could access the stack of a second thread before the second thread terminates.
摘要翻译：一种线程编程分析和诊断工具，包括两个数据结构，用于存储多线程程序中每个线程的终止状态，在两个数据结构之间传播信息的逻辑，以及检测逻辑，以确定第一个线程是否可以访问在第二个线程之前的第二个线程的堆栈终止。

9. 发明申请

US20090222825A1 DATA RACE DETECTION IN A CONCURRENT PROCESSING ENVIRONMENT 有权
标题翻译：数据处理环境中的数据检测
公开(公告)号：US20090222825A1
公开(公告)日：2009-09-03
申请号：US12039528
申请日：2008-02-28
申请人： Gautam Upadhyaya , Zhiqiang Ma , Paul M. Petersen
发明人： Gautam Upadhyaya , Zhiqiang Ma , Paul M. Petersen
IPC分类号： G06F9/46
CPC分类号： G06F9/524 , G06F11/3612 , G06F11/3632
摘要： A method for detecting race conditions in a concurrent processing environment is provided. The method comprises implementing a data structure configured for storing data related to at least one task executed in a concurrent processing computing environment, each task represented by a node in the data structure; and assigning to a node in the data structure at least one of a task number, a wait number, and a wait list; wherein the task number uniquely identifies the respective task, wherein the wait number is calculated based on a segment number of the respective task's parent node, and wherein the wait list comprises at least an ancestor's wait number. The method may further comprise monitoring a plurality of memory locations to determine if a first task accesses a first memory location, wherein said first memory location was previously accessed by a second task.
摘要翻译：提供了一种用于在并发处理环境中检测竞态条件的方法。该方法包括：实现数据结构，其被配置为存储与在并行处理计算环境中执行的至少一个任务相关的数据，每个任务由数据结构中的一个节点表示; 以及向所述数据结构中的节点分配任务号码，等待号码和等待列表中的至少一个; 其中所述任务编号唯一地标识相应的任务，其中基于相应任务的父节点的段号计算所述等待数，并且其中所述等待列表至少包括祖先的等待号。该方法还可以包括监视多个存储器位置以确定第一任务是否访问第一存储器位置，其中所述第一存储器位置先前被第二任务访问。

10. 发明申请

US20070074213A1 Method and apparatus for detecting cross-thread stack access in multithreaded programs 有权
标题翻译：用于在多线程程序中检测跨线程堆栈访问的方法和装置
公开(公告)号：US20070074213A1
公开(公告)日：2007-03-29
申请号：US11238530
申请日：2005-09-28
申请人： Zhiqiang Ma , Paul Petersen
发明人： Zhiqiang Ma , Paul Petersen
IPC分类号： G06F9/46 , G06F9/45
CPC分类号： G06F9/3851
摘要： A threaded-programming analysis and diagnostic tool including two data structures to store a termination status of each of the threads in a multi-threaded program, logic to propagate information between the two data structures, and detection logic to determine whether a first thread could access the stack of a second thread before the second thread terminates.
摘要翻译：一种线程编程分析和诊断工具，包括两个数据结构，用于存储多线程程序中每个线程的终止状态，在两个数据结构之间传播信息的逻辑，以及检测逻辑，以确定第一个线程是否可以访问在第二个线程之前的第二个线程的堆栈终止。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式