/* Chrysalide - Outil d'analyse de fichiers binaires
 * gwidthtracker.c - suivi des largeurs associées à un ensemble de lignes
 *
 * Copyright (C) 2016-2017 Cyrille Bagard
 *
 *  This file is part of Chrysalide.
 *
 *  Chrysalide is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  Chrysalide is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with Chrysalide.  If not, see <http://www.gnu.org/licenses/>.
 */


#include "gwidthtracker.h"


#include <assert.h>
#include <malloc.h>
#include <stdlib.h>
#include <string.h>


#include <i18n.h>


#include "delayed-int.h"
#include "gbuffercache.h"
#include "../core/global.h"
#include "../core/nproc.h"



/* --------------------------- PRISE DE MESURES INITIALES --------------------------- */


/* Procédure de mise à jour des mesures de largeurs (instance) */
typedef struct _GWidthUpdate
{
    GDelayedWork parent;                    /* A laisser en premier        */

    activity_id_t id;                       /* Groupe de progression       */

    GWidthTracker *tracker;                 /* Gestionnaire à manipuler    */

    size_t start;                           /* Premier indice à traiter    */
    size_t end;                             /* Premier indice à écarter    */

    line_width_summary summary;             /* Largeurs requises suivies   */

} GWidthUpdate;

/* Procédure de mise à jour des mesures de largeurs (classe) */
typedef struct _GWidthUpdateClass
{
    GDelayedWorkClass parent;               /* A laisser en premier        */

} GWidthUpdateClass;


#define G_TYPE_WIDTH_UPDATE            g_width_update_get_type()
#define G_WIDTH_UPDATE(obj)            (G_TYPE_CHECK_INSTANCE_CAST((obj), G_TYPE_WIDTH_UPDATE, GWidthUpdate))
#define G_IS_WIDTH_UPDATE(obj)         (G_TYPE_CHECK_INSTANCE_TYPE((obj), G_TYPE_WIDTH_UPDATE))
#define G_WIDTH_UPDATE_CLASS(klass)    (G_TYPE_CHECK_CLASS_CAST((klass), G_TYPE_WIDTH_UPDATE, GWidthUpdateClass))
#define G_IS_WIDTH_UPDATE_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass), G_TYPE_WIDTH_UPDATE))
#define G_WIDTH_UPDATE_GET_CLASS(obj)  (G_TYPE_INSTANCE_GET_CLASS((obj), G_TYPE_WIDTH_UPDATE, GWidthUpdateClass))


/* Initialise la classe des tâches de mesures de largeurs. */
static void g_width_update_class_init(GWidthUpdateClass *);

/* Initialise une tâche de mesures de largeurs. */
static void g_width_update_init(GWidthUpdate *);

/* Supprime toutes les références externes. */
static void g_width_update_dispose(GWidthUpdate *);

/* Procède à la libération totale de la mémoire. */
static void g_width_update_finalize(GWidthUpdate *);

/* Indique le type défini pour les tâches de mesures de largeurs. */
GType g_width_update_get_type(void);

/* Crée une tâche de mesures de largeurs. */
static GWidthUpdate *g_width_update_new(activity_id_t, GWidthTracker *, size_t, size_t);

/* Assure les mesures initiales d'un ensemble de lignes. */
static void g_width_update_process(GWidthUpdate *, GtkStatusStack *);

/* Récupère les données obtenues lors d'une mesure globale. */
static void g_width_update_collect(GWidthUpdate *, line_width_summary *);



/* ---------------------------- RASSEMBLEMENT DE MESURES ---------------------------- */


/* Portions de largeurs communes */
typedef struct _common_metrics
{
    size_t first;                           /* Premier indice de portion   */
    size_t last;                            /* Dernier indice de portion   */

    line_width_summary summary;             /* Compilation de largeurs     */
    bool cached;                            /* Mise en cache des calculs   */

} common_metrics;


/* Gestionnaire de largeurs associées aux lignes (instance) */
struct _GWidthTracker
{
    GObject parent;                         /* A laisser en premier        */

