badline 0.15.1 → 0.16.0

data/lib/badline/snapshot/pet_setup.rb

@@ -0,0 +1,71 @@
+# frozen_string_literal: true
+
+module Badline
+  module Snapshot
+    # How a PET was built: its model's name, one of PET::Model::ALL, its
+    # RAM below $8000 in K and its editor's frame rate, the arguments
+    # PET.new takes, and the ROMs it runs by file: BASIC, the editor, the
+    # KERNAL and the characters.
+    PETSetup = Data.define(:model, :ram_kb, :refresh_hz, :basic, :editor, :kernal, :characters)
+
+    class PETSetup
+      MODELS = PET::Model::ALL.map(&:name).freeze
+
+      REFRESH_RATES = [50, 60].freeze
+
+      # The setup of `machine`.
+      def self.of(machine)
+        model = machine.model
+        refresh_hz = machine.refresh_hz
+        new(model: model.name, ram_kb: machine.ram.length >> 10, refresh_hz:, basic: model.basic,
+            editor: model.editor(refresh_hz), kernal: model.kernal, characters: model.characters)
+      end
+
+      # The model by name, the RAM, the frame rate and the ROMs, in a keyed
+      # snapshot module.
+      def write_fields(out)
+        out.text("model", model).int("ram_kb", ram_kb).int("refresh_hz", refresh_hz)
+        out.text("rom.basic", basic).text("rom.editor", editor).text("rom.kernal", kernal)
+        out.text("rom.characters", characters)
+      end
+
+      # A ROM the snapshot doesn't name is the model's own.
+      def self.read_fields(input)
+        profile = PET::Model.named(input.choice("model", MODELS, PET::Model::DEFAULT))
+        ram_kb = input.int("ram_kb", profile.ram_kb)
+        unless PET::Model::RAM_SIZES.include?(ram_kb)
+          raise FormatError, "the snapshot is of a PET with #{ram_kb}K of RAM, which badline doesn't build"
+        end
+
+        refresh_hz = input.int("refresh_hz", profile.crtc? ? 50 : 60)
+        unless REFRESH_RATES.include?(refresh_hz)
+          raise FormatError, "the snapshot is of a PET at #{refresh_hz} Hz, which badline doesn't build"
+        end
+
+        refresh_hz = 60 unless profile.crtc?
+        new(model: profile.name, ram_kb:, refresh_hz:, basic: input.text("rom.basic", profile.basic),
+            editor: input.text("rom.editor", profile.editor(refresh_hz)),
+            kernal: input.text("rom.kernal", profile.kernal),
+            characters: input.text("rom.characters", profile.characters))
+      end
+
+      # A machine built this way, at power-on, with the BASIC and editor
+      # PET::ROMSets names for its ROMs.
+      def build
+        version = PET::ROMSets::BASICS.find { |_, roms| roms.first == basic }&.first
+        PET.new(model:, ram_kb:, refresh_hz:, basic: version, editor: PET::ROMSets::EDITORS.key(editor))
+      rescue ArgumentError => e
+        raise FormatError, "the snapshot is of a #{self}, which badline doesn't build: #{e.message}"
+      end
+
+      # The ROMs are named where they aren't the model's own.
+      def to_s
+        text = "#{model} with #{ram_kb}K at #{refresh_hz} Hz"
+        roms = [basic, editor, kernal, characters]
+        profile = PET::Model.named(model)
+        stock = [profile.basic, profile.editor(refresh_hz), profile.kernal, profile.characters]
+        roms == stock ? text : "#{text} running #{roms.join(', ')}"
+      end
+    end
+  end
+end

data/lib/badline/snapshot/storage_setup.rb

@@ -11,6 +11,8 @@ module Badline
       D71 = 2
       D81 = 3
       T64_ARCHIVE = 4
+      D80 = 5
+      D82 = 6
 
       module_function
 
@@ -18,6 +20,8 @@ module Badline
         return D71 if image.is_a?(Storage::D71Image)
         return D64 if image.is_a?(Storage::D64Image)
         return D81 if image.is_a?(Storage::D81Image)
+        return D82 if image.is_a?(Storage::D82Image)
+        return D80 if image.is_a?(Storage::D80Image)
 
         raise ArgumentError, "#{image.class} can't go in a snapshot"
       end
