badline 0.12.1 → 0.14.0

data/lib/badline/drives/model1541.rb

@@ -0,0 +1,80 @@
+# frozen_string_literal: true
+
+require "badline/drives/engine"
+require "badline/drives/model1541/bus"
+require "badline/drives/model1541/cpu"
+require "badline/drives/model1541/serial_port"
+require "badline/drives/model1541/gcr"
+require "badline/drives/model1541/track"
+require "badline/drives/model1541/disk"
+require "badline/drives/model1541/mechanism"
+require "badline/drives/model1541/disk_via"
+require "badline/drives/model1541/keyed_state"
+
+module Badline
+  module Drives
+    # The 1541 disk drive as a machine of its own: a 6502 running the DOS
+    # ROM at 1 MHz, with 2 KB of RAM and two VIAs on its bus. Drives::Engine::Core
+    # clocks it against the host and sleeps through the DOS's idle loop.
+    class Model1541
+      include Engine::Core
+      include Engine::VIAs
+
+      CLOCK_HZ = 1_000_000
+
+      # Where the DOS 2.6 idle loop starts over (see Drives::Engine::Idle).
+      IDLE_LOOP = 0xebff
+
+      def model_name = "1541"
+
+      # +rom+ covers $C000-$FFFF, and defaults to the DOS image in the ROM
+      # path. +device+ is the number the jumpers on VIA 1's PB5 and PB6 set,
+      # 8 to 11.
+      def initialize(rom: nil, host_clock_hz: CLOCK_HZ, device: 8, debug: false)
+        @device = device
+        @serial_port = SerialPort.new(device:)
+        @via1 = Chips::VIA.new(start: 0x1800, peripheral: @serial_port)
+        @mechanism = Mechanism.new
+        @via2 = DiskVIA.new(start: 0x1c00, mechanism: @mechanism)
+        @bus = Bus.new(rom: rom || ROM.load("dos1541.rom", 0xc000), via1: @via1, via2: @via2)
+        @cpu = CPU.new(@bus, debug:)
+        @clock_hz = CLOCK_HZ
+        @idle_loop = IDLE_LOOP
+        @host_clock_hz = host_clock_hz
+        @phase = 0
+        @cycles = 0
+        @serial_bus = nil
+        init_idle(debug)
+        # CA1 powers up at the level of a released ATN, without an edge.
+        @via1.ca1 = false
+        @via1.reset!
+        connect(SerialBus.new)
+      end
+
+      private
+
+      # One drive cycle. The VIAs clock ahead of the CPU, as the C64's chips
+      # do, and either one pulls IRQ. Nothing drives NMI on the 1541. The CPU
+      # runs whether or not the motor turns, since it answers ATN.
+      #
+      # The disk mechanism runs first, so BYTE READY lands on the VIA ahead
+      # of the CPU's cycle. The CPU samples SO a cycle late: BYTE READY sets
+      # V for the next cycle's instruction step.
+      #
+      # ATN reaches VIA 1's CA1 through the same inverter as PB7, so CA1 goes
+      # high as the C64 asserts ATN, as the serial port sees it: from the
+      # host cycle after the one that asserts it.
+      def step
+        so = @mechanism.take_so
+        @mechanism.cycle!
+        @via1.ca1 = @serial_port.atn_low?
+        @via1.cycle!
+        @via2.cycle!
+        @cpu.irq = @via1.irq? || @via2.irq?
+        @cpu.so! if so
+        @cpu.cycle!
+        @cycles += 1
+      end
+    end
+  end
+end

data/lib/badline/drives/model1571/bus.rb

