公开(公告)号：JP2008165370A

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

申请号：JP2006352292

申请日：2006-12-27

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： MIYASHITA TAKASHI ,  TAI HIDEKI ,  HORII HIROSHI ,  TAKEUCHI MIKIO

IPC: G06F12/00 ,  G06F9/52

CPC classification number: G06F9/466 ,  G06F9/5038 ,  G06F2209/5017

Abstract: PROBLEM TO BE SOLVED: To provide a system allowing scalable execution of a transaction by dividing the transaction and executing in distributed environment.
SOLUTION: This system includes: a means dividing transaction processing into (optimistic) processing wherein contention is difficult to occur and (pessimistic) processing wherein the contention is easy to occur; a first server; and a second server. The first server has: a first transaction execution part executing the optimistic processing; and a transaction log transmission part for transmitting an execution result of the optimistic processing to the second server. The second server has: a transaction log reception part for receiving a transaction log; and a second transaction execution part executing the pessimistic processing.
COPYRIGHT: (C)2008,JPO&INPIT

Abstract translation: 要解决的问题：提供通过划分事务并在分布式环境中执行来允许事务可扩展执行的系统。 解决方案：该系统包括：将事务处理分解为（乐观）处理的手段，其中难以发生争用并且（悲观）处理，其中争用容易发生; 第一台服务器 和第二个服务器。 第一个服务器具有执行乐观处理的第一个事务执行部分; 以及用于将乐观处理的执行结果发送到第二服务器的事务日志发送部分。 第二服务器具有：用于接收事务日志的事务日志接收部分; 以及执行悲观处理的第二事务执行部。 版权所有（C）2008，JPO＆INPIT

公开(公告)号：JP2006185211A

公开(公告)日：2006-07-13

申请号：JP2004378560

申请日：2004-12-28

Applicant: IBM

Inventor： MIYASHITA TAKASHI ,  HORII HIROSHI ,  OZAWA YOSUKE ,  TAKEUCHI MIKIO

IPC: G06F9/44 ,  G06F11/28

Abstract: PROBLEM TO BE SOLVED: To allow execution of a black box test for even a system wherein correspondence of input/output is not uniquely determined, by allowing analysis of a causal relation (dependency relation) of a program in state units of objects to analyze a causal relation of input and output in the test. SOLUTION: This program analysis system includes a causal relation extraction part 10 and a text execution part 20. The causal relation extraction part 10 executes a target program step by step and acquires change histories of fields of objects and information of fields of objects causing the changes, in each step and extracts causal relations in state units of each object, and the text execution part 20 takes a prescribed object as a verification target and analyzes a causal relation to the object being the verification target, on the basis of inter-object causal relations extracted by the causal relation extraction part 10 and executes a test on the basis of an assertion of the test, which is set between the object being the verification target and an object being a cause. COPYRIGHT: (C)2006,JPO&NCIPI

公开(公告)号：JP2002366366A

公开(公告)日：2002-12-20

申请号：JP2001161364

申请日：2001-05-29

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーション

Inventor： KOSEKI SATOSHI ,  TAKEUCHI MIKIO ,  KOMATSU HIDEAKI

IPC: G06F9/42 ,  G06F9/45

CPC classification number: G06F8/447 ,  G06F8/441 ,  G06F8/443

Abstract: PROBLEM TO BE SOLVED: To suppress the occurrence of a stack overflow or a stack underflow to prevent the execution performance of a program from being degraded by them in program code generation for a processor which has an architecture using a register stack.
SOLUTION: A compiler 10 is provided with a register allocator 11 which allocates registers to instructions in a program as the compilation object and a code generator 12 which generates object codes on the basis of the result of register allocation by the register allocator 11. The register allocator 11 allocates logical registers to instruction in the program as the compilation object and allocates the logical registers allocated to instructions in the program to physical registers so that physical registers existing at the time of calling procedures in the program as the compilation object may be allocated in order from the bottom of the register stack.
COPYRIGHT: (C)2003,JPO

Abstract translation: 要解决的问题：为了抑制堆栈溢出或堆栈下溢的发生，以防止在具有使用寄存器堆栈的架构的处理器的程序代码生成中程序的执行性能降低。 解决方案：编译器10具有寄存器分配器11，其将寄存器分配给作为编译对象的程序中的指令;以及代码生成器12，其根据寄存器分配器11的寄存器分配结果生成对象代码。寄存器 分配器11将逻辑寄存器分配给程序中的指令作为编译对象，并将分配给程序中的指令的逻辑寄存器分配给物理寄存器，使得在作为编译对象的程序中调用过程时存在的物理寄存器可以被分配 从寄存器堆栈的底部开始。

