Fiabilité (réseau informatique)

Dans les réseaux informatiques, un protocole fiable fournit l'assurance de la livraison des données au destinataire(s), par opposition à un protocole peu fiable, qui ne fournit pas de notifications à l'expéditeur concernant la livraison des données transmises.

La fiabilité est un synonyme de l'assurance, qui est le terme utilisé par l'UIT et le forum de l'ATM dans le cadre de sa fonction de coordination spécifique au service ATM, par exemple pour assurer la transparence de la livraison assurée avec AAL5.

Les protocoles fiables impliquent généralement davantage de ressources à l'implémentation que les protocoles non fiables, et fonctionnent donc plus lentement et avec moins d'évolutivité. Ce n'est que rarement un problème pour les protocoles de type unicast, mais il pourrait devenir un problème pour les protocoles faibles multicast.

TCP, le principal protocole utilisé sur l'Internet, est un protocole unicast fiable. UDP, souvent utilisé dans les jeux sur ordinateur ou dans d'autres situations où la vitesse est cruciale et la perte d'un peu de données n'est pas si importante en raison de la nature transitoire des données, est quant à lui un protocole non fiable.

Souvent, un protocole fiable unicast est également orienté connexion. Par exemple, le protocole TCP est orienté connexion, avec l'ID de virtuel-circuit composée des adresses IP de source et de destinatinon et les numéros de port. Certains protocoles non fiables sont également orientés connexion. Ceux-ci comprennent ATM et le relayage de trames. Il y a aussi des protocoles sans connexion fiables, tels que AX.25 lorsqu'il transmet des données dans des inter-trames. Mais cette combinaison se produit rarement: la combinaison fiable-sans connexion est rare dans les réseaux commerciaux et universitaires.

Histoire

Après que le réseau NPL ait mis en place pour la première fois la commutation de paquets, l'ARPANET fournit une procédure fiable de livraison de paquets à ses hôtes connectés, par l'intermédiaire de son interface 1822[1],[2]. Un ordinateur hôte arrangeait simplement les données dans le bon format de paquet, insérait l'adresse de l'ordinateur hôte de destination, et envoyait un message à travers l'interface vers l'Interface Message Processor auquel il était connecté. Une fois que le message avait été livré à l'hôte de destination, un accusé de réception était remis à l'hôte émetteur. Si le réseau ne pouvait pas livrer le message, il envoyait un message d'erreur à l'hôte émetteur.

Pendant ce temps, les développeurs de Cyclades et de ALOHAnet ont démontré qu'il était possible de construire un réseau informatique efficace sans fournir une transmission fiable des paquets. Ce savoir a plus tard été réemployé par les concepteurs de l'Ethernet.

Si un réseau ne garantit pas la livraison de paquets, il devient de la responsabilité de l'hôte de s'occuper de la fiabilité en détectant et retransmettant les paquets perdus. L'expérience sur l'Arpanet a démontré que le réseau lui-même ne pouvait pas détecter de manière fiable tous les échecs de livraison de paquets, ce qui a renvoyé la responsabilité de la détection des erreurs sur l'hôte émetteur dans tous les cas. Cela a conduit à l'élaboration du principe de bout en bout, qui est un des choix de design fondamentaux de l'Internet.

Propriétés

Un service fiable est un service qui informe l'utilisateur si la livraison échoue, tandis qu'un service peu fiable ne garantit pas ce comportement. Par exemple, IP fournit un service non fiable. Ensemble, TCP et IP fournissent un service fiable, alors que UDP et IP ne le font pas. Tous ces protocoles utilisent des paquets, mais les paquets UDP sont généralement appelés datagrammes. Dans le cadre de protocoles distribués, les propriétés de la fiabilité spécifient les garanties que le protocole prévoit à l'égard de la diffusion de messages au(x) destinataire(s).

Un exemple de propriété de la fiabilité pour un protocole de diffusion unicast est au moins une fois, c'est-à-dire qu'au moins une copie de ce message a la garantie d'être livrée à son destinataire.

