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

1. 发明授权

EP2956862B1 CALL STACKS FOR ASYNCHRONOUS PROGRAMS 有权
公开(公告)号：EP2956862B1
公开(公告)日：2018-06-13
申请号：EP14707534.5
申请日：2014-02-10
申请人： Microsoft Technology Licensing, LLC
发明人： WISCHIK, Lucian , FEIVESON, Eric
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3624 , G06F9/4484 , G06F11/3632 , G06F11/3636
摘要： Embodiments provide call stacks for asynchronous programming. A set of all asynchronous call stacks is found by first identifying all threads and all outstanding tasks that have not yet been completed. Optionally, all outstanding continuation-delegates or lambdas that are in the windows queue waiting to be scheduled and/or all outstanding delegates or lambdas in a language-specific queue are also identified. Next, for each thread, identify whether it was invoked by a continuation-callback and, if so, find the corresponding task/promise. Next, given a task/promise, identify the logical parent task/promise. Optionally, given a delegate or lambda, identify its logical parent task/promise. The sequence of logical tasks/promises constitutes an asynchronous call stack in a program. Further information may optionally be retrieved to make the asynchronous call stack more useful. Finally, given a task/promise, identify the corresponding line number and location in source code.

2. 发明公开

EP2972796A4 METHODS AND APPARATUS TO MANAGE CONCURRENT PREDICATE EXPRESSIONS 审中-公开
标题翻译： VERFAHREN UND VORRICHTUNGFÜRDIE VERWALTUNG SIMULANERPRÄDIKATIVERAUSDRÜCKE
公开(公告)号：EP2972796A4
公开(公告)日：2016-10-26
申请号：EP14763196
申请日：2014-01-14
申请人： INTEL CORP
发明人： GOTTSCHLICH JUSTIN E , PEREIRA CRISTIANO LIGIERI , POKAM GILLES , WU YOUFENG
IPC分类号： G06F9/38 , G06F9/46 , G06F11/36
CPC分类号： G06F9/52 , G06F11/3632
摘要： Methods, apparatus, systems and articles of manufacture are disclosed to manage concurrent predicate expressions. An example method discloses inserting a first condition hook into a first thread, the first condition hook associated with a first condition, inserting a second condition hook into a second thread, the second condition hook associated with a second condition, preventing the second thread from executing until the first condition is satisfied, and identifying a concurrency violation when the second condition is satisfied.
摘要翻译：公开了方法，装置，系统和制品以管理并发谓词表达。一个示例性方法公开了将第一条件钩插入到第一线程中，与第一条件相关联的第一条件钩，将第二条件钩插入到第二线程中，与第二条件相关联的第二条件钩，防止第二线程执行直到满足第一条件，并且当满足第二条件时识别并发冲突。

3. 发明公开

EP2956861A4 METHOD AND SYSTEM FOR DETECTING CONCURRENCY PROGRAMMING ERRORS IN KERNEL MODULES AND DEVICE DRIVERS 有权
标题翻译：方法和系统检测程序竞争中的字段内核模块和设备驱动程序
公开(公告)号：EP2956861A4
公开(公告)日：2016-10-12
申请号：EP13879846
申请日：2013-03-27
申请人： INTEL CORP
发明人： MA ZHIQIANG
IPC分类号： G06F11/36
CPC分类号： G06F11/3688 , G06F11/36 , G06F11/3632 , G06F11/3636
摘要： The existence of errors and bugs in device drivers and other software operating in kernel space may be difficult to find and eliminate. A system and method for debugging computer programs may involve the use of several different modules. Running in the kernel space is an event monitor. Running in the user space is an event collector, an event player, and a concurrency error detector. This setup allows one to debug device driver software and other software that executes in kernel space using existing user space error detectors.

4. 发明公开

EP2037368A3 Simulation of program execution to detect problem such as deadlock 审中-公开
标题翻译：程序执行的模拟识别问题，如闭塞
公开(公告)号：EP2037368A3
公开(公告)日：2010-04-28
申请号：EP08158811.3
申请日：2008-06-23
申请人： Fujitsu Microelectronics Limited
发明人： Tatsuoka, Masato FUJITSU LIMITED , Ike, Atsushi FUJITSU LIMITED
IPC分类号： G06F11/36 , G06F11/34 , G06F9/46 , G06F17/50
CPC分类号： G06F11/3457 , G06F9/524 , G06F11/3632 , G06F11/3664
摘要： A method of simulating software by use of a computer includes executing a program inclusive of a plurality of threads by a hardware model implemented as software on a software simulator, utilizing a monitor function of the simulator to collect information about accesses by monitoring accesses made by the plurality of threads with respect to resources provided in the hardware model, utilizing the monitor function to detect, from the collected information, overlapping accesses made to an identical resource area by two or more of the threads, and utilizing the monitor function to generate a message for warning of the overlapping accesses.

5. 发明公开

