LXF156:Erlang - История изменений

Olkol в 12:06, 13 июля 2018

2018-07-13T12:06:49Z

Olkol в 04:21, 13 июля 2018

2018-07-13T04:21:34Z

Olkol в 04:19, 13 июля 2018

2018-07-13T04:19:15Z

Olkol в 04:17, 13 июля 2018

2018-07-13T04:17:48Z

Olkol в 04:15, 13 июля 2018

2018-07-13T04:15:09Z

Olkol в 04:11, 13 июля 2018

2018-07-13T04:11:57Z

Olkol в 04:11, 13 июля 2018

2018-07-13T04:11:17Z

Olkol: Новая страница: « '''Erlang Описывается следующей формулой:функциональный язык + процессы''' =Er…»

2018-07-13T04:09:35Z

Новая страница: « '''Erlang Описывается следующей формулой:функциональный язык + процессы''' =Er…»

Внесённые изменения

@@ Строка 243: / Строка 243: @@
 Разберемся с кодированием более сложных типов данных. Начнем с битовых строк – в данном контексте под битовой строкой мы понимаем последовательность бит, количество которых не кратно 8. Битовая строка кодируется следующим образом: она разбивается на сегменты размером 8 бит и остаток, размер которого меньше 8 бит. После чего справа добавляем сегмент такого размера (от 1 до 7 бит), чтобы остаток и этот сегмент в сумме имели размер 8 бит, и заполняем этот сегмент значением 0. Затем перед битовой строкой дописываем октет, содержащий количество бит добавленного справа сегмента (от 1 до 7). Это нужно потому, что длина данных задается в количестве используемых октетов. Соответственно, длина закодированной битовой строки будет на единицу больше числа используемых для хранения битовой строки октетов. Для битовых строк тип данных имеет значение 3 (класс – universal, форма – primitive, идентификатор – 3).
