Patents by Inventor Florian Weimer

Florian Weimer 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: 11340914
    Abstract: Run-time identification of dependencies during dynamic linking. A dynamic linker accesses contents of a first executable file that is to be executed. The dynamic linker, based on the contents of the first executable file, determines that the first executable file includes a first dynamic dependency function configured to be executed by the dynamic linker. The dynamic linker invokes the first dynamic dependency function of the first executable file. The dynamic linker receives, from the first dynamic dependency function, a first run-time dependency identifier that identifies a first run-time dependency, and adds the first run-time dependency identifier to a dependency identifier list.
    Type: Grant
    Filed: October 21, 2020
    Date of Patent: May 24, 2022
    Assignee: Red Hat, Inc.
    Inventor: Florian Weimer
  • Publication number: 20220121457
    Abstract: Run-time identification of dependencies during dynamic linking. A dynamic linker accesses contents of a first executable file that is to be executed. The dynamic linker, based on the contents of the first executable file, determines that the first executable file includes a first dynamic dependency function configured to be executed by the dynamic linker. The dynamic linker invokes the first dynamic dependency function of the first executable file. The dynamic linker receives, from the first dynamic dependency function, a first run-time dependency identifier that identifies a first run-time dependency, and adds the first run-time dependency identifier to a dependency identifier list.
    Type: Application
    Filed: October 21, 2020
    Publication date: April 21, 2022
    Inventor: Florian Weimer
  • Patent number: 10795679
    Abstract: Systems and methods for executing an augmented program instruction are described. An example method may include a central processing unit receiving an executable program instruction. The central processing unit determines that the executable program instruction is an augmented program instruction. The augmented program instruction may include operands that provide input for an operation to be performed and an additional operand specifying a validation permission value to be compared to a permission value associated with a page table entry referenced by the augmented program instruction. Upon determining that the validation permission value specified in the augmented program instruction matches the permission value associated with the page table entry referenced by the augmented program instruction, the central processing unit performing the operation specified by the augmented program instruction.
    Type: Grant
    Filed: June 7, 2018
    Date of Patent: October 6, 2020
    Assignee: Red Hat, Inc.
    Inventor: Florian Weimer
  • Publication number: 20190377574
    Abstract: Systems and methods for executing an augmented program instruction are described. An example method may include a central processing unit receiving an executable program instruction. The central processing unit determines that the executable program instruction is an augmented program instruction. The augmented program instruction may include operands that provide input for an operation to be performed and an additional operand specifying a validation permission value to be compared to a permission value associated with a page table entry referenced by the augmented program instruction. Upon determining that the validation permission value specified in the augmented program instruction matches the permission value associated with the page table entry referenced by the augmented program instruction, the central processing unit performing the operation specified by the augmented program instruction.
    Type: Application
    Filed: June 7, 2018
    Publication date: December 12, 2019
    Inventor: Florian Weimer
  • Patent number: 10496433
    Abstract: A method for modifying a context saving function is disclosed. The method identifies a context saving function within a code fragment. The method further modifies the context saving function to determine a size of a register save buffer, allocate the register save buffer using the determined size, and save a register value in the register save buffer.
    Type: Grant
    Filed: November 24, 2014
    Date of Patent: December 3, 2019
    Assignee: Red Hat, Inc.
    Inventor: Florian Weimer
  • Patent number: 10430680
    Abstract: A method is claimed for allocating processor/computing times of a processor or of a computing unit for a vehicle system of a vehicle. The vehicle system is in particular a driver assistance system. The vehicle system has at least two functions, in particular two functions of the driver assistance system, to which processor/computing times are allocated as a function of a signal that represents a state of the vehicle.
    Type: Grant
    Filed: September 13, 2017
    Date of Patent: October 1, 2019
    Assignee: Robert Bosch GmbH
    Inventors: Florian Weimer, Matthias Birk, Omar Alaa El-Din, Steffen Brueggert, Tobias Rentschler
  • Publication number: 20180075311
    Abstract: A method is claimed for allocating processor/computing times of a processor or of a computing unit for a vehicle system of a vehicle. The vehicle system is in particular a driver assistance system. The vehicle system has at least two functions, in particular two functions of the driver assistance system, to which processor/computing times are allocated as a function of a signal that represents a state of the vehicle.
    Type: Application
    Filed: September 13, 2017
    Publication date: March 15, 2018
    Inventors: Florian Weimer, Matthias Birk, Omar Alaa El-Din, Steffen Brueggert, Tobias Rentschler
  • Patent number: 9544278
    Abstract: A method relates to generating, by a processing device executing a DNS resolver, a first domain name system (DNS) query comprising a DNS request generated from an application executing on the processing device to query a first DNS server serving a first DNS zone connected to the processing device via a public network, receiving, from the first DNS server, a first resource record comprising a DNS answer to the DNS query, a second resource record comprising a digital signature generated by signing the DNS answer with a first private key of the first DNS zone, a third resource record comprising a first public key for verifying the digital signature, and one or more files for validating a chain of trust of the first public key, determining, by the processing device in view of the one or more files, that the chain of trust of the first public key misses at least one of a trust anchor or a link in the chain of trust, and generating a second DNS query comprising the DNS request to query a second DNS server residing
    Type: Grant
    Filed: January 7, 2015
    Date of Patent: January 10, 2017
    Assignee: Red Hat, Inc.
    Inventors: Tomas Hozza, Petr Spacek, Miloslav Trmac, Prasad J. Pandit, Pavel Simerda, Florian Weimer
  • Publication number: 20160197898
    Abstract: A method relates to generating, by a processing device executing a DNS resolver, a first domain name system (DNS) query comprising a DNS request generated from an application executing on the processing device to query a first DNS server serving a first DNS zone connected to the processing device via a public network, receiving, from the first DNS server, a first resource record comprising a DNS answer to the DNS query, a second resource record comprising a digital signature generated by signing the DNS answer with a first private key of the first DNS zone, a third resource record comprising a first public key for verifying the digital signature, and one or more files for validating a chain of trust of the first public key, determining, by the processing device in view of the one or more files, that the chain of trust of the first public key misses at least one of a trust anchor or a link in the chain of trust, and generating a second DNS query comprising the DNS request to query a second DNS server residing
    Type: Application
    Filed: January 7, 2015
    Publication date: July 7, 2016
    Inventors: Tomas Hozza, Petr Spacek, Miloslav Trmac, Prasad J. Pandit, Pavel Simerda, Florian Weimer
  • Publication number: 20160147559
    Abstract: A method for modifying a context saving function is disclosed. The method identifies a context saving function within a code fragment. The method further modifies the context saving function to determine a size of a register save buffer, allocate the register save buffer using the determined size, and save a register value in the register save buffer.
    Type: Application
    Filed: November 24, 2014
    Publication date: May 26, 2016
    Inventor: Florian Weimer
  • Patent number: 9189382
    Abstract: A system and method for storing a composite array including a reference array and one or more arraylets is provided. A set of contiguous memory locations for a reference array including one or more slots is allocated based on a quantity of bits in a binary representation of a logical array length. Each slot in the reference array corresponds to a position of a bit in the binary representation. For each bit corresponding to a slot that is determined to satisfy a condition, a set of contiguous memory locations is allocated for an arraylet, and a reference from the slot to the arraylet is provided. A largest arraylet having a greatest length of the allocated arraylets is identified, and a slice of adjacent data elements corresponding to a beginning of the logical array is placed into the largest arraylet.
    Type: Grant
    Filed: May 8, 2013
    Date of Patent: November 17, 2015
    Assignee: Red Hat, Inc.
    Inventor: Florian Weimer
  • Publication number: 20140337572
    Abstract: A system and method for storing a composite array including a reference array and one or more arraylets is provided. A set of contiguous memory locations for a reference array including one or more slots is allocated based on a quantity of bits in a binary representation of a logical array length. Each slot in the reference array corresponds to a position of a bit in the binary representation. For each bit corresponding to a slot that is determined to satisfy a condition, a set of contiguous memory locations is allocated for an arraylet, and a reference from the slot to the arraylet is provided. A largest arraylet having a greatest length of the allocated arraylets is identified, and a slice of adjacent data elements corresponding to a beginning of the logical array is placed into the largest arraylet.
    Type: Application
    Filed: May 8, 2013
    Publication date: November 13, 2014
    Inventor: Florian Weimer