@@ -37,7 +41,7 @@ module Badline
         end
       end
 
-      KIND_NAMES = %w[directory d64 d71 d81 t64].freeze
+      KIND_NAMES = %w[directory d64 d71 d81 t64 d80 d82].freeze
 
       # Opens the storage write_fields wrote: the same directory by its
       # path, an archive with the bytes it held, or a disk image with the
@@ -55,6 +59,8 @@ module Badline
         case kind
         when D64 then Storage::D64Image.new(path, read_only:, bytes:)
         when D71 then Storage::D71Image.new(path, read_only:, bytes:)
+        when D80 then Storage::D80Image.new(path, read_only:, bytes:)
+        when D82 then Storage::D82Image.new(path, read_only:, bytes:)
         else Storage::D81Image.new(path, read_only:, bytes:)
         end
       end

data/lib/badline/snapshot.rb

@@ -35,9 +35,9 @@ module Badline
     # The machine's snapshot file. Saving first runs the machine on to the
     # end of the instruction its CPU is in, and of an REU transfer under
     # way (Machine::Settling), so a save advances it by a few cycles, and a
-    # second save straight after runs none. A VIC-20's, a C128's or a
-    # Plus/4's snapshot is in a container named as xvic, x128 or xplus4
-    # names its machine.
+    # second save straight after runs none. A VIC-20's, a C128's, a
+    # Plus/4's or a PET's snapshot is in a container named as xvic, x128,
+    # xplus4 or xpet names its machine.
     def dump(computer) = Image.of(computer).to_s
 
     def read(path) = Image.new(Container.parse(File.binread(path)), name: File.basename(path))
@@ -51,8 +51,8 @@ module Badline
     # snapshot that fails leaves the machine as it was.
     def restore(computer, path, &) = read(path).restore(computer, &)
 
-    # A machine's snapshots, as .vsf files and in memory. C64, Vic20, C128
-    # and Plus4 each include it.
+    # A machine's snapshots, as .vsf files and in memory. C64, Vic20, C128,
+    # Plus4 and PET each include it.
     module Files
       def save_snapshot(path) = Snapshot.save(self, path)
 
@@ -95,4 +95,8 @@ module Badline
   class Plus4
     include Snapshot::Files
   end
+
+  class PET
+    include Snapshot::Files
+  end
 end

data/lib/badline/storage/d80_image.rb

@@ -0,0 +1,48 @@
+# frozen_string_literal: true
+
+module Badline
+  module Storage
+    # An 8050 disk: 77 tracks on one side, in four speed zones.
+    class D80Image < DiskImage
+      ERROR_TABLES = { 535_331 => 2083 }.freeze
+
+      # The last track of each zone but the innermost, from the outermost
+      # in: tracks 1-39, 40-53 and 54-64, and the last zone from 65 on.
+      ZONE_LAST_TRACKS = [39, 53, 64].freeze
+
+      # The sectors a track holds in each zone, from the outermost in.
+      ZONE_SECTORS = [29, 27, 25, 23].freeze
+
+      # The tracks a side holds.
+      SIDE_TRACKS = 77
+
+      def sectors_in(track)
+        zone = ZONE_LAST_TRACKS.count { |last| track > last }
+        ZONE_SECTORS[zone]
+      end
+
+      private
+
+      def error_tables = ERROR_TABLES
+
+      # The header block holds the disk name at $06 and the ID at $18,
+      # after the link to the BAM's first block and the format, "C".
+      def header_name = 0x06
+      def directory_track = 39
+      def directory_sector = 1
+      def directory_interleave = 3
+      def interleave = 6
+
+      # Only the directory track is kept from files. The BAM's blocks on
+      # track 38 are marked in use, and the rest of that track holds files.
+      def reserved_tracks = [39]
+
+      # The BAM takes blocks 0, 3, 6 and 9 of track 38 as it needs them,
+      # each covering 50 tracks with a free count and a four-byte bitmap
+      # each from offset 6.
+      def bam_tracks = 1..SIDE_TRACKS
+      def bam_count(track) = [38, 3 * ((track - 1) / 50), 6 + (5 * ((track - 1) % 50))]
+      def bam_bitmap(track) = [38, 3 * ((track - 1) / 50), 7 + (5 * ((track - 1) % 50))]
+    end
+  end
+end