-encode_bitstring(BitString, _EncodeDispatcher) ->
+ encode_bitstring(BitString, _EncodeDispatcher) ->
-OctetCount = (bit_size(BitString) div 8) + 1,
+ OctetCount = (bit_size(BitString) div 8) + 1,
-UnusedBitCount = 8 - bit_size(BitString) rem 8,
+ UnusedBitCount = 8 - bit_size(BitString) rem 8,
-Tag = encode_tag(#tag{class = universal, form = primitive, tag_value = 3}),
+ Tag = encode_tag(#tag{class = universal, form = primitive, tag_value = 3}),
-EncodedValue = list_to_bitstring([BitString, <<0:UnusedBitCount>>]),
+ EncodedValue = list_to_bitstring([BitString, <<0:UnusedBitCount>>]),
-list_to_binary([Tag, encode_length(OctetCount + 1), <<UnusedBitCount:8>>, EncodedValue]).
+ list_to_binary([Tag, encode_length(OctetCount + 1), <<UnusedBitCount:8>>, EncodedValue]).
 Строки октетов кодируются гораздо проще: сначала идет тип данных, равный 4 (класс – universal, форма – primitive, идентификатор – 4), потом длина закодированных данных (в нашем случае, количество октетов в строке), после чего идет сама строка.
-encode_octetstring(OctetString, _EncodeDispatcher) ->
+ encode_octetstring(OctetString, _EncodeDispatcher) ->
-Tag = encode_tag(#tag{class = universal, form = primitive, tag_value = 4}),
+ Tag = encode_tag(#tag{class = universal, form = primitive, tag_value = 4}),
-list_to_binary([Tag, encode_length(size(OctetString)), OctetString]).
+ list_to_binary([Tag, encode_length(size(OctetString)), OctetString]).
 Теперь займемся кодированием составных типов данных: списков и кортежей. Как кодируется содержимое составных типов данных? Ответ очевиден: мы берем первый элемент содержимого и кодируем у него последовательно тип данных, длину и содержимое, затем то же самое делаем для второго элемента, и так до тех пор, пока все элементы содержимого не будут закодированы. Длина (или, что то же самое, число октетов), полученная в результате кодирования содержимого, становится длиной закодированного составного элемента. Для списков значение типа данных равняется 48 (класс – universal, форма – constructed, идентификатор – 16)
-encode_sequence(Sequence, EncodeDispatcher) ->
+ encode_sequence(Sequence, EncodeDispatcher) ->
-Tag = encode_tag(#tag{class = universal, form = constructed, tag_value = 16}),
+ Tag = encode_tag(#tag{class = universal, form = constructed, tag_value = 16}),
-{ContentLength, ContentBinary} = encode_sequence_content(Sequence, EncodeDispatcher),
+ {ContentLength, ContentBinary} = encode_sequence_content(Sequence, EncodeDispatcher),
-list_to_binary([Tag, encode_length(ContentLength), ContentBinary]).
+ list_to_binary([Tag, encode_length(ContentLength), ContentBinary]).
 Кортежи, как говорилось выше, кодируются точно так же, как и списки. Только для кортежей значение типа данных равняется 16160 = 2#0011111100100000 (класс – universal, форма – constructed, идентификатор – 32). Следует сказать про значение идентификатора следующее: до этого все типы данных кодировались с использованием стандартных идентификаторов типов, но нотация ASN.1 не позволяет различать такие типы данных, как списки и кортежи. Поэтому для кортежей был выбран идентификатор, равный 32, но не являющийся стандартным. Поэтому, когда мы будем использовать наш пример универсальным образом, с кодированием и декодированием кортежей, скорее всего, будут проблемы. Выходов из этой ситуации два: либо не использовать нашу систему универсальным способом, либо ограничится стандартными типами данных (что означает – вместо кортежей использовать списки).
-encode_tuple(Tuple, EncodeDispatcher) ->
+ encode_tuple(Tuple, EncodeDispatcher) ->
-Tag = encode_tag(#tag{class = universal, form = constructed, tag_value = 32}),
+ Tag = encode_tag(#tag{class = universal, form = constructed, tag_value = 32}),
-{ContentLength, ContentBinary} = encode_sequence_content(tuple_to_list(Tuple), EncodeDispatcher),
+ {ContentLength, ContentBinary} = encode_sequence_content(tuple_to_list(Tuple), EncodeDispatcher),
-list_to_binary([Tag, encode_length(ContentLength), ContentBinary]).
+ list_to_binary([Tag, encode_length(ContentLength), ContentBinary]).
 Метод encode_sequence_content/2 реализует алгоритм кодирования содержимого объекта составного типа данных, о котором мы говорили выше. В этой реализации мы считаем, что составной тип данных является списком, поэтому для всех других составных типов данных необходимо преобразовывать их содержимое в список (что делается, например, в методе encode_tuple/2).
-encode_sequence_content(Sequence, EncodeDispatcher) ->
+ encode_sequence_content(Sequence, EncodeDispatcher) ->
-lists:foldl(fun(Element, {Length, Binary}) ->
+ lists:foldl(fun(Element, {Length, Binary}) ->
-EncodedElement = encode(Element, EncodeDispatcher),
+ EncodedElement = encode(Element, EncodeDispatcher),
-EncodedSize = size(EncodedElement),
+ EncodedSize = size(EncodedElement),
-{Length + EncodedSize, list_to_binary([Binary, EncodedElement])}
+ {Length + EncodedSize, list_to_binary([Binary, EncodedElement])}
-end, {0, <<>>}, Sequence).
+ end, {0, <<>>}, Sequence).
 Последний поддерживаемый в нашем примере тип данных – атом. Он кодируется по тем же принципам, что и строка октетов; для этого атом преобразуется в битовую строку при помощи BIF atom_to_binary/2 в кодировке utf8. Для атомов значение типа данных равняется 16161 = 2#0011111100100001 (класс – universal, форма – constructed, идентификатор – 33)
-encode_atom(Atom, _EncodeDispatcher) ->
+ encode_atom(Atom, _EncodeDispatcher) ->
-Tag = encode_tag(#tag{class = universal, form = primitive, tag_value = 33}),
+ Tag = encode_tag(#tag{class = universal, form = primitive, tag_value = 33}),
-AtomBinary = atom_to_binary(Atom, utf8),
+ AtomBinary = atom_to_binary(Atom, utf8),
-list_to_binary([Tag, encode_length(size(AtomBinary)), AtomBinary]).
+ list_to_binary([Tag, encode_length(size(AtomBinary)), AtomBinary]).
 Вот и все с кодированием данных, но остается еще задача, как закодированные нами данные потом раскодировать. Об этом мы поговорим в следующей статье – завершающей цикл «Практикум функционального программирования на языке Erlang».

← Предыдущая		Версия 04:21, 13 июля 2018
Строка 308:		Строка 308:

	Вот и все с кодированием данных, но остается еще задача, как закодированные нами данные потом раскодировать. Об этом мы поговорим в следующей статье – завершающей цикл «Практикум функционального программирования на языке Erlang».		Вот и все с кодированием данных, но остается еще задача, как закодированные нами данные потом раскодировать. Об этом мы поговорим в следующей статье – завершающей цикл «Практикум функционального программирования на языке Erlang».
−
−	~~232609.png~~
−	~~232610.png~~
−
−	~~Ushakov.A.psd~~
−	~~Наш эксперт~~
−
−	~~Андрей Ушаков~~
−	~~активно приближает тот день, когда функциональные языки станут мейнстримом.~~
−
−	~~232549.png Рис. 1.~~
−
−	~~Pict1.psd~~
−	~~232640.png Рис. 2.~~
−
−	~~Pict2.psd~~
−	~~231831.png Не хотите пропустить номер? Подпишитесь на www.linuxformat.ru/subscribe/!~~
−
−	~~Полезные заметки: Стандарты ASN.1~~
−
−	~~232246.png ITU-T Rec. X.680 \| ISO/IEC 8824-1. Спецификация на базовую нотацию.~~
−
−	~~232244.png ITU-T Rec. X.681 \| ISO/IEC 8824-2. Спецификация на информационные объекты.~~
−
−	~~232242.png ITU-T Rec. X.682 \| ISO/IEC 8824-3. Спецификация на ограничения.~~
−
−	~~232240.png ITU-T Rec. X.683 \| ISO/IEC 8824-4. Спецификация на параметризацию ASN.1.~~
−
−	~~232238.png ITU-T Rec. X.690 \| ISO/IEC 8825-1. Спецификация на BER (Basic encoding rules), CER (Canonical encoding rules) и DER (Distinguished encoding rules).~~
−
−	~~232236.png ITU-T Rec. X.691 \| ISO/IEC 8825-2. Спецификация на PER (Packed encoding rules).~~
−
−	~~232234.png ITU-T Rec. X.692 \| ISO/IEC 8825-3. Спецификация на ECN (Encoding control notation).~~
−
−	~~232232.png ITU-T Rec. X.693 \| ISO/IEC 8825-4. Спецификация на XER (XML Encoding rules).~~
−
−	~~232230.png ITU-T Rec. X.694 \| ISO/IEC 8825-5. Спецификация на отображение на XSD.~~
−
−	232228.png ITU-T Rec. X.695 \| ISO/IEC 8825-6. Спецификация на регистрацию и применение инструкций кодирования PER (Packed encoding rules).

@@ Строка 35: / Строка 35: @@
 *ITU-T Rec. X.683 / ISO/IEC 8824-4. Спецификация на параметризацию ASN.1.
-*Rec. X.690 | ISO/  IEC 8825-1. Спецификация на BER (Basic encoding rules), CER (Canonical encoding rules) и DER (Distinguished encoding rules).
+*Rec. X.690 / ISO/  IEC 8825-1. Спецификация на BER (Basic encoding rules), CER (Canonical encoding rules) и DER (Distinguished encoding rules).
 *ITU-T Rec. X.691 / ISO/IEC 8825-2. Спецификация на PER (Packed encoding rules).

@@ Строка 27: / Строка 27: @@
 [[Файл: Pict2_opt.jpeg|right |400px | thumb| Рис.2.]]
 {{Врезка|right|Заголовок= Полезные заметки: Стандарты ASN.1|Ширина=40%|Содержание=
-*ITU-T Rec. X.680 | ISO/IEC 8824-1. Спецификация на базовую нотацию.
+*ITU-T Rec. X.680 / ISO/IEC 8824-1. Спецификация на базовую нотацию.
-*ITU-T Rec. X.681 | ISO/IEC 8824-2. Спецификация на информационные объекты.
+*ITU-T Rec. X.681 / ISO/IEC 8824-2. Спецификация на информационные объекты.
-*ITU-T Rec. X.682 | ISO/IEC 8824-3. Спецификация на ограничения.
+*ITU-T Rec. X.682 / ISO/IEC 8824-3. Спецификация на ограничения.
-*ITU-T Rec. X.683 | ISO/IEC 8824-4. Спецификация на параметризацию ASN.1.
+*ITU-T Rec. X.683 / ISO/IEC 8824-4. Спецификация на параметризацию ASN.1.
-*Rec. X.690 | ISO/IEC 8825-1. Спецификация на BER (Basic encoding rules), CER (Canonical encoding rules) и DER (Distinguished encoding rules).
+*Rec. X.690 | ISO/  IEC 8825-1. Спецификация на BER (Basic encoding rules), CER (Canonical encoding rules) и DER (Distinguished encoding rules).
-*ITU-T Rec. X.691 | ISO/IEC 8825-2. Спецификация на PER (Packed encoding rules).
+*ITU-T Rec. X.691 / ISO/IEC 8825-2. Спецификация на PER (Packed encoding rules).
-*ITU-T Rec. X.692 | ISO/IEC 8825-3. Спецификация на ECN (Encoding control notation).
+*ITU-T Rec. X.692 / ISO/IEC 8825-3. Спецификация на ECN (Encoding control notation).
-*ITU-T Rec. X.693 | ISO/IEC 8825-4. Спецификация на XER (XML Encoding rules).
+*ITU-T Rec. X.693 / ISO/IEC 8825-4. Спецификация на XER (XML Encoding rules).
-*ITU-T Rec. X.694 | ISO/IEC 8825-5. Спецификация на отображение на XSD.
+*ITU-T Rec. X.694 / ISO/IEC 8825-5. Спецификация на отображение на XSD.
-*ITU-T Rec. X.695 | ISO/IEC 8825-6. Спецификация на регистрацию и применение инструкций кодирования PER (Packed encoding rules).}}
+*ITU-T Rec. X.695 / ISO/IEC 8825-6. Спецификация на регистрацию и применение инструкций кодирования PER (Packed encoding rules).}}
 Как и во всех других примерах, в качестве первого шага мы определяем модуль (и не забываем, что имя файла – это имя модуля с расширением .hrl), подключаем файлы с определениями и задаем список экспортируемых функций. Экспортируемых функций у нас всего две: функция build/1 для построения функции диспетчера для выбора подходящей функции кодирования данных и функция encode/2 для кодирования объектов Erlang.

@@ Строка 26: / Строка 26: @@
 -record(tag, {class, form, tag_value}).
 [[Файл: Pict2_opt.jpeg|right |400px | thumb| Рис.2.]]
-{{Врезка|right|Заголовок= |Ширина=40%|Содержание= Полезные заметки: Стандарты ASN.1
+{{Врезка|right|Заголовок= Полезные заметки: Стандарты ASN.1|Ширина=40%|Содержание=
-−
 *ITU-T Rec. X.680 | ISO/IEC 8824-1. Спецификация на базовую нотацию.
@@ Строка 38: / Строка 37: @@
 *Rec. X.690 | ISO/IEC 8825-1. Спецификация на BER (Basic encoding rules), CER (Canonical encoding rules) и DER (Distinguished encoding rules).
 *ITU-T Rec. X.691 | ISO/IEC 8825-2. Спецификация на PER (Packed encoding rules).
 *ITU-T Rec. X.692 | ISO/IEC 8825-3. Спецификация на ECN (Encoding control notation).

@@ Строка 10: / Строка 10: @@
 {{Врезка|left|Заголовок=Наш эксперт |Ширина=20%|Содержание= Андрей Ушаков
-активно приближает тот день, когда функциональные языки станут мейнстримом.}
+активно приближает тот день, когда функциональные языки станут мейнстримом.}}
 '''В''' этом номере мы продолжаем наш практикум по функциональному программированию: пришла пора опробовать «черную магию» битовых строк на большом примере. В качестве такого большого примера мы реализуем ASN.1-совместимую сериализацию и десериализацию объектов языка Erlang.

LXF156:Erlang - История изменений

Olkol в 12:06, 13 июля 2018

Olkol в 04:21, 13 июля 2018

Olkol в 04:19, 13 июля 2018

Olkol в 04:17, 13 июля 2018

Olkol в 04:15, 13 июля 2018

Olkol в 04:11, 13 июля 2018

Olkol в 04:11, 13 июля 2018

Olkol: Новая страница: « '''Erlang Опи­сы­ва­ет­ся сле­дую­щей фор­му­лой:функ­цио­наль­ный язык + про­цес­сы''' =Er…»

Olkol: Новая страница: « '''Erlang Описывается следующей формулой:функциональный язык + процессы''' =Er…»