EP2057546A2 MULTIPROCESSOR SYSTEM AND METHOD FOR SYNCHRONIZING A DEBUGGING PROCESS OF A MULTIPROCESSOR SYSTEM 审中-公开
标题翻译：多处理器的系统和方法用于同步补救进程在一个多处理器系统
公开(公告)号：EP2057546A2
公开(公告)日：2009-05-13
申请号：EP07826058.5
申请日：2007-08-20
申请人： NXP B.V.
发明人： STEEB, Uwe
IPC分类号： G06F11/36
CPC分类号： G06F11/3632
摘要： The invention relates to a method and a system for synchronizing a debugging process of a multiprocessor system (1) with a number of processors (2.1 to 2.3), comprising the following steps: - if for one of the processors (2.1 to 2.3) a debugging process is requested by a STOP- signal (ST0P#2.1 to STOP#2.3) a HALT-signal (HALT#2.1 to HALT#2.3) to the other processors (2.1 to 2.3) is asserted until their STOP-signal (STOP#2.1 to STOP#2.3) for debugging request is asserted to them, - asserting a respective HALT-signal (HALT#2.1 to HALT#2.3) to each processor (2.1 to 2.3) which has finished the debugging process until the other processors (2.1 to 2.3) have finished their respective debugging processes, - starting all processors (2.1 to 2.3) synchronously after all HALT-signals (HALT#2.1 to HALT#2.3) and/or STOP-signals (STOP#2.1 to STOP#2.3) are de-asserted and all debugging processes are finished.

6. 发明公开

EP1785872A2 Thread debugging device, thread debugging method and information storage medium 审中-公开
标题翻译： Threadfehlerbeseitigungsvorrichtung und Threadfehlerbeseitigungsverfahren und Informationsspeichermedium
公开(公告)号：EP1785872A2
公开(公告)日：2007-05-16
申请号：EP06255589.1
申请日：2006-10-30
申请人： Sony Computer Entertainment Inc.
发明人： Konishi, Yousuke, Sony Computer Entertainment Inc. , Mikami, S., Sony Computer Entertainment Inc. , Ishii, Makoto, Sony Computer Entertainment Inc. , Kinoshita, Y., Sony Computer Entertainment Inc. , Fujimoto, A., Sony Computer Entertainment Inc. , Takahashi, M., Sony Computer Entertainment Inc.
IPC分类号： G06F11/36
CPC分类号： G06F11/3632 , G06F11/3636 , G06F11/3644
摘要： A thread debugging device which can provide reliable debugging is provided when at least one thread is debugged among a plurality of threads which are executed in association with each other. According to the thread debugging device, a target computer 20 executes at least some processing of at least one target thread to be debugged among the plurality of threads, and further executes non-target threads, which are threads other than the at least one target thread among the plurality of threads, during execution of the at least one target thread while restricting access by the non-target threads to at least some hardware resources of the computer 20.
摘要翻译：当在彼此相关联地执行的多个线程中调试至少一个线程时，提供可提供可靠调试的线程调试装置。根据线程调试装置，目标计算机20对多个线程中要调试的至少一个目标线程进行至少一些处理，并进一步执行作为至少一个目标线程以外的线程的非目标线程在所述多个线程中，在所述至少一个目标线程的执行期间，同时将所述非目标线程的访问限制到所述计算机20的至少一些硬件资源。

7. 发明授权

EP0512007B1 CLUSTER ARCHITECTURE FOR A HIGHLY PARALLEL SCALAR/VECTOR MULTIPROCESSOR SYSTEM 失效
标题翻译：复合体结构的高度并行标量/向量多重处理器系统
公开(公告)号：EP0512007B1
公开(公告)日：1999-09-01
申请号：EP91902920.7
申请日：1990-12-27
申请人： CRAY RESEARCH, INC.
发明人： CHEN, Steve, S. , SIMMONS, Frederick, J. , SPIX, George, A. , WILSON, Jimmie, R. , MILLER, Edward, C. , ECKERT, Roger, E. , BEARD, Douglas, R.
IPC分类号： G06F13/18 , G06F15/16
CPC分类号： G06F9/30087 , G06F8/433 , G06F8/45 , G06F9/30021 , G06F9/3004 , G06F9/30094 , G06F9/3013 , G06F9/30138 , G06F9/30141 , G06F9/30149 , G06F9/3802 , G06F9/3804 , G06F9/3814 , G06F9/3816 , G06F9/3828 , G06F9/3834 , G06F9/3836 , G06F9/3838 , G06F9/3846 , G06F9/3855 , G06F9/3857 , G06F9/3875 , G06F9/3885 , G06F11/3632 , G06F15/17381 , G06F15/8076 , G06F15/8092
摘要： A cluster architecture for a highly parallel multiprocessor computer processing system (40) is comprised of one or more clusters of tightly-coupled, high-speed processors (10) capable of both vector and scalar parallel processing that can symmetrically access shared resources (12) associated with the cluster, as well as the shared resources associated with other clusters.

8. 发明公开

EP0512007A1 CLUSTER ARCHITECTURE FOR A HIGHLY PARALLEL SCALAR/VECTOR MULTIPROCESSOR SYSTEM 失效
标题翻译：复合体结构的高度并行标量/向量处理器多联系统。
公开(公告)号：EP0512007A1
公开(公告)日：1992-11-11
申请号：EP91902920.0
申请日：1990-12-27
申请人： SUPERCOMPUTER SYSTEMS LIMITED PARTNERSHIP
发明人： CHEN, Steve, S. , SIMMONS, Frederick, J. , SPIX, George, A. , WILSON, Jimmie, R. , MILLER, Edward, C. , ECKERT, Roger, E. , BEARD, Douglas, R.
IPC分类号： G06F12 , G06F9 , G06F11 , G06F15 , G06F17
CPC分类号： G06F9/30087 , G06F8/433 , G06F8/45 , G06F9/30021 , G06F9/3004 , G06F9/30094 , G06F9/3013 , G06F9/30138 , G06F9/30141 , G06F9/30149 , G06F9/3802 , G06F9/3804 , G06F9/3814 , G06F9/3816 , G06F9/3828 , G06F9/3834 , G06F9/3836 , G06F9/3838 , G06F9/3846 , G06F9/3855 , G06F9/3857 , G06F9/3875 , G06F9/3885 , G06F11/3632 , G06F15/17381 , G06F15/8076 , G06F15/8092
摘要： Une architecture en grappes pour un système (40) de traitement informatique multiprocesseur, hautement parallèle, comprend une ou plusieurs grappes de processeurs (10), étroitement couplées, rapides, capables d'un traitement parallèle à la fois vectoriel et scalaire, pouvant accéder symétriquement à des ressources partagées (12) associées à la grappe, ainsi qu'à des ressources partagées associées à d'autres grappes.

9. 发明公开

EP2962205A1 MEHRKERN-PROZESSORSYSTEM MIT FEHLERANALYSEFUNKTION 有权转让
标题翻译： WITH出错分析功能更多多核处理器系统
公开(公告)号：EP2962205A1
公开(公告)日：2016-01-06
申请号：EP13717466.0
申请日：2013-04-09
申请人： Siemens Aktiengesellschaft
发明人： GRAF, Rene
IPC分类号： G06F11/36
CPC分类号： G06F11/263 , G06F11/2242 , G06F11/3632
摘要： The invention relates to a method for operating a multi-core processor system (10), wherein different threads (26, 28, 30) of a program are each executed simultaneously by a different respective processor core (12, 14, 16) of the multi-core processor system (10). In a first of the threads (26), a breakpoint (32) is inserted, by means of which the first processor core (12) is interrupted and instead executes an exception handling routine (36). At least one processor core (14, 16) to be additionally interrupted is determined by means of the exception handling routine (36) on the basis of an association matrix (34), and an inter-processor interrupt (IPI) is sent to said processor core (14, 16) by means of the exception handling routine (36) in order to interrupt said processor core (14, 16).

10. 发明公开

EP2956862A1 CALL STACKS FOR ASYNCHRONOUS PROGRAMS 有权
标题翻译：呼叫堆栈的异步程序
公开(公告)号：EP2956862A1
公开(公告)日：2015-12-23
申请号：EP14707534.5
申请日：2014-02-10
申请人： Microsoft Technology Licensing, LLC
发明人： WISCHIK, Lucian , FEIVESON, Eric
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3624 , G06F9/4484 , G06F11/3632 , G06F11/3636
摘要： Embodiments provide call stacks for asynchronous programming. A set of all asynchronous call stacks is found by first identifying all threads and all outstanding tasks that have not yet been completed. Optionally, all outstanding continuation-delegates or lambdas that are in the windows queue waiting to be scheduled and/or all outstanding delegates or lambdas in a language-specific queue are also identified. Next, for each thread, identify whether it was invoked by a continuation-callback and, if so, find the corresponding task/promise. Next, given a task/promise, identify the logical parent task/promise. Optionally, given a delegate or lambda, identify its logical parent task/promise. The sequence of logical tasks/promises constitutes an asynchronous call stack in a program. Further information may optionally be retrieved to make the asynchronous call stack more useful. Finally, given a task/promise, identify the corresponding line number and location in source code.
摘要翻译：实施例提供用于异步编程的调用栈。通过首先识别所有线程和尚未完成的所有未完成任务，找到一组所有异步调用栈。可选地，还识别等待被调度的窗口队列中的所有未完成的继续委托或lambda表达式和/或特定于语言的队列中的所有未完成的委托或lambda表达式。接下来，对于每个线程，确定它是否被继续回调调用，如果是，则找到相应的任务/承诺。接下来，给定任务/承诺，确定逻辑父任务/承诺。可选地，给定一个委托或lambda，标识其逻辑父任务/承诺。逻辑任务/承诺的序列构成程序中的异步调用堆栈。可以选择性地检索更多信息，以使异步调用堆栈更加有用。最后，给定任务/承诺，在源代码中标识相应的行号和位置。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式