Есть ли процессоры, исполняющие сразу высокоуровневый код?

0_o

есть

да миллиарды их...

да, есть. если мне память не изменяет, были такие векторные терминалы, вот там такая штука с рисованием и была реализована.
далее, существуют и выпускаются спец.сопроцессоры для прямого выполнения Java байт-кода.
я уж не говою про сигнальные сопроцессоры и современные GPU.

Читайте Таненбаума наконец!

Все процессоры в конечном итоге работают с электрическими сигналами, как это интерпретировать - зависит от уровня восприятия. В процессоре может быть встроенный интерпретатор (совсем аппаратный, или наполовину программируемый как в современный интелях) - сути это не меняет. Всё равно, ядро в конечном итоге работает с битами, ибо нет в электротехнике средств, чтобы сделать как-то иначе.

По сабжу, Sun давно делала процессор, выполняющий байт-код. Но это, опять же иллюзия. Просто в этом процессоре был интерпретатор, переводящий этот байт-код в низкоуровневые команды ядра.

> По сабжу, Intel давно делала процессор, выполняющий x86 код. Но это, опять же иллюзия. ... переводящий этот код в низкоуровневые команды ядра
fixed

Кстати, туда же Трансмету.

Что такое "код, исполняемый процессором" - это понятие несколько расплывчатое. То, что является "публичным интерфейсом" - это всего лишь верхний этаж, видимость, туда почти что угодно можно запихать.

Кстати, вроде как жабские процессоры не прижились, байткод оказался не очень удобен для железной реализации, обычно реализуют подмножество, остальное оставляют софтовой части JVM.

Форт-процессор

В некотором смысле высокоуровневые http://wiki.forthfreak.net/index.cgi?ForthCPUs

А я буду считать, что мой процессор с работающим на нём Linux сразу исполняет java-код! Для меня - сидящего за монитором, это именно так и выглядит :)

Так что всё зависит от того, как смотреть. "исполняющие сразу высокоуровневый код" - это очень размытые слова.

да, в таких процессорах язык forth можно рассматривать как "нетрадиционный" ассемблер.

А вы знаете, что быдлонабор инструкций x86 транслируется в RISC-инструкции? Так что нонешние «нативные» бинарники на самом деле тот же байткод, вид сбоку.

Жаль, нет возможности выполнять код сразу на этом RISC.

> Жаль, нет возможности выполнять код сразу на этом RISC.

Где-то на торрентах видел стыреную у интеля спеку от P4/первых Core, по микрокоду процессора, и тому, как его обновлять/разрабатывать. Надо порытся, может быть еще лежит где. А так -- натюрлих, перепрошить P4 в PowerPC и будет всем счастье ;)

а секурити?

Слышал, что в 1970-80-х годах делали процессоры, выполнявшие байткод Паскаля. Ещё было что-то с Лиспом и Джавой: http://en.wikipedia.org/wiki/Lisp_machine

Да можно соорудить агрегат, которых будет выполнять хоть bmp-шки с блок-схемами! Вопрос в том, на сколько к этому применимы слова "исполняют сразу"

По моему, пребанальнейший 8086 умеет выполнять операции над строками strcmp всякие. А вообще, согласен с предыдущим оратором.

Есть. Не помню название, но точно есть.

>перепрошить P4 в PowerPC и будет всем счастье

Хотел бы я увидеть такого счастьеmaker'а живьём и при жизни

> По моему, пребанальнейший 8086 умеет выполнять операции над строками strcmp всякие.

Такого — нет. Не помню инструкции cmps[bw].

> А так -- натюрлих, перепрошить P4 в PowerPC и будет всем счастье ;)

А где ты в P4 найдешь столько регистров общего назначения?

> По моему, пребанальнейший 8086 умеет выполнять операции над строками strcmp всякие.
Ну что-то вроде того -- есть операции типа пересылка и сравнение массивов байтов/слов/двойных слов. Ну это слишком простые операции. Хочется сразу иметь поддержку списков, может быть классов, словарей и прочее :) Поиск в списках/словарях/строках мог бы быть очень эффективен, к примеру, я думаю, если реализовать его аппаратно.

http://www.arm.com/products/CPUs/families/ARM11Family.html

The ARM1176JZ-S and ARM1176JZF-S processors featuring ARM TrustZone technology, and ARM Jazelle® technology for efficient embedded Java execution

ARM Jazelle technology software is a full featured multi-tasking Java Virtual Machine (JVM)

и на жабке, на жабке все писать ))))

лисп-машина

>А вы знаете, что быдлонабор инструкций x86 транслируется в RISC-инструкции? Так что нонешние «нативные» бинарники на самом деле тот же байткод, вид сбоку.

А вы знаете, что 99% процессоров именно так и устроены? Каждой команде на входе ставится в соответствие микропрограмма, состоящая из нескольких микрокоманд и она-то фактически и выполняется. И никуда от этого не денешься. Так что любой процессор и есть интерпретатор некоторого языка.

Burroughs 5500, Эльбрус-[123].

>я уж не говою про сигнальные сопроцессоры и современные GPU.

эта пять.

читай доки от какого-нибудь DSP. Про то, что все нормальные шейдеры пишутся на _ассемблере_ GPU - тут я даже молчу. Этого как бы стыдно не знать.

>Эльбрус-[123]

ты вообще, знаешь, что такое эльбрус[123]?

я не в знаю, что тебе втирают в интернетах, но я держал доки от 2/4х-процессорных плат с эльбрусами, для военных, которые прямо из МЦСТ. Так вот, это SPARC.

А название МЦСТ на это как бы намекает.

да, мне стыдно :( и тем более, в далекой молодости я DSP програмил...

ЗЫ: радует что хоть кто-то это заметил :)

>> Эльбрус-[123]

> ты вообще, знаешь, что такое эльбрус[123]?

Я - да.

> я держал доки от 2/4х-процессорных плат с эльбрусами, для военных, которые прямо из МЦСТ

А ты, походу, Эльбрус-90микро от Эльбрус-[123] не отличаешь.

22 сантиметра.

чем докажешь?

Может конкретизируем вопрос и "высокоуровневым" будем считать код не управляющий памятью напрямую? То есть без указателей и тд. Что-то вроде классического паскаля

Всё это просто невыгодно со стороны универсальности. Зачем проектировать и выпускать отдельный процессор, который умеет рисовать пятиугольник, когда легче выпустить процессор, выполняющий элементарные операции + маленькую микросхемку, указывающую, что и как ему нужно сделать чтобы нарисовать сию пентаграмму. А потом такой процессор можно пихнуть в любое другое устройство, меняя только содержимое микросхем с кодом.

>А вы знаете, что быдлонабор инструкций x86 транслируется в RISC-инструкции? Так что нонешние «нативные» бинарники на самом деле тот же байткод, вид сбоку.

от байкода тут существнное отличие - один низкоуровневый код интерпретируется в другой. Байт-код же исполняется в виртуальной машине и всю работу с памятью берет на себя эта машина.

Лисп-машины

есть. текстовый процессор, табличный процессор итд. оба есть в опенофисе и других поделках. если хочешь все это в железе, то попроси alias-10st. думаю он до завтра концепцию выложит.