公开(公告)号：US20100318504A1

公开(公告)日：2010-12-16

申请号：US12861431

申请日：2010-08-23

申请人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

发明人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

IPC分类号： G06F17/30

CPC分类号： G06F9/526 ,  G06F17/30362

摘要： An embodiment relates to a method of managing primitives. The method includes providing a data structure available in user-space where the data structure comprises at least one futex. The method also includes detecting a termination of the process and searching the data structure for status of the at least one futex. The method further includes releasing the at least one futex in response to status of the at least one futex being held and setting a flag for at least one futex. The method further includes notifying at least one process waiting for the released at least one futex.

摘要翻译： 一个实施例涉及一种管理图元的方法。 该方法包括提供在用户空间中可用的数据结构，其中数据结构包括至少一个futex。 该方法还包括检测过程的终止并且搜索数据结构以获得至少一个futex的状态。 该方法还包括响应于所保持的至少一个期货的状态释放至少一个期货，并为至少一个期货设定一个标志。 该方法还包括通知至少一个进程等待所发布的至少一个futex。

公开(公告)号：US08682914B2

公开(公告)日：2014-03-25

申请号：US13335325

申请日：2011-12-22

申请人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

发明人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

IPC分类号： G06F17/00 ,  G06F17/30

CPC分类号： G06F9/526 ,  G06F17/30362

摘要： Systems and methods of managing primitives are disclosed. A data structure that is stored in user space is registered, wherein the data structure tracks a user controllable mutual exclusion primitive that is acquired by a process running in the user space, and wherein the user controllable mutual exclusion primitive serves as a lock on a resource provided by a computer system. A termination of the process is detected, wherein the process maintains the lock on the resource after termination and the data structure is searched to identify the user controllable mutual exclusion primitive that is acquired by the process that terminated. The user controllable mutual exclusion primitive is released if the user controllable mutual exclusion primitive is identified as being acquired by the process.

摘要翻译： 公开了管理原语的系统和方法。 登录存储在用户空间中的数据结构，其中数据结构跟踪由在用户空间中运行的进程获取的用户可控互斥原语，并且其中用户可控互斥原语用作资源上的锁 由计算机系统提供。 检测到该过程的终止，其中该过程在终止之后保持资源上的锁定，并且搜索数据结构以识别由终止的进程获取的用户可控互斥原语。 如果用户可控制的互斥原语被识别为被该过程所获取，则用户可控互斥原语被释放。

公开(公告)号：US20120096017A1

公开(公告)日：2012-04-19

申请号：US13335325

申请日：2011-12-22

申请人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

发明人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

IPC分类号： G06F17/30

CPC分类号： G06F9/526 ,  G06F17/30362

摘要： Systems and methods of managing primitives are disclosed. A data structure that is stored in user space is registered, wherein the data structure tracks a user controllable mutual exclusion primitive that is acquired by a process running in the user space, and wherein the user controllable mutual exclusion primitive serves as a lock on a resource provided by a computer system. A termination of the process is detected, wherein the process maintains the lock on the resource after termination and the data structure is searched to identify the user controllable mutual exclusion primitive that is acquired by the process that terminated. The user controllable mutual exclusion primitive is released if the user controllable mutual exclusion primitive is identified as being acquired by the process.

摘要翻译： 公开了管理原语的系统和方法。 登录存储在用户空间中的数据结构，其中数据结构跟踪由在用户空间中运行的进程获取的用户可控互斥原语，并且其中用户可控互斥原语用作资源上的锁 由计算机系统提供。 检测到该过程的终止，其中该过程在终止之后保持资源上的锁定，并且搜索数据结构以识别由终止的进程获取的用户可控互斥原语。 如果用户可控制的互斥原语被识别为被该过程所获取，则用户可控互斥原语被释放。

公开(公告)号：US08095550B2

公开(公告)日：2012-01-10

申请号：US12861431

申请日：2010-08-23

申请人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

发明人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

IPC分类号： G06F17/00

CPC分类号： G06F9/526 ,  G06F17/30362

摘要： An embodiment relates to a method of managing primitives. The method includes providing a data structure available in user-space where the data structure comprises at least one futex. The method also includes detecting a termination of the process and searching the data structure for status of the at least one futex. The method further includes releasing the at least one futex in response to status of the at least one futex being held and setting a flag for at least one futex. The method further includes notifying at least one process waiting for the released at least one futex.

