simh-testsetgenerator/VAX
Mark Pizzolato bf58edfaab VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik)
Design Notes for Fixing VAX Unaligned Access to IO and Register Space

Problem Statement: VAX unaligned accesses are handled by reading the
surrounding longword (or longwords) and

a) for reads, extracting the addressed addressed word or longword
b) for writes, inserting the addressed word or longword and then
   writing the surrounding longword (or longwords) back

This is correct for all memory cases. On the 11/780, the unaligned
access to register or IO space causes an error, as it should. On
CVAX, it causes incorrect behavior, by either performing too many
QBus references, or performing read-modify-writes instead of pure
writes, or accessing the wrong Qbus locations.

The problem cannot be trivially solved with address manipulation.
The core issues is that on CVAX, unaligned access is done to
exactly as many bytes as are required, using a base longword
address and a byte mask. There are five cases, corresponding to
word and longword lengths, and byte offsets 1, 2 (longword only),
and 3. Further, behavior is different for reads and writes, because
the Qbus always performs word operations on reads, leaving it to
the processor to extract a byte if needed.

Conceptual design: Changes in vax_mmu.c:

Unaligned access is done with two separate physical addresses, pa
and pa1, because if the access crosses a page boundary, pa1 may
not be contiguous with pa. It's worth noting that in an unaligned
access, the low part of the data begins at pa (complete with byte
offset), but the high parts begins at pa1 & ~03 (always in the
low-order end of the second longword).

To handle unaligned data, we will add two routines for read and
write unaligned:

	data = ReadU (pa, len);
	WriteU (pa, len, val);

Note that the length can be 1, 2, or 3 bytes. For ReadU, data is
return right-aligned and masked. For WriteU, val is expected to
be right-aligned and masked.

The read-unaligned flows are changed as follows:

if (mapen && ((off + lnt) > VA_PAGSIZE)) {              /* cross page? */
    vpn = VA_GETVPN (va + lnt);                         /* vpn 2nd page */
    tbi = VA_GETTBI (vpn);
    xpte = (va & VA_S0)? stlb[tbi]: ptlb[tbi];          /* access tlb */
    if (((xpte.pte & acc) == 0) || (xpte.tag != vpn) ||
        ((acc & TLB_WACC) && ((xpte.pte & TLB_M) == 0)))
        xpte = fill (va + lnt, lnt, acc, NULL);         /* fill if needed */
    pa1 = ((xpte.pte & TLB_PFN) | VA_GETOFF (va + 4)) & ~03;
    }
else pa1 = ((pa + 4) & PAMASK) & ~03;                   /* not cross page */
bo = pa & 3;
if (lnt >= L_LONG) {                                    /* lw unaligned? */
    sc = bo << 3;
    wl = ReadU (pa, L_LONG - bo);                       /* read both fragments */
    wh = ReadU (pa1, bo);                               /* extract */
    return ((wl | (wh << (32 - sc))) & LMASK);
    }
else if (bo == 1)                                       /* read within lw */
    return ReadU (pa, L_WORD);
else {
    wl = ReadU (pa, L_BYTE);                            /* word cross lw */
    wh = ReadU (pa1, L_BYTE);                           /* read, extract */
    return (wl | (wh << 8));
    }

These are not very different, but they do reflect that ReadU returns
right-aligned and properly masked data, rather than the encapsulating
longword.

The write-unaligned flows change rather more drastically:

if (mapen && ((off + lnt) > VA_PAGSIZE)) {
    vpn = VA_GETVPN (va + 4);
    tbi = VA_GETTBI (vpn);
    xpte = (va & VA_S0)? stlb[tbi]: ptlb[tbi];          /* access tlb */
    if (((xpte.pte & acc) == 0) || (xpte.tag != vpn) ||
        ((xpte.pte & TLB_M) == 0))
        xpte = fill (va + lnt, lnt, acc, NULL);
    pa1 = ((xpte.pte & TLB_PFN) | VA_GETOFF (va + 4)) & ~03;
    }
else pa1 = ((pa + 4) & PAMASK) & ~03;
bo = pa & 3;
if (lnt >= L_LONG) {
    sc = bo << 3;
    WriteU (pa, L_LONG - bo, val & insert[L_LONG - bo]);
    WriteU (pa, bo, (val >> (32 - sc)) & insert[bo]);
    }
