Последние изменения в модели выполнения Python?

Я просто перечитал раздел о моделях исполнения в 3-м издании Learning Python (конец 2007 г. ), и это казалось довольно предварительным. Итак, я просмотрел тот же раздел в 4-м издании (конец 2009 г.) и был очень разочарован тем, что он полностью не изменился.

Каков статус выполнения Python после CPython? Такое ощущение, что Jython и IronPython все еще остаются нишевыми проектами; появились другие подобные проекты? Psyco достаточно хорошо затвердел, чтобы его можно было использовать без проблем? Много ли людей используют ShedSkin? Есть ли информация о том, когда PyPy обычно выполняется быстрее?