Funzioni di tempo (Guida Utente di GNU Awk)

I programmi awk sono frequentemente usati per elaborare file di registro [file con estensione .log], che contengono l’informazione sulla data e l’ora (marcatura temporale) in cui un particolare record è stato registrato sul log. Molti programmi registrano questa informazione nel formato restituito dalla chiamata di sistema time(), la quale misura il numero di secondi trascorsi a partire da una certa data iniziale (Epoca). Nei sistemi aderenti allo standard POSIX, questo è il numero di secondi a partire dal primo gennaio 1970, ora di Greenwich (1970-01-01 00:00:00 UTC), senza includere i secondi intercalari.⁵⁴ Tutti i sistemi noti aderenti allo standard POSIX gestiscono le marcature temporali da 0 fino a 2³¹ - 1, il che è sufficiente per rappresentare date e ore fino a inizio 2038 (2038-01-19 03:14:07 UTC). Molti sistemi supportano una maggiore estensione di date, compresi dei valori negativi per rappresentare delle date anteriori all’Epoca.

Per facilitare l’elaborazione di tali file di registro, e per produrre dei rapporti utili, gawk prevede le seguenti funzioni per lavorare con le marcature temporali. Si tratta di estensioni gawk; non sono previste nello standard POSIX.⁵⁵ Tuttavia, anche versioni recenti di mawk (vedi la sezione Altre implementazioni di awk liberamente disponibili) prevedono queste funzioni. I parametri opzionali sono racchiusi tra parentesi quadre ([ ]):

La funzione systime() consente di confrontare una marcatura temporale in un file di registro con la data e ora correnti. In particolare, è facile determinare quanto tempo prima un particolare record è stato registrato. È anche possibile produrre record di registro usando il formato “secondi a partire dall’Epoca”.

La funzione mktime() consente di convertire una rappresentazione in forma testuale di una data e ora in una marcatura temporale. Questo semplifica i confronti prima/dopo tra differenti date e ore, in particolare quando si abbia a che fare con date e ore provenienti da una fonte esterna, come un file di registro.

La funzione strftime() permette di trasformare facilmente una marcatura temporale in un’informazione intelligibile. È analoga come tipo alla funzione sprintf() (vedi la sezione Funzioni di manipolazione di stringhe), nel senso che copia letteralmente ciò che non è una specifica di formato nella stringa che viene restituita, mentre sostituisce i valori di data e ora a seconda delle specifiche di formato contenute nella stringa formato.

Per strftime() lo standard 1999 ISO C⁵⁷ consente le seguenti specifiche di formattazione delle date:

Se uno specificatore di conversione non è tra quelli elencati sopra, il comportamento è indefinito.⁵⁹

Per sistemi che non aderiscono completamente agli standard gawk utilizza una copia di strftime() dalla libreria C di GNU. Sono disponibili tutte le specifiche di formato sopra elencate. Se la detta versione è usata per compilare gawk (vedi la sezione Installare gawk), sono disponibili anche le seguenti ulteriori specifiche di formato:

In aggiunta a ciò, le notazioni alternative sono riconosciute, ma al loro posto sono usate quelle normali.

Il seguente esempio è un’implementazione awk del programma di utilità POSIX date. Normalmente, il programma di utilità date stampa la data e l’ora corrente nel formato ben noto. Tuttavia, se si specifica al comando un argomento che inizia con un ‘+’, date copia i caratteri che non sono specifiche di formato nello standard output e interpreta l’ora corrente secondo gli specificatori di formato contenuti nella stringa. Per esempio:

Ecco la versione gawk del programma di utilità date. È all’interno di uno script di shell per gestire l’opzione -u, che richiede che date sia eseguito come se il fuso orario fosse impostato a UTC:

#! /bin/sh
#
# date --- simula il comando POSIX 'date'

case $1 in
-u)  TZ=UTC0     # usare UTC
     export TZ
     shift ;;
esac

gawk 'BEGIN  {
    formato = PROCINFO["strftime"]
    codice_di_ritorno = 0

    if (ARGC > 2)
        codice_di_ritorno = 1
    else if (ARGC == 2) {
        formato = ARGV[1]
        if (formato ~ /^\+/)
            formato = substr(formato, 2)   # togli il + iniziale
    }
    print strftime(formato)
    exit codice_di_ritorno
}' "$@"

Note a piè di pagina

(54)

Vedi la sezione Glossario, in particolare le voci “Epoca” e “UTC.”

(55)

Il comando di utilità GNU date può fare anche molte delle cose qui descritte. Può essere preferibile usarlo per semplici operazioni relative a data e ora in semplici script della shell.

(56)

Occasionalmente ci sono dei minuti in un anno con un secondo intercalare, il che spiega perché i secondi possono arrivare fino a 60.

(57)

Sfortunatamente, non tutte le funzioni strftime() dei vari sistemi operativi ammettono tutte le conversioni qui elencate.

(58)

Se questo risulta incomprensibile, non è il caso di preoccuparsi; queste notazioni hanno lo scopo di facilitare la “internazionalizzazione” dei programmi. Altre funzionalità di internazionalizzazione sono descritte in Internazionalizzazione con gawk.

(59)

Questo è perché ISO C lascia indefinito il comportamento della versione C di strftime() e gawk usa la versione di sistema di strftime(), se disponibile. Tipicamente, lo specificatore di conversione "non previsto" non appare nella stringa risultante, o appare così come è scritto.

9.1.5 Funzioni per gestire marcature temporali