p6/SPARC Design

• p6 --- working; p6i --- under development.
• p6/SPARC --- running on SparcServer/1000 (50MHz SuperSparc+ 4CPU).
  • p6 to SPARC assmembler translator + runtime routines (in C).
  • Uses Solaris 2.x thread library for concurrency.
  • Representation of abstract states --- bit vectors; efficient condition checking (using bitwise "and" operation).
  • Method calls --- implemented by ordinary "call" instructions (for efficiency).