[Simh] Virtual VAXen

[Sergey Oboguev]

I came across another article regarding the history of VAX virtualization 
project at DEC.
Surprisingly, the projects dates back to 1981 and ran till 1990.
The goal was to achieve A1 security level certification.

Steve Lipner et al., "Lessons from VAX/SVS for High Assurance VM Systems"

http://dx.doi.org/10.1109/MSP.2012.87
http://www.cse.psu.edu/~tjaeger/cse543-f12/docs/SP_SPSI-2012-03-0042 
R1_Zurko.pdf




________________________________
From: Sergey Oboguev <oboguev at yahoo.com>
To: simh at trailing-edge.com
Sent: Mon, July 9, 2012 6:23:41 AM
Subject: Re: [Simh] Virtual VAXen

> Ah yes, the VVAX option... another attempted graft on the VAX architecture 
>tree. Unlike vectors, it never got as far as a real implementation.

According to VVAX / VAX Security Kernel developers, while it was never released 
externally as a product, there was internal proof-of-concept implementation on 
11/730 and production quality implementation on 8800, the latter field-tested in 

1989 at a number of external customers' sites.

http://dx.doi.org/10.1109/32.106971
http://www.cse.psu.edu/~tjaeger/cse543-f06/papers/vax_vmm.pdf

http://dx.doi.org/10.1109/RISP.1990.63834
http://www.scs.stanford.edu/nyu/02sp/sched/vmm.pdf

And here is somewhat more detailed technical description:
http://dx.doi.org/10.1109/ISCA.1991.1021630
http://mprc.pku.cn/mentors/training/ISCAreading/1991/p380-hall/p380-hall.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.trailing-edge.com/pipermail/simh/attachments/20121111/a2dbd6d8/attachment.html>