公开(公告)号：US08250553B2

公开(公告)日：2012-08-21

申请号：US11690978

申请日：2007-03-26

申请人： Wolfgang Gellerich

发明人： Wolfgang Gellerich

IPC分类号： G06F11/36

CPC分类号： G06F11/3604

摘要： A method for detecting problems caused by access to incompletely initialized data storage in assembler programs includes generating an internal representation of control flow of the source code of the assembler program including nodes for every statement found in the source code and a directed edge for every possible flow of control between the nodes. The method also includes: attributing data attributes to the nodes and/or the edges, wherein the data attributes are used to store the information how many bits within the data storage can be guaranteed to be initialized; applying a data-flow analysis method to the internal representation of the control flow of the source code for determining how many bits of the data storage can be guaranteed to be initialized; checking for each node whether the instruction reads more bits than are guaranteed to be initialized; and generating one or more error messages responsive to the problem.

摘要翻译： 用于检测在汇编程序中访问不完全初始化的数据存储引起的问题的方法包括生成汇编程序的源代码的控制流的内部表示，该程序的源代码包括在源代码中发现的每个语句的节点，以及针对每个可能的流程的有向边 的节点之间的控制。 该方法还包括：将数据属性归因于节点和/或边缘，其中数据属性用于存储信息，可以保证数据存储内的多少比特被初始化; 将数据流分析方法应用于源代码的控制流的内部表示，用于确定可以保证数据存储的多少比特被初始化; 检查每个节点指令是否读取比保证被初始化的位数更多的位; 以及响应于该问题生成一个或多个错误消息。

公开(公告)号：US20100306848A1

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

申请号：US12599157

申请日：2008-03-04

申请人： Wolfgang Gellerich

发明人： Wolfgang Gellerich

IPC分类号： G06F21/00 ,  G06F12/14

CPC分类号： G06F21/53 ,  G06F21/575 ,  G06F21/64 ,  G06F21/78 ,  G06F2221/2105

摘要： The present invention relates to the field of computer technology, and relates in particular to a method and system to prevent computer programs and data of any kind stored in a computer system from being manipulated and in particular for preventing hacker attacks and virus infection in computer systems, wherein said computer system comprises a storage means able to be read from and to be written to, and a means for switching said storage means into a write-protected mode. In order to provide improved prevention, the following steps are proposed, either during boot or during an installation process of an application program:comprising the steps of: a) prompting a user to perform a switching allowing temporarily writing to a write-protectable storage area (32), wherein a respective physical write-protection mechanism (34, 36) comprises a switching means (36) which is exclusively operable from outside of the operating system of said computer system, b) storing (520, 620) security-relevant information into said write-protectable storage area (32), c) prompting a user to perform a manual switching to restrict writing to said write-protectable storage area (32), thus resulting in generating a write-protected storage area (32), d) restricting any write access to said write protected storage area (32) in response to said manual switching during further runtime of said computer system.

摘要翻译： 本发明涉及计算机技术领域，特别涉及一种防止存储在计算机系统中的计算机程序和数据被操纵的方法和系统，特别是用于防止计算机系统中的黑客攻击和病毒感染 ，其中所述计算机系统包括能够被读取并被写入的存储装置和用于将所述存储装置切换到写保护模式的装置。 为了提供改进的预防，提出在启动期间或在应用程序的安装过程期间的以下步骤：包括以下步骤：a）提示用户执行切换，允许临时写入到可写保护的存储区域 （32），其中相应的物理写保护机制（34,36）包括可从所述计算机系统的操作系统的外部专门操作的切换装置（36），b）存储（520,620）安全相关 信息输入到所述可写保护存储区域（32）中，c）提示用户执行手动切换以限制对所述可写保护存储区域（32）的写入，从而产生写保护存储区域（32）， d）响应于在所述计算机系统的进一步运行期间的所述手动切换，限制对所述写保护存储区域（32）的任何写访问。

公开(公告)号：US09218038B2

公开(公告)日：2015-12-22

申请号：US13424845

申请日：2012-03-20

申请人： Wolfgang Gellerich ,  Holger Smolinski

发明人： Wolfgang Gellerich ,  Holger Smolinski

IPC分类号： G06F1/32 ,  G06F1/26 ,  G06F1/18

CPC分类号： G06F1/3203 ,  G06F1/189 ,  G06F1/26 ,  G06F1/32

摘要： Management of energy consumption within a computing environment. Energy consumption of different hardware components are measured in the computing environment. Measurement includes voltage and current versus time used by the hardware components. The different measured values of energy consumption are collected, followed by tracking the hardware component used in time during an execution of an individual execution context within the computing environment. The energy consumption of the individual execution context is calculated by associating the corresponding collected measured energy consumption to the hardware component used.

