International Business Machines Corporation

Limelight Networks, Inc.

Ariel Jonatan Birnbaum

Chung-Lung K Shum

Jonathan T Hsieh

Ilia Averbouch

Khary J Alexander

Christian Jacobi

Avi Ziv

Rachel Tzoref-Brill

Itai Segall

Tomer Altman

Hemdat Cohen-Shraga

Erez Yaffe

Steven Mittermaier

Shmuel Paycher

Embodiments relate to collision-based alternate hashing. An aspect includes receiving an incoming instruction address. Another aspect includes determining whether an entry for the incoming instruction address exists in a history table based on a hash of the incoming instruction address. Another aspect includes based on determining that the entry for the incoming instruction address exists in the history table, determining whether the incoming instruction address matches an address tag in the determined entry. Another aspect includes based on determining that the incoming instruction address does not match the address tag in the determined entry, determining whether a collision exists for the incoming instruction address. Another aspect includes based on determining that the collision exists for the incoming instruction address, activating alternate hashing for the incoming instruction address using an alternate hash buffer.

Collision-based alternate hashing

Embodiments relate to prefetch address translation in a computer processor. An aspect includes issuing, by prefetch logic, a prefetch request comprising a virtual page address. Another aspect includes, based on the prefetch request missing the TLB and the address translation logic of the processor being busy performing a current translation request, comparing a page of the prefetch request to a page of the current translation request. Yet another aspect includes, based on the page of the prefetch request matching the page of the current translation request, storing the prefetch request in a prefetch buffer.

Prefetch address translation using prefetch buffer based on availability of address translation logic

Embodiments relate to automatic pattern-based operand prefetching. An aspect includes receiving, by prefetch logic in a processor, an operand cache miss from a pipeline of the processor. Another aspect includes determining that an entry in a history table corresponding to the operand cache miss exists based on an instruction address of the operand cache miss. Yet another aspect includes, based on determining that the entry corresponding to the operand cache miss exists in the history table, issuing a prefetch instruction for a second operand based on the determined entry in the history table, and writing the determined entry into a miss buffer.

Automatic pattern-based operand prefetching

Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.

Utilizing auxiliary variables in modeling test space for system behavior

A system and a method for accelerating delivery of a webpage by using a preloader file during a delay in fetching the web file are disclosed. When an end user makes a request through a client computer for a webpage, a Content Delivery Network (CDN) server sends the client a preloader file. The preloader file contains requests for resources that are likely to be part of the web file. The client downloads the resources, and the resources are saved in a browser cache. The preloader file also directs the client to request the webpage again. While the client is downloading the resources, the CDN server requests the web file from an origin server. The origin server composes the webpage and delivers the webpage to the CDN server. When the client makes a second request for the web file, the CDN server delivers the web file to the client. When the client renders the web file to display the webpage, the client can retrieve the resources from the browser cache.

Two-file preloading for browser-based web acceleration

Growing community of inventors

Kiryat Motzkin, Israel

Ariel Jonatan Birnbaum