摘要翻译： 一个实施例涉及一种管理图元的方法。 该方法包括提供在用户空间中可用的数据结构，其中数据结构包括至少一个futex。 该方法还包括检测过程的终止并且搜索数据结构以获得至少一个futex的状态。 该方法还包括响应于所保持的至少一个期货的状态释放至少一个期货，并为至少一个期货设定一个标志。 该方法还包括通知至少一个进程等待所发布的至少一个futex。

公开(公告)号：US07783649B2

公开(公告)日：2010-08-24

申请号：US11670095

申请日：2007-02-01

申请人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

发明人： Ingo Molnar ,  Thomas Gleixner ,  Ulrich Drepper

IPC分类号： G06F7/00

CPC分类号： G06F9/526 ,  G06F17/30362

摘要： An embodiment relates to a method of managing primitives. The method includes providing a data structure available in user-space where the data structure comprises at least one futex. The method also includes detecting a termination of the process and searching the data structure for status of the at least one futex. The method further includes releasing the at least one futex in response to status of the at least one futex being held and setting a flag for at least one futex. The method further includes notifying at least one process waiting for the released at least one futex.

摘要翻译： 一个实施例涉及一种管理图元的方法。 该方法包括提供在用户空间中可用的数据结构，其中数据结构包括至少一个futex。 该方法还包括检测过程的终止并且搜索数据结构以获得至少一个futex的状态。 该方法还包括响应于所保持的至少一个期货的状态释放至少一个期货，并为至少一个期货设定一个标志。 该方法还包括通知至少一个进程等待所发布的至少一个futex。

公开(公告)号：US20080189282A1

公开(公告)日：2008-08-07

申请号：US11670095

申请日：2007-02-01

申请人： Ingo Molnar ,  Thomas Glelxner ,  Ulrich Drepper

发明人： Ingo Molnar ,  Thomas Glelxner ,  Ulrich Drepper

IPC分类号： G06F17/30

CPC分类号： G06F9/526 ,  G06F17/30362

摘要： An embodiment relates to a method of managing primitives. The method includes providing a data structure available in user-space where the data structure comprises at least one futex. The method also includes detecting a termination of the process and searching the data structure for status of the at least one futex. The method further includes releasing the at least one futex in response to status of the at least one futex being held and setting a flag for at least one futex. The method further includes notifying at least one process waiting for the released at least one futex.

摘要翻译： 一个实施例涉及一种管理图元的方法。 该方法包括提供在用户空间中可用的数据结构，其中数据结构包括至少一个futex。 该方法还包括检测过程的终止并且搜索数据结构以获得至少一个futex的状态。 该方法还包括响应于所保持的至少一个期货的状态释放至少一个期货，并为至少一个期货设定一个标志。 该方法还包括通知至少一个进程等待所发布的至少一个futex。

公开(公告)号：US09063783B2

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

申请号：US12276864

申请日：2008-11-24

申请人： Ulrich Drepper

发明人： Ulrich Drepper

IPC分类号： G06F9/50

CPC分类号： G06F9/5011 ,  G06F2209/503

摘要： Methods and systems for managing program-level parallelism in a multi-core processor environment are provided. The methods for managing parallel execution of processes associated with computer programs include providing an agent process in an application space, which is operatively coupled to an operating system having a kernel configured to determine processor configuration information. The application space may be a runtime environment or a user space of the operating system, and has a lower privilege level than the kernel. The agent process retrieves the processor configuration information from the kernel, and after receiving a request for the processor configuration information from application processes running in the application space, the agent process provides a response to the requesting application process. The agent process may also generate resource availability data based on the processor configuration information, and the application processes may initiate a thread based on the resource availability data.

摘要翻译： 提供了在多核处理器环境中管理程序级并行性的方法和系统。 用于管理与计算机程序相关联的进程的并行执行的方法包括在应用空间中提供代理进程，所述应用程序空间可操作地耦合到具有被配置为确定处理器配置信息的内核的操作系统。 应用程序空间可以是操作系统的运行时环境或用户空间，并且具有比内核更低的权限级别。 代理进程从内核检索处理器配置信息，并且在从应用程序空间中运行的应用进程接收到处理器配置信息的请求后，代理进程向请求应用程序提供响应。 代理进程还可以基于处理器配置信息生成资源可用性数据，并且应用进程可以基于资源可用性数据来发起线程。

公开(公告)号：US07937692B2

公开(公告)日：2011-05-03

申请号：US11289404

申请日：2005-11-30

申请人： Ulrich Drepper

