Verification of a segmented program on a parallel processing computing system
    71.
    发明授权
    Verification of a segmented program on a parallel processing computing system 有权
    并行处理计算系统中分段程序的验证

    公开(公告)号:US08453237B2

    公开(公告)日:2013-05-28

    申请号:US12793076

    申请日:2010-06-03

    IPC分类号: G06F12/14

    摘要: Embodiments of the invention provide a method, apparatus, and program product to verify a program that includes a plurality of sections with a computing system that is configured to process a plurality of threads of execution. The method comprises verifying and executing a first section of the program utilizing a first thread of execution in response to activation of the program and determining a second section of the program to execute subsequent to the first section. The method further comprises verifying the second section utilizing a second thread of execution in parallel with the execution of the first section. Another embodiment of the invention provides a method of compiling program that includes program code by grouping the program code into sections based upon the execution time of the program code and based upon which program code is most commonly executed.

    摘要翻译: 本发明的实施例提供了一种方法,装置和程序产品,以验证包括多个部分的程序,其中计算系统被配置为处理多个执行线程。 该方法包括响应于程序的激活,利用第一执行线程来验证和执行程序的第一部分,并且确定在第一部分之后执行的程序的第二部分。 该方法还包括利用执行第二线程并行执行第一部分来验证第二部分。 本发明的另一个实施例提供了一种编译程序的方法,该方法包括程序代码,该程序代码通过基于程序代码的执行时间并基于最常执行的程序代码将程序代码分组成部分。

    Step granularity selection in a software debugger
    72.
    发明授权
    Step granularity selection in a software debugger 失效
    在软件调试器中进行粒度选择

    公开(公告)号:US08397218B2

    公开(公告)日:2013-03-12

    申请号:US12907168

    申请日:2010-10-19

    IPC分类号: G06F9/44

    CPC分类号: G06F11/362 G06F11/3656

    摘要: A debugger allows a programmer to select the granularity of a line step function. Using a debugger step statement, the programmer can specify line step, statement step, or automatic selection. When the user specifies line step in the debugger statement, the debugger functions in true line step mode, where a line of source code is executed for each step. When the user specifies statement step in the debugger statement, the debugger functions in statement step mode, where a statement is executed for each step. When the user specifies automatic selection in the debugger statement, the program is analyzed, and a decision regarding whether to use line step or statement step is made based on the characteristics of the program and based on user-specified selection criteria. In this manner the function of the debugger when line stepping can vary according to the programmer's needs.

    摘要翻译: 调试器允许程序员选择线阶功能的粒度。 使用调试器step语句,程序员可以指定行步,语句步或自动选择。 当用户在调试器语句中指定行步骤时,调试器以真线步进模式运行,其中每行执行一行源代码。 当用户在调试器语句中指定语句步骤时,调试器在语句步骤模式下运行,其中为每个步骤执行语句。 当用户在调试器语句中指定自动选择时,对程序进行分析,并根据程序的特征,并根据用户指定的选择标准,确定是否使用行步骤或语句步骤。 以这种方式,线程步进时调试器的功能可以根据程序员的需要而变化。

    Thermal-Aware Source Code Compilation
    73.
    发明申请
    Thermal-Aware Source Code Compilation 有权
    热感知源代码编译

    公开(公告)号:US20130047142A1

    公开(公告)日:2013-02-21

    申请号:US13210539

    申请日:2011-08-16

    IPC分类号: G06F9/45 G06F12/02 G06F9/44

    摘要: Thermal-aware source code compilation including: receiving, by a compiler, an identification of a target computing system, the identification of the target computing system specifying temperature sensors that measure temperature of a memory module; compiling the source code into an executable application including inserting in the executable application computer program instructions for thermal-aware execution, the computer program instructions, when executed on the target computing system, carry out the steps of: retrieving temperature measurements of one or more of the target computing system's temperature sensors; determining, in real-time in dependence upon the temperature measurements, whether a memory module is overheated; if a memory module is overheated, entering a thermal-aware execution state including, for each memory allocation in the executable application, allocating memory on a different memory module than the overheated memory module; and upon the temperature sensors indicating the memory module is no longer overheated, exiting the thermal-aware execution state.

    摘要翻译: 热感知源代码编译包括:由编译器接收目标计算系统的标识,指定测量存储器模块温度的温度传感器的目标计算系统的识别; 将源代码编译成可执行应用程序,包括在可执行应用程序中插入用于热感知执行的计算机程序指令,当在目标计算系统上执行时,计算机程序指令执行以下步骤:检索以下步骤中的一个或多个的温度测量: 目标计算机系统的温度传感器; 根据温度测量实时确定存储器模块是否过热; 如果存储器模块过热,则进入热感知执行状态,包括对于可执行应用程序中的每个存储器分配,在与过热存储器模块不同的存储器模块上分配存储器; 并且在指示存储器模块的温度传感器不再过热时,退出热敏感执行状态。

    Administering Thermal Distribution Among Memory Modules With Call Stack Frame Size Management
    74.
    发明申请
    Administering Thermal Distribution Among Memory Modules With Call Stack Frame Size Management 有权
    通过调用堆栈框架大小管理管理内存模块之间的热分配

    公开(公告)号:US20130046952A1

    公开(公告)日:2013-02-21

    申请号:US13210509

    申请日:2011-08-16

    IPC分类号: G06F12/02

    摘要: Administering thermal distribution among memory modules in a computing system that includes temperature sensors, where each temperature sensor measures temperature of a memory module and thermal distribution is effected by: determining, in real-time by a user-level application in dependence upon the temperature measurements of the temperature sensors, whether a memory module is overheated; if a memory module is overheated and if a current call stack frame is stored on the overheated memory module, increasing, by the user-level application, a size of the current call stack frame to fill remaining available memory space on the overheated memory module, ensuring a subsequent call stack frame is stored on a different memory module.

    摘要翻译: 在包括温度传感器的计算系统中管理存储器模块之间的热分配,其中每个温度传感器测量存储器模块的温度和热分布,其通过以下方式实现:由用户级应用根据温度测量值实时确定 的温度传感器,无论存储器模块是否过热; 如果存储器模块过热并且当前调用堆栈帧存储在过热存储器模块上,则由用户级应用增加当前调用堆栈帧的大小以填充过热存储器模块上的剩余可用存储器空间, 确保随后的调用堆栈帧存储在不同的存储器模块上。

    Resuming A Prior Debug Session
    75.
    发明申请
    Resuming A Prior Debug Session 失效
    恢复以前的调试会话

    公开(公告)号:US20130019228A1

    公开(公告)日:2013-01-17

    申请号:US13183716

    申请日:2011-07-15

    申请人: Cary L. Bates

    发明人: Cary L. Bates

    IPC分类号: G06F9/44

    摘要: Inserting, at debuggee source code lines, a breakpoint and executing. For each breakpoint encounter until exiting: encountering and removing the breakpoint, incrementing a first counter value, and resuming execution. Exiting includes saving the first counter value, a state of the call stack, and an exit location. In a second debug session, preparing the debuggee to resume from the exit location. Inserting, at the debuggee source code lines, a breakpoint and executing the debuggee. For each breakpoint encounter until a second counter value matches the first: encountering and removing the breakpoint, incrementing the second counter value, and resuming execution. When the first and second counter values match: inserting an exit location breakpoint at the exit location, executing the debuggee until encountering the exit location breakpoint, and providing the user control to resume debugging from the exit location only if the present state of the call stack matches the saved state.

    摘要翻译: 在debuggee源代码行插入一个断点并执行。 对于每个断点遇到直到退出:遇到和删除断点,增加第一个计数器值,并恢复执行。 退出包括保存第一计数器值,调用堆栈的状态和退出位置。 在第二个调试会话中,准备调试程序从退出位置恢复。 在debuggee源代码行插入断点并执行调试器。 对于每个断点遇到,直到第二个计数器值匹配第一个:遇到和删除断点,递增第二个计数器值,并恢复执行。 当第一和第二计数器值相匹配时:在退出位置处插入出口位置断点,执行调试器直到遇到出口位置断点,并且仅在调用堆栈的当前状态提供用户控制才能从退出位置恢复调试 匹配保存状态。

    Software Debugging With Execution Match Determinations
    76.
    发明申请
    Software Debugging With Execution Match Determinations 有权
    软件调试与执行匹配确定

    公开(公告)号:US20130007718A1

    公开(公告)日:2013-01-03

    申请号:US13170846

    申请日:2011-06-28

    申请人: Cary L. Bates

    发明人: Cary L. Bates

    IPC分类号: G06F9/44

    CPC分类号: G06F11/362 G06F9/445

    摘要: Software debugging including: inserting, by a compiler compiling source code into a debuggable program, a phantom breakpoint at one or more lines of source code; including in the program; executing the program including encountering phantom breakpoints and removing each encountered phantom breakpoint; creating, upon exiting execution, a copy of the program that includes only phantom breakpoints not encountered during execution; providing the copy to a debugger; identifying, by the debugger, source code lines of the copy that do not include a phantom breakpoint; inserting an executed phantom breakpoint at the identified lines of the copy; executing the copy of the debuggable program including removing encountered breakpoints; and, after exiting execution of the copy, determining whether execution of the copy matches the execution of the debuggable program including, determining that the executions do not match if any phantom breakpoints were removed from the copy or any executed phantom breakpoint remains in the copy.

    摘要翻译: 软件调试包括:由编译器将源代码编译成可调试程序,在一行或多行源代码插入幻象断点; 包括在程序中; 执行程序,包括遇到幻影断点和删除每个遇到的幻影断点; 在退出执行时创建仅包含执行期间未遇到的幻影断点的程序的副本; 将副本提供给调试器; 由调试器识别不包括幻影断点的副本的源代码行; 在所识别的文本行插入执行的幻影断点; 执行可调试程序的副本,包括删除遇到的断点; 并且在退出执行所述副本之后,确定所述副本的执行是否与所述可调试程序的执行相匹配,包括:如果从所述副本中删除任何幻影断点或者任何执行的幻像断点保留在所述副本中,则确定所述执行不匹配。

    User-Specific Software Debugging
    77.
    发明申请
    User-Specific Software Debugging 失效
    用户特定的软件调试

    公开(公告)号:US20120317552A1

    公开(公告)日:2012-12-13

    申请号:US13157443

    申请日:2011-06-10

    申请人: Cary L. Bates

    发明人: Cary L. Bates

    IPC分类号: G06F9/44

    CPC分类号: G06F11/3636

    摘要: User-specific software debugging with user-specific step commands that includes: receiving a command to step execution to a source code module associated with a user; identifying routines in a call stack associated with the user; inserting, for each identified routine, a breakpoint at each source code line of the routine; inserting, for each source code module associated with the user and not in the call stack, a breakpoint at an entry point of the source code module; and executing the debuggee until the debuggee encounters one of the inserted breakpoints thereby halting execution of the debuggee. User-specific debugging with user-specific DLL load processing modes including: receiving a selection of a user-specific DLL processing mode; upon loading a DLL, retrieving a user identification; determining whether the DLL is associated with the user; and processing the DLL in accordance with user-specific DLL processing mode only if the DLL is associated with the user.

    摘要翻译: 用户特定的软件调试,具有用户特定的步骤命令,其包括:接收到与用户相关联的源代码模块执行步骤的命令; 识别与用户相关联的呼叫堆栈中的例程; 为每个识别的例程插入在例程的每个源代码行的断点; 对于与用户相关联的每个源代码模块而不是在调用堆栈中插入在源代码模块的入口点处的断点; 并且执行调试器直到调试器遇到插入的断点之一,从而停止调试器的执行。 用户特定的调试,具有用户特定的DLL加载处理模式,包括:接收用户特定的DLL处理模式的选择; 加载DLL时,检索用户标识; 确定所述DLL是否与所述用户相关联; 并且仅在DLL与用户相关联时才根据用户特定的DLL处理模式处理DLL。

    Collaborative Software Debugging In A Distributed System With Execution Resumption On Consensus
    78.
    发明申请
    Collaborative Software Debugging In A Distributed System With Execution Resumption On Consensus 失效
    分布式系统中的协同软件调试与执行恢复协商一致

    公开(公告)号:US20120272217A1

    公开(公告)日:2012-10-25

    申请号:US13090503

    申请日:2011-04-20

    申请人: Cary L. Bates

    发明人: Cary L. Bates

    IPC分类号: G06F9/44

    CPC分类号: G06F11/362

    摘要: In a distributed system that includes a debug server and debug clients coupled for data communications, where the debug server includes a debug administrator, a message router, a back-end debugger, and a debuggee, collaborative software debugging includes receiving a number of application-level messages including a request to resume execution of the debuggee; routing the messages by the message router, providing distributed control of the back-end debugger to the debug clients, including: polling one or more debug clients for approval to resume execution of the debuggee and resuming execution of the debuggee only if a number of debug clients providing approval to resume execution of the debuggee exceeds a predefined threshold, and returning, by the debug server to the debug clients in response to the application-level messages routed to the back-end debugger, client-specific debug results.

    摘要翻译: 在包括调试服务器和耦合用于数据通信的调试客户端的分布式系统中,调试服务器包括调试管理员,消息路由器,后端调试器和调试器,协作软件调试包括接收多个应用程序 - 级别的消息,包括恢复执行调试器的请求; 通过消息路由器路由消息,向调试客户端提供后端调试器的分布式控制,包括:轮询一个或多个调试客户端,以便批准恢复调试器的执行,并且只有在调试数量多的情况下才恢复调试器的执行 提供批准恢复执行调试程序的客户端超过预定义的阈值,并且由调试服务器返回到调试客户端以响应路由到后端调试器的应用程序级消息,客户端特定的调试结果。

    Speech recognition system for providing voice recognition services using a conversational language model
    79.
    发明授权
    Speech recognition system for providing voice recognition services using a conversational language model 有权
    用于使用对话语言模型提供语音识别服务的语音识别系统

    公开(公告)号:US08265933B2

    公开(公告)日:2012-09-11

    申请号:US11316263

    申请日:2005-12-22

    IPC分类号: G10L21/00

    CPC分类号: G10L15/197 G10L15/183

    摘要: Embodiments of the present invention provide a method, system and article of manufacture for adjusting a language model within a voice recognition system, based on text received from an external application. The external application may supply text representing the words of one participant to a text-based conversation. In such a case, changes may be made to a language model by analyzing the external text received from the external application.

    摘要翻译: 本发明的实施例提供了一种基于从外部应用接收的文本来调整语音识别系统内的语言模型的方法,系统和制品。 外部应用程序可以将表示一个参与者的单词的文本提供给基于文本的对话。 在这种情况下,可以通过分析从外部应用程序接收到的外部文本来对语言模型进行更改。

    IDENTIFYING THREADS THAT ENCOUNTER AN INSTRUCTION AT WHICH ANOTHER THREAD IS HALTED
    80.
    发明申请
    IDENTIFYING THREADS THAT ENCOUNTER AN INSTRUCTION AT WHICH ANOTHER THREAD IS HALTED 审中-公开
    识别出其他线路被指示的指令的螺纹

    公开(公告)号:US20120159451A1

    公开(公告)日:2012-06-21

    申请号:US12969804

    申请日:2010-12-16

    申请人: Cary L. Bates

    发明人: Cary L. Bates

    IPC分类号: G06F9/44

    CPC分类号: G06F11/3664

    摘要: In an embodiment, execution of a first thread of a plurality of threads is halted at a first instruction. A subset of the plurality of threads is determined that execute the first instruction while the first thread is halted at the first instruction. Identifiers of the subset of the plurality of threads that execute the first instruction while the first thread is halted at the first instruction are presented via a user interface for the first thread.

    摘要翻译: 在一个实施例中,多个线程的第一线程的执行在第一指令处停止。 确定在第一指令停止第一线程时执行第一指令的多个线程的子集。 通过第一线程的用户界面来呈现在第一线程在第一指令处停止时执行第一指令的多个线程的子集的标识符。