Les propriétés de fiabilité pour les protocoles multicast peuvent être exprimées en fonction du destinataire (on parle alors de propriétés de fiabilité simples), ou elles peuvent avoir trait à la livraison et/ou à l'ordre de la livraison entre les différents destinataires (on parle de propriétés de fiabilité fortes).

Dans le cadre de protocoles de multicast, des propriétés de fiabilité fortes spécifient les garanties que le protocole prévoit quant à la diffusion de messages à des destinataires différents.

Un exemple d'une propriété de fiabilité forte est le rappel de la dernière copie, ce qui signifie que tant qu'au moins une copie d'un message demeure disponible à l'un des destinataires, tous les autres destinataires qui ne rencontrent pas d'erreur finiront par en recevoir aussi une copie. Des propriétés de fiabilité forte comme celle-ci exigent généralement que les messages soient retransmis ou transférés entre les destinataires.

Un exemple d'une propriété de fiabilité plus forte que le rappel de la dernière copie est l'atomicité. Cette propriété exige que, si au moins une copie d'un message a été transmise à un destinataire, tous les autres destinataires finiront par recevoir une copie de ce message. En d'autres termes, chaque message est toujours livré soit à tous, soit à aucun des destinataires.

L'une des propriétés de fiabilité les plus complexes est la synchronie virtuelle.

Des propriétés de fiabilité fortes sont proposées par des systèmes de communication de groupe (GCS) tels IS-IS, Appia framework, Spread, JGroups ou QuickSilver Scalable Multicast. Le QuickSilver Proprerties Framework est une plateforme flexible qui permet d'exprimer des propriétés de fiabilité fortes de manière purement déclarative, à l'aide d'un langage simple basé sur des règles, qui sont automatiquement traduites dans un protocole hiérarchique.

Transmission fiable dans les systèmes temps réel

Il y a, cependant, un problème avec la définition de la fiabilité comme la livraison ou notification de l'échec (de livraison) en informatique en temps réel. Dans de tels systèmes, le défaut de livraison de données temps-réel nuit aux performances, et certains systèmes tels les systèmes critiques, et certains systèmes sécurisés critiques dans le cadre de la mission, doivent prouver qu'ils sont capables de garantir un niveau de service minimum. Ceci, à son tour, exige un minimum de fiabilité lors de la livraison des données critiques. Par conséquent, c'est seulement la livraison qui compte, et notifier l'expéditeur de l'échec de la transmission n'empêche pas, ni n'atténue, l'échec de la couche transport du système temps réel à délivrer les données.

Dans les systèmes temps réel stricts et souples, les données doivent être livrées dans un délai fixé, c'est-à-dire que des données délivrées en retard n'ont plus de valeur. Dans le cas de systèmes temps réel stricts, toutes les données doivent être fournies avant la date d'échéance, ou le système sera considéré comme en état de défaillance. Dans les systèmes temps réel dits souples, il existe une certaine probabilité acceptable que les données soient pas livrées ou soient livrées en retard - ce qui est équivalent.

