Esiste un uso pratico per un puntatore `volatile restrict`?

Question

posso vedere uso pratico per una variabile qualificata const volatile, come

const volatile uint64_t seconds_since_1970; 

se un meccanismo hardware sottostante aggiorna il valore ogni secondo, ma la variabile non è scrivibile (eventualmente incorporato) hardware. E poiché tutti e tre i qualificatori di tipo (quattro in C11) sono considerati indipendenti, sembra che tutte le combinazioni siano consentite. Ma io sono in perdita immaginare una situazione di vita reale in cui un restrict volatile puntatore qualificato avrebbe davvero senso:

uint32_t * restrict volatile pointer_to_some_uint32; 

[EDIT: Per chiarire: Sia volatile e restrict applicano al puntatore, non l'oggetto puntato a!]

Si tratta di un costrutto permesso dal linguaggio ma inutile da solo, o mi manca qualche area applicativa in cui questo può essere utile?

Answer 1

Senza restrizioni, un puntatore non volatile potrebbe aliasare un puntatore volatile. Pertanto, dopo ogni modifica di un oggetto attraverso il puntatore volatile, i valori registrati nella cache di tutti gli oggetti con riferimento a puntatore potenziale dello stesso tipo devono essere eliminati.

Con la restrizione, è possibile indicare al compilatore che il puntatore volatile non sarà alias, in modo che il sovraccarico di volatile si applichi solo all'oggetto puntato e non a tutti gli altri oggetti dello stesso tipo che potrebbero essere accessibili tramite puntatori.