    GBufferCache *cache;                    /* Ensemble complet de lignes  */

    common_metrics *portions;               /* Portions représentées       */
    size_t count;                           /* Quantité de ces portions    */

    line_width_summary summary;             /* Largeurs requises suivies   */
    bool cached;                            /* Mise en cache des calculs   */

};

/* Gestionnaire de largeurs associées aux lignes (classe) */
struct _GWidthTrackerClass
{
    GObjectClass parent;                    /* A laisser en premier        */

};


/* Procède à l'initialisation d'une classe de suivi de largeurs. */
static void g_width_tracker_class_init(GWidthTrackerClass *);

/* Procède à l'initialisation d'un suivi de largeurs de lignes. */
static void g_width_tracker_init(GWidthTracker *);

/* Supprime toutes les références externes. */
static void g_width_tracker_dispose(GWidthTracker *);

/* Procède à la libération totale de la mémoire. */
static void g_width_tracker_finalize(GWidthTracker *);

/* Recherche la portion contenant un indice de ligne donné. */
static size_t g_width_tracker_find_metrics(const GWidthTracker *, size_t);

/* Prend en compte une évolution du volume de lignes. */
static void g_width_tracker_update_ranges(GWidthTracker *, size_t, size_t);

/* Réinitialise les largeurs requises par une portion de lignes.* */
static void g_width_tracker_reset_widths(GWidthTracker *, size_t);

/* Recalcule les largeurs requises par une portion de lignes. */
static const line_width_summary *g_width_tracker_get_up_to_date_widths(GWidthTracker *, size_t);

/* Calcule les largeurs requises par un ensemble de lignes. */
static void g_width_tracker_ensure_valid_required_widths(GWidthTracker *);



/* ---------------------------------------------------------------------------------- */
/*                             PRISE DE MESURES INITIALES                             */
/* ---------------------------------------------------------------------------------- */


/* Indique le type défini pour les tâches de mesures de largeurs. */
G_DEFINE_TYPE(GWidthUpdate, g_width_update, G_TYPE_DELAYED_WORK);


/******************************************************************************
*                                                                             *
*  Paramètres  : klass = classe à initialiser.                                *
*                                                                             *
*  Description : Initialise la classe des tâches de mesures de largeurs.      *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_update_class_init(GWidthUpdateClass *klass)
{
    GObjectClass *object;                   /* Autre version de la classe  */
    GDelayedWorkClass *work;                /* Version en classe parente   */

    object = G_OBJECT_CLASS(klass);

    object->dispose = (GObjectFinalizeFunc/* ! */)g_width_update_dispose;
    object->finalize = (GObjectFinalizeFunc)g_width_update_finalize;

    work = G_DELAYED_WORK_CLASS(klass);

    work->run = (run_task_fc)g_width_update_process;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : update = instance à initialiser.                             *
*                                                                             *
*  Description : Initialise une tâche de mesures de largeurs.                 *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_update_init(GWidthUpdate *update)
{
    memset(&update->summary, 0, sizeof(line_width_summary));

}