摘要翻译： 在计算环境中管理能源消耗。 在计算环境中测量不同硬件组件的能耗。 测量包括硬件组件使用的电压和电流与时间的关系。 收集能量消耗的不同测量值，随后在计算环境中执行单个执行上下文期间跟踪在时间中使用的硬件组件。 通过将相应的收集的测量能量消耗与所使用的硬件组件相关联来计算单独执行上下文的能量消耗。

公开(公告)号：US20130096901A1

公开(公告)日：2013-04-18

申请号：US13271472

申请日：2011-10-12

申请人： Wolfgang Gellerich ,  Guenter Mayer ,  Chung-Lung K. Shum ,  Kai Weber

发明人： Wolfgang Gellerich ,  Guenter Mayer ,  Chung-Lung K. Shum ,  Kai Weber

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： A mechanism is provided for verifying design modifications to a simulation design unit included within a simulation model of an integrated electronic device. A modified description is received of a simulation design unit that failed to meet an expected physical property value during an initial simulation of the entire integrated electronic device. A simulation of the simulation design unit is executed using a list of identified input signals from a trace file. The trace file is generated during the initial simulation and indicates state values for the list of identified input signals. A determination is made as to whether the simulation of the simulation design unit fails to meet the expected physical property value. An indication is generated that modifications made to an initial description of the simulation design unit are successful in response to the simulation of the simulation design unit meeting the expected physical property value.

摘要翻译： 提供了用于验证对包括在集成电子设备的仿真模型内的模拟设计单元的设计修改的机制。 接收到在整个集成电子设备的初始模拟期间不能满足预期物理属性值的模拟设计单元的修改的描述。 使用来自跟踪文件的已识别输入信号的列表来执行仿真设计单元的模拟。 跟踪文件在初始仿真期间生成，并指示已识别输入信号列表的状态值。 确定模拟设计单元的仿真是否不能满足预期的物理属性值。 产生对模拟设计单元的初始描述进行的修改成功响应于满足预期物理属性值的模拟设计单元的模拟的指示。

公开(公告)号：US20090307707A1

公开(公告)日：2009-12-10

申请号：US12135616

申请日：2008-06-09

申请人： Wolfgang Gellerich ,  Martin Schwidefsky ,  Holger Smolinski

发明人： Wolfgang Gellerich ,  Martin Schwidefsky ,  Holger Smolinski

IPC分类号： G06F9/52

CPC分类号： G06F9/526

摘要： A system and associated method for mutually exclusively executing a critical section by a process in a computer system. The critical section accessing a shared resource is controlled by a lock. The method measures a detection time when a lock contention is detected, a wait time representing a duration of wait for the lock at each failed attempt to acquire the lock, and a delay representing a total lapse of time from the detection time till the lock is acquired. The delay is logged and used to calculate an average delay, which is compared with a suspension overhead time of the computer system on which the method is executed to determine whether to spin or to suspend the process while waiting for the lock to be released.

摘要翻译： 一种用于通过计算机系统中的过程互相排除执行关键部分的系统和相关联的方法。 访问共享资源的关键部分由锁来控制。 该方法测量检测到锁争用时的检测时间，表示在每次失败的尝试获取锁时等待锁的持续时间的等待时间，以及表示从检测时间到锁定的总时间的延迟 获得了 记录延迟并用于计算平均延迟，该延迟与执行该方法的计算机系统的暂停开销时间进行比较，以确定是否在等待释放锁时旋转或暂停进程。

公开(公告)号：US20120216178A1

公开(公告)日：2012-08-23

申请号：US13458408

申请日：2012-04-27

申请人： Wolfgang Gellerich ,  Andreas Krebbel

发明人： Wolfgang Gellerich ,  Andreas Krebbel

IPC分类号： G06F9/45

CPC分类号： G06F8/37

摘要： A method of generating an executable that operates as a compiler includes: receiving a unified input description containing syntax rules for both regular and context-free expressions and interspersed code; generating a common internal representation from the unified input description; checking regular expressions in the common internal representation; checking context-free expressions in the common representation; checking the interspersed code; and outputting the executable.

摘要翻译： 生成作为编译器操作的可执行程序的方法包括：接收包含常规和上下文无关表达式和散置代码的语法规则的统一输入描述; 从统一的输入描述生成共同的内部表示; 检查公共内部表示中的正则表达式; 检查共同表现中的上下文无关表达式; 检查散置的代码; 并输出可执行文件。

公开(公告)号：US08245211B2

公开(公告)日：2012-08-14

申请号：US12130094

申请日：2008-05-30

申请人： Wolfgang Gellerich

