Thursday, 10th May 2018

I've not posted here in a while because I've been working on one big project, a mechanical version of Manchester University's Small-Scale Experimental Machine, otherwise known as the Baby.

Previous machines I've built have been either Turing machines or other simple automata such as Langton's ant. These are relatively simple machines compared to the current project, but would require vast amounts of space and time to do anything useful.

Implementing something that looks similar to a modern computer is entirely possible. The SSEM is a very simple machine, so makes a good design to base a mechanical computer on. Its main features are:

- RAM with 32 addressable words of 32 bits each, for a total of 1024 bits of storage.
- Two special-purpose registers: the accumulator and program counter
- A subtractor unit where most CPUs would have a more general arithmetic and logic unit.

Here's a diagram from Wikipedia, of the SSEM datapath:

The subtractor only feeds into the accumulator - so the accumulator can only be updated with the result of a subtraction. Not only that, but the first operand to the subtraction is always the accumulator or zero. You can also see this in the instruction set: MVN and SUB are the only operations which update the accumulator. MVN ('move negative') of X just means set the accumulator to 0-X, so you only need to clear the accumulator first before treating MVN exactly as a SUB.

In practical terms, that means we can combine the subtractor and accumulator into one unit. The design for the subtractor is a fairly common one, used by the Digi-Comp II in the 1960s. It consists of a staircase of toggles which change direction when a ball bearing passes through them, sending the bearing left or right depending on its new state. The diagonal arrangement allows for carry - a ball bearing continuing left will flip the next most significant bit.

What you can't see in this GIF is the second layer behind the main toggles, which divert a ball bearing without changing state - this is used to read the accumulator without updating it, by passing more ball bearings into a second plane.

Next up is the memory, which needs to be random-access. Below is an 8x8 cell made from lasercut acrylic:

This really needs an animation to demonstrate how it works, which I'll try and make soon. This is an 8x8 cell, but it can be chained in both directions: connecting more units to the left would make the words longer, and adding units below increases the number of memory locations. In this way, this will eventually build up to the full 32x32 bit memory used by the SSEM.

The address decoder uses the mechanical decoder logic I mentioned in a previous post.

There are a lot more details still to add; the instruction counter also uses a staircase adder, and the instruction decoder will use the array logic system from another older post. Devices which meter out exactly 8 ball bearings, sense ball bearings and transmit the data back to the top of the machine are all in progress. These turn out to be much more complicated than just the memory and arithmetic, but aren't so interesting from a computing point of view. All the details, along with some very badly documented OpenSCAD files, are up on GitHub, in my Offspring repository. ('Offspring' being a play on the original 'Baby' name, given the mechnical version will almost certainly require some springs.)

- Mechanical replica of the Manchester SSEM (Baby)
- Mechanical array logic
- Mechanical decoder logic
- Langton's Ant with Hexbugs
- Sliding plate logic gates
- AVR Minimus servo controller
- Zeta toggle-switch computer
- Rule 110 automaton, version 2
- Failed experiment: Water logic gates
- Grue detection t-shirts
- Error correction of the NPL time signal
- Simple, headphone-controlled phone robot
- More 2D Game demos
- Investigating Raspberry Pi performance problems
- 2D Platform games with PyGame
- Exhibiting the Mk2 Turing machine
- Chorded keyboard for mobile phones