Специфікація стиснених даних формату ZLIB (RFC1950), версія 3.3

Статус даного документу

Нотатка IESG:

Ліцензія

Загальна теорія

Вміст

1. Вступ
   1. Призначення
   2. Цільова аудиторія
   3. Межі застосування
   4. Сумісність
   5. Визначення використовуваних термінів і правил
   6. Зміни з попередньої версії
2. Детальна специфікація
   1. Загальні правила
   2. Формат даних
   3. Сумісність
3. Виноски
4. Джерельний код
5. Міркування безпеки
6. Подяки
7. Адреса авторів
8. Додаток: Обґрунтування
9. Додаток: Приклад коду

1. Вступ

1.1 Призначення

• Незалежний від типу процесора (CPU), операційної системи, файлової системи, і системи символів, що в результаті дає можливість обміну;
• Може бути створеним або отриманим, навіть для доволі довгих послідовностей ввідного потоку даних, використовуючи тільки обмежену кількість проміжної пам'яті, що дозволяє використовувати його у комунікаціях або подібних структурах на подобі Unix-фільтрів;
• Може використовувати певну кількість різних методів компресії;
• Може легко реалізовуватись у спосіб, який не закритий патентами, і отже може вільно практикуватися.

1.2 Цільова аудиторія

1.3 Межі застосування

1.4 Сумісність

1.5 Визначення використовуваних термінів і правил

1.6 Зміни з попередньої версії

2. Детальна специфікація

2.1 Загальні правила

+---+
|   | <-- вертикальні лінії можуть бути відсутніми
+---+

+==============+
|              |
+==============+

+--------+
|76543210|
+--------+

    0     1
+--------+--------+
|00000010|00001000|
+--------+--------+
^        ^
|        |
|        + менш значущий байт = 8
+ більш значущий байт = 2 x 256

2.2 Формат даних

  0   1
+---+---+
|CMF|FLG|   (далі-->)
+---+---+

(якщо встановлений FLG.FDICT)

  0   1   2   3
+---+---+---+---+
|     DICTID    |   (далі-->)
+---+---+---+---+

+=====================+---+---+---+---+
|....стиснені дані....|    ADLER32    |
+=====================+---+---+---+---+

CMF (Метод компресії і прапорці - Compresion Method and flags)

біти від 0 до 3   CM      Метод компресії
біти від 4 до 7   CINFO   Інформація компресора

CM (Метод Компресії - Compression method)

CINFO (Інформація компресора - Compression info)

FLG (прапорці - FLaGs)

біти від 0 до 4    FCHECK      (біти перевірки для CMF і FLG)
біт 5              FDICT       (встановлений словник)
біти від 6 до 7    FLEVEL      (метод компресії)

FDICT (Наперед встановлений словник - Preset dictionary)

FLEVEL (Рівень компресії - Compression Level)

• 0 - компресор використовує найшвидший алгоритм
• 1 - компресор використовує швидкий алгоритм
• 2 - компресор використовує алгоритм за умовчанням
• 3 - компресор використовує максимальну компресію, найповільніший алгоритм.

Стиснені дані

ADLER32 (Контрольна сума Adler-32)

2.3 Сумісність

3. Виноски

4. Джерельний код

5. Міркування безпеки

6. Подяки

7. Адреса авторів

8. Додаток: Обґрунтування

8.1 Наперед визначені словники

8.2 Алгоритм Adler-32

9. Приклад коду

&      Бітовий оператор "І".
>>     Бітовий оператор зсуву вправо. Під час застосування до 
       беззнакової сутності, як тут, зсув вправо вставляє нульові біти 
       зліва.
<<     Бітовий оператор лівого зміщення. Лівий зсув вставляє нульові біти 
       з права.
++     "n++" збільшує змінну n на одиницю.
%      оператор остачі від ділення: a % b являється остачею від
       ділення на b.

#define BASE 65521 /* найбільше просте число менше ніж 65536 */

/*
Оновляє часткову контрольну суму Adler-32 відносно байтів буферу 
buf[0..len-1] і повертає оновлену контрольну суму. Контрольна 
сума Adler-32 повинна ініціюватися у значення 1.

Приклад використання:

unsigned long adler = 1L ;

while (read_buffer(buffer, length) != EOF)
{
  adler = update_adler32 (adler, buffer, length) ;
}

if (adler != original_adler) error() ;
*/

unsigned long update_adler32 (unsigned long adler,
                              unsigned char *buf, 
                              int len)
{
  unsigned long s1 = adler & 0xffff ;
  unsigned long s2 = (adler >> 16) & 0xffff ;
  int n ;

  for (n = 0; n < len; n++) 
  {
    s1 = (s1 + buf[n]) % BASE ;
    s2 = (s2 + s1)     % BASE ;
  }
  
  return (s2 << 16) + s1 ;
}

/* Повертає контрольну суму adler32 байтів buf[0..len-1] */

unsigned long adler32 (unsigned char *buf, int len)
{
  return update_adler32 (1L, buf, len) ;
}