data/lib/badline/storage/d82_image.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+module Badline
+  module Storage
+    # An 8250 disk: an 8050's 77 tracks on each side, tracks 78-154 on the
+    # second, one directory and one BAM for both.
+    class D82Image < D80Image
+      ERROR_TABLES = { 1_070_662 => 4166 }.freeze
+
+      def sectors_in(track)
+        track > SIDE_TRACKS ? super(track - SIDE_TRACKS) : super
+      end
+
+      private
+
+      def error_tables = ERROR_TABLES
+
+      def bam_tracks = 1..(2 * SIDE_TRACKS)
+    end
+  end
+end

data/lib/badline/storage/tap.rb

@@ -3,7 +3,7 @@
 module Badline
   module Storage
     # Raw datasette pulse stream. The header holds the signature, the
-    # version at $0c, the platform at $0d (0 C64, 1 VIC-20, 2 C16) and the
+    # version at $0c, the platform at $0d (0 C64, 1 VIC-20, 2 C16, 3 PET) and the
     # data size at $10; the data runs from $14, every byte the time to the
     # next falling edge on the tape read line, in units of 8 cycles. A
     # version 2 tape, the C16's and the Plus/4's, times half waves instead,
@@ -16,18 +16,31 @@ module Badline
       HEADER_SIZE = 0x14
       OVERFLOW = 0x100 * 8
 
+      # The platform byte of a PET tape, a version 1 tape timed in PET
+      # cycles.
+      PET_PLATFORM = 3
+
       # The file it was read from, expanded, and the file's bytes.
       attr_reader :version, :platform, :path, :bytes
 
       # A blank tape for `platform` at `path`, written to the host file: a
-      # version 1 tape for the C64 (0) or the VIC-20 (1), and a version 2
-      # C16 tape for the 264 series (2).
+      # version 1 tape for the C64 (0), the VIC-20 (1) or the PET (3), and
+      # a version 2 C16 tape for the 264 series (2).
       def self.create(path, platform:)
         header = platform == 2 ? C16_SIGNATURE + [2] : SIGNATURE + [1]
         File.binwrite(path, (header + [platform, 0, 0, 0, 0, 0, 0]).pack("C*"))
         new(path)
       end
 
+      # The platform byte of the tape at `path`, or nil when it isn't a
+      # TAP file, read from its header alone.
+      def self.platform_of(path)
+        header = File.binread(path, HEADER_SIZE)&.bytes || []
+        return unless [SIGNATURE, C16_SIGNATURE].include?(header[0, SIGNATURE.length]) && header.length > 0x0d
+
+        header[0x0d]
+      end
+
       # `bytes` stands in for the host file's contents, as a snapshot
       # restores the tape it holds.
       def initialize(path, bytes: nil)

data/lib/badline/storage.rb

@@ -7,6 +7,8 @@ require "badline/storage/disk_image"
 require "badline/storage/d64_image"
 require "badline/storage/d71_image"
 require "badline/storage/d81_image"
+require "badline/storage/d80_image"
+require "badline/storage/d82_image"
 require "badline/storage/g64_image"
 require "badline/storage/t64"
 require "badline/storage/tap"

data/lib/badline/support/pet_checkpoint.rb

@@ -0,0 +1,38 @@
+# frozen_string_literal: true
+
+module Badline
+  module Support
+    # A Checkpoint of a PET: its CPU, the RAM below $8000, the screen RAM,
+    # the picture the video paints, both PIAs, the VIA, the CRTC's
+    # registers and counters, and the 8096's control register and 64K
+    # board, or nothing on another model.
+    module PETCheckpoint
+      COMPONENTS = %w[cpu ram screen display pia1 pia2 via crtc expansion].freeze
+
+      def self.take(machine)
+        ram = machine.ram
+        Checkpoint.new(machine.cycles, [
+                         Checkpoint.fnv1a(Checkpoint.cpu_state(machine.cpu)),
+                         Checkpoint.fnv1a(Checkpoint.ram(ram, ram.length)),
+                         Checkpoint.fnv1a(machine.bus.screen.cells),
+                         Checkpoint.fnv1a(machine.video.display),
+                         Checkpoint.fnv1a(pia_state(machine.pia1)),
+                         Checkpoint.fnv1a(pia_state(machine.pia2)),
+                         Checkpoint.fnv1a(Vic20Checkpoint.via_state(machine.via)),
+                         Checkpoint.fnv1a(crtc_state(machine.crtc)),
+                         Checkpoint.fnv1a(expansion_state(machine.bus.expansion))
+                       ], COMPONENTS)
+      end
+
+      def self.parse(line) = Checkpoint.parse(line, COMPONENTS)
+
+      def self.pia_state(pia) = [pia.port_a_output, pia.port_b_output, pia.cra, pia.crb]
+
+      def self.crtc_state(crtc) = crtc.registers + [crtc.column, crtc.line, crtc.row]
+
+      def self.expansion_state(expansion)
+        expansion ? [expansion.control, *expansion.cells] : []
+      end
+    end
+  end
+end