发明人： Wolfgang Gellerich

IPC分类号： G06F11/36

CPC分类号： G06F11/366

摘要： The present invention provides a system and method for detecting problems caused by access to incompletely initialized data storage in assembler and high-level language programs. An internal representation of the control flow of the source code of the assembler program is generated and a data-flow analysis method is applied to the internal representation.

摘要翻译： 本发明提供一种用于检测在汇编程序和高级语言程序中访问不完全初始化的数据存储所引起的问题的系统和方法。 生成汇编程序的源代码的控制流的内部表示，并将数据流分析方法应用于内部表示。

公开(公告)号：US20090320028A1

公开(公告)日：2009-12-24

申请号：US12141269

申请日：2008-06-18

申请人： Wolfgang Gellerich ,  Martin Schwidefsky ,  Holger Smolinski

发明人： Wolfgang Gellerich ,  Martin Schwidefsky ,  Holger Smolinski

IPC分类号： G06F9/46

CPC分类号： G06F9/526

摘要： A system and associated method for mutually exclusively executing a critical section by a process in a computer system. The critical section accessing a shared resource is controlled by a lock. The method measures a detection time when a lock contention is detected, a wait time representing a duration of wait for the lock at each failed attempt to acquire the lock, and a delay representing a total lapse of time from the detection time till the lock is acquired. The delay is logged and used to calculate an average delay, which is compared with a suspension overhead time of the computer system to determine whether to spin or to suspend the process while waiting for the lock to be released. The number of processes waiting for the lock and the number of processes suspended are respectively counted to optimize the method.

摘要翻译： 一种用于通过计算机系统中的过程互相排除执行关键部分的系统和相关联的方法。 访问共享资源的关键部分由锁来控制。 该方法测量检测到锁争用时的检测时间，表示在每次失败的尝试获取锁时等待锁的持续时间的等待时间，以及表示从检测时间到锁定的总时间的延迟 获得了 记录延迟并用于计算平均延迟，该延迟与计算机系统的暂停开销时间进行比较，以确定是否在等待释放锁时旋转或暂停进程。 分别计数等待锁的进程数和挂起的进程数，以优化方法。

公开(公告)号：US20080028262A1

公开(公告)日：2008-01-31

申请号：US11690978

申请日：2007-03-26

申请人： Wolfgang Gellerich

发明人： Wolfgang Gellerich

IPC分类号： G06F11/00

CPC分类号： G06F11/3604

摘要： The present invention provides a system and method for detecting problems caused by access to incompletely initialized data storage in assembler programs comprising:a) Generating an internal representation of control flow of the source code of the assembler program by using standard techniques of compiler constructions, wherein said internal representation contains nodes for every statement found in said source code and a directed edge for every possible flow of control between said nodes,b) Attributing data attributes to said nodes and/or said edges, wherein said data attributes are used to store the information how many bits within the data storage can be guaranteed to be initialized,c) applying a data-flow analysis method to said internal representation of the control flow of the source code for determining how many bits of the data storage can be guaranteed to be initialized.

摘要翻译： 本发明提供了一种系统和方法，用于检测在汇编程序中访问不完全初始化的数据存储所引起的问题，包括：a）使用编译器构造的标准技术生成汇编程序的源代码的控制流的内部表示，其中 所述内部表示包含在所述源代码中发现的每个语句的节点，以及用于所述节点之间的每个可能的控制流的有向边，b）将数据属性归因于所述节点和/或所述边缘，其中所述数据属性用于存储 信息可以保证数据存储器内有多少比特被初始化，c）将数据流分析方法应用于源代码的控制流的内部表示，以确定可以保证数据存储的位数为多少 初始化

公开(公告)号：US09038036B2

公开(公告)日：2015-05-19

申请号：US13458408

申请日：2012-04-27

申请人： Wolfgang Gellerich ,  Andreas Krebbel

发明人： Wolfgang Gellerich ,  Andreas Krebbel

IPC分类号： G06F9/45 ,  G06F9/44

CPC分类号： G06F8/37

摘要： A method of generating an executable that operates as a compiler includes: receiving a unified input description containing syntax rules for both regular and context-free expressions and interspersed code; generating a common internal representation from the unified input description; checking regular expressions in the common internal representation; checking context-free expressions in the common representation; checking the interspersed code; and outputting the executable.

摘要翻译： 生成作为编译器操作的可执行程序的方法包括：接收包含常规和上下文无关表达式和散置代码的语法规则的统一输入描述; 从统一的输入描述生成共同的内部表示; 检查公共内部表示中的正则表达式; 检查共同表现中的上下文无关表达式; 检查散置的代码; 并输出可执行文件。