发明人： Ulrich Drepper

IPC分类号： G06F9/45

CPC分类号： G06F8/71 ,  G06F8/75

摘要： Embodiments of the present invention provide systems and methods for the static analysis of entire systems of software. Source code for at least some of the software system is received. An functional representation of the source code is generated from when the source code is compiled and references to other software are identified. The functional representations of the other software is retrieved from an archive and an abstract representation of the entire software system is built. A static analysis is then performed against the abstract representation of the entire system and results are provided. The software system or one or more of its components may be certified based on the static analysis results.

摘要翻译： 本发明的实施例提供了用于静态分析整个软件系统的系统和方法。 收到至少部分软件系统的源代码。 源代码的功能表示是从编译源代码和识别对其他软件的引用生成的。 从存档中检索其他软件的功能表示，并构建整个软件系统的抽象表示。 然后针对整个系统的抽象表示执行静态分析，并提供结果。 软件系统或其一个或多个组件可以基于静态分析结果进行认证。

公开(公告)号：US20080127154A1

公开(公告)日：2008-05-29

申请号：US11563919

申请日：2006-11-28

申请人： Ulrich Drepper

发明人： Ulrich Drepper

IPC分类号： G06F9/44

CPC分类号： G06F9/45525 ,  G06F8/443

摘要： An embodiment relates generally to a method of optimization in a run-time execution environment. The method includes providing for a plurality of symbol tables, each symbol table associated with a respective object, the plurality of objects being linked to create a runtime version of a program. The method also includes searching through a selected symbol table of the plurality of symbol tables and determining a symbol type of an entry in the selected symbol table. The method further includes executing a callback function in response to the symbol type being an special symbol table entry and returning the address of an optimized function for the entry in the selected symbol table.

摘要翻译： 实施例一般涉及运行时执行环境中的优化方法。 该方法包括提供多个符号表，与相应对象相关联的每个符号表，多个对象被链接以创建程序的运行时版本。 该方法还包括搜索多个符号表中的所选符号表并确定所选符号表中的条目的符号类型。 所述方法还包括响应于所述符号类型是特殊符号表条目执行回调函数，并返回所选择的符号表中所述条目的优化函数的地址。

公开(公告)号：US20070169024A1

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

申请号：US11289406

申请日：2005-11-30

申请人： Ulrich Drepper

发明人： Ulrich Drepper

IPC分类号： G06F9/45

CPC分类号： G06F9/45508

摘要： Embodiments of the present invention provide an architecture for securely and efficiently executing byte code generated from a general programming language. In particular, a computer system is divided into a hierarchy comprising multiple types of virtual machines. A thin layer of software, known as a virtual machine monitor, virtualizes the hardware of the computer system and emulates the hardware of the computer system to form a first type of virtual machine. This first type of virtual machine implements a virtual operating domain that allows running its own operating system. Within a virtual operating domain, a byte code interpreter may further implement a second type of virtual machine that executes byte code generated from a program written in a general purpose programming language. The byte code interpreter is incorporated into the operating system running in the virtual operating domain. The byte code interpreter implementing the virtual machine that executes byte code may be divided into a kernel component and one or more user level components. The kernel component of the virtual machine is integrated into the operating system kernel. The user level component provides support for execution of an applet and couples the applet to the operating system. In addition, an operating system running in a virtual operating domain may be configured as a special purpose operating system that is optimized for the functions of a particular byte code interpreter.

摘要翻译： 本发明的实施例提供了一种用于安全且有效地执行从一般编程语言生成的字节码的架构。 特别地，计算机系统被分成包括多种类型的虚拟机的层次结构。 称为虚拟机监视器的薄层软件虚拟化计算机系统的硬件，并模拟计算机系统的硬件，形成第一种类型的虚拟机。 这种第一种类型的虚拟机实现了一个允许运行自己的操作系统的虚拟操作域。 在虚拟操作域内，字节代码解释器可以进一步实现执行从以通用编程语言编写的程序生成的字节代码的第二类型的虚拟机。 字节码解释器被并入到在虚拟操作域中运行的操作系统中。 实现执行字节代码的虚拟机的字节码解释器可以被分成内核组件和一个或多个用户级组件。 虚拟机的内核组件集成到操作系统内核中。 用户级组件为执行小程序提供支持，并将该小程序耦合到操作系统。 此外，在虚拟操作域中运行的操作系统可以被配置为针对特定字节代码解释器的功能进行了优化的专用操作系统。