公开(公告)号：JPH0934711A

公开(公告)日：1997-02-07

申请号：JP18377695

申请日：1995-07-20

Applicant: IBM

Inventor： NAKAMURA HIROAKI ,  ONODERA TAMIYA ,  TAKEUCHI MIKIO

IPC: G06F9/44 ,  G06F9/445 ,  G06F9/54

Abstract: PROBLEM TO BE SOLVED: To execute the start of a program at high speed by loading an object from the route object of plural objects into a main memory and removing the specified object from a load object. SOLUTION: When loading an object orientated program into the main memory, a CPU 1 generates a main memory managing list by loading the route object from an HDD 5 to a main memory 3. By referring to this list, it is discriminated whether the object to be loaded is an object to be accessed from only one other object or not. In this case, when the object is discriminated as the object to be accessed only from one other object, the object to be accessed from only one other object and the object to be accessed from the object to be accessed only from one other object are removed from the load object and the main memory managing list is updated.

公开(公告)号：JP2013140470A

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

申请号：JP2012000030

申请日：2012-01-04

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation

Inventor： TAKEUCHI MIKIO

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/51

Abstract: PROBLEM TO BE SOLVED: To provide a technique for achieving high speed and stable dispatch of a code resulted from a conversion from a code written in a programming language based on type reification into a code in a programming language employing type erasure.SOLUTION: The technique is implemented by a program having a function of adding a synthetic class having the same name as a suffix for name mangling of a normal method in a first programming language based on type reification, adding a dummy parameter of the type of the synthetic class to a constructor definition, and adding an appropriate value (normally, null) that matches the type of the dummy parameter to a constructor invocation in order to convert to a code in a second programming language employing type erasure.

Abstract translation: 要解决的问题：提供一种技术，用于实现从基于类型识别的编程语言中编写的代码的转换得到的代码的高速和稳定的分派到使用类型擦除的编程语言中的代码。解决方案：技术 通过具有将基于类型确定的第一编程语言中的与正常方法的名称调整相同名称的合成类添加的功能的程序来实现，将合成类的类型的虚拟参数添加到 构造函数定义，并将适合的值（通常为null）与伪参数的类型相匹配，以构造函数调用，以便转换为采用类型擦除的第二种编程语言的代码。

公开(公告)号：JP2010009489A

公开(公告)日：2010-01-14

申请号：JP2008170857

申请日：2008-06-30

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： KOYANAGI MITSUO ,  OZAWA YOSUKE ,  TAKEUCHI MIKIO ,  ABE MARI

IPC: G06F17/30 ,  G06Q10/00 ,  G06Q10/06 ,  G06Q50/00

Abstract: PROBLEM TO BE SOLVED: To provide a data processor, a workflow system, a data processing method, and a computer program, can function a materialized view as a self-maintainable view, without increasing a storage capacity, when retrieving or updating information as to a progress situation of process instance in a prescribed condition, using the materialized view including information as to an inquiry result to a database defined in advance. SOLUTION: A flow description code for constructing a workflow is obtained to be analyzed statically. Selection condition information as to an attribute of a selection condition for the process instance in each node is generated and stored in response to a static analytical result. The node not having the possibility of providing the selection condition is extracted based on the stored selection condition information, to delete information as to the inquiry result corresponding to the extracted node and a node transited after the node, from the materialized view. COPYRIGHT: (C)2010,JPO&INPIT

Abstract translation: 要解决的问题：为了提供数据处理器，工作流系统，数据处理方法和计算机程序，在检索或更新时可以将实体化视图作为自维护视图而不增加存储容量 关于在规定条件下的流程实例的进度情况的信息，使用包括关于预先定义的数据库的查询结果的信息的物化视图。

解决方案：获得用于构建工作流的流程描述代码进行静态分析。 根据静态分析结果生成并存储关于每个节点中的处理实例的选择条件的属性的选择条件信息。 基于存储的选择条件信息提取不具有提供选择条件的可能性的节点，从物化视图删除与提取的节点相对应的查询结果和节点之后转移的节点的信息。 版权所有（C）2010，JPO＆INPIT