else if (bo == 1)                                       /* read within lw */
    WriteU (pa, L_WORD, val & WMASK);
else {                                                  /* word cross lw */
    WriteU (pa, L_BYTE, val & BMASK);
    WriteU (pa, L_BYTE, (val >> 8) & BMASK);
    }
return;
}

Note that all the burden here has been thrown on the WriteU routine.

-------------

ReadU is the simpler of the two routines that needs to be written.
It will handle memory reads and defer register and IO space to
model-specific unaligned handlers.

int32 ReadU (uint32 pa, int32 lnt)
{
int32 dat;
int32 sc = (pa & 3) << 3;

if (ADDR_IS_MEM (pa))
    dat = M[pa >> 2];
else {
    mchk = REF_V;
    if (ADDR_IS_IO (pa))
       dat = ReadIOU (pa, lnt);
    else dat = ReadRegU (pa, lnt);
    }
return ((dat >> sc) & insert[lnt]);
}

Note that the ReadIOU and ReadRegU return a "full longword," just
like their aligned counterparts, and ReadU right-aligns the result,
just as ReadB, ReadW, and ReadL do.

WriteU must handle the memory read-modify-write sequence. However,
it defers register and IO space to model-specific unaligned handlers.

void WriteU (uint32 pa, int32 lnt, int32 val)
{
if (ADDR_IS_MEM (pa)) {
    int32 bo = pa & 3;
    int32 sc = bo << 3;
    M[pa >> 2] = (M[pa >> 2] & ~(insert[len] << sc) | (val << sc);
    }
else if ADDR_IS_IO (pa)
    WriteIOU (pa, lnt, val);
else WriteRegU (pa, lnt, val);
return;
}

--------------

For the 11/780, ReadIOU, ReadRegU, WriteIOU, and WriteRegU all do the
same thing: they throw an SBI machine check. We can write explicit
routines to do this (and remove the unaligned checks from all the
normal adapter flows), or leave things as they are and simply define
the four routines as macros that go to the normal routines. So there's
very little to do.

On CVAX, I suspect that ReadRegU and WriteRegU behave like the
normal routines. The CVAX specs don't say much, but CMCTL (the memory
controller) notes that it ignores the byte mask and treats every
access as an aligned longword access. I suspect this is true for
the other CVAX support chips, but I no longer have chip specs.

The Qbus, on the other hand... that's a fun one. Note that all of
these cases are presented to the existing aligned IO routine:

bo = 0, byte, word, or longword length
bo = 2, word
bo = 1, 2, 3, byte length

All the other cases are going to end up at ReadIOU and WriteIOU,
and they must turn the request into the exactly correct number of
Qbus accesses AND NO MORE, because Qbus reads can have side-effects,
and word read-modify-write is NOT the same as a byte write.

The read cases are:

bo = 0, byte or word - read one word
bo = 1, byte - read one word
bo = 2, byte or word - read one word
bo = 3, byte - read one word
bo = 0, triword - read two words
bo = 1, word or triword - read two words

ReadIOU is very similar to the existing ReadIO:

int32 ReadIOU (uint32 pa, int32 lnt)
{
int32 iod;

iod = ReadQb (pa);                                      /* wd from Qbus */
if ((lnt + (pa & 1)) <= 2)                              /* byte or word & even */
    iod = iod << ((pa & 2)? 16: 0);                     /* one op */
else iod = (ReadQb (pa + 2) << 16) | iod;               /* two ops, get 2nd wd */
SET_IRQL;
return iod;
}

The write cases are:

bo = x, lnt = byte - write one byte
bo = 0 or 2, lnt = word - write one word
bo = 1, lnt = word - write two bytes
bo = 0, lnt = triword - write word, byte
bo = 1, lnt = triword - write byte, word

WriteIOU is similar to the existing WriteIO:

void WriteIO (uint32 pa, int32 val, int32 lnt)
{
switch (lnt) {
case L_BYTE:                                            /* byte */
    WriteQb (pa, val & BMASK, WRITEB);
    break;
case L_WORD:                                            /* word */
    if (pa & 1) {                                       /* odd addr? */
        WriteQb (pa, val & BMASK, WRITEB);
        WriteQb (pa + 1, (val >> 8) & BMASK, WRITEB);
        }
    else WriteQb (pa, val, WRITE);
    break;
case 3:                                                 /* triword */
    if (pa & 1) {                                       /* odd addr? */
        WriteQb (pa, val & BMASK, WRITEB);
        WriteQb (pa + 1, (val >> 8) & WMASK, WRITE);
        }
    else {
        WriteQb (pa, val & WMASK, WRITE);
        WriteQb (pa + 2, (val >> 16) & BMASK, WRITEB);
        }
    break;
    }
SET_IRQL;
return;
}