data/lib/badline/timing.rb

@@ -5,8 +5,9 @@ module Badline
   #
   # What a front end needs to run a machine's frames and show them: the CPU
   # clock, the raster's cycles per line and lines per frame, and the
-  # [left, top, width, height] of the raster it shows, and how many of the
-  # window's square pixels wide each of its pixels shows. Each machine
-  # derives it from its region.
-  Timing = Data.define(:clock_hz, :cycles_per_line, :lines_per_frame, :crop, :pixel_width)
+  # [left, top, width, height] of the raster it shows, how many of the
+  # window's square pixels wide each of its pixels shows, and how many of
+  # its pixels share one window pixel, as an 80-column screen's dots do.
+  # Each machine derives it from its region.
+  Timing = Data.define(:clock_hz, :cycles_per_line, :lines_per_frame, :crop, :pixel_width, :dots)
 end

data/lib/badline/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Badline
-  VERSION = "0.15.1"
+  VERSION = "0.16.0"
 end

data/lib/badline/vic20/attachments.rb

@@ -23,12 +23,17 @@ module Badline
       # Puts a cartridge's ROM chips, each a CRTFile::Chip with its address
       # and bytes, into their blocks, and switches the machine off and on,
       # as a cartridge goes in with the power off. The KERNAL then starts
-      # the cartridge in BLK5 that signs itself with A0CBM.
-      def attach_cartridge(chips)
+      # the cartridge in BLK5 that signs itself with A0CBM. +name+ is the
+      # name it goes by (#cartridge_name).
+      def attach_cartridge(chips, name = "")
         chips.each { |chip| @bus.map_rom(chip.address, chip.data) }
+        @bus.cartridge_name = name
         power_cycle!
       end
 
+      # The name of the cartridge in the expansion blocks, or an empty one.
+      def cartridge_name = @bus.cartridge_name
+
       private
 
       # The VIC-20's KERNAL, which the traps stand in for.

data/lib/badline/vic20/bus/keyed_state.rb

@@ -11,9 +11,9 @@ module Badline
       end
 
       # The bytes each side's data lines hold, under `prefix`, and a
-      # cartridge's ROM chips as rom<N>.start and rom<N>.bytes, in a keyed
-      # snapshot module (Snapshot::Keyed). The pages are mapped again once
-      # they are loaded.
+      # cartridge's name and its ROM chips as rom<N>.start and rom<N>.bytes,
+      # in a keyed snapshot module (Snapshot::Keyed). The pages are mapped
+      # again once they are loaded.
       module KeyedState
         def save_fields(out, prefix)
           out.int("#{prefix}data", @data).int("#{prefix}video_data", @video_data)
@@ -28,7 +28,7 @@ module Badline
         def cartridge? = !@roms.empty?
 
         def save_rom_fields(out)
-          out.int("roms", @roms.length)
+          out.text("name", @cartridge_name).int("roms", @roms.length)
           @roms.each_with_index do |rom, number|
             out.int("rom#{number}.start", rom.start)
             rom.save_fields(out, "rom#{number}.bytes")
@@ -37,6 +37,7 @@ module Badline
 
         def load_rom_fields(input)
           @roms = []
+          @cartridge_name = input.text("name", "")
           input.int("roms", 0).times do |number|
             bytes = input.bytes("rom#{number}.bytes", "".b).bytes
             @roms << ROM.new(bytes, length: bytes.length, start: input.word("rom#{number}.start", 0))