Il y a un certain nombre de protocoles qui sont capables de répondre à des exigences de temps réel pour la fiabilité de la livraison et la ponctualité, du moins pour les systèmes temps réel dits souples (en raison des inévitables et inéluctables pertes causées, par exemple, par le taux d'erreurs de la couche physique):

MIL-STD-1553B et STANAG 3910 sont des exemples bien connus de tels protocoles ponctuels et fiables pour les bus de données en avionique. MIL-1553 utilise un média à 1 Mbit/s partagé pour la transmission de données et le contrôle de ces transmissions, et est largement utilisé dans les systèmes avioniques militaires (dans lequel Chaque système a ses propres ordinateurs exerçant ses propres fonctions.

Il utilise un contrôleur de Bus (BC) pour commander les terminaux à distance (RTs) connecté de recevoir ou transmettre ces données. Le BC peut donc s'assurer qu'il n'y ait pas de congestion, et les transferts sont toujours ponctuels. Le protocole MIL-1553 permet également les nouvelles tentatives automatiques qui peuvent toujours assurer la livraison endéans le temps imparti et augmenter la fiabilité au-dessus de la couche physique. STANAG 3910, aussi connu comme EFABus dans son utilisation sur l'Eurofighter Typhoon, est, dans les faits, une version de la norme MIL-1553 augmentée avec un bus média à 20 Mbit/s partagé pour les transferts de données, tout en gardant le bus media partagé de 1 Mbit/s destiné au contrôle.

Le Mode de Transfert Asynchrone (ATM), le Avionics Full Duplex Switched Ethernet (AFDX), et le Time Triggered Ethernet (TTEthernet) sont des exemples de protocoles réseaux à commutation de paquets dans lesquels la ponctualité et la fiabilité des transferts de données peuvent être assurées par le réseau. AFDX et TTEthernet sont également basés sur la norme IEEE 802.3 Ethernet, bien qu'ils ne soient pas entièrement compatible avec celle-ci.

ATM utilise des canaux virtuels (VCs) orientés connexion, qui ont des chemins entièrement déterministes à travers le réseau, ainsi que le contrôle des paramètres d'utilisation et de réseau (UPC/NPC), qui sont mis en œuvre au sein du réseau, afin de limiter le trafic sur chaque VC individuellement. Cela permet que l'utilisation des ressources partagées (tampons de switches) dans le réseau soit calculée à l'avance à partir des paramètres du trafic qui sera acheminé, c'est-à-dire au moment de la conception du système. Le fait qu'ils soient mis en œuvre par le réseau signifie que ces calculs restent valables, même si d'autres utilisateurs du réseau se comportent de manière inattendue, c'est-à-dire de transmettre plus de données que ce qui était attendu. Les usages calculés peuvent ensuite être comparés avec les capacités des ressources pour montrer que, étant donné les contraintes sur les routes et les bandes passantes de ces connexions, la ressource utilisée pour ces transferts ne sera jamais dépassée. Ces transferts ne seront dès lors jamais être affectés par des problèmes de congestion et il n'y aura pas de pertes dues à cet effet. Ensuite, à partir de l'utilisation maximum prédite des tampons des switches, le délai maximum à travers le réseau peut également être prédit. Cependant, pour prouver la fiabilité et la ponctualité, et pour que les preuves soient insensibles aux défaillances du réseau et aux actes de malveillance causés par l'équipement connecté au réseau, le calcul de ces utilisations de ressources ne peut pas être fondée sur des paramètres qui ne sont pas imposés de façon active par le réseau, c'est-à-dire qu'ils ne peuvent pas se baser sur ce que les sources de trafic sont censées faire ou sur des analyses statistiques des caractéristiques du trafic (voir calcul de réseau).

AFDX utilise la limitation du flux ou l'allocation de bande passante, ce qui permet que le trafic sur chaque lien virtuel (VL) soit limité, de sorte que les exigences en matière de ressources partagées puissent être prédites et la congestion évitée. On peut ainsi prouver qu'elle n'affectera pas les données critiques. Cependant, les techniques de prévision des besoins en ressources et de preuve de l'impossibilité de la congestion ne font pas partie du standard AFDX.

TTEthernet fournit la latence la plus faible possible dans le transfert de données sur un réseau en utilisant des méthodes de contrôle de domaine temporel – à chaque fois, le déclenchement d'un transfert est prévu à un moment précis, de sorte que les conflits pour les ressources partagées soient entièrement contrôlés, et la possibilité de congestion éliminée. Les switches du réseau imposent ce moment pour assurer une résistance aux défauts du réseau, et aux actes de malveillance de la part d'autres équipements connectés. Cependant, des « horloges locales synchronisées sont la condition sine qua non pour la communication déclenchée par le temps ». En effet, les sources des données critiques devront avoir la même conception du temps que le switch, afin qu'ils puissent transmettre au bon moment et que le switch l'interprète correctement. Cela implique également que la séquence dans laquelle un transfert critique est prévu doit être prévisible à la fois pour la source et le switch. Ceci, à son tour, limitera la planification de la transmission à une planification très déterministe, comme un cyclic executive.

Cependant, une faible latence dans le transfert des données sur le bus ou le réseau ne se traduit pas nécessairement par de faibles délais dans le transport entre l'application qui émet et celle qui reçoit ces données. Ceci est particulièrement vrai lorsque les transferts sur le bus ou le réseau sont prévus de manière cyclique (comme c'est souvent le cas avec la norme MIL-STD-1553B et STANAG 3910, et toujours le cas avec AFDX et TTEthernet), mais que les processus des applications sont asynchrones, comme le multitâche préemptif ou seulement plésiochrones par rapport à ce cycle. Dans ce cas, le délai et la gigue maximum sera égal au double de la fréquence de mise à jour pour le transfert cyclique (les transferts attendent pendant la durée de l'intervalle de mise à jour entre l'émission et la réception, puis attendent encore pendant la durée de l'intervalle de mise à jour entre la réception et l'utilisation de la donnée transmise).

Avec AFDX et TTEthernet, il y a d'autres fonctions additionnelles exigées des interfaces avec le réseau pour la transmission de données critiques, etc., ce qui rend difficile l'utilisation d'interfaces Ethernet standard. Le contrôle d'écart d'allocation de bande passante d'AFDX, et les exigences de TTEthernet quant à la synchronisation très précise de l'envoi des données sont des exemples de ces fonctions. D'autres méthodes de contrôle du trafic dans le réseau, qui permettraient l'utilisation d'interfaces standard IEEE 802.3 sont à l'étude actuellement.

Références

  1. (en) James Gillies et R. Cailliau, How the Web was Born : The Story of the World Wide Web, Oxford University Press, , 372 p. (lire en ligne), p. 25
  2. (en) « The Evolution of Packet Switching » Accès libre [PDF], sur ismlab.usf.edu, (consulté le )

Read other articles:

Edward LearLukisan Edward Lear karya Wilhelm MarstrandLahir(1812-05-12)12 Mei 1812Holloway, London, InggrisMeninggal29 Januari 1888(1888-01-29) (umur 75)Sanremo, ItaliaPekerjaanPenyair, Seniman, Ilustrator, Penulis Edward Lear (12 Mei 1812 – 29 Januari 1888) adalah seorang penyair, penulis, ilustrator, dan seniman berkebangsaan Inggris.[1] Karya sastra Puisi Beberapa puisi yang ditulis selama hidupnya antara lain: Oh dear! How disgusting is life![2] The J...

 

2012 film by Bhushan Patel 1920: The Evil ReturnsMovie posterDirected byBhushan PatelWritten byVikram BhattSanjy Masoom (Tamil Dialogue)Screenplay byRensil D'SilvaProduced byVikram Bhatt[1]Starring Aftab Shivdasani Tia Bajpai Vidya Malvade Sharad Kelkar CinematographyNaren GediaEdited bySwapnil RajMusic by Songs:Chirantan Bhatt Background Score:Amar Mohile ProductioncompaniesASA Productions and Enterprises Pvt. Ltd.Distributed byReliance EntertainmentRelease date 2 November ...

 

Kamsol Kamsol adalah seorang birokrat Indonesia. Ia sempat menjabat sebagai Sekertaris Daerah Kabupatan Kepulauan Meranti. Kemudian, ia menjabat sebagai Kepala Dinas Pendidikan Riau. Pada 2022, ia menjabat sebagai pelaksana tugas Bupati Kampar.[1] Referensi ^ Dilantik Senin Pagi, Ini Profil Singkat Muflihun dan Kamsol. Riau Pos.  Artikel bertopik biografi Indonesia ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.lbs

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (سبتمبر 2019) منتخب العراق تحت 23 سنة معلومات عامة بلد الرياضة العراق  الفئة كرة قدم تحت 23 سنة للرجال  [لغات أخرى]...

 

Roti lapis bakonAsalNegara asalInggris Raya RincianJenisroti lapis Bahan utamaroti dan Bacon lbs Roti lapis bakon (bahasa Inggris: bacon sandwich, juga dikenal di beberapa wilayah Britania Raya dan Selandia Baru dengan nama bacon butty, bacon bap, atau bacon sarnie, di Irlandia sebagai rasher sandwich,[1] dan bacon sanger di Australia serta beberapa wilayah di Skotlandia) adalah roti lapis isi bakon yang dimasak ulang yang ditaruh di antara roti yang biasanya dioles terlebih dahulu de...

 

This article is about the town. For the Second World War battles, see First Battle of El Alamein and Second Battle of El Alamein. For other uses, see El Alamein (disambiguation). This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) You can help expand this article with text translated from the corresponding article in Arabic. (April 2019) Click [show] for important translation instruction...