/******************************************************************************
*                                                                             *
*  Paramètres  : update = instance d'objet GLib à traiter.                    *
*                                                                             *
*  Description : Supprime toutes les références externes.                     *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_update_dispose(GWidthUpdate *update)
{
    g_object_unref(G_OBJECT(update->tracker));

    G_OBJECT_CLASS(g_width_update_parent_class)->dispose(G_OBJECT(update));

}


/******************************************************************************
*                                                                             *
*  Paramètres  : update = instance d'objet GLib à traiter.                    *
*                                                                             *
*  Description : Procède à la libération totale de la mémoire.                *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_update_finalize(GWidthUpdate *update)
{
    G_OBJECT_CLASS(g_width_update_parent_class)->finalize(G_OBJECT(update));

}


/******************************************************************************
*                                                                             *
*  Paramètres  : id      = identifiant pour signaler la progression courante. *
*                tracker = gestionnaire de largeurs à consulter.              *
*                start   = indice de la première ligne à traiter.             *
*                end     = indice de la première ligne à éviter.              *
*                                                                             *
*  Description : Crée une tâche de mesures de largeurs.                       *
*                                                                             *
*  Retour      : Tâche créée.                                                 *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static GWidthUpdate *g_width_update_new(activity_id_t id, GWidthTracker *tracker, size_t start, size_t end)
{
    GWidthUpdate *result;                   /* Tâche à retourner           */

    result = g_object_new(G_TYPE_WIDTH_UPDATE, NULL);

    result->id = id;

    g_object_ref(G_OBJECT(tracker));
    result->tracker = tracker;

    result->start = start;
    result->end = end;

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : update = opération de mesures à mener.                       *
*                status = barre de statut à tenir informée.                   *
*                                                                             *
*  Description : Assure les mesures initiales d'un ensemble de lignes.        *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_update_process(GWidthUpdate *update, GtkStatusStack *status)
{
    line_width_summary *local;              /* Valeurs collectées          */
    size_t i;                               /* Boucle de parcours #1       */
    const line_width_summary *summary;      /* Valeurs à intégrer          */
    BufferLineColumn k;                     /* Boucle de parcours #2       */

    local = &update->summary;

    for (i = update->start; i < update->end; i++)
    {
        summary = g_width_tracker_get_up_to_date_widths(update->tracker, i);

        for (k = 0; k < BLC_COUNT; k++)
            local->max_widths[k] = MAX(local->max_widths[k], summary->max_widths[k]);

        local->merged_width = MAX(local->merged_width, summary->merged_width);

        gtk_status_stack_update_activity_value(status, update->id, 1);

    }

}


/******************************************************************************
*                                                                             *
*  Paramètres  : update = opération de mesures menée à bien.                  *
*                global = lieu de centralisation des données globales.        *
*                                                                             *
*  Description : Récupère les données obtenues lors d'une mesure globale.     *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_update_collect(GWidthUpdate *update, line_width_summary *global)
{
    line_width_summary *local;              /* Valeurs collectées          */
    BufferLineColumn i;                     /* Boucle de parcours          */

    local = &update->summary;

    for (i = 0; i < BLC_COUNT; i++)
        global->max_widths[i] = MAX(global->max_widths[i], local->max_widths[i]);

    global->merged_width = MAX(global->merged_width, local->merged_width);

}



/* ---------------------------------------------------------------------------------- */
/*                              RASSEMBLEMENT DE MESURES                              */
/* ---------------------------------------------------------------------------------- */


/* Détermine le type du gestionnaire de largeurs associées aux lignes. */
G_DEFINE_TYPE(GWidthTracker, g_width_tracker, G_TYPE_OBJECT);


/******************************************************************************
*                                                                             *
*  Paramètres  : class = classe de composant GTK à initialiser.               *
*                                                                             *
*  Description : Procède à l'initialisation d'une classe de suivi de largeurs.*
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_tracker_class_init(GWidthTrackerClass *class)
{
    GObjectClass *object;                   /* Autre version de la classe  */

    object = G_OBJECT_CLASS(class);

    object->dispose = (GObjectFinalizeFunc/* ! */)g_width_tracker_dispose;
    object->finalize = (GObjectFinalizeFunc)g_width_tracker_finalize;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = composant GLib à initialiser.                      *
