L'architecture distribuée de Spanner vous permet de concevoir votre schéma de façon à éviter les hotspots, c'est-à-dire les situations où un trop grand nombre de requêtes sont envoyées au même serveur, ce qui saturé les ressources du serveur et peut provoquer des latences élevées.
Cette page décrit les bonnes pratiques à suivre pour concevoir vos schémas afin d'éviter de créer des hotspots. Pour éviter les hotspots, vous pouvez ajuster la conception du schéma pour permettre à Spanner de diviser et de répartir les données sur plusieurs serveurs. La distribution de données sur plusieurs serveurs permet à votre base de données Spanner de fonctionner efficacement, en particulier lors de l'insertion groupée de données.
Choisir une clé primaire en évitant de créer des hotspots
Comme indiqué dans la section Schéma et modèle de données, vous devez faire attention lorsque vous choisissez une clé primaire dans la conception du schéma afin de ne pas créer de hotspots par inadvertance dans votre base de données. L'une des causes des hotspots est la présence d'une colonne dont la valeur change de manière monotone en tant que premier élément de clé, car toutes les insertions se produisent à la fin de votre espace clé. Ce modèle n'est pas souhaitable, car Spanner utilise des plages de clés pour répartir les données entre les serveurs, ce qui signifie que toutes les insertions sont dirigées vers un seul serveur qui se charge de tout le travail.
Par exemple, supposons que vous souhaitiez conserver une colonne d'horodatage du dernier accès sur des lignes de la table UserAccessLog. La définition de table suivante utilise une clé primaire basée sur le code temporel comme premier élément de clé. Nous vous déconseillons de procéder ainsi si le tableau enregistre un taux d'insertion élevé:
GoogleSQL
CREATE TABLE UserAccessLog ( LastAccess TIMESTAMP NOT NULL, UserId INT64 NOT NULL, ... ) PRIMARY KEY (LastAccess, UserId);
PostgreSQL
CREATE TABLE UserAccessLog ( LastAccess TIMESTAMPTZ NOT NULL, UserId bigint NOT NULL, ... PRIMARY KEY (LastAccess, UserId) );
Le problème est que les lignes sont écrites dans cette table par ordre d'horodatage de dernier accès. Étant donné que les horodatages de dernier accès ne cessent d'augmenter, elles sont toujours écrites à la fin de la table. Le hotspot est créé, car un seul serveur Spanner reçoit toutes les écritures, ce qui surcharge ce serveur.
Le schéma suivant illustre ce piège:
La table UserAccessLog ci-dessus comprend cinq exemples de lignes de données, qui représentent cinq utilisateurs différents effectuant une action d'utilisateur quelconque à environ une milliseconde d'intervalle. Le schéma annote également l'ordre dans lequel Spanner insère les lignes (les flèches libellées indiquent l'ordre des écritures pour chaque ligne). Étant donné que les insertions sont classées par horodatage et que la valeur de l'horodatage ne cesse d'augmenter, Spanner ajoute toujours les insertions à la fin de la table et les dirige vers la même division. (Comme indiqué dans la section Schéma et modèle de données, une division est un ensemble de lignes provenant d'une ou de plusieurs tables associées que Spanner stocke par ordre de clé de ligne.)
Cela pose problème, car Spanner attribue des tâches à différents serveurs dans des unités de divisions. Par conséquent, le serveur affecté à cette division finit par gérer toutes les requêtes d'insertion. À mesure que la fréquence des événements d'accès utilisateur augmente, la fréquence des requêtes d'insertion adressées au serveur correspondant augmente aussi. Le serveur peut alors devenir un point d'accès et ressemble à la bordure et à l'arrière-plan rouges ci-dessus. Notez que dans cette illustration simplifiée, chaque serveur traite une division au maximum, mais en réalité, Spanner peut attribuer à chaque serveur plusieurs divisions.
Lorsque Spanner ajoute des lignes à la table, la division augmente et lorsqu'elle atteint environ 8 Go, Spanner crée une autre division, comme décrit dans la section Répartition basée sur la charge. Spanner ajoute les nouvelles lignes suivantes à cette nouvelle division, et le serveur attribué à la division devient le nouveau hotspot potentiel.
En présence de hotspots, vous remarquerez peut-être que les insertions prennent du temps et que d'autres tâches sur le même serveur ralentissent. La modification de l'ordre de la colonne LastAccess par ordre croissant ne résout pas ce problème, car toutes les écritures sont insérées en haut de la table, et toutes les insertions sont donc envoyées à un seul serveur.
Bonne pratique de conception de schéma n° 1 : Ne choisissez pas une colonne dont la valeur augmente ou diminue de façon linéaire en tant que premier élément clé d'une table à taux d'écriture élevé.
Utiliser un identifiant unique universel (UUID)
Vous pouvez utiliser en tant que clé primaire un identifiant unique universel (UUID) défini par la RFC 4122. Nous vous recommandons d'utiliser la version 4 de l'UUID, car elle utilise des valeurs aléatoires dans la séquence de bits. Nous déconseillons les UUID de version 1, car ils stockent l'horodatage dans les bits de poids fort.
Il existe plusieurs façons de stocker l'UUID en tant que clé primaire :
- Dans une colonne
STRING(36) - Dans une paire de colonnes
INT64 - Dans une colonne
BYTES(16)
Pour une colonne STRING(36), vous pouvez utiliser la fonction GENERATE_UUID() de Spanner (GoogleSQL ou PostgreSQL) comme valeur par défaut de la colonne pour que Spanner génère automatiquement les valeurs UUID.
L'utilisation d'UUID présente néanmoins quelques inconvénients :
- Ils sont plutôt volumineux et utilisent 16 octets, voire plus. Les autres options de clés primaires ne consomment pas autant d'espace de stockage.
- Elles ne contiennent aucune information sur l'enregistrement. Par exemple, une clé primaire de
SingerIdetAlbumIda une signification inhérente, contrairement à un UUID. - Vous perdez la localité entre les enregistrements associés. C'est pourquoi l'utilisation d'un UUID élimine les hotspots.
Inverser les bits des valeurs séquentielles
Vous devez vous assurer que les clés primaires numériques (INT64 dans GoogleSQL ou bigint dans PostgreSQL) n'augmentent ou ne diminuent pas de manière séquentielle. Les clés primaires séquentielles peuvent entraîner un hotspotting à grande échelle. Pour éviter ce problème, vous pouvez inverser les bits des valeurs séquentielles, en veillant à répartir les valeurs de clé primaire de manière uniforme dans l'espace clé.
Spanner accepte les séquences inversées sur les bits, qui génèrent des valeurs entières uniques inversées sur les bits. Vous pouvez utiliser une séquence dans le premier (ou le seul) composant d'une clé primaire pour éviter les problèmes de hotspotting. Pour en savoir plus, consultez la section Séquence de bits inversée.
Permuter l'ordre des clés
Une façon de répartir les écritures de manière plus uniforme dans l'espace clé consiste à permuter l'ordre des clés de sorte que la colonne contenant la valeur monotone ne constitue pas le premier élément de clé:
GoogleSQL
CREATE TABLE UserAccessLog ( LastAccess TIMESTAMP NOT NULL, UserId INT64 NOT NULL, ... ) PRIMARY KEY (UserId, LastAccess);
PostgreSQL
CREATE TABLE UserAccessLog ( LastAccess TIMESTAMPTZ NOT NULL, UserId bigint NOT NULL, ... PRIMARY KEY (UserId, LastAccess) );
Dans ce schéma modifié, les insertions sont désormais triées en priorité par UserId, plutôt que par horodatage de dernier accès chronologique. Ce schéma répartit les écritures entre différentes divisions, car il est peu probable qu'un seul utilisateur produise des milliers d'événements par seconde.
Voici les cinq lignes de la table UserAccessLog que Spanner commande avec UserId au lieu du code temporel d'accès:
Dans ce cas, Spanner divise les données UserAccessLog en trois partitions, chacune contenant environ un millier de lignes de valeurs UserId ordonnées.
Il s'agit d'une estimation raisonnable de la manière dont les données utilisateur peuvent être réparties, en supposant que chaque ligne contient environ 1 Mo de données utilisateur et avec une taille de division maximale d'environ 8 Go. Même si les événements utilisateur se sont produits à environ une milliseconde d'intervalle, chaque événement a été déclenché par un utilisateur différent. Par conséquent, l'ordre des insertions est beaucoup moins susceptible de créer un hotspot que l'utilisation de l'horodatage pour le tri.
Consultez également les bonnes pratiques associées au classement des clés basées sur l'horodatage.
Hacher la clé unique et répartir les écritures sur des segments logiques
Une autre technique courante de répartition de la charge sur plusieurs serveurs consiste à créer une colonne contenant le hachage de la clé unique réelle, puis à utiliser la colonne de hachage (ou la colonne de hachage et les colonnes de clé unique) comme clé primaire. Ce procédé permet d'éviter la création de hotspots, car les nouvelles lignes sont réparties sur l'espace clé de manière plus uniforme.
La valeur de hachage peut vous permettre de créer des segments logiques, ou partitions, dans votre base de données. Dans une base de données segmentée physiquement, les lignes sont réparties sur plusieurs serveurs de base de données. Dans une base de données segmentée logiquement, les données de la table définissent les segments. Par exemple, pour répartir les écritures dans la table UserAccessLog sur N segments logiques, vous pouvez ajouter une colonne de clé ShardId en début de table :
GoogleSQL
CREATE TABLE UserAccessLog ( ShardId INT64 NOT NULL, LastAccess TIMESTAMP NOT NULL, UserId INT64 NOT NULL, ... ) PRIMARY KEY (ShardId, LastAccess, UserId);
PostgreSQL
CREATE TABLE UserAccessLog ( ShardId bigint NOT NULL, LastAccess TIMESTAMPTZ NOT NULL, UserId bigint NOT NULL, ... PRIMARY KEY (ShardId, LastAccess, UserId) );
Pour calculer la valeur ShardId, hachez une combinaison des colonnes de clé primaire, puis calculez la valeur modulo N du hachage. Exemple :
ShardId = hash(LastAccess and UserId) % N
La fonction de hachage et la combinaison de colonnes que vous choisissez déterminent la répartition de vos insertions dans l'espace de clés. Spanner créera ensuite des divisions entre les lignes pour optimiser les performances.
Le schéma ci-dessous montre comment l'utilisation d'un hachage pour créer trois segments logiques permet de répartir le débit d'écriture de manière plus uniforme sur les serveurs :
Ici, la table UserAccessLog est classée par ShardId, cette valeur étant calculée comme une fonction de hachage des colonnes de clé. Les cinq lignes UserAccessLog sont divisées en trois segments logiques, chacun d'entre eux appartenant à une division différente. Les insertions sont réparties uniformément entre les divisions, ce qui équilibre le débit d'écriture entre les trois serveurs qui gèrent les divisions.
Spanner vous permet également de créer une fonction de hachage dans une colonne générée.
Pour effectuer cette opération dans Google SQL, utilisez la fonction FARM_FINGERPRINT pendant l'écriture, comme illustré dans l'exemple suivant:
GoogleSQL
CREATE TABLE UserAccessLog (
ShardId INT64 NOT NULL
AS (MOD(FARM_FINGERPRINT(CAST(LastAccess AS STRING)), 2048)) STORED,
LastAccess TIMESTAMP NOT NULL,
UserId INT64 NOT NULL,
) PRIMARY KEY (ShardId, LastAccess, UserId);
La fonction de hachage que vous choisissez détermine la répartition de vos insertions sur la plage de clés. Vous n'avez pas besoin d'un hachage cryptographique, bien qu'un hachage cryptographique puisse être un bon choix. Lorsque vous choisissez une fonction de hachage, vous devez prendre en compte les facteurs suivants:
- Évitement du point d'accès. Une fonction qui génère davantage de valeurs de hachage a tendance à réduire les hotspots.
- Efficacité de la lecture. Moins il y a de valeurs de hachage à analyser, plus les lectures de l'ensemble des valeurs de hachage sont rapides.
- Nombre de nœuds.
Utiliser l'ordre décroissant pour les clés basées sur l'horodatage
Si une table d'historique utilise l'horodatage comme clé, envisagez d'utiliser l'ordre décroissant pour la colonne de clé si l'une des conditions suivantes s'applique:
- Si vous souhaitez lire l'historique le plus récent, vous utilisez une table entrelacée pour l'historique et vous lisez la ligne parente. dans ce cas, une colonne d'horodatage
DESCpermet de stocker les dernières entrées d'historique à côté de la ligne parente. Sinon, la lecture de la ligne parente et de son historique récent nécessitera une recherche intermédiaire afin d'ignorer l'historique plus ancien. - Vous lisez des entrées séquentielles dans l'ordre chronologique inverse et ne savez pas exactement combien d'entrées vous devez parcourir : vous pouvez par exemple exécuter une requête SQL avec une valeur
LIMITpour obtenir les N événements les plus récents, ou planifier l'annulation de la lecture une fois que vous avez lu un certain nombre de lignes. Dans ce cas, vous devez commencer par les entrées les plus récentes et lire les entrées les plus anciennes de manière séquentielle jusqu'à ce que votre condition soit remplie. Spanner est plus efficace pour les clés d'horodatage qu'il stocke dans l'ordre décroissant.
Ajoutez le mot clé DESC pour classer les clés d'horodatage dans l'ordre décroissant. Exemple :
GoogleSQL
CREATE TABLE UserAccessLog ( UserId INT64 NOT NULL, LastAccess TIMESTAMP NOT NULL, ... ) PRIMARY KEY (UserId, LastAccess DESC);
Bonne pratique de conception de schéma n° 2: L'ordre décroissant ou l'ordre croissant dépend des requêtes utilisateur. Par exemple, "top" est la plus récente et "top" est la plus ancienne.
Utiliser un index entrelacé sur une colonne dont la valeur augmente ou diminue de façon linéaire
Comme pour l'exemple de clé primaire précédent que vous devez éviter, il est également déconseillé de créer des index non entrelacés sur des colonnes dont les valeurs augmentent ou diminuent de façon monotone, même s'il ne s'agit pas de colonnes de clé primaire.
Par exemple, imaginons que vous définissiez la table suivante, dans laquelle LastAccess correspond à une colonne de clé non primaire :
GoogleSQL
CREATE TABLE Users ( UserId INT64 NOT NULL, LastAccess TIMESTAMP, ... ) PRIMARY KEY (UserId);
PostgreSQL
CREATE TABLE Users ( UserId bigint NOT NULL, LastAccess TIMESTAMPTZ, ... PRIMARY KEY (UserId) );
Cela peut paraître utile de définir un index sur la colonne LastAccess pour interroger rapidement la base de données sur les accès d'utilisateur "depuis la période X", comme ceci :
GoogleSQL
CREATE NULL_FILTERED INDEX UsersByLastAccess ON Users(LastAccess);
PostgreSQL
CREATE INDEX UsersByLastAccess ON Users(LastAccess) WHERE LastAccess IS NOT NULL;
Toutefois, cela entraîne le même problème que celui décrit dans la bonne pratique précédente, car Spanner implémente les index sous forme de tables en arrière-plan, et la table d'index obtenue utilise une colonne dont la valeur augmente de façon linéaire en tant que premier élément de clé.
Vous pouvez toutefois créer un index entrelacé de ce type, car les lignes d'index entrelacés sont entrelacées dans des lignes parentes correspondantes et il est peu probable qu'une seule ligne parent produise des milliers d'événements par seconde.
Bonne pratique de conception de schéma n° 3: Ne créez pas d'index non entrelacé sur une colonne à taux d'écriture élevé dont la valeur augmente ou diminue de façon linéaire. Au lieu d'utiliser des index entrelacés, utilisez des techniques semblables à celles que vous utiliseriez pour concevoir la clé primaire de la table de base lors de la conception des colonnes d'index (par exemple, ajoutez "shardId").
Étapes suivantes
- Consultez des exemples de conception de schémas.
- Découvrez le chargement groupé de données.