Entamoeba coli TaksonomiSuperdomainBiotaSuperkerajaanEukaryotaKladAmorpheaFilumAmoebozoaSubfilumConosaInfrafilumArchamoebaeKelasArchamoebeaOrdoEntamoebidaFamiliEntamoebidaeGenusEntamoebaSpesiesEntamoeba coli (Grassi, 1879) Tata namaProtonimAmoeba coli lbs Entamoeba coli adalah spesies Entamoeba non-patogen yang sering hidup sebagai parasit komensal dalam saluran pencernaan manusia. E. coli (jangan disamakan dengan bakteri Escherichia coli) penting dalam dunia kedokteran karena dapat dikacauka...

 

Mammalian protein found in Homo sapiens GALTAvailable structuresPDBOrtholog search: PDBe RCSB List of PDB id codes5IN3IdentifiersAliasesGALT, entrez:2592, galactose-1-phosphate uridylyltransferaseExternal IDsOMIM: 606999 MGI: 95638 HomoloGene: 126 GeneCards: GALT Gene location (Human)Chr.Chromosome 9 (human)[1]Band9p13.3Start34,638,133 bp[1]End34,651,035 bp[1]Gene location (Mouse)Chr.Chromosome 4 (mouse)[2]Band4 A5|4 22.07 cMStart41,755,228 bp[2]En...

 

