An array boundary checking method is disclosed for providing hardware based
array boundary checking in a Java environment. During the first machine
cycle of a current array access command, an array reference value is
loaded into a system-data address controller and an array boundary
checker. Next, during the second machine cycle of the current array access
command, an array index value is written to the system-data address
controller and the array boundary checker. Also during the second machine
cycle of the current array access command, a maximum array index value is
read from the Java array and written to the array boundary checker. The
array boundary checker utilizes these values to determine the validity of
the current array access command. Finally, during the third machine cycle
an array value is accessed in memory. In the present invention the array
value is only accessed when the current array access command is valid.
Un contorno di allineamento che controlla il metodo è rilevato per fornire il contorno di allineamento basato fissaggi che controlla in un ambiente del Java. Durante il primo ciclo della macchina di un allineamento corrente accedi all'ordine, un valore di riferimento di allineamento è caricato in un regolatore di indirizzo di sistema-dati ed in un ispettore di contorno di allineamento. Dopo, durante il secondo ciclo della macchina dell'allineamento corrente accedi all'ordine, un valore di indice di allineamento è scritto al regolatore di indirizzo di sistema-dati ed all'ispettore di contorno di allineamento. Inoltre durante il secondo ciclo della macchina dell'ordine corrente di accesso di allineamento, un valore di indice massimo di allineamento è letto dall'allineamento del Java ed è scritto all'ispettore di contorno di allineamento. L'ispettore di contorno di allineamento utilizza questi valori per determinare la validità dell'ordine corrente di accesso di allineamento. Per concludere, durante la terza macchina cicli un valore di allineamento è raggiunto nella memoria. Nella presente invenzione il valore di allineamento è raggiunto soltanto quando l'ordine corrente di accesso di allineamento è valido.
