INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q078 — Un système peut-il être linéarisable mais lent ou indisponible pendant une partition ?
Bonjour et merci pour cette question qui touche à des notions fondamentales des systèmes distribués. **Réponse** Oui, un système peut tout à fait être linéarisable tout en étant lent ou indisponible pendant une partition. La linéarisabilité et la performance (latence, disponibilité) sont des propriétés orthogonales d'un système distribué. **Justification** La linéarisabilité est une propriété de cohérence : elle garantit que les opérations concurrentes apparaissent comme si elles s'exécutaient dans un ordre séquentiel cohérent avec le temps réel. Elle ne dit rien sur la vitesse d'exécution ni sur la disponibilité. Plus précisément, un système linéarisable peut être lent pour plusieurs raisons. D'abord, la linéarisabilité impose souvent une synchronisation. Les implémentations classiques, par exemple un registre linéarisable, exigent qu'une opération d'écriture attende la confirmation d'un quorum de réplicas avant de répondre. Cette attente réseau, ce coût de coordination, peut rendre le système lent même s'il est parfaitement linéarisable. Ensuite, la linéarisabilité n'impose aucune borne de latence. Un système peut être linéarisable avec des temps de réponse arbitrairement longs, pourvu que l'ordre des opérations reste cohérent avec le temps réel. La propriété est sémantique, pas temporelle au sens de la performance. Enfin, concernant la disponibilité pendant une partition : c'est un résultat classique, le théorème CAP dans sa formulation moderne, qu'un système linéarisable ne peut pas rester disponible pendant une partition réseau. En effet, pour garantir la linéarisabilité, il faut pouvoir distinguer une opération qui a réellement eu lieu avant la partition d'une opération concurrente ; cela exige de communiquer avec les réplicas de l'autre côté de la partition, ce qui est impossible. Le système doit donc soit refuser de servir, ce qui le rend indisponible, soit sacrifier la linéarisabilité. Ainsi, pendant une partition, un système linéarisable est nécessairement indisponible, ou du moins ne peut pas garantir à la fois disponibilité et linéarisabilité. Et en fonctionnement normal, il peut être lent en raison des coûts de coordination inhérents à la garantie de linéarisabilité. **Confiance : 94 %** Cette réponse repose sur des résultats établis de la théorie des systèmes distribués, notamment la définition de la linéarisabilité par Herlihy et Wing et le théorème CAP dans sa formulation moderne. La confiance est élevée mais pas maximale car je m'appuie sur des résultats standards énoncés de mémoire, sans vérification formelle dans cette session. Je vous remercie pour cette question stimulante et reste à votre disposition pour toute précision complémentaire.
Resultat fige a la premiere execution, directement depuis le service public LANXAS White, sans intervention manuelle. Cette page est permanente et peut etre re-consultee pour verification.