利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

34 条记录 (耗时 0.022 秒)

    Bytecode program interpreter apparatus and method with pre-verification of data type restrictions and object initialization
    5.
    发明授权
    Bytecode program interpreter apparatus and method with pre-verification of data type restrictions and object initialization 有权
    字节码程序解释器设备和方法，具有数据类型限制和对象初始化的预验证

    公开(公告)号：US06477702B1

    公开(公告)日：2002-11-05

    申请号：US09711053

    申请日：2000-11-09

    申请人： Frank Yellin ,  James A. Gosling

    发明人： Frank Yellin ,  James A. Gosling

    IPC分类号： G06F945

    CPC分类号： G06F9/45508 ,  G06F9/44589 ,  G06F11/3612 ,  G06F21/51 ,  G06F21/52 ,  G06F21/566

    摘要： A program interpreter for computer programs written in a bytecode language, which uses a restricted set of data type specific bytecodes. The interpreter, prior to executing any bytecode program, executes a bytecode program verifier procedure that verifies the integrity of a specified program by identifying any bytecode instruction that would process data of the wrong type for such a bytecode and any bytecode instruction sequences in the specified program that would cause underflow or overflow of the operand stack. If the program verifier finds any instructions that violate predefined stack usage and data type usage restrictions, execution of the program by the interpreter is prevented. After pre-processing of the program by the verifier, if no program faults were found, the interpreter executes the program without performing operand stack overflow and underflow checks and without performing data type checks on operands stored in operand stack. As a result, program execution speed is greatly improved.

    摘要翻译： 用于以字节码语言编写的计算机程序的程序解释器，其使用受限制的数据类型特定字节码集合。 解释器在执行任何字节码程序之前，执行一个字节码程序验证程序，该程序验证程序通过识别任何字节码指令来验证指定程序的完整性，该字节码指令将处理这种字节码的错误类型的数据以及指定程序中的任何字节码指令序列 这将导致操作数堆栈的下溢或溢出。 如果程序验证者发现任何违反预定义堆栈使用和数据类型使用限制的指令，则可以防止解释程序执行该程序。 在验证者对程序进行预处理后，如果没有发现程序故障，解释器将执行程序，而不执行操作数堆栈溢出和下溢检查，而不对存储在操作数堆栈中的操作数执行数据类型检查。 结果，程序执行速度大大提高。

    Dynamic generation of information using servlet object
    6.
    发明授权
    Dynamic generation of information using servlet object 有权
    使用servlet对象动态生成信息

    公开(公告)号：US06405241B2

    公开(公告)日：2002-06-11

    申请号：US09792712

    申请日：2001-02-16

    申请人： James A. Gosling ,  Pavani Diwanji ,  David W. Connelly

    发明人： James A. Gosling ,  Pavani Diwanji ,  David W. Connelly

    IPC分类号： G06F1516

    CPC分类号： G06F9/4843 ,  G06F9/445 ,  G06F9/465 ,  G06F9/54

    摘要： A method and apparatus for operating a local server computer of a client-server network includes a technique to receive a request from a client computer of the client-server network. A determination is made whether the request requires dynamically generated information from a servlet object of the client-server network. If so, a specified servlet object corresponding to the request may be uploaded from a remote server computer of the client-server network. The specified servlet object is then executed to obtain dynamically generated information corresponding to the request.

    摘要翻译： 用于操作客户机 - 服务器网络的本地服务器计算机的方法和装置包括从客户机 - 服务器网络的客户端计算机接收请求的技术。 确定请求是否需要来自客户机 - 服务器网络的servlet对象的动态生成的信息。 如果是，则可以从客户机 - 服务器网络的远程服务器计算机上传与请求对应的指定的servlet对象。 然后执行指定的servlet对象以获得与请求对应的动态生成的信息。

    Compiler system and method for resolving symbolic references to externally located program files
    8.
    发明授权
    Compiler system and method for resolving symbolic references to externally located program files 失效
    用于解析对外部程序文件的符号引用的编译器系统和方法

    公开(公告)号：US5778231A

    公开(公告)日：1998-07-07

    申请号：US575356

    申请日：1995-12-20

    申请人： Arthur A. van Hoff ,  James A. Gosling ,  Frank Yellin

    发明人： Arthur A. van Hoff ,  James A. Gosling ,  Frank Yellin

    IPC分类号： G06F9/45

    CPC分类号： G06F8/54 ,  G06F8/423

    摘要： A program compiler identifies each symbol in a source program that references another program. For each identified symbol, the compiler determines whether the symbol is a reference to a remotely located file or to a locally stored file. If the identified symbol is a reference to a remotely located file, it constructs a file location identifier, such as a URL, for the identified symbol, performs a file location identifier based fetch of the remotely locate file, and ads at least a portion of the fetched file to a set of program code to be compiled if the fetch is successfully performed. If the identified symbol is a reference to a locally stored file, it performs a file fetch for the locally stored file, adding at least a portion of the fetched file to the set of program code to be compiled if the file fetch is successfully performed. If the fetch is unsuccessful, compilation of the source program is aborted. When a client computer attempts to initiate execution of a specified program, the program executed determines a source update date associated with a source program associated with the specified program and also determines if a compiled version of the source program is present on the client computer. If a compiled version of the source program is present, the program executer determines a last compile date for the compiled version and compares the last compile date with the last source update date. If a compiled version of the source program does not exist on the client computer or if the source update date is later than the last compile date, the source program is automatically compiled to generate a new compiled version.

    摘要翻译： 程序编译器识别引用另一个程序的源程序中的每个符号。 对于每个识别的符号，编译器确定符号是否是对远程位置文件或本地存储的文件的引用。 如果所识别的符号是对远程位置的文件的引用，则其构建用于所识别的符号的文件位置标识符（例如URL），执行基于文件位置标识符的远程定位文件的获取，并且将至少一部分 将获取的文件提交给一组要被编译的程序代码，如果fetch被成功执行。 如果所识别的符号是对本地存储的文件的引用，则对本地存储的文件执行文件获取，如果文件获取被成功执行，则将至少一部分获取的文件添加到要编译的程序代码集中。 如果提取不成功，则源程序的编译将中止。 当客户端计算机尝试启动指定程序的执行时，执行的程序确定与与指定程序相关联的源程序相关联的源更新日期，并且还确定源程序的编译版本是否存在于客户端计算机上。 如果存在源程序的编译版本，程序执行程序将确定编译版本的最后编译日期，并将上一个编译日期与最后一个源更新日期进行比较。 如果源程序的编译版本不存在于客户端计算机上，或者源更新日期晚于上一个编译日期，则源程序将自动编译以生成新的编译版本。

    Apparatus and method for processing servlets
    9.
    发明授权
    Apparatus and method for processing servlets 有权
    处理小服务器的设备和方法

    公开(公告)号：US07171446B2

    公开(公告)日：2007-01-30

    申请号：US10157734

    申请日：2002-05-28

    申请人： James A. Gosling ,  Pavani Diwanji ,  David W. Connelly

    发明人： James A. Gosling ,  Pavani Diwanji ,  David W. Connelly

    IPC分类号： G05F15/16

    CPC分类号： G06F9/4843 ,  G06F9/445 ,  G06F9/465 ,  G06F9/54

    摘要： A method and apparatus for operating a local server computer of a client-server network includes a technique to receive a request from a client computer of the client-server network. A determination is made whether the request requires dynamically generated information from a servlet object of the client-server network. If so, a specified servlet object corresponding to the request may be uploaded from a remote server computer of the client-server network. The specified servlet object is then executed to obtain dynamically generated information corresponding to the request.

    摘要翻译： 用于操作客户机 - 服务器网络的本地服务器计算机的方法和装置包括从客户机 - 服务器网络的客户端计算机接收请求的技术。 确定请求是否需要来自客户机 - 服务器网络的servlet对象的动态生成的信息。 如果是，则可以从客户机 - 服务器网络的远程服务器计算机上传与请求对应的指定的servlet对象。 然后执行指定的servlet对象以获得与请求对应的动态生成的信息。

    System for dynamically loading object viewer from client or server
    10.
    发明授权
    System for dynamically loading object viewer from client or server 有权
    用于从客户端或服务器动态加载对象查看器的系统

    公开(公告)号：US6052732A

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

    申请号：US156576

    申请日：1998-09-18

    申请人： James A. Gosling

    发明人： James A. Gosling

    IPC分类号： G06F9/44 ,  G06F9/445 ,  G06F9/45 ,  G06F9/455 ,  G06F9/46 ,  G06F13/00 ,  G06F9/24

    CPC分类号： G06F9/44526 ,  G06F8/60 ,  G06F8/61 ,  G06F9/445 ,  G06F9/44589 ,  G06F9/45508 ,  G06F9/465 ,  G06F9/54

    摘要： A class loader downloads objects and object viewers from remote computer nodes, and invokes locally stored object viewers to view objects. When a user selects an object to view, a conventional downloading of the referenced object is initiated. The class loader, however, utilizes data type information received at the beginning of the object downloading process to determine if a viewer for the referenced object is available on the user's workstation. If an appropriate view is not locally available, the class loader automatically locates an appropriate viewer on the server from which the object is being downloaded, or from any other appropriate server known to the user's workstation. The class loader downloads the located viewer and then invokes a program verification procedure to verify the integrity of the downloaded viewer before the viewer is executed. Once a viewer has been verified, the viewer is added to the user's local viewer library, downloading of the referenced object is completed, and execution of the viewer to view the downloaded object is enabled. If an appropriate viewer cannot be located, or the only viewer located does not pass the verification procedure, downloading of the referenced object is aborted.

    摘要翻译： 类加载器从远程计算机节点下载对象和对象查看器，并调用本地存储的对象查看器来查看对象。 当用户选择要查看的对象时，启动引用对象的常规下载。 然而，类加载器利用在对象下载处理开始时接收的数据类型信息来确定用户工作站上所引用对象的查看器是否可用。 如果适当的视图不是本地可用的，则类加载器将自动在要从其下载对象的服务器上或从用户工作站已知的任何其他适当的服务器上查找适当的查看器。 类加载器下载定位的查看器，然后调用程序验证过程以在查看器执行之前验证下载的查看器的完整性。 一旦查看器被验证，查看器被添加到用户的本地查看器库中，完成对所引用对象的下载，并且启用观看者以查看下载的对象的执行。 如果不能找到适当的查看器，或者唯一的查看器未通过验证过程，则引用的对象的下载将被中止。