Просто, ежели неисполнимость того-же стека будет реализована аппаратно, архитектура железки уже не Фон-Неймановская (ну, если идеализировать) получается?
НашЭ паранойЭ пока занята другими проблемами, :-) а этот вопрос меня заинтересовал именно с позиции "чистоты архитектуры" современных ИБМ ПЦ-совместимых цомпутеров.
Ядро Линукса уже несколько лет (уверен для 2.6.22 и выше) умеет защищать стек от исполнения для всех x86 и x86_64. Не знаю, как это реализуется в процессоре, но если ядро запущено со включённой защитой, это не отключить без перезагрузки.