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: 11340914Abstract: 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: GrantFiled: October 21, 2020Date of Patent: May 24, 2022Assignee: Red Hat, Inc.Inventor: Florian Weimer
-
Publication number: 20220121457Abstract: 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: ApplicationFiled: October 21, 2020Publication date: April 21, 2022Inventor: Florian Weimer
-
Patent number: 10795679Abstract: 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: GrantFiled: June 7, 2018Date of Patent: October 6, 2020Assignee: Red Hat, Inc.Inventor: Florian Weimer
-
Publication number: 20190377574Abstract: 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: ApplicationFiled: June 7, 2018Publication date: December 12, 2019Inventor: Florian Weimer
-
Patent number: 10496433Abstract: 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: GrantFiled: November 24, 2014Date of Patent: December 3, 2019Assignee: Red Hat, Inc.Inventor: Florian Weimer
-
Patent number: 10430680Abstract: 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: GrantFiled: September 13, 2017Date of Patent: October 1, 2019Assignee: Robert Bosch GmbHInventors: Florian Weimer, Matthias Birk, Omar Alaa El-Din, Steffen Brueggert, Tobias Rentschler
-
Publication number: 20180075311Abstract: 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: ApplicationFiled: September 13, 2017Publication date: March 15, 2018Inventors: Florian Weimer, Matthias Birk, Omar Alaa El-Din, Steffen Brueggert, Tobias Rentschler
-
Patent number: 9544278Abstract: 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 residingType: GrantFiled: January 7, 2015Date of Patent: January 10, 2017Assignee: Red Hat, Inc.Inventors: Tomas Hozza, Petr Spacek, Miloslav Trmac, Prasad J. Pandit, Pavel Simerda, Florian Weimer
-
Publication number: 20160197898Abstract: 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 residingType: ApplicationFiled: January 7, 2015Publication date: July 7, 2016Inventors: Tomas Hozza, Petr Spacek, Miloslav Trmac, Prasad J. Pandit, Pavel Simerda, Florian Weimer
-
Publication number: 20160147559Abstract: 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: ApplicationFiled: November 24, 2014Publication date: May 26, 2016Inventor: Florian Weimer
-
Patent number: 9189382Abstract: 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: GrantFiled: May 8, 2013Date of Patent: November 17, 2015Assignee: Red Hat, Inc.Inventor: Florian Weimer
-
Publication number: 20140337572Abstract: 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: ApplicationFiled: May 8, 2013Publication date: November 13, 2014Inventor: Florian Weimer