Patents by Inventor Robert F. Cmelik

Robert F. Cmelik has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 8719544
    Abstract: A method of responding to an attempt to write a memory address including a target instruction which has been translated to a host instruction for execution by a host processor including the steps of marking a memory address including a target instruction which has been translated to a host instruction, detecting a memory address which has been marked when an attempt is made to write to the memory address, and responding to the detection of a memory address which has been marked by protecting a target instruction at the memory address until it has been assured that translations associated with the memory address will not be utilized before being updated.
    Type: Grant
    Filed: September 23, 2011
    Date of Patent: May 6, 2014
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm J. Wing
  • Publication number: 20120110306
    Abstract: A method of responding to an attempt to write a memory address including a target instruction which has been translated to a host instruction for execution by a host processor including the steps of marking a memory address including a target instruction which has been translated to a host instruction, detecting a memory address which has been marked when an attempt is made to write to the memory address, and responding to the detection of a memory address which has been marked by protecting a target instruction at the memory address until it has been assured that translations associated with the memory address will not be utilized before being updated.
    Type: Application
    Filed: September 23, 2011
    Publication date: May 3, 2012
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm J. Wing
  • Patent number: 8055877
    Abstract: A method of responding to an attempt to write a memory address including a target instruction which has been translated to a host instruction for execution by a host processor including the steps of marking a memory address including a target instruction which has been translated to a host instruction, detecting a memory address which has been marked when an attempt is made to write to the memory address, and responding to the detection of a memory address which has been marked by protecting a target instruction at the memory address until it has been assured that translations associated with the memory address will not be utilized before being updated.
    Type: Grant
    Filed: October 11, 2005
    Date of Patent: November 8, 2011
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm J. Wing
  • Patent number: 7840788
    Abstract: A process which automatically inserts commands that test for and raise exceptions indicating floating point status exceptions into a sequence of instructions to be executed, re-ordering a pipelined instructions by moving a floating point instruction from after a branch instruction to before the branch instruction, and responds to exceptions in execution of the sequence of instructions by returning execution to a point in the sequence of instructions at which correct state is known and then executing each instruction in the sequence singly to completion so that exceptions in pipelined floating point instructions can be automatically-detected and handled precisely.
    Type: Grant
    Filed: February 26, 2008
    Date of Patent: November 23, 2010
    Inventors: Guillermo J. Rozas, David Dunn, Robert F. Cmelik
  • Patent number: 7840776
    Abstract: A method of responding to an attempt to write a memory address including a target instruction which has been translated to a host instruction for execution by a host processor including the steps of marking a memory address including a target instruction which has been translated to a host instruction, detecting a memory address which has been marked when an attempt is made to write to the memory address, and responding to the detection of a memory address which has been marked by protecting a target instruction at the memory address until it has been assured that translations associated with the memory address will not be utilized before being updated.
    Type: Grant
    Filed: October 30, 2000
    Date of Patent: November 23, 2010
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm J. Wing
  • Publication number: 20100205413
    Abstract: A method of responding to an attempt to write a memory address including a target instruction which has been translated to a host instruction for execution by a host processor including the steps of marking a memory address including a target instruction which has been translated to a host instruction, detecting a memory address which has been marked when an attempt is made to write to the memory address, and responding to the detection of a memory address which has been marked by protecting a target instruction at the memory address until it has been assured that translations associated with the memory address will not be utilized before being updated.
    Type: Application
    Filed: April 16, 2010
    Publication date: August 12, 2010
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm J. Wing
  • Patent number: 7716452
    Abstract: A method of responding to an attempt to write a memory address including a target instruction which has been translated to a host instruction for execution by a host processor including the steps of marking a memory address including a target instruction which has been translated to a host instruction, detecting a memory address which has been marked when an attempt is made to write to the memory address, and responding to the detection of a memory address which has been marked by protecting a target instruction at the memory address until it has been assured that translations associated with the memory address will not be utilized before being updated.
    Type: Grant
    Filed: May 13, 2003
    Date of Patent: May 11, 2010
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm J. Wing
  • Patent number: 6199152
    Abstract: A method of responding to an attempt to write a memory address including a target instruction which has been translated to a host instruction for execution by a host processor including the steps of marking a memory address including a target instruction which has been translated to a host instruction, detecting a memory address which has been marked when an attempt is made to write to the memory address, and responding to the detection of a memory address which has been marked by protecting a target instruction at the memory address until it has been assured that translations associated with the memory address will not be utilized before being updated.
    Type: Grant
    Filed: August 22, 1996
    Date of Patent: March 6, 2001
    Assignee: Transmeta Corporation
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm J. Wing
  • Patent number: 6031992
    Abstract: A microprocessor for a host computer designed to execute target application programs for a target computer having a target instruction set including the combination of code morphing software, and morph host processing hardware designed to execute instructions of a host instruction set, the combination of the code morphing software and the morph host processing hardware comprising means to translate a set of target instructions into instructions of a host instruction set, means to optimize the instructions of the host instruction set translated from the target application program speculating upon the occurrence of a condition, means to determine under control of the code morphing software official state of the target computer which existed at the beginning of a translation of a set of target instructions during execution of the target application program by the microprocessor, means for updating state of the target computer from state of the host computer when a set of host instructions executes in accordance
    Type: Grant
    Filed: July 5, 1996
    Date of Patent: February 29, 2000
    Assignee: Transmeta Corporation
    Inventors: Robert F. Cmelik, David R. Ditzel, Edmund J. Kelly, Colin B. Hunter, Douglas A. Laird, Malcolm John Wing, Grzegorz B. Zyner
  • Patent number: 5832205
    Abstract: A memory controller for a microprocessor including apparatus to both detect a failure of speculation on the nature of the memory being addressed, and apparatus to recover from such failures.
    Type: Grant
    Filed: August 20, 1996
    Date of Patent: November 3, 1998
    Assignee: Transmeta Corporation
    Inventors: Edmund J. Kelly, Robert F. Cmelik, Malcolm John Wing