The data link layer: two impossibility results
The data link layer in a layered communication network is designed to ensure reliable data transfer over a noisy physical channel. Formal specifications are given for physical channels and data links, in terms of I/O automata. Based on these specifications, two impossibility results are proved. Firs...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
Lab. for Computer Science, Massachusetts Inst. of Technology
1988
|
| Schlagworte: | |
| Zusammenfassung: | The data link layer in a layered communication network is designed to ensure reliable data transfer over a noisy physical channel. Formal specifications are given for physical channels and data links, in terms of I/O automata. Based on these specifications, two impossibility results are proved. First, no data link protocol can tolerate crashes of the host processors on which the protocol runs. Second, any data link protocol constructed to use an arbitrary non-FIFO physical channel requires unbounded headers. Keywords: Crashing; Volatile memory bounded headers; Communication protocols; Data link layer; Physical layer. (RH). |
| Beschreibung: | [22 S.] |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021892131 | ||
| 003 | DE-604 | ||
| 005 | 20190308 | ||
| 007 | t | ||
| 008 | 900726s1988 |||| 00||| eng d | ||
| 035 | |a (OCoLC)227727313 | ||
| 035 | |a (DE-599)BVBBV021892131 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MIT/LCS/TM-355 | ||
| 100 | 1 | |a Lynch, Nancy A. |d 1948- |e Verfasser |0 (DE-588)121919625 |4 aut | |
| 245 | 1 | 0 | |a The data link layer |b two impossibility results |
| 264 | 1 | |a Cambridge, Mass. |b Lab. for Computer Science, Massachusetts Inst. of Technology |c 1988 | |
| 300 | |a [22 S.] | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 3 | |a The data link layer in a layered communication network is designed to ensure reliable data transfer over a noisy physical channel. Formal specifications are given for physical channels and data links, in terms of I/O automata. Based on these specifications, two impossibility results are proved. First, no data link protocol can tolerate crashes of the host processors on which the protocol runs. Second, any data link protocol constructed to use an arbitrary non-FIFO physical channel requires unbounded headers. Keywords: Crashing; Volatile memory bounded headers; Communication protocols; Data link layer; Physical layer. (RH). | |
| 650 | 7 | |a Automata |2 dtict | |
| 650 | 7 | |a Channels |2 dtict | |
| 650 | 7 | |a Command, Control and Communications Systems |2 scgdst | |
| 650 | 7 | |a Communications networks |2 dtict | |
| 650 | 7 | |a Crashes |2 dtict | |
| 650 | 7 | |a Data links |2 dtict | |
| 650 | 7 | |a Information transfer |2 dtict | |
| 650 | 7 | |a Layers |2 dtict | |
| 650 | 7 | |a Physical properties |2 dtict | |
| 650 | 7 | |a Reliability |2 dtict | |
| 650 | 0 | 7 | |a Netzwerk |0 (DE-588)4171529-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computerarchitektur |0 (DE-588)4048717-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a OSI-Modell |0 (DE-588)4201284-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Computerarchitektur |0 (DE-588)4048717-9 |D s |
| 689 | 0 | 1 | |a Netzwerk |0 (DE-588)4171529-9 |D s |
| 689 | 0 | 2 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mansour, Yishay |e Verfasser |0 (DE-588)134053605 |4 aut | |
| 700 | 1 | |a Fekete, Alan |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015107329 | ||
Datensatz im Suchindex
| _version_ | 1804135835677753344 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Lynch, Nancy A. 1948- Mansour, Yishay Fekete, Alan |
| author_GND | (DE-588)121919625 (DE-588)134053605 |
| author_facet | Lynch, Nancy A. 1948- Mansour, Yishay Fekete, Alan |
| author_role | aut aut aut |
| author_sort | Lynch, Nancy A. 1948- |
| author_variant | n a l na nal y m ym a f af |
| building | Verbundindex |
| bvnumber | BV021892131 |
| ctrlnum | (OCoLC)227727313 (DE-599)BVBBV021892131 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02271nam a2200493zc 4500</leader><controlfield tag="001">BV021892131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190308 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900726s1988 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227727313</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021892131</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MIT/LCS/TM-355</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lynch, Nancy A.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121919625</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The data link layer</subfield><subfield code="b">two impossibility results</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Lab. for Computer Science, Massachusetts Inst. of Technology</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">[22 S.]</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The data link layer in a layered communication network is designed to ensure reliable data transfer over a noisy physical channel. Formal specifications are given for physical channels and data links, in terms of I/O automata. Based on these specifications, two impossibility results are proved. First, no data link protocol can tolerate crashes of the host processors on which the protocol runs. Second, any data link protocol constructed to use an arbitrary non-FIFO physical channel requires unbounded headers. Keywords: Crashing; Volatile memory bounded headers; Communication protocols; Data link layer; Physical layer. (RH).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automata</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Channels</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Command, Control and Communications Systems</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Communications networks</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Crashes</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Data links</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Information transfer</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Layers</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Physical properties</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reliability</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Netzwerk</subfield><subfield code="0">(DE-588)4171529-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Netzwerk</subfield><subfield code="0">(DE-588)4171529-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mansour, Yishay</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)134053605</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fekete, Alan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015107329</subfield></datafield></record></collection> |
| id | DE-604.BV021892131 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:12Z |
| indexdate | 2024-07-09T20:46:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015107329 |
| oclc_num | 227727313 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | [22 S.] |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Lab. for Computer Science, Massachusetts Inst. of Technology |
| record_format | marc |
| spelling | Lynch, Nancy A. 1948- Verfasser (DE-588)121919625 aut The data link layer two impossibility results Cambridge, Mass. Lab. for Computer Science, Massachusetts Inst. of Technology 1988 [22 S.] txt rdacontent n rdamedia nc rdacarrier The data link layer in a layered communication network is designed to ensure reliable data transfer over a noisy physical channel. Formal specifications are given for physical channels and data links, in terms of I/O automata. Based on these specifications, two impossibility results are proved. First, no data link protocol can tolerate crashes of the host processors on which the protocol runs. Second, any data link protocol constructed to use an arbitrary non-FIFO physical channel requires unbounded headers. Keywords: Crashing; Volatile memory bounded headers; Communication protocols; Data link layer; Physical layer. (RH). Automata dtict Channels dtict Command, Control and Communications Systems scgdst Communications networks dtict Crashes dtict Data links dtict Information transfer dtict Layers dtict Physical properties dtict Reliability dtict Netzwerk (DE-588)4171529-9 gnd rswk-swf Computerarchitektur (DE-588)4048717-9 gnd rswk-swf OSI-Modell (DE-588)4201284-3 gnd rswk-swf Computerarchitektur (DE-588)4048717-9 s Netzwerk (DE-588)4171529-9 s OSI-Modell (DE-588)4201284-3 s DE-604 Mansour, Yishay Verfasser (DE-588)134053605 aut Fekete, Alan Verfasser aut |
| spellingShingle | Lynch, Nancy A. 1948- Mansour, Yishay Fekete, Alan The data link layer two impossibility results Automata dtict Channels dtict Command, Control and Communications Systems scgdst Communications networks dtict Crashes dtict Data links dtict Information transfer dtict Layers dtict Physical properties dtict Reliability dtict Netzwerk (DE-588)4171529-9 gnd Computerarchitektur (DE-588)4048717-9 gnd OSI-Modell (DE-588)4201284-3 gnd |
| subject_GND | (DE-588)4171529-9 (DE-588)4048717-9 (DE-588)4201284-3 |
| title | The data link layer two impossibility results |
| title_auth | The data link layer two impossibility results |
| title_exact_search | The data link layer two impossibility results |
| title_exact_search_txtP | The data link layer two impossibility results |
| title_full | The data link layer two impossibility results |
| title_fullStr | The data link layer two impossibility results |
| title_full_unstemmed | The data link layer two impossibility results |
| title_short | The data link layer |
| title_sort | the data link layer two impossibility results |
| title_sub | two impossibility results |
| topic | Automata dtict Channels dtict Command, Control and Communications Systems scgdst Communications networks dtict Crashes dtict Data links dtict Information transfer dtict Layers dtict Physical properties dtict Reliability dtict Netzwerk (DE-588)4171529-9 gnd Computerarchitektur (DE-588)4048717-9 gnd OSI-Modell (DE-588)4201284-3 gnd |
| topic_facet | Automata Channels Command, Control and Communications Systems Communications networks Crashes Data links Information transfer Layers Physical properties Reliability Netzwerk Computerarchitektur OSI-Modell |
| work_keys_str_mv | AT lynchnancya thedatalinklayertwoimpossibilityresults AT mansouryishay thedatalinklayertwoimpossibilityresults AT feketealan thedatalinklayertwoimpossibilityresults |