*                                                                             *
*  Description : Procède à l'initialisation d'un suivi de largeurs de lignes. *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_tracker_init(GWidthTracker *tracker)
{
    tracker->portions = NULL;
    tracker->count = 0;

    memset(&tracker->summary, 0, sizeof(line_width_summary));
    tracker->cached = false;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = instance d'objet GLib à traiter.                   *
*                                                                             *
*  Description : Supprime toutes les références externes.                     *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_tracker_dispose(GWidthTracker *tracker)
{
    g_object_unref(G_OBJECT(tracker->cache));

    G_OBJECT_CLASS(g_width_tracker_parent_class)->dispose(G_OBJECT(tracker));

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = instance d'objet GLib à traiter.                   *
*                                                                             *
*  Description : Procède à la libération totale de la mémoire.                *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_tracker_finalize(GWidthTracker *tracker)
{
    G_OBJECT_CLASS(g_width_tracker_parent_class)->finalize(G_OBJECT(tracker));

}


/******************************************************************************
*                                                                             *
*  Paramètres  : buffer = tampon contenant les lignes à surveiller.           *
*                first  = adresse contenant l'indice de la première ligne.    *
*                last   = adresse contenant l'indice de la dernière ligne.    *
*                                                                             *
*  Description : Crée un nouveau suivi de largeurs au sein de lignes.         *
*                                                                             *
*  Retour      : Composant GLib créé.                                         *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

GWidthTracker *g_width_tracker_new(GBufferCache *cache)
{
    GWidthTracker *result;                  /* Composant à retourner       */

    result = g_object_new(G_TYPE_WIDTH_TRACKER, NULL);

    g_object_ref(G_OBJECT(cache));
    result->cache = cache;

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : buffer = tampon contenant les lignes à surveiller.           *
*                first  = indice de la première ligne d'une zone réduite.     *
*                last   = indice de la dernière ligne d'une zone réduite.     *
*                                                                             *
*  Description : Crée un nouveau suivi de largeurs au sein de lignes.         *
*                                                                             *
*  Retour      : Composant GLib créé.                                         *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

GWidthTracker *g_width_tracker_new_restricted(const GWidthTracker *template, size_t first, size_t last)
{
    GWidthTracker *result;                  /* Composant à retourner       */
    size_t start;                           /* Début de la zone à copier   */
    size_t end;                             /* Fin de cette même zone      */
    size_t i;                               /* Boucle de parcours          */

    result = g_object_new(G_TYPE_WIDTH_TRACKER, NULL);

    g_object_ref(G_OBJECT(template->cache));
    result->cache = template->cache;

    start = g_width_tracker_find_metrics(template, first);
    assert(start < template->count);

    end = g_width_tracker_find_metrics(template, last);
    assert(end < template->count);

    result->count = end - start + 1;
    result->portions = (common_metrics *)calloc(result->count, sizeof(common_metrics));

    for (i = 0; i < result->count; i++)
        memcpy(&result->portions[i], &template->portions[start + i], sizeof(common_metrics));

    if (result->portions[0].first != first)
    {
        result->portions[0].first = first;
        g_width_tracker_reset_widths(result, 0);
    }

    if (result->portions[result->count - 1].last != last)
    {
        result->portions[result->count - 1].last = last;
        g_width_tracker_reset_widths(result, result->count - 1);
    }

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = gestionnaire de suivi à consulter.                 *
*                index   = indice d'une ligne dont la portion est inconnue.   *
*                                                                             *
*  Description : Recherche la portion contenant un indice de ligne donné.     *
*                                                                             *
*  Retour      : Indice de portion trouvée ou le nombre de portions sinon.    *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static size_t g_width_tracker_find_metrics(const GWidthTracker *tracker, size_t index)
{
    size_t result;                          /* Indice trouvé à retourner   */
    common_metrics *found;                  /* Portion trouvée ou NULL     */

    int look_for_metrics(const size_t *idx, const common_metrics *m)
    {
        int status;

        if (*idx < m->first)
            status = -1;

        else if (*idx > m->last)
            status = 1;

        else
            status = 0;

        return status;

    }

    found = bsearch(&index, tracker->portions, tracker->count,
                    sizeof(common_metrics), (__compar_fn_t)look_for_metrics);

    if (found == NULL)
        result = tracker->count;
    else
        result = found - tracker->portions;

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = gestionnaire de largeurs de lignes à mettre jour.  *
*                start   = première ligne à traiter.                          *
*                diff    = nombre de lignes ajoutées ou supprimées.           *
*                                                                             *
*  Description : Prend en compte une évolution du volume de lignes.           *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_tracker_update_ranges(GWidthTracker *tracker, size_t start, size_t diff)
{
    size_t i;                               /* Boucle de parcours          */

    for (i = start; i < tracker->count; i++)
    {
#ifndef NDEBUG
        if ((i + 1) < tracker->count)
            assert((tracker->portions[i].last + 1) == tracker->portions[i + 1].first);
#endif

        tracker->portions[i].first += diff;
        tracker->portions[i].last += diff;

    }

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = gestionnaire de largeurs de lignes à mettre jour.  *
*                index   = indice de portion à marquer pour réinitialisation. *
*                                                                             *
*  Description : Réinitialise les largeurs requises par une portion de lignes.*
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_tracker_reset_widths(GWidthTracker *tracker, size_t index)
{
    common_metrics *portion;                /* Portion à actualiser        */
    BufferLineColumn k;                     /* Boucle de parcours          */

    assert(index < tracker->count);

    portion = &tracker->portions[index];

    /* Réinitialisation globale ? */

    if (portion->cached)
    {
        for (k = 0; k < BLC_COUNT && tracker->cached; k++)
            tracker->cached &= (tracker->summary.max_widths[k] != portion->summary.max_widths[k]);

        tracker->cached &= (tracker->summary.merged_width != portion->summary.merged_width);

    }

    /* Réinitialisation locale */

    portion->cached = false;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = gestionnaire de largeurs de lignes à mettre jour.  *
*                index   = indice de la portion à rafraîchir.                 *
*                                                                             *
*  Description : Recalcule les largeurs requises par une portion de lignes.   *
*                                                                             *
*  Retour      : Accès en lecture seule au résumé à jour.                     *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static const line_width_summary *g_width_tracker_get_up_to_date_widths(GWidthTracker *tracker, size_t index)
{
    common_metrics *portion;                /* Portion à actualiser        */
    size_t i;                               /* Boucle de parcours          */

    assert(index < tracker->count);

    portion = &tracker->portions[index];

    if (!portion->cached)
    {
        /* Réinitialisation locale */

        memset(&portion->summary, 0, sizeof(line_width_summary));

        /* Collecte */

        for (i = portion->first; i <= portion->last; i++)
            g_buffer_cache_collect_widths(tracker->cache, i, &portion->summary);

        /* Marquage pour mémoire */

        portion->cached = true;

    }

    return &portion->summary;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = gestionnaire de largeurs de lignes à mettre jour.  *
*                index   = position de la première des lignes à ajouter.      *
*                                                                             *
*  Description : Prend acte d'un changement sur une ligne pour les largeurs.  *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

void g_width_tracker_update(GWidthTracker *tracker, size_t index)
{
    size_t current;                         /* Indice de portion visée     */

    current = g_width_tracker_find_metrics(tracker, index);

    g_width_tracker_reset_widths(tracker, current);

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = gestionnaire de largeurs de lignes à mettre jour.  *
*                index   = position de la première des lignes à ajouter.      *
*                count   = quantité de lignes devant être ajoutées.           *
*                                                                             *
*  Description : Prend acte de l'ajout de lignes pour les largeurs.           *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

void g_width_tracker_update_added(GWidthTracker *tracker, size_t index, size_t count)
{
    size_t current;                         /* Indice de portion visée     */
    common_metrics *portion;                /* Portion sélectionnée        */
    size_t i;                               /* Boucle de parcours          */
    size_t dest;                            /* Destination d'une recopie   */
    size_t src;                             /* Source d'une recopie        */

    /* Cas particulier du premier ajout */
    if (tracker->count == 0)
    {
        assert(index == 0);

        tracker->portions = (common_metrics *)calloc(1, sizeof(common_metrics));
        tracker->count = 1;

        tracker->portions[0].first = 0;
        tracker->portions[0].last = count - 1;

        g_width_tracker_reset_widths(tracker, 0);

        return;

    }

    current = g_width_tracker_find_metrics(tracker, index);

    /* Si la ligne est rajoutée en fin d'ensemble */
    if (current == tracker->count)
    {
        current = tracker->count - 1;
        portion = &tracker->portions[current];

        assert(index == (portion->last + 1));

    }
    else
        portion = &tracker->portions[current];

    portion->last += count;

    g_width_tracker_reset_widths(tracker, current);

    /* Suite impérative : accroître les indices ! */

    g_width_tracker_update_ranges(tracker, current + 1, count);

    /* Un découpage s'impose-t-il quelque part ? */

    for (i = index + count - 1; i >= index; i--)
    {
        if (g_buffer_cache_get_line_flags(tracker->cache, i) & BLF_WIDTH_MANAGER)
        {
            /* Insertion d'une nouvelle place */

            tracker->count++;

            tracker->portions = (common_metrics *)realloc(tracker->portions,
                                                          tracker->count * sizeof(common_metrics));

            portion = &tracker->portions[current];

            dest = current + 2;
            src = current + 1;

            if ((tracker->count - src) > 0)
                memmove(&tracker->portions[dest], &tracker->portions[src],
                        (tracker->count - src - 1) * sizeof(common_metrics));

            /* Insertion au début */
            if (i == portion->first)
            {
                assert(i == index);

                tracker->portions[current + 1].first = i + 1;
                tracker->portions[current + 1].last = portion->last;

                tracker->portions[current + 1].cached = false;

                portion->first = i;
                portion->last = i;

            }

            /* Insertion au sein de la portion ou à la fin */
            else
            {
                tracker->portions[current + 1].first = i;
                tracker->portions[current + 1].last = portion->last;

                tracker->portions[current + 1].cached = false;

                portion->last = i - 1;

            }

            assert((tracker->portions[current].last + 1) == tracker->portions[current + 1].first);

            /* Mise à jour des largeurs */

            g_width_tracker_reset_widths(tracker, current);

            g_width_tracker_reset_widths(tracker, current + 1);

        }

    }

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = gestionnaire de largeurs de lignes à mettre jour.  *
*                start   = première ligne devant être supprimée.              *
*                end     = dernière ligne devant être supprimée.              *
*                                                                             *
*  Description : Prend acte de la suppression de lignes pour les largeurs.    *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

void g_width_tracker_update_deleted(GWidthTracker *tracker, size_t start, size_t end)
{
    size_t first;                           /* Première portion concernée  */
    size_t last;                            /* Dernière portion concernée  */
    size_t diff;                            /* Nombre de lignes supprimées */
    bool keep_first;                        /* Conservation de portion #1  */
    size_t dest;                            /* Destination du transfert    */
    bool keep_last;                         /* Conservation de portion #2  */
    size_t src;                             /* Source du transfert         */
    size_t update;                          /* Début de la série en rafale */

    first = g_width_tracker_find_metrics(tracker, start);
    assert(first < tracker->count);

    last = g_width_tracker_find_metrics(tracker, end);
    assert(last < tracker->count);

    diff = end - start + 1;

    /* Suppression de portions inutiles ? */

    keep_first = (tracker->portions[first].first < start);

    dest = (keep_first ? first + 1 : first);

    keep_last = (end < tracker->portions[last].last);

    src = (keep_last ? last : last + 1);

    if (src > dest)
    {
        if (src < tracker->count)
            memmove(&tracker->portions[dest], &tracker->portions[src],
                    (tracker->count - src) * sizeof(common_metrics));

        tracker->count -= (src - dest);

        tracker->portions = (common_metrics *)realloc(tracker->portions,
                                                      tracker->count * sizeof(common_metrics));

    }

    /* Si une fusion s'impose */

    if (keep_first && keep_last && last != first)
    {
        tracker->portions[first].last = tracker->portions[first + 1].last;

        if ((first - 2) < tracker->count)
            memmove(&tracker->portions[first + 1], &tracker->portions[first + 2],
                    (tracker->count - first - 2) * sizeof(common_metrics));

        tracker->count--;

        tracker->portions = (common_metrics *)realloc(tracker->portions,
                                                      tracker->count * sizeof(common_metrics));

        keep_last = false;

    }

    /* Avant toute chose : faire décroître les indices ! */

    if (keep_first && keep_last)
    {
        tracker->portions[first].last -= diff;
        update = first + 1;
    }

    else
    {
        if (keep_first)
        {
            tracker->portions[first].last = start - 1;
            update = first + 1;
        }
        else
            update = first;

        if (keep_last)
            tracker->portions[update].first = end + 1;

    }

    g_width_tracker_update_ranges(tracker, update, -diff);

    /* Mise à jour des largeurs aux extrémités */

    if (keep_first)
        g_width_tracker_reset_widths(tracker, first);

    if (keep_last && !keep_first)
        g_width_tracker_reset_widths(tracker, update);

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = suivi de largeurs dont le cache est à construire.  *
*                gid     = groupe de travail impliqué.                        *
*                status  = barre de statut à tenir informée.                  *
*                                                                             *
*  Description : Calcule les largeurs requises par un ensemble de lignes.     *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

void g_width_tracker_build_initial_cache(GWidthTracker *tracker, wgroup_id_t gid, GtkStatusStack *status)
{
    guint runs_count;                       /* Qté d'exécutions parallèles */
    GWidthUpdate **updates;                 /* Mesures à suivre            */
    size_t run_size;                        /* Volume réparti par exécution*/
    GWorkQueue *queue;                      /* Gestionnaire de différés    */
    activity_id_t id;                       /* Identifiant de progression  */
    guint i;                                /* Boucle de parcours          */
    size_t start;                           /* Début de zone de traitement */
    bool closing;                           /* Détection de fin en amont   */
    size_t end;                             /* Fin de zone de traitement   */

    assert(!tracker->cached);

    /* Lancement des traitements */

    runs_count = get_max_online_threads();

    updates = (GWidthUpdate **)calloc(runs_count, sizeof(GWidthUpdate *));

    run_size = tracker->count / runs_count;

    queue = get_work_queue();

    id = gtk_status_stack_add_activity(status, _("Computing width of all lines for rendering"), tracker->count);

    for (i = 0; i < runs_count; i++)
    {
        start = i * run_size;

        closing = ((i + 1) == runs_count);

        if (closing)
            end = tracker->count;
        else
            end = start + run_size;

        updates[i] = g_width_update_new(id, tracker, start, end);

        g_object_ref(G_OBJECT(updates[i]));
        g_work_queue_schedule_work(queue, G_DELAYED_WORK(updates[i]), gid);

    }

    g_work_queue_wait_for_completion(queue, gid);

    /* Récupération des aires */

    memset(&tracker->summary, 0, sizeof(line_width_summary));

    for (i = 0; i < runs_count; i++)
    {
        g_width_update_collect(updates[i], &tracker->summary);

        g_object_unref(G_OBJECT(updates[i]));

    }

    /* Fin */

    free(updates);

    gtk_status_stack_remove_activity(status, id);

    tracker->cached = true;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = suivi de largeurs à mettre à jour si besoin est.   *
*                                                                             *
*  Description : Calcule les largeurs requises par un ensemble de lignes.     *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_width_tracker_ensure_valid_required_widths(GWidthTracker *tracker)
{
    line_width_summary *global;             /* Valeurs collectées          */
    size_t i;                               /* Boucle de parcours #1       */
    const line_width_summary *summary;      /* Valeurs à intégrer          */
    BufferLineColumn k;                     /* Boucle de parcours #2       */

    if (!tracker->cached)
    {
        global = &tracker->summary;

        /* Réinitialisation */

        memset(global, 0, sizeof(line_width_summary));

        /* Collecte */

        for (i = 0; i < tracker->count; i++)
        {
            summary = g_width_tracker_get_up_to_date_widths(tracker, i);

            for (k = 0; k < BLC_COUNT; k++)
                global->max_widths[k] = MAX(global->max_widths[k], summary->max_widths[k]);

            global->merged_width = MAX(global->merged_width, summary->merged_width);

        }

        tracker->cached = true;

    }

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = suivi de largeurs à consulter.                     *
*                                                                             *
*  Description : Fournit un bon résumé des largeurs en vigueur.               *
*                                                                             *
*  Retour      : Ensemble des largeurs collectées.                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

const line_width_summary *g_width_tracker_get_width_summary(GWidthTracker *tracker)
{
    g_width_tracker_ensure_valid_required_widths(tracker);

    return &tracker->summary;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = suivi de largeurs à consulter.                     *
*                index   = indice de la ligne dont la portion est recherchée. *
*                summary = ensemble ciblé de largeurs collectées. [OUT]       *
*                                                                             *
*  Description : Fournit un résumé local des largeurs en vigueur.             *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

void g_width_tracker_get_local_width_summary(GWidthTracker *tracker, size_t index, line_width_summary *summary)
{
    size_t current;                         /* Indice de portion visée     */
    const line_width_summary *local;        /* Valeurs à intégrer          */
    BufferLineColumn i;                     /* Boucle de parcours          */

    g_width_tracker_ensure_valid_required_widths(tracker);

    current = g_width_tracker_find_metrics(tracker, index);
    assert(current < tracker->count);

    local = g_width_tracker_get_up_to_date_widths(tracker, current);

    for (i = BLC_FIRST; i < BLC_DISPLAY; i++)
        summary->max_widths[i] = tracker->summary.max_widths[i];

    for (i = BLC_DISPLAY; i < BLC_COUNT; i++)
        summary->max_widths[i] = local->max_widths[i];

    summary->merged_width = local->merged_width;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = suivi de largeurs à consulter.                     *
*                options = règles d'affichage des colonnes modulables.        *
*                                                                             *
*  Description : Fournit la largeur requise par une visualisation.            *
*                                                                             *
*  Retour      : Dimension calculée.                                          *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

gint g_width_tracker_get_width(GWidthTracker *tracker, const GDisplayOptions *options)
{
    gint result;                            /* Taille à retourner          */
    const line_width_summary *summary;      /* Accès rapide aux mesures    */
    gint col_width;                         /* Calcul selon les colonnes   */
    gint full_width;                        /* Calcul selon les fusions    */
    size_t count;                           /* Qté de colonnes en option   */
    size_t i;                               /* Boucle de parcours          */

    g_width_tracker_ensure_valid_required_widths(tracker);

    result = 0;

    summary = &tracker->summary;

    col_width = 0;
    full_width = 0;

    count = g_display_options_count(options);

    /* Première méthode */

    for (i = 0; i < BLC_COUNT; i++)
    {
        if (i < count)
        {
            if (!g_display_options_get(options, i))
                continue;
        }

        col_width += summary->max_widths[i];

        if ((i + 1) < BLC_COUNT)
            col_width += COL_MARGIN;

    }

    /* Seconde méthode */

    for (i = 0; i < count; i++)
    {
        if (!g_display_options_get(options, i))
            continue;

        full_width += summary->max_widths[i] + COL_MARGIN;

    }

    full_width += summary->merged_width;

    /* Mise en concurrence et poursuite... */

    result += + MAX(col_width, full_width);

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : tracker = suivi de largeurs à consulter.                     *
*                display = règles d'affichage des colonnes modulables.        *
*                                                                             *
*  Description : Fournit la largeur requise pour dépasser les marges gauches. *
*                                                                             *
*  Retour      : Dimension calculée.                                          *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

gint g_width_tracker_get_margin(GWidthTracker *tracker, const GDisplayOptions *options)
{
    gint result;                            /* Taille à retourner          */
    const line_width_summary *summary;      /* Accès rapide aux mesures    */
    size_t count;                           /* Qté de colonnes en option   */
    size_t i;                               /* Boucle de parcours          */

    g_width_tracker_ensure_valid_required_widths(tracker);

    result = 0;

    summary = &tracker->summary;

    count = g_display_options_count(options);

    for (i = 0; i < count; i++)
    {
        if (!g_display_options_get(options, i))
            continue;

        result += summary->max_widths[i] + COL_MARGIN;

    }

    return result;

}