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 <obog...@yahoo.com> To: simh@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
_______________________________________________ Simh mailing list Simh@trailing-edge.com http://mailman.trailing-edge.com/mailman/listinfo/simh
