comportamento da zero a virgola mobile nell'aritmetica mobile

Question

Mentre, per quanto mi ricordo, IEEE 754 non dice nulla su una modalità flush-to-zero per gestire denormalized numbers più veloce, alcune architetture offrono questa modalità (ad esempio http://docs.sun.com/source/806-3568/ncg_lib.html).

Nel caso specifico di questa documentazione tecnica, la gestione standard dei numeri denormalizzati è l'impostazione predefinita e il flush-to-zero deve essere attivato in modo esplicito. Nella modalità predefinita, i numeri denormalizzati vengono gestiti anche nel software, che è più lento.

Lavoro su un analizzatore statico per C incorporato che tenta di prevedere intervalli corretti (se talvolta imprecisi) per i valori che possono verificarsi in fase di esecuzione. Mira ad essere corretto perché è concepito per essere utilizzabile per escludere la possibilità che qualcosa vada storto durante l'esecuzione (ad esempio per codice incorporato critico). Ciò richiede di aver acquisito tutti i possibili comportamenti durante l'analisi e quindi tutti i possibili valori prodotti durante i calcoli in virgola mobile.

In questo contesto, la mia domanda è duplice: c'è

1. tra le architetture embedded, sono architetture che offrono solo filo a zero? Forse non avrebbero il diritto di farsi pubblicità come "IEEE 754", ma potrebbero offrire operazioni in virgola mobile in stile IEEE 754 abbastanza vicine.

2. Per le architetture che offrono sia, in un contesto incorporato, non è filo a zero probabilità di essere attivato dal sistema, al fine di rendere il tempo di reazione più prevedibile (un vincolo comune per questi sistemi integrati)?

Handling filo-to-zero nel aritmetica intervallo che uso per i valori in virgola mobile è abbastanza semplice se so che devo farlo, la mia domanda è più se devo farlo.

Answer 1

Sì a entrambe le domande. Ci sono piattaforme che supportano solo il flush-to-zero e ci sono molte piattaforme in cui il flush-to-zero è l'impostazione predefinita.

Si dovrebbe anche essere consapevoli del fatto che molte piattaforme embedded e dsp utilizzano una modalità "Denormali sono zero", che è un'altra ruga nella semantica in virgola mobile.

---

Modifica ulteriori spiegazioni FTZ vs DAZ:

In FTZ, quando un'operazione produrrebbe un risultato denormal sotto il solito aritmetica, viene restituito invece uno zero. Si noti che alcune implementazioni scorrono sempre allo zero positivo, mentre altre possono sciacquare allo zero positivo o negativo. Probabilmente è meglio non dipendere da nessuno dei due comportamenti.

In DAZ, quando un input per un'operazione è un denormale, uno zero viene sostituito al suo posto. Ancora una volta, non esiste una garanzia generale su quale zero verrà sostituito.

Alcune implementazioni che supportano queste modalità consentono di impostarle in modo indipendente (e alcune supportano solo una delle due), quindi potrebbe essere necessario essere in grado di modellare entrambe le modalità indipendentemente e contemporaneamente.

Si noti inoltre che alcune implementazioni combinano queste due modalità in "Flush to Zero". La modalità "flush to zero" di ARM VFP è ad esempio FTZ e DAZ.

Answer 2

I nuclei ARM Cortex hanno un'opzione da zero a zero, difficile vedere come è possibile ignorarlo. Poi di nuovo, non prendere consigli di business da un forum. Parla con i tuoi clienti.