@@ -0,0 +1,100 @@
+# frozen_string_literal: true
+
+module Badline
+  module Drives
+    class Model1571
+      # The drive CPU's bus:
+      #
+      # $0000-$07FF - 2 KB of RAM
+      # $0800-$17FF - nothing: open bus
+      # $1800-$1BFF - VIA 1, its sixteen registers mirrored
+      # $1C00-$1FFF - VIA 2, its sixteen registers mirrored
+      # $2000-$3FFF - the WD1770, its four registers mirrored
+      # $4000-$7FFF - the CIA, its sixteen registers mirrored
+      # $8000-$FFFF - the DOS ROM
+      #
+      # Writes to the ROM and to open bus go nowhere, and a read from open
+      # bus finds the last byte on the data bus, as on the 1541. Any access
+      # to VIA 2 clears the BYTE READY latch VIA 1's PA7 reads (SerialPort).
+      #
+      # While Idle records a pass of the DOS's idle loop, the bus watches it,
+      # and while Idle looks for an orbit, it guards the drive (see
+      # Drives::Engine::Watch). Any access to the CIA or the WD1770 makes the pass
+      # volatile and taints the drive.
+      class Bus
+        include Addressable
+        include Engine::Watch
+
+        attr_reader :ram, :rom, :via1, :via2, :cia, :fdc, :data
+
+        def initialize(rom:, via1:, via2:, cia:, fdc:)
+          addressable_at(0, length: 2**16)
+          @ram = Memory.new([], length: 0x0800, start: 0)
+          @rom = rom
+          @via1 = via1
+          @via2 = via2
+          @cia = cia
+          @fdc = fdc
+          @mechanism = via2.mechanism
+          @data = 0
+          init_watch
+        end
+
+        def peek(addr)
+          return @data = @rom.peek(addr) if addr >= 0x8000
+          return @data = chip_peek(addr) if addr >= 0x2000
+
+          watch_read(addr) if @watching
+          @data = if addr < 0x0800
+                    @ram.peek(addr)
+                  elsif addr < 0x1800
+                    @data
+                  elsif addr < 0x1c00
+                    @via1.peek(addr)
+                  else
+                    @mechanism.release_byte_latch
+                    @via2.peek(addr)
+                  end
+        end
+
+        def poke(addr, value)
+          @data = value
+          return if addr >= 0x8000
+          return chip_poke(addr, value) if addr >= 0x2000
+
+          low_poke(addr, value)
+        end
+
+        private
+
+        # A write below $2000: RAM or a VIA.
+        def low_poke(addr, value)
+          if addr < 0x0800
+            touch(addr) if @recording
+            @ram.poke(addr, value)
+          elsif addr >= 0x1c00
+            @mechanism.release_byte_latch
+            @via2.poke(addr, value)
+          elsif addr >= 0x1800
+            @via1.poke(addr, value)
+          end
+          watch_write(addr) if @watching
+        end
+
+        def chip_peek(addr)
+          watch_chip if @watching
+          addr >= 0x4000 ? @cia.peek(0x4000 | (addr & 0x0f)) : @fdc.peek(addr & 0x03)
+        end
+
+        def chip_poke(addr, value)
+          if addr >= 0x4000
+            @cia.poke(0x4000 | (addr & 0x0f), value)
+          else
+            @fdc.poke(addr & 0x03, value)
+          end
+          watch_chip if @watching
+        end
+      end
+    end
+  end
+end

data/lib/badline/drives/model1571/cpu.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Badline
+  module Drives
+    class Model1571
+      # The drive's 6502, on the drive's Bus.
+      class CPU
+        include Badline::Chips::CPU::Core
+        include Engine::IdleCPU
+      end
+    end
+  end
+end

data/lib/badline/drives/model1571/keyed_state.rb