Costa de la Muerte Costa da Morte Faro de cabo Villano, Camariñas.SituaciónPaís España EspañaComunidad Galicia GaliciaProvincia La CoruñaLa CoruñaCoordenadas 43°06′N 9°06′O / 43.1, -9.1Datos generalesGrado de protección Lugar de Importancia ComunitariaFecha de creación 1904 – Aparece la expresión La costa de la muerte en el diario Noroeste. Iniciándose así la popularidad de dicho nombre hasta día de hoy.N.º de local...

Part of a series onBritish law Acts of Parliament of the United Kingdom Year      1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 ...

 

Network of charities with headquarters in Alexandria, Virginia Catholic Charities redirects here. For the Catholic Church's charities in general, see Catholic charities. Catholic Charities USAFoundedSeptember 25, 1910; 113 years ago (1910-09-25) (as National Conference of Catholic Charities)TypeHumanitarian aidTax ID no. 53-0196620LocationAlexandria, Virginia, U.S.OriginsUrsulines in New OrleansArea served United StatesKey peopleDonna Markham[1]President and CEOMargu...

 

Historic military installation in Queens, New York This article is about the former military installation. For the 2014 film, see Fort Tilden (film). Fort TildenPart of Harbor Defenses of Southern New YorkQueens, New York View of the abandoned fort in June 2020Type Coastal defense fort (1917–1948) Antiaircraft gun and missile site (1950–1970s) Army Reserve Post (1960s–1995) Site informationControlled byU.S. ArmySite historyBuilt1917–1924In use1917–1995 Fort Tilden Historic...

Katai Canis MajorData pengamatan (J2000 epos)Rasi bintangCanis MajorAsensio rekta 07j 12m 35.0d[1]Deklinasi -27° 40′ 00″[1]Jarak25.000 tahun cahayaCiri-ciriJenisIrrJumlah bintang1 miliar (1×109)Ukuran semu (V)12 derajat × 12 derajatPenamaan lainCMa Dwarf,[1] PGC 5065047 Galaksi Katai Canis Major (bahasa Inggris: Canis Major Dwarf Galaxy, CMa Dwarf) adalah sebuah galaksi katai tak beraturan disengketakan dalam Grup Lokal, te...

 

