DivIDEo: Streaming video for the ZX Spectrum

Features

• 25fps full-screen video
• Double-buffering using the 128K Spectrum's second screen, to avoid flicker
• Delta compression; only the screen data that changes between frames is stored, reducing file size and (more importantly) transfer time
• Variable bitrate AY chip audio; all CPU time remaining after handling the video data is devoted to sample playback
• No need for crazy disk partitioning schemes - videos will be recognised on any filesystem that stores files in consecutive sectors with no gaps (including FAT, as long as files don't become fragmented...)

See it in action

To watch the demonstration video (first presented at the Outline 2010 demo party) on an emulator:

• Get yourself an emulator with DivIDE support (FUSE or SPIN)
• Download the DivIDEo Outline demo HDF package (18.8Mb ZIP)
• With DivIDE enabled and a 128K machine selected, open the HDF and TAP files and load the tape (either through Tape Loader or LOAD "").
• The player will begin scanning the disk and outputting the titles of any videos it finds; press Q to quit this process, then Q/A/Space to select the video.
• Enjoy...

On the real hardware:

• Get yourself an IDE disk formatted to work with FATware or ESXDOS
• Download the DivIDEo Outline demo DVO package (17.4Mb ZIP)
• Copy the .dvo and .tap file to the disk. If the disk has previously had deleted files on it, you may need to run a defrag program at this point to ensure that the video file is not fragmented.
• Fire up FATware or ESXDOS and load the player TAP file.
• The player will begin scanning the disk and outputting the titles of any videos it finds; press Q to quit this process, then Q/A/Space to select the video.
• Enjoy...

The converter

• DivIDEo converter - Windows (.zip, 6.1Mb)
• DivIDEo converter - Mac OS X Intel (.zip, 3.4Mb)
• DivIDEo converter - source code (.tar.gz, 20Kb)
• Development site on Github

This is a command-line app - after unpacking it somewhere suitable, start converting videos with:

divideo myvideo.avi myvideo.dvo

See divideo --help for more options to tweak the output.

To build from source, you'll need a recent Subversion snapshot of FFMPEG (I'm using the 2010-04-11 one), Imagemagick, and Argtable 2.x. You'll probably also need to hack the Makefile to specify the paths where you've installed things (sorry...)

Greetings

zxbruno, nuggetreggae, natxcross, brownb2, Yerzmyey, Zilog, Factor6, LaesQ, Phoenix, Baze, Garry Lancaster, LCD, Velesoft, Hood and Speccy IDE / video enthusiasts everywhere...

The gory details

Player source code - as ZIP file / as text

The player, and the .dvo file format, are designed around minimising the work that needs to be done on the Spectrum side. There is no buffering going on (other than what you get for free from the 128K's second screen) - all data is arranged so that the Spectrum will receive it at exactly the required time, and at exactly the required rate. As a result, the player and file format are best understood as a single entity; plenty of odd design decisions have been made in the interest of optimising away a few Z80 cycles. (Rest assured that it was even more confusing for me to design in the first place :-) )

Player pseudocode

	let L = number of sectors in first frame
NEXT_FRAME:
	if L = 0, exit
	Issue an IDE request for the next L sectors
	Wait for retrace (i.e. a HALT instruction)
	Flip screens so that old screen is displayed and new screen is paged in at 0xc000
	Go to MAINLOOP
TABLE:
	0) Jump to NEXT_FRAME
	2) Execute INI (i.e. read byte from disk to address HL, advance HL)
	4) Execute INI
	6) Execute INI
	8) Execute INI
	...
	252) Execute INI
MAINLOOP (and table offset 254):
	Wait for IDE 'ready' state
	Read bytes L, H, A from disk
	Read byte from disk and output to AY register 8 (channel A volume)
	Jump to offset A in TABLE

File format

The .dvo file begins with a 512-byte (one sector) header:

The remainder of the .dvo file is a sequence of frames, each one consisting of an arbitrary number of video packets followed by one end marker packet. A video packet contains a sequence of zero or more bytes to update screen memory with at a specified address, plus a single audio sample.

Note that as double buffering is in use, the video data in each frame needs to encompass all the changes to screen memory since two frames ago. (For the purposes of the first two frames - the initial screen state is entirely 0x00 bytes.)

• Each frame MUST start on a 512-byte (sector) boundary (this is because we begin each frame by reading a new set of sectors)
• Packets MUST NOT cross sector boundaries (this is because we need to wait for an IDE 'ready' state before reading each new sector, and we only perform this step between packets). This means that the last video packet in a sector must be exactly large enough to fit into the remaining bytes of the sector - this may involve adding redundant bytes of video data to fill space. The end marker packet does not need to be placed at the end of a sector, though; it's acceptable to fill the remaining space with padding bytes.
• All packets MUST be an even number of bytes long; again, this may involve adding a redundant byte of video data to the packet. (This is because reading the IDE 'ready' state after each packet causes a reset of the DivIDE's internal latch for translating 16-bit words into 8-bit port reads, so an odd-numbered packet would cause this to get out of step and skip a byte.)
• Frame data SHOULD be constructed to make the player routine take up as close to two Spectrum frames (or whatever your chosen frame-rate is) in execution time as possible, to avoid gaps in the audio while the HALT instruction executes. This is difficult if not impossible to calculate exactly (due to ULA contention, and variations introduced by waiting for the IDE 'ready' state) but 16.91 cycles per video byte plus 105 cycles overhead per packet appears to be a good estimate. This can be done by adding as many audio packets (i.e. ones with zero bytes of video data) as appropriate.
• Video packets SHOULD be kept as short as possible (to minimise the interval between audio samples, since each packet contains only one of them).
• Yes, this is a lot to deal with at once. That's why the converter code is a bit icky :-P

Format of a video packet:

Format of an end marker packet: