Qualunque forma di calcolo il cui risultato non è garantito essere corretto. Si mitiga il consumo di energia andando a bilanciare efficienza ed accuratezza dei risultati, per applicazioni che possono tollerare imprecisioni.

EnerJ

Framework che estende Java con qualificatori di tipo per dichiarare dati che possono essere soggetti ad approssimazioni.

• Il Compilatore:

  • mappa variabili approssimate su storage a basso voltaggio.
  • usa operazioni a basso consumo sulle variabili approssimate. ****
  • utilizza algoritmi efficienti su tali variabili.

• Si è rilevato una riduzione del consumo dell’hw del 10-15%.

• Sicuro: il programmatore dichiara il flusso da dati imprecisi a precisi, autorizzando tramite endorsement espliciti.

• Generale: unifica la memoria approssimata, calcolo approssimato e algoritmi approssimati.

• Si utilizza l’overloading per implementare operazioni approssimate.

  • Ossia si possono creare funzioni con lo stesso nome, ma firma diversa ed eventualmente anche output diverso.

• Annotazioni di tipo:

  

  • Di default un dato è preciso.
  • Non si può passare un dato approssimato ad un dato dichiarato come preciso. Si può passare un dato preciso ad una variabile approssimata.
  • P è sottotipo di A.
  • Si introduce anche il qualificatore @Top come supertipo comune di P e A.

• Endorsement: operazione esplicita che rende lecito l’assegnamento di un valore approssimato ad un valore preciso.

• Le guardie If e While richiedono valori precisi o valori approssimati con endorsement.
• @Context: qualifica la precisione dei campi non statici in base alla precisione dell'istanza della classe.
• Array: si possono avere valori approssimati solo all’interno delle celle. Lunghezza ed indici devono essere precisi.

Sintassi

Subtyping

• $q <:_q q'$: $q'$ è supertipo di $q$
• top è il supertipo comune sia a approx che precise.
• Qualunque classificatore diverso da top è inferiore a lost.
• La relazione è riflessiva.