data/lib/badline/vic20/bus.rb

@@ -160,6 +160,10 @@ module Badline
       # The last byte on the V-bus.
       attr_reader :video_data
 
+      # The name of the cartridge whose ROM chips are in the expansion
+      # blocks, or an empty one.
+      attr_accessor :cartridge_name
+
       # +vic+, +via1+ and +via2+ are the chips in I/O 0, each answering
       # peek and poke with the CPU's address. +blocks+ names the expansion
       # blocks that hold RAM (BLOCKS), and +kernal+ the KERNAL ROM's file.
@@ -177,6 +181,7 @@ module Badline
         @read_pages = Array.new(256, @open_bus)
         @write_pages = Array.new(256, @open_bus)
         @roms = []
+        @cartridge_name = ""
         @debug_register = nil
         @via_write_handler = nil
         self.blocks = blocks

data/lib/badline/vic20.rb

@@ -120,7 +120,7 @@ module Badline
       blanked = profile.blanked_lines
       Timing.new(clock_hz: profile.clock_hz, cycles_per_line: profile.cycles_per_line,
                  lines_per_frame: profile.lines_per_frame,
-                 crop: [0, blanked, width, profile.lines_per_frame - blanked], pixel_width: 2)
+                 crop: [0, blanked, width, profile.lines_per_frame - blanked], pixel_width: 2, dots: 1)
     end
 
     # The RESTORE key pulls VIA 1's CA1 low while it is held. The KERNAL

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: badline
 version: !ruby/object:Gem::Version
-  version: 0.15.1
+  version: 0.16.0
 platform: ruby
 authors:
 - Inge Jørgensen
@@ -169,6 +169,11 @@ files:
 - lib/badline/chips/cpu/port.rb
 - lib/badline/chips/cpu/stack_operations.rb
 - lib/badline/chips/cpu/traps.rb
+- lib/badline/chips/crtc.rb
+- lib/badline/chips/crtc/keyed_state.rb
+- lib/badline/chips/pia.rb
+- lib/badline/chips/pia/control_lines.rb
+- lib/badline/chips/pia/keyed_parts.rb
 - lib/badline/chips/sid.rb
 - lib/badline/chips/sid/catch_up.rb
 - lib/badline/chips/sid/decimator.rb
@@ -264,6 +269,7 @@ files:
 - lib/badline/drives/engine/sleep.rb
 - lib/badline/drives/engine/vias.rb
 - lib/badline/drives/engine/watch.rb
+- lib/badline/drives/ieee_bus.rb
 - lib/badline/drives/model1541.rb
 - lib/badline/drives/model1541/bus.rb
 - lib/badline/drives/model1541/byte_ready.rb
@@ -336,6 +342,7 @@ files:
 - lib/badline/frontend/pacer.rb
 - lib/badline/frontend/pad_port.rb
 - lib/badline/frontend/painter.rb
+- lib/badline/frontend/pet_keyboard.rb
 - lib/badline/frontend/player/filter_view.rb
 - lib/badline/frontend/player/info_view.rb
 - lib/badline/frontend/player/player_commands.rb
@@ -375,12 +382,16 @@ files:
 - lib/badline/kernal_trap/dos/write_file.rb
 - lib/badline/kernal_trap/dos/writes.rb
 - lib/badline/kernal_trap/file_routine.rb
+- lib/badline/kernal_trap/frames.rb
+- lib/badline/kernal_trap/ieee.rb
+- lib/badline/kernal_trap/ieee_layout.rb
 - lib/badline/kernal_trap/keyed_state.rb
 - lib/badline/kernal_trap/layout.rb
 - lib/badline/kernal_trap/load.rb
 - lib/badline/kernal_trap/routine.rb
 - lib/badline/kernal_trap/save.rb
 - lib/badline/kernal_trap/serial.rb
+- lib/badline/kernal_trap/steps.rb
 - lib/badline/machine.rb
 - lib/badline/machine/clocking.rb
 - lib/badline/machine/keyboard_buffer.rb
@@ -391,6 +402,7 @@ files:
 - lib/badline/media/disk_set.rb
 - lib/badline/media/extensions.rb
 - lib/badline/media/not_disk.rb
