Text compression: Difference between revisions

From NESdev Wiki
Jump to navigationJump to search
(→‎Damian Yerrick's robotfindskitten (NES): NES and GB ports of 240p Test Suite)
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
'''Text compression''' refers to techniques that allow fitting more text data into a smaller space.
'''Text compression''' refers to techniques that allow fitting more text data into a smaller space.
General-purpose compression formats that work well on a platform with relatively plentiful RAM, such as a PC, Nintendo 64, or Nintendo DS, may not work on platforms whose RAM is much smaller, such as the NES.


== Dictionary compression and DTE ==
== Dictionary compression and DTE ==
Line 56: Line 57:
Dictionary strings have a length limit of 255 bytes. They are not applied recursively. The dictionary strings are stored in length-data format without an end delimiter.
Dictionary strings have a length limit of 255 bytes. They are not applied recursively. The dictionary strings are stored in length-data format without an end delimiter.


=== Bisqwit's ppu_read_buffer test (NES) ===
=== Joel Yliluoma's ppu_read_buffer test (NES) ===


In Bisqwit's emulator test ROM ppu_read_buffer ([http://forums.nesdev.org/viewtopic.php?t=8847])
In Joel Yliluoma's emulator test ROM ppu_read_buffer ([http://forums.nesdev.org/viewtopic.php?t=8847])
the font is 128 symbols long, and in addition to the alphabet it includes some pre-rendered substrings in variable-width font.
the font is 128 symbols long, and in addition to the alphabet it includes some pre-rendered substrings in variable-width font.
The ROM uses a combination of DTE and dictionary for text compression. For DTE, the compression is applied recursively, in both DTE bytes.
The ROM uses a combination of DTE and dictionary for text compression. For DTE, the compression is applied recursively, in both DTE bytes.
Line 77: Line 78:
=== Damian Yerrick's robotfindskitten (NES) ===
=== Damian Yerrick's robotfindskitten (NES) ===


[http://forums.nesdev.org/viewtopic.php?f=22&t=11943 This implementation] of [[wikipedia:robotfindskitten]] contains a compressor written in Python and a 6502 decompressor.
[http://forums.nesdev.org/viewtopic.php?f=22&t=11943 This implementation] of [[wikipedia:robotfindskitten|robotfindskitten]] contains a compressor written in Python and a 6502 decompressor.
Comments in the compressor (<code>dte.py</code>) refer to the method as "digram tree encoding" for two reasons: to emphasize its recursive nature and because code units aren't "tiles", especially when displayed with a proportional font. The decompressor first copies the compressed string into RAM, into the ''end'' of a fixed size buffer, where the first portion of the buffer (and also the string itself) doubles as a stack for the recursive DTE references. The string is then interpreted from the buffer as follows.
Comments in the compressor (<code>dte.py</code>) refer to the method as "digram tree encoding" for two reasons: to emphasize its recursive nature and because code units aren't "tiles", especially when displayed with a proportional font. The decompressor first copies the compressed string into RAM, into the ''end'' of a fixed size buffer, where the first portion of the buffer (and also the string itself) doubles as a stack for the recursive DTE references. The string is then interpreted from the buffer as follows.


Line 85: Line 86:
| 00    || End of string. This code is only interpreted when copying the compressed string.
| 00    || End of string. This code is only interpreted when copying the compressed string.
|-
|-
| 00-7F || Print this symbol, and increase the reading position in the compressed string. If the reading position is now at the end of the compressed string, the string has ended.
| 00&ndash;7F || Print this symbol, and increase the reading position in the compressed string. If the reading position is now at the end of the buffer, the string has ended.
|-
|-
| 80–FF || ''Replace'' the current character with bpe_table[n&times;2+1] and decrease the reading position in the compressed string. Read bpe_table[n&times;2+0] and interpret it. The multiplication by 2 discards the carry. The replaced character will be interpreted next, when the decompressor again reads bytes from the compressed string.
| 80&ndash;FF || ''Replace'' the current character with bpe_table[n&times;2+1] and decrease the reading position in the compressed string. Read bpe_table[n&times;2+0] and interpret it. The multiplication by 2 discards the carry. The replaced character will be interpreted next, when the decompressor again reads bytes from the compressed string.
|}
|}


Decompressing with a software stack, rather than the hardware stack, would permit a scheme where a subroutine is repeatedly called to decompress one character at a time. The game however does not do that; it decompresses the entire string first, so that it can then perform operations like word-wrap on the decompressed text.
Decompressing with a software stack, rather than the hardware stack, would permit a scheme where a subroutine is repeatedly called to decompress one character at a time. The game however does not do that; it decompresses the entire string first, so that it can then perform operations like word-wrap on the decompressed text.


Ignoring the special meaning of byte 00 when decompressing means that the string itself could include raw 00 bytes, if hidden inside the bytepair tables. They could be used e.g. as newlines. The game however does not do that. Byte 0A acts as a newline.
Ignoring the special meaning of byte 00 when decompressing means that the string itself could include raw 00 bytes, if hidden inside the bytepair tables. They could be used e.g. as newlines. The game however does not do that. Byte 0A acts as a newline, as is traditional on Linux and UNIX systems.
 
[https://github.com/pinobatch/240p-test-mini The NES and Game Boy ports of 240p Test Suite] also use DTE for help text.


== Bitrate reduction methods ==
== Bitrate reduction methods ==
Line 108: Line 111:
In variable-bit encodings different symbols are stored in different number of bits.
In variable-bit encodings different symbols are stored in different number of bits.


Example code in C for storing and retrieving variable-bit length integers:
Example assembler code for reading a MSB-first bit stream (adopted from [[Tile compression#Tokumaru|Tokumaru's tile decompressor]]):
<pre><nowiki>InitBitReader:
        ; Input:  InputStream = pointer to beginning of bitstream
        ; Output:  Y = buffer position
        ; Clobber: A,ZN
        lda #$80
        sta BitBuffer
        ldy #0
        rts


<pre><nowiki>#include <limits.h> // CHAR_BIT
ReadBits:
        ; Input:  X = number of bits to read (1..8)
        ;          Y = buffer position (modified)
        ; Output:  A = integer read
        ; Clobber: C,ZN
        lda #0
@loop:  jsr ReadBit
        rol a
        dex
        bne @loop
        rts


void PutBits(void* memory, unsigned* bitpos, unsigned long V, unsigned nbits)
ReadBit:
{
         ; Input:  Y = buffer position (modified)
    unsigned char* buffer = (unsigned char*)(memory);
         ; Output:  C = bit
    while(nbits > 0)
         ; Clobber: ZN
    {
         asl BitBuffer
         unsigned bytepos = *bitpos/CHAR_BIT, bits_remain = CHAR_BIT-*bitpos%CHAR_BIT, bits_taken = CHAR_BIT-bits_remain;
         bne @ret
        unsigned bits_to_write = std::min(nbits, bits_remain);
         pha
         unsigned value_mask    = (1 << bits_to_write)-1;
        lda (InputStream), y
        unsigned value_to_write = V & value_mask;
        iny
         buffer[bytepos] = (buffer[bytepos] & ~(value_mask << bits_taken)) | (value_to_write << bits_taken);
        beq @wrap
         V >>= bits_to_write;
@ret0:  rol a
         nbits  -= bits_to_write;
        sta BitBuffer
         *bitpos += bits_to_write;
         pla
    }
@ret:   rts
}
@wrap: inc InputStream+1
 
         bne @ret0</nowiki></pre>
unsigned long GetBits(const void* memory, unsigned* bitpos, unsigned nbits)
{
    const unsigned char* buffer = (const unsigned char*)(memory);
    unsigned long result = 0, shift=0;
    while(nbits > 0)
    {
         unsigned bytepos = *bitpos/CHAR_BIT, bits_remain = CHAR_BIT-*bitpos%CHAR_BIT, bits_taken = CHAR_BIT-bits_remain;
        unsigned bits_to_take = std::min(nbits, bits_remain);
        unsigned v = (buffer[bytepos] >> bits_taken) & ((1 << bits_to_take)-1);
        result |= v << shift;
        shift += bits_to_take;
        nbits -= bits_to_take;
         *bitpos += bits_to_take;
    }
    return result;
}</nowiki></pre>


Ideally, you would store common symbols using few bits and infrequent symbols using more bits.
Ideally, you would store common symbols using few bits and infrequent symbols using more bits.
Line 179: Line 184:


:''See also: [[Tile compression#LZSS]]''
:''See also: [[Tile compression#LZSS]]''
== See also ==
* [[Compression]]

Latest revision as of 16:50, 17 June 2020

Text compression refers to techniques that allow fitting more text data into a smaller space. General-purpose compression formats that work well on a platform with relatively plentiful RAM, such as a PC, Nintendo 64, or Nintendo DS, may not work on platforms whose RAM is much smaller, such as the NES.

Dictionary compression and DTE

Dictionary compression is a technique where part of the character set is reserved to denote references to a "dictionary". If the byte falls into this range, a string is copied from the dictionary rather than the byte being copied verbatim. It could be considered the textual equivalent of metatiles in scrolling maps. As this compression technique does not require knowledge of past data, it is very easy to implement on machines having little memory like the NES.

Sometimes the compression may be applied recursively, where the dictionary string itself may contain references to other dictionary strings.

Dual-tile encoding, or DTE for short, is a special case of dictionary compression. It is also known as byte-pair encoding, or digram coding. In this case, the dictionary strings are all two bytes long.

Example implementations:

Simon's Quest (NES)

In Simon's Quest (NES) (all versions), the font is 252 symbols long, although only a small part of that is actual text symbols used in dialog text.

Value Meaning
00–FB Print this symbol.
FC Denotes the end of a substring. Restores the string pointer saved by opcode FD.
FD Save current string pointer. The next byte determines the string number; this number will be used to calculate the new string pointer. Interpreting will continue from that address.
FE Newline.
FF End of text. If used in a substring, will not return to the main string. A string that ends in FD can omit the trailing FF, if the substring ends in FF.

Dictionary strings are arbitrary length. There is room for only one saved string pointer, so substrings can not refer to other substrings, unless it is to terminate the entire string. The substring mechanism is used in the Japanese diskette version of the game. The cartridge versions of the game also support this mechanism, even though the actual text data does not utilize it.

Chrono Trigger (SNES)

In Chrono Trigger (SNES) (all versions), the font is 768 symbols long, but a significant number of those symbols can not be printed.

Value Meaning
00 End of string.
01 Read next byte; print symbol byte+0x100.
02 Read next byte; print symbol byte+0x200.
03–20 Various text effects, references to item tables, and references to party member names.
21–xx Reference to a dictionary string. xx is a compile-time constant that determines the length of the dictionary. This number is 0x9F in the USA version and 0x3F in the Japanese version.
xx+1–FF Print this symbol.

Dictionary strings have a length limit of 255 bytes. They are not applied recursively. The dictionary strings are stored in length-data format without an end delimiter.

Joel Yliluoma's ppu_read_buffer test (NES)

In Joel Yliluoma's emulator test ROM ppu_read_buffer ([1]) the font is 128 symbols long, and in addition to the alphabet it includes some pre-rendered substrings in variable-width font. The ROM uses a combination of DTE and dictionary for text compression. For DTE, the compression is applied recursively, in both DTE bytes. Additionally the string may contain a jump label to another string, which forms a DAFSA that allows the reuse of the same string suffix in different test descriptions.

Value Meaning
00 End of string.
01–80 Print this symbol. After printing, if the stack pointer is wrong, pop a byte and interpret it rather than loading the next byte from the string.
81–FE Push DTE_TABLE1[n-0x81] in stack, and interpret DTE_TABLE0[n-0x81].
FF A 16-bit word follows. This word is loaded as a new string pointer and loading continues from that address. The old string pointer is not saved.

Damian Yerrick's robotfindskitten (NES)

This implementation of robotfindskitten contains a compressor written in Python and a 6502 decompressor. Comments in the compressor (dte.py) refer to the method as "digram tree encoding" for two reasons: to emphasize its recursive nature and because code units aren't "tiles", especially when displayed with a proportional font. The decompressor first copies the compressed string into RAM, into the end of a fixed size buffer, where the first portion of the buffer (and also the string itself) doubles as a stack for the recursive DTE references. The string is then interpreted from the buffer as follows.

Value Meaning
00 End of string. This code is only interpreted when copying the compressed string.
00–7F Print this symbol, and increase the reading position in the compressed string. If the reading position is now at the end of the buffer, the string has ended.
80–FF Replace the current character with bpe_table[n×2+1] and decrease the reading position in the compressed string. Read bpe_table[n×2+0] and interpret it. The multiplication by 2 discards the carry. The replaced character will be interpreted next, when the decompressor again reads bytes from the compressed string.

Decompressing with a software stack, rather than the hardware stack, would permit a scheme where a subroutine is repeatedly called to decompress one character at a time. The game however does not do that; it decompresses the entire string first, so that it can then perform operations like word-wrap on the decompressed text.

Ignoring the special meaning of byte 00 when decompressing means that the string itself could include raw 00 bytes, if hidden inside the bytepair tables. They could be used e.g. as newlines. The game however does not do that. Byte 0A acts as a newline, as is traditional on Linux and UNIX systems.

The NES and Game Boy ports of 240p Test Suite also use DTE for help text.

Bitrate reduction methods

Fixed-bit encoding

When the character set is small, such as 64 characters at most, strings could be encoded in a bitstream that packs 6 bits per character rather than 8 bits per character. This results in 20 % reduction of data size.

Main article: Fixed Bit Length Encoding

Variable-bit encodings

In variable-bit encodings different symbols are stored in different number of bits.

Example assembler code for reading a MSB-first bit stream (adopted from Tokumaru's tile decompressor):

InitBitReader:
        ; Input:   InputStream = pointer to beginning of bitstream
        ; Output:  Y = buffer position
        ; Clobber: A,ZN
        lda #$80
        sta BitBuffer
        ldy #0
        rts

ReadBits:
        ; Input:   X = number of bits to read (1..8)
        ;          Y = buffer position (modified)
        ; Output:  A = integer read
        ; Clobber: C,ZN
        lda #0
@loop:  jsr ReadBit
        rol a
        dex
        bne @loop
        rts

ReadBit:
        ; Input:   Y = buffer position (modified)
        ; Output:  C = bit
        ; Clobber: ZN
        asl BitBuffer
        bne @ret
        pha
         lda (InputStream), y
         iny
         beq @wrap
@ret0:   rol a
         sta BitBuffer
        pla
@ret:   rts
@wrap:  inc InputStream+1
        bne @ret0

Ideally, you would store common symbols using few bits and infrequent symbols using more bits. Which brings us to…

Huffman coding

A special case of variable-bit encodings is Huffman coding. Huffman coding defines the optimal coding for a given set of symbols based on a table of frequencies that each symbol is used.

When combined with static dictionary coding, the technique is called Huffword.

Arithmetic coding

Huffman coding is also a special case of arithmetic coding. In arithmetic coding, each symbol is represented by a range of binary fractions rather than a particular number of bits. As arithmetic coding was covered by a number of patents up to 1993, and it is calculation intensive, chances are no NES game uses it. However, on the Super NES, the S-DD1 and SPC7110 coprocessors implement a mathematical model that approximates arithmetic coding under license. And by 1999, a design-around called "range coding" was discovered, leading to LZMA compression.

LZ based methods

LZ77 operates based on references to previous decompressed data. Decompression requires that either the previous decompressed data be readable or that a sliding window of previous data be kept in RAM. This isn't very efficient on the NES for two reasons: the CPU is connected to only 2K of RAM (plus whatever is in the cartridge), and VRAM can be accessed only during vblank.

Lempel-Ziv methods are incapable of efficient random access on a low-RAM system. Random access to an LZ77 or LZ78 stream works in one of three ways:

  • Decompress from the beginning to retrieve a substring. This is time-inefficient for the decompressor.
  • Compress each substring independently. As LZ77 relies on correlation within a string, this makes the compressed data larger.
  • Buffer the entire decompressed data in RAM. This requires more memory in the decompressor, but the tradeoff may work well on a platform with more RAM, such as the Commodore 64, Genesis, Super NES, or Game Boy Color.
See also: Tile compression#LZSS

See also