@@ -0,0 +1,108 @@
+# frozen_string_literal: true
+
+module Badline
+  module Drives
+    class Model1571
+      class WD1770
+        # The controller's registers, status and result in a keyed snapshot
+        # module (BL-D8-FDC), and how many of the drive CPU's cycles until a
+        # command under way finishes. It loads after the CPU, which that
+        # counts from.
+        def save_fields(out)
+          out.ints("registers", @registers).int("status", @status).int("result", @result)
+          out.int("due_in", @due - @cpu.cycles)
+        end
+
+        def load_fields(input)
+          input.ints_into("registers", @registers)
+          @status = input.byte("status", @status)
+          @result = input.int("result", @result)
+          @due = @cpu.cycles + input.int("due_in", @due - @cpu.cycles)
+        end
+      end
+
+      class Bus
+        # The drive's RAM and the byte last on its data bus, in a keyed
+        # snapshot module (BL-D8-RAM).
+        def save_fields(out)
+          out.int("data", @data).bytes("ram", @ram.read(0, @ram.length))
+        end
+
+        def load_fields(input)
+          @data = input.byte("data", @data)
+          ram = @ram.read(0, @ram.length)
+          @ram.write(0, input.bytes_into("ram", ram))
+          @watching = false
+        end
+      end
+
+      # The drive's own fields in a keyed snapshot module (BL-D8), as the
+      # 1541's. The clock rate, the side and the fast serial direction come
+      # from VIA 1's port A once the VIAs are loaded.
+      module KeyedState
+        def save_fields(out)
+          settle!
+          out.text("model", model_name).int("phase", @phase).int("cycles", @cycles)
+          out.bool("so_pending", @mechanism.so_pending)
+          @serial_port.save_fields(out, "serial.")
+          out
+        end
+
+        def load_fields(input)
+          settle!
+          input.choice("model", [model_name], model_name)
+          @phase = input.int("phase", @phase)
+          @cycles = input.int("cycles", @cycles)
+          @mechanism.so_pending = input.bool("so_pending", @mechanism.so_pending)
+          @serial_port.load_fields(input, "serial.")
+        end
+
+        def restored!
+          @fast_serial_out = @via1.port_a_output.anybits?(FAST_SERIAL_OUT)
+          port_a_written(@via1.port_a_output)
+          push_fast_output(@fast_serial_out ? fast_pins : 0)
+          forget_orbits
+        end
+
+        # The drive as modules of its own, as the 1541's, with the CIA and
+        # the WD1770.
+        def save_modules(sections, name)
+          sections << Snapshot::Keyed.section(name) { |out| save_fields(out) }
+          sections << Snapshot::Keyed.section("#{name}-RAM") { |out| @bus.save_fields(out) }
+          sections << Snapshot::Keyed.section("#{name}-VIA1") { |out| @via1.save_fields(out) }
+          sections << Snapshot::Keyed.section("#{name}-VIA2") { |out| @via2.save_fields(out) }
+          sections << Snapshot::Keyed.section("#{name}-CIA") { |out| @cia.save_fields(out) }
+          sections << Snapshot::Keyed.section("#{name}-CPU") { |out| @cpu.save_fields(out) }
+          sections << Snapshot::Keyed.section("#{name}-FDC") { |out| @fdc.save_fields(out) }
+          sections << Snapshot::Keyed.section("#{name}-MECH") { |out| @mechanism.save_fields(out) }
+          disk = @mechanism.disk
+          sections << Snapshot::Keyed.section("#{name}-DISK") { |out| disk.save_fields(out) } if disk
+          sections
+        end
+
+        # The drive from its modules, `input` being its own. The WD1770
+        # counts from the CPU's cycles, so it loads after the CPU.
+        def load_modules(modules, input, name)
+          load_fields(input)
+          @bus.load_fields(modules.required("#{name}-RAM"))
+          @via1.load_fields(modules.required("#{name}-VIA1"))
+          @via2.load_fields(modules.required("#{name}-VIA2"))
+          @cia.load_fields(modules.required("#{name}-CIA"))
+          @cpu.load_fields(modules.required("#{name}-CPU"))
+          @fdc.load_fields(modules.required("#{name}-FDC"))
+          disk = modules.optional("#{name}-DISK")
+          mechanism = modules.required("#{name}-MECH")
+          @mechanism.load_fields(mechanism,
+                                 disk.nil? ? nil : Model1541::Disk.from_fields(disk, detached: modules.detached?))
+          @via1.restored!
+          @via2.restored!
+          @cia.restored!
+          @cpu.restored!
+          restored!
+        end
+      end
+
+      include KeyedState
+    end
+  end
+end