+- lib/badline/media/pet_media.rb
 - lib/badline/media/plus4_media.rb
 - lib/badline/media/program.rb
 - lib/badline/media/true_drive.rb
@@ -407,6 +419,26 @@ files:
 - lib/badline/options/option.rb
 - lib/badline/options/table.rb
 - lib/badline/options/validation.rb
+- lib/badline/pet.rb
+- lib/badline/pet/bus.rb
+- lib/badline/pet/bus/expansion.rb
+- lib/badline/pet/canvas.rb
+- lib/badline/pet/cassettes.rb
+- lib/badline/pet/characters.rb
+- lib/badline/pet/cpu.rb
+- lib/badline/pet/crtc_video.rb
+- lib/badline/pet/discrete_video.rb
+- lib/badline/pet/ieee_ports.rb
+- lib/badline/pet/ieee_traps.rb
+- lib/badline/pet/keyboard_ports.rb
+- lib/badline/pet/keyed_modules.rb
+- lib/badline/pet/keyed_parts.rb
+- lib/badline/pet/keyed_state.rb
+- lib/badline/pet/model.rb
+- lib/badline/pet/rom_sets.rb
+- lib/badline/pet/sound.rb
+- lib/badline/pet/via.rb
+- lib/badline/pet/via_ports.rb
 - lib/badline/plus4.rb
 - lib/badline/plus4/acia.rb
 - lib/badline/plus4/acia/frames.rb
@@ -443,6 +475,24 @@ files:
 - lib/badline/roms/kernal-pet64.rom
 - lib/badline/roms/kernal-sx64.rom
 - lib/badline/roms/kernal.rom
+- lib/badline/roms/pet/basic1.rom
+- lib/badline/roms/pet/basic2.rom
+- lib/badline/roms/pet/basic4.rom
+- lib/badline/roms/pet/characters1.rom
+- lib/badline/roms/pet/characters2.rom
+- lib/badline/roms/pet/editor1.rom
+- lib/badline/roms/pet/editor2-b.rom
+- lib/badline/roms/pet/editor2-n.rom
+- lib/badline/roms/pet/editor4-40-n-50hz.rom
+- lib/badline/roms/pet/editor4-40-n-60hz.rom
+- lib/badline/roms/pet/editor4-80-b-50hz-0283.rom
+- lib/badline/roms/pet/editor4-80-b-50hz.rom
+- lib/badline/roms/pet/editor4-80-b-60hz.rom
+- lib/badline/roms/pet/editor4-b.rom
+- lib/badline/roms/pet/editor4-n.rom
+- lib/badline/roms/pet/kernal1.rom
+- lib/badline/roms/pet/kernal2.rom
+- lib/badline/roms/pet/kernal4.rom
 - lib/badline/roms/plus4/basic.rom
 - lib/badline/roms/plus4/function-high.rom
 - lib/badline/roms/plus4/function-low.rom
@@ -474,6 +524,7 @@ files:
 - lib/badline/snapshot/keyed/report.rb
 - lib/badline/snapshot/keyed/writer.rb
 - lib/badline/snapshot/machine_state.rb
+- lib/badline/snapshot/pet_setup.rb
 - lib/badline/snapshot/plus4_setup.rb
 - lib/badline/snapshot/storage_setup.rb
 - lib/badline/snapshot/vic20_setup.rb
@@ -496,7 +547,9 @@ files:
 - lib/badline/storage/crt_file.rb
 - lib/badline/storage/d64_image.rb
 - lib/badline/storage/d71_image.rb
+- lib/badline/storage/d80_image.rb
 - lib/badline/storage/d81_image.rb
+- lib/badline/storage/d82_image.rb
 - lib/badline/storage/disk_image.rb
 - lib/badline/storage/disk_image/bam.rb
 - lib/badline/storage/disk_image/catalog.rb
@@ -512,6 +565,7 @@ files:
 - lib/badline/support.rb
 - lib/badline/support/c128_checkpoint.rb
 - lib/badline/support/checkpoint.rb
+- lib/badline/support/pet_checkpoint.rb
 - lib/badline/support/plus4_checkpoint.rb
 - lib/badline/support/vic20_checkpoint.rb
 - lib/badline/timing.rb