Extinct order of fishes PorolepiformesTemporal range: 416–318 Ma PreꞒ Ꞓ O S D C P T J K Pg N Devonian and Carboniferous Various genera Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Clade: Sarcopterygii Clade: Rhipidistia Clade: Dipnomorpha Class: Porolepimorpha Order: †PorolepiformesJarvik 1942 Genera †Porolepidae †Heimenia ØRvik 1969 †Porolepis †Holoptychiidae Owen 1860 ?†Duffichthys Ahlberg 1992 ?†Ventalepis Schultze 1980 †Pseudos...

 

For her granddaughter, see Infanta Sofía of Spain. Sophia of Greece redirects here. For the granddaughter of George I of Greece, see Princess Sophie of Greece and Denmark. For Queen Sofía's grandmother, see Queen Sophia of Greece. Queen of Spain from 1975 to 2014 SofíaSofía in 2009Queen consort of SpainTenure22 November 1975 – 19 June 2014BornPrincess Sophia of Greece and Denmark (1938-11-02) 2 November 1938 (age 85)Tatoi Palace, Athens, GreeceSpouse Juan Carlos I ​(m...

Super Smash Bros. Melee Sampul Amerika Utara Diterbitkan diGenreBertarungBahasa Daftar bahasa Jepang 60 Karakteristik teknisPlatformNintendo GameCube Modepermainan video multipemain dan Permainan video pemain tunggal Informasi pengembangPengembangHAL LaboratoryPenyuntingNintendo PengarahMasahiro SakuraiProdusen Hiroaki Suga Shigeru Miyamoto Komponis Hirokazu Ando Shogo Sakai Tadashi Ikegami PenerbitNintendoPenilaianESRB PEGI USK CERO OFLC Informasi tambahanMobyGamessuper-smash-bros-melee Id. ...

 

Tell Me Whysingolo discograficoScreenshot tratto dal video del branoArtistaThe Kid Laroi Pubblicazione17 luglio 2020 Durata3:16 Album di provenienzaF*ck Love GenereEmo rap EtichettaColumbia Records ProduttoreOkTanner, Pharaoh Vice, Leyva, Taz Taylor, MJNichols CertificazioniDischi di platino Australia[1](vendite: 70 000+) Canada[2](vendite: 80 000+) Stati Uniti[3](vendite: 1 000 000+) The Kid Laroi - cronologiaSingolo preced...

 

Culinary traditions of Mexico City Cabeza tacos in Mexico City The cuisine of Mexico City encompasses a variety of cuisines. Restaurants specialize in the regional cuisines of Mexico's 31 states, and the city also has several branches of internationally recognized restaurants. History In 1325, the Aztecs settled in the region around Lake Texcoco in the highlands of Central Mexico. Here they lived off the rich food resources of the lake and developed sophisticated constructions of canals for i...

MichaelÁlbum de estudio de Michael JacksonPublicación 14 de diciembre de 2010Grabación 1982–2008 (canciones originales)2010 (revisadas)Género(s) R&B, pop, soul, new wave, funkDuración 27:24Discográfica EpicProductor(es) Michael Jackson, Theron Neff-U Feemster, John McClain, Akon, Giorgio Tuinfort, Teddy Riley, Brad Buxer, Lenny KravitzCalificaciones profesionales Rolling Stone (3/5) Cronología de Michael Jackson This Is It (2009) Michael (2010) Immortal (2011) Sencillos de Micha...

 

British Radical and Liberal statesman (1811–1889) For other people named John Bright, see John Bright (disambiguation). The Right HonourableJohn BrightJohn Bright in the 1870sPresident of the Board of TradeIn office9 December 1868 – 14 January 1871MonarchVictoriaPrime MinisterWilliam Ewart GladstonePreceded byThe Duke of RichmondSucceeded byChichester Parkinson-FortescueChancellor of the Duchy of LancasterIn office30 September 1873 – 17 February 1874MonarchVictoriaPrim...