DiSquawk: 512 cores, 512 memories, 1 JVM