data/lib/badline/drives/model1571/serial_port.rb

@@ -0,0 +1,39 @@
+# frozen_string_literal: true
+
+module Badline
+  module Drives
+    class Model1571
+      # What VIA 1's ports read from outside the chip. Port B carries the
+      # serial bus inputs and the device number jumpers, as on the 1541
+      # (Drives::Engine::SerialLines). Port A reads the mechanism on two inputs:
+      #
+      #   PA0  track 0 sensor, low while the head sits on track 1
+      #   PA7  BYTE READY, latched low from a whole byte until the CPU next
+      #        reads or writes VIA 2
+      #
+      # The DOS steps the head out until PA0 reads low with the stepper on
+      # phase 0, and polls PA7 for each byte at 2 MHz, taking the byte from
+      # VIA 2's port A or putting the next one there after each. PA1 (fast serial
+      # direction), PA2 (side) and PA5 (1 or 2 MHz) are outputs, which
+      # Drives::Model1571 follows (SerialVIA).
+      class SerialPort
+        include Engine::SerialLines
+
+        TRACK0 = 0x01
+        BYTE_READY = 0x80
+
+        def initialize(mechanism, device: 8, bus: SerialBus.new)
+          @mechanism = mechanism
+          init_serial_lines(device, bus)
+        end
+
+        def read_a(_lines)
+          value = 0xff
+          value &= ~TRACK0 if @mechanism.half_track == Model1541::Mechanism::MIN_HALF_TRACK
+          value &= ~BYTE_READY if @mechanism.byte_latched?
+          value
+        end
+      end
+    end
+  end
+end

data/lib/badline/drives/model1571/serial_via.rb

@@ -0,0 +1,27 @@
+# frozen_string_literal: true
+
+module Badline
+  module Drives
+    class Model1571
+      # VIA 1, the one facing the serial bus. Its port A also selects the
+      # side, the clock rate and the fast serial direction, so the drive
+      # hears port A after every write and reset (Drives::Model1571#port_a_written).
+      class SerialVIA < Chips::VIA
+        def initialize(start:, peripheral:, drive:)
+          @drive = drive
+          super(start:, peripheral:)
+        end
+
+        def reset!
+          super
+          @drive.port_a_written(port_a_output)
+        end
+
+        def poke(addr, value)
+          super
+          @drive.port_a_written(port_a_output)
+        end
+      end
+    end
+  end
+end

data/lib/badline/drives/model1571/wd1770.rb