-----------------

I think this handles all the cases.

/Bob Supnik

Conflicts:
	VAX/vax780_defs.h
	VAX/vax_mmu.c
	VAX/vaxmod_defs.h
2013-12-22 04:10:01 -08:00
..
ka610.bin Addition of MicroVAX I (VAX610) processor simulator from Matt Burke 2012-10-25 11:58:10 -07:00
ka620.bin Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
ka620_patch.com Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
ka630.bin Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
ka630_patch.com Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
ka655_patch.com Notes For V3.8 2011-04-15 08:35:43 -07:00
ka655x.bin Notes For V3.8 2011-04-15 08:35:43 -07:00
ka655x.bin_old Notes For V3.8 2011-04-15 08:35:43 -07:00
vax7x0_mba.c Adding more device help 2013-02-05 04:41:48 -08:00
vax610_defs.h VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax610_io.c VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax610_mem.c Added SHOW CPU MEMORY support for all VAX simulators to display the memory controller and board configuration 2013-04-08 12:18:09 -07:00
vax610_stddev.c VAX: Avoid potential VAX simulator hangs when code may poll for console input without being interrupted 2013-11-07 08:02:00 -08:00
vax610_sysdev.c VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax610_syslist.c Add sim_video and VAX QVSS (VCB01) Monochrome Video Board from Matt Burke 2013-06-12 17:10:23 -07:00
vax630_defs.h VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax630_io.c VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax630_stddev.c VAX: Avoid potential VAX simulator hangs when code may poll for console input without being interrupted 2013-11-07 08:02:00 -08:00
vax630_sysdev.c VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax630_syslist.c VAX630: NVR corrected to be 64 bytes instead of 128. Added NVR read/write debug tracing. 2013-08-21 13:59:22 -07:00
vax730_defs.h VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax730_mem.c Added SHOW CPU MEMORY support for all VAX simulators to display the memory controller and board configuration 2013-04-08 12:18:09 -07:00
vax730_rb.c Remove stray tab characters which crept in over time 2013-06-03 06:29:01 -07:00
vax730_stddev.c VAX: Avoid potential VAX simulator hangs when code may poll for console input without being interrupted 2013-11-07 08:02:00 -08:00
vax730_sys.c Provide more useful help for VAX simulator boot commands and clearer error reports for boot command errors 2013-01-26 21:12:12 -08:00
vax730_syslist.c PDP10,PDP11,VAX: Addition of inter operable DUP11, DMC11 and KDP11 devices 2013-11-25 07:00:17 -08:00
vax730_uba.c Remove stray tab characters which crept in over time 2013-06-03 06:29:01 -07:00
vax750_cmi.c Provide more useful help for VAX simulator boot commands and clearer error reports for boot command errors 2013-01-26 21:12:12 -08:00
vax750_defs.h VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax750_mem.c Added SHOW CPU MEMORY support for all VAX simulators to display the memory controller and board configuration 2013-04-08 12:18:09 -07:00
vax750_stddev.c VAX: Avoid potential VAX simulator hangs when code may poll for console input without being interrupted 2013-11-07 08:02:00 -08:00
vax750_syslist.c PDP10,PDP11,VAX: Addition of inter operable DUP11, DMC11 and KDP11 devices 2013-11-25 07:00:17 -08:00
vax750_uba.c Revised all VAX simulator devices to have proper help information defined to make "HELP dev SHOW" and "HELP dev SET" most useful. 2013-02-02 16:29:38 -08:00
vax780_bug_history.txt Merge changes from v3.9-0 rc1 2012-03-19 16:05:24 -07:00
vax780_defs.h VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax780_fload.c Remove stray tab characters which crept in over time 2013-06-03 06:29:01 -07:00
vax780_mem.c Added SHOW CPU MEMORY support for all VAX simulators to display the memory controller and board configuration 2013-04-08 12:18:09 -07:00
vax780_sbi.c Added boot from console floppy support to the VAX780 simulator (Changed console floppy device name from RXC to CS) 2013-04-11 08:45:07 -07:00
vax780_stddev.c VAX: Avoid potential VAX simulator hangs when code may poll for console input without being interrupted 2013-11-07 08:02:00 -08:00
vax780_syslist.c PDP10,PDP11,VAX: Addition of inter operable DUP11, DMC11 and KDP11 devices 2013-11-25 07:00:17 -08:00
vax780_uba.c Adding more device help 2013-02-05 04:41:48 -08:00
vax860_abus.c Remove stray tab characters which crept in over time 2013-06-03 06:29:01 -07:00
vax860_defs.h VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax860_sbia.c Remove stray tab characters which crept in over time 2013-06-03 06:29:01 -07:00
vax860_stddev.c VAX: Avoid potential VAX simulator hangs when code may poll for console input without being interrupted 2013-11-07 08:02:00 -08:00
vax860_syslist.c PDP10,PDP11,VAX: Addition of inter operable DUP11, DMC11 and KDP11 devices 2013-11-25 07:00:17 -08:00
vax_2681.c Revised QVSS mouse support from Matt Burke to address #60 2013-08-17 10:11:47 -07:00
vax_2681.h Add sim_video and VAX QVSS (VCB01) Monochrome Video Board from Matt Burke 2013-06-12 17:10:23 -07:00
vax_cis.c Migrating scp and library global variables to be declared as extern in the appropriate library include file and remove repetitive declarations in referencing modules. 2013-01-10 13:29:15 -08:00
vax_cmode.c Migrating scp and library global variables to be declared as extern in the appropriate library include file and remove repetitive declarations in referencing modules. 2013-01-10 13:29:15 -08:00
vax_cpu.c VAX: Compiler warning cleanup 2013-09-05 23:30:22 -07:00
vax_cpu1.c Migrating scp and library global variables to be declared as extern in the appropriate library include file and remove repetitive declarations in referencing modules. 2013-01-10 13:29:15 -08:00
vax_defs.h Changed use of compile #defines which start with a _ character to not do this since defined symbols starting with _ are reserved to local compiler/runtime implementations in the C language. This addresses issue #32 2013-03-12 11:07:58 -07:00
vax_fpa.c Merge of Bob's simh-v3.9-0-rc3 2012-04-23 11:50:43 -07:00
vax_io.c VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax_ka610_bin.h Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
vax_ka620_bin.h Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
vax_ka630_bin.h Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
vax_ka655x_bin.h Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
vax_lk.c Add sim_video and VAX QVSS (VCB01) Monochrome Video Board from Matt Burke 2013-06-12 17:10:23 -07:00
vax_mmu.c VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax_octa.c Cleanup for warning messages produced by the clang C compiler. Mostly adding parentheses in conditional assignments and clarification parentheses in complex boolean expressions. 2012-04-29 11:59:44 -07:00
vax_stddev.c VAX: Avoid potential VAX simulator hangs when code may poll for console input without being interrupted 2013-11-07 08:02:00 -08:00
vax_sys.c Remove stray tab characters which crept in over time 2013-06-03 06:29:01 -07:00
vax_syscm.c Remove stray tab characters which crept in over time 2013-06-03 06:29:01 -07:00
vax_sysdev.c VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vax_syslist.c Returned the pdp11_cr device to the VAX Qbus systems and changed the pdp11_cr device to properly describe itself as a Qbus capable device when CR11 device is being simulated since it is a programmed I/O device and doesn't have bus addressing issues that DMA devices have. 2013-02-04 06:53:10 -08:00
vax_vc.c QVSS/VIDEO: Fix for mouse tracking on Ultrix from Mike Burke for issue #88 2013-11-08 17:15:02 -08:00
vax_vmb_exe.h Addition of MicroVAX II (VAX630) and rtVAX 1000 (or Industrial VAX 620) processor simulators from Matt Burke 2012-11-09 12:18:15 -08:00
vax_vs.c Revised QVSS mouse support from Matt Burke to address #60 2013-08-17 10:11:47 -07:00
vax_watch.c VAX: Compiler warning cleanup 2013-09-05 23:30:22 -07:00
vaxmod_defs.h VAX: Fix for unaligned memory reference to IO and Register Space (from Bob Supnik) 2013-12-22 04:10:01 -08:00
vmb.exe Make sure that VAX/vmb.exe is included in the git repository 2011-06-01 09:10:13 -07:00