@@ -0,0 +1,108 @@
+# frozen_string_literal: true
+
+module Badline
+  module Drives
+    class Model1571
+      # The WD1770 floppy controller at $2000, which DOS 3.0 drives for MFM
+      # disks. The 1571 here only ever holds GCR disks, so the controller
+      # never finds an MFM sector: it runs each command for its time and ends
+      # it as the WD177x data sheet does on a disk without one.
+      #
+      #   $2000  status (read), command (write)
+      #   $2001  track
+      #   $2002  sector
+      #   $2003  data
+      #
+      # BUSY sets as a command is written. A restore, seek or step (type I)
+      # moves the track register and ends a few milliseconds later, with
+      # TRACK 0 reported at track 0. A sector read or write, a read address
+      # or a read track ends with RECORD NOT FOUND after five turns of the
+      # disk, and a write track after one, with nothing written. A force
+      # interrupt ends the command at once. Time is the drive CPU's cycles.
+      class WD1770
+        BUSY = 0x01
+        TRACK0 = 0x04
+        NOT_FOUND = 0x10
+        MOTOR_ON = 0x80
+
+        # Cycles at 2 MHz, the 1571's clock in 1571 mode: a turn of the disk
+        # at 300 rpm, and a step with the head settling.
+        TURN = 400_000
+        STEP = 12_000
+
+        # The CPU whose cycles time the commands.
+        attr_writer :cpu
+
+        def initialize
+          @registers = [0, 0, 0, 0]
+          @status = 0
+          @due = 0
+          @result = 0
+          @cpu = nil
+        end
+
+        # Register +offset+, 0 to 3: the status, settled to the command's end
+        # once its time has run out.
+        def peek(offset)
+          return @registers[offset] unless offset.zero?
+
+          finish if @status.anybits?(BUSY) && @cpu.cycles >= @due
+          @status
+        end
+
+        def poke(offset, value)
+          offset.zero? ? command(value) : @registers[offset] = value
+        end
+
+        private
+
+        def command(value)
+          return interrupt if (value & 0xf0) == 0xd0
+
+          @registers[0] = value
+          value < 0x80 ? step(value) : search(value)
+        end
+
+        # A restore ($0x), seek ($1x) or step ($2x to $7x), its track register
+        # moved at once.
+        def step(value)
+          track = @registers[1]
+          target = case value >> 4
+                   when 0 then 0
+                   when 1 then @registers[3]
+                   else track + step_direction(value)
+                   end
+          @registers[1] = target.clamp(0, 255) if value < 0x20 || value.anybits?(0x10)
+          start(STEP * [(target - track).abs, 1].max, @registers[1].zero? ? TRACK0 : 0)
+        end
+
+        # Step in ($4x) moves toward higher tracks, step out ($6x) toward
+        # track 0, and step ($2x) the way the last one went.
+        def step_direction(value)
+          @direction = 1 if (value >> 5) == 2
+          @direction = -1 if (value >> 5) == 3
+          @direction || 1
+        end
+
+        # A sector or track command that finds no MFM sector.
+        def search(value)
+          value >= 0xf0 ? start(TURN, 0) : start(TURN * 5, NOT_FOUND)
+        end
+
+        def start(cycles, result)
+          @status = BUSY | MOTOR_ON
+          @due = @cpu.cycles + cycles
+          @result = result
+        end
+
+        def finish
+          @status = @result
+        end
+
+        def interrupt
+          @status &= ~BUSY & 0xff
+        end
+      end
+    end
+  end
+end

data/lib/badline/drives/model1571.rb

@@ -0,0 +1,141 @@
+# frozen_string_literal: true
+
+require "badline/drives/model1571/cpu"
+require "badline/drives/model1571/wd1770"
+require "badline/drives/model1571/serial_port"
+require "badline/drives/model1571/serial_via"
+require "badline/drives/model1571/bus"
+require "badline/drives/model1571/keyed_state"
+
+module Badline
+  module Drives
+    # The 1571 disk drive, the C128D's built-in one: the 1541's 6502, two
+    # VIAs and GCR mechanism, with a second head, a 6526 CIA for fast
+    # serial, a WD1770 for MFM disks and DOS 3.0 in 32 KB of ROM. Drives::Engine::Core
+    # clocks it against the host and sleeps through the DOS's idle loop.
+    #
+    # VIA 1's port A picks the clock, 1 or 2 MHz on PA5, and the head on
+    # PA2, and reads the track 0 sensor and BYTE READY (SerialPort). The
+    # DOS resets at 2 MHz and drops to 1 MHz as a 1541 would run, which is
+    # how it stays until a C128 asks for fast serial. The disk turns at the
+    # same speed either way (Drives::Model1541::Mechanism#clock_hz=).
+    #
+    # The CIA sits at $4000, on the IRQ line with both VIAs. Only its serial
+    # port is wired, for fast serial through buffers PA1 turns round
+    # (Drives::Engine::FastSerial). The drive sleeps only while the CIA is quiet
+    # (CIA#quiet?).
+    class Model1571
+      include Engine::Core
+      include Engine::VIAs
+      include Engine::FastSerial
+
+      CLOCK_HZ = 1_000_000
+      FAST_CLOCK_HZ = 2_000_000
+
+      # Where the DOS 3.0 idle loop starts over, as DOS 2.6's does.
+      IDLE_LOOP = 0xebff
+
+      # VIA 1's port A outputs.
+      FAST_SERIAL_OUT = 0x02
+      SIDE = 0x04
+      FAST = 0x20
+
+      def cia
+        settle!
+        @cia
+      end
+
+      def fdc
+        settle!
+        @fdc
+      end
+
+      def model_name = "1571"
+
+      # +rom+ covers $8000-$FFFF, and defaults to the DOS image in the ROM
+      # path. +device+ is the number the jumpers on VIA 1's PB5 and PB6 set,
+      # 8 to 11.
+      def initialize(rom: nil, host_clock_hz: CLOCK_HZ, device: 8, debug: false)
+        @device = device
+        @clock_hz = CLOCK_HZ
+        init_fast_serial
+        @mechanism = Model1541::Mechanism.new(slip: 2)
+        @serial_port = SerialPort.new(@mechanism, device:)
+        @via1 = SerialVIA.new(start: 0x1800, peripheral: @serial_port, drive: self)
+        @via2 = Model1541::DiskVIA.new(start: 0x1c00, mechanism: @mechanism)
+        @cia = Chips::CIA.new(start: 0x4000)
+        @fdc = WD1770.new
+        @bus = Bus.new(rom: rom || ROM.load("dos1571.rom", 0x8000), via1: @via1, via2: @via2, cia: @cia, fdc: @fdc)
+        @cpu = CPU.new(@bus, debug:)
+        @fdc.cpu = @cpu
+        @idle_loop = IDLE_LOOP
+        @host_clock_hz = host_clock_hz
+        @phase = 0
+        @cycles = 0
+        @serial_bus = nil
+        init_idle(debug)
+        # CA1 powers up at the level of a released ATN, without an edge.
+        @via1.ca1 = false
+        @via1.reset!
+        connect(SerialBus.new)
+      end
+
+      # The serial bus's RESET line reaches the CPU, both VIAs and the CIA.
+      # RAM keeps its contents.
+      def reset!
+        settle!
+        @via1.reset!
+        @via2.reset!
+        @cia.reset!
+        @cpu.reset!
+      end
+
+      # VIA 1 drives port A to +lines+: the side, the clock rate and the fast
+      # serial direction follow it.
+      def port_a_written(lines)
+        @mechanism.side = lines.anybits?(SIDE) ? 1 : 0
+        fast_serial_out = lines.anybits?(FAST_SERIAL_OUT)
+        turn_fast_serial(fast_serial_out) if fast_serial_out != @fast_serial_out
+        clock_hz = lines.anybits?(FAST) ? FAST_CLOCK_HZ : CLOCK_HZ
+        return if clock_hz == @clock_hz
+
+        @clock_hz = clock_hz
+        @mechanism.clock_hz = clock_hz
+      end
+
+      # Whether the drive runs at 2 MHz.
+      def fast? = @clock_hz == FAST_CLOCK_HZ
+
+      # VIA 1's port B, with the fast serial pins pulling DATA and SRQ
+      # (Drives::SerialBus::DRIVE_FAST_DATA and DRIVE_FAST_SRQ) above it.
+      def serial_output = @via1.port_b_output | @fast_output
+
+      private
+
+      # One drive cycle, as the 1541's (Drives::Model1541#step), with the CIA
+      # clocked beside the VIAs and pulling IRQ with them.
+      def step
+        so = @mechanism.take_so
+        @mechanism.cycle!
+        @via1.ca1 = @serial_port.atn_low?
+        @via1.cycle!
+        @via2.cycle!
+        @cia.cycle!
+        drive_fast_serial if @fast_serial_out
+        @cpu.irq = @via1.irq? || @via2.irq? || @cia.interrupted?
+        @cpu.so! if so
+        @cpu.cycle!
+        @cycles += 1
+      end
+
+      # The VIAs' quiet cycles while the CIA is quiet, and none otherwise.
+      def quiet_cycles
+        @cia.quiet? ? [@via1.quiet_cycles, @via2.quiet_cycles].min : 0
+      end
+
+      def fast_forward_more(cycles)
+        @cia.fast_forward(cycles)
+      end
+    end
+  end
+end