Functional CPU

koolcoy

突發(fā)奇想

如果設(shè)計(jì)一個(gè)CPU，這個(gè)CPU的基本指令集是一種函數(shù)式的編程語言~~~~{:3_195:}

是不是以后測試都可以改行了{(lán):3_202:}

MMMIX

有人這么做過。另外，也不知道當(dāng)年的 Lisp Machine 是怎么回事。

miniqq

的確，樓主所想的就像 lisp機(jī)，不知那些機(jī)器有無得賣！？
Lisp mathine:
　　一種直接以LISP語言的系統(tǒng)函數(shù)為機(jī)器指令的計(jì)算機(jī)。LISP機(jī)是20世紀(jì)70年代初美國麻省理工學(xué)院人工智能實(shí)驗(yàn)室的R.格林布拉特首先研究成功的。日本1975年起也研究LISP機(jī)。LISP機(jī)主要應(yīng)用領(lǐng)域是人工智能各分支，如知識工程（例如用于超大規(guī)模集成電路設(shè)計(jì)的專家系統(tǒng)）、物景分析、自然語言理解、言語理解和機(jī)器人工程等。普通計(jì)算機(jī)實(shí)現(xiàn) LISP 語言是通過解釋程序和系統(tǒng)函數(shù)子程序相互間的遞歸調(diào)用進(jìn)行的。輾轉(zhuǎn)層次多而效率低。LISP機(jī)執(zhí)行同等指令要快一兩個(gè)數(shù)量級。LISP機(jī)具有一種面向堆棧的系統(tǒng)結(jié)構(gòu)，堆棧里存放的是指針，代表所謂LISP對象。除了數(shù)和特種常量(T，NIL)用專用指針外，一般指針代表可賦予任何意義的符號，包括印刷名、值、功能函數(shù)和特性表四個(gè)項(xiàng)目，這種賦予是動(dòng)態(tài)的，且各項(xiàng)目彼此獨(dú)立。LISP機(jī)的機(jī)器指令包含著在現(xiàn)行堆棧上操作以下四類機(jī)器指令：①基本函數(shù)，②四則運(yùn)算及有關(guān)運(yùn)算，③條件轉(zhuǎn)移指令，④用低層次LISP微指令手編的LISP函數(shù)。在任何時(shí)刻LISP機(jī)的運(yùn)算都是通過現(xiàn)行堆棧組控制的。當(dāng)過程進(jìn)行到需要計(jì)算另一函數(shù)時(shí)，就起動(dòng)與那個(gè)函數(shù)相應(yīng)的堆棧組并保留當(dāng)前的計(jì)算狀態(tài)，而被起動(dòng)的堆棧組就成為現(xiàn)行堆棧組。因此LISP機(jī)實(shí)際上是各堆棧組能相互起動(dòng)的處理符號的堆棧機(jī)。LISP機(jī)的操作系統(tǒng)、解釋系統(tǒng)、編譯系統(tǒng)、調(diào)試程序都是用 LISP語言寫的。有些 LISP機(jī)，例如美國的SYMBOLICS3600系統(tǒng)，還實(shí)現(xiàn)了以LISP為基礎(chǔ)的FORTRAN、PASCAL和C語言，而且能聯(lián)成網(wǎng)絡(luò)。

MMMIX

的確，樓主所想的就像 lisp機(jī)，不知那些機(jī)器有無得賣！？
miniqq 發(fā)表于 2010-03-24 20:41

    Lisp machine 已經(jīng)沒有賣的了，不過你可以用模擬器體驗(yàn)下。

chenzengjie

sicp書里提到過已經(jīng)有人制作出一個(gè)芯片, 指令集就是scheme語言.

prolj

出現(xiàn)了問題就重啟的的lisp機(jī)？雖然可以講出來一堆一堆的遞歸的原理，有問題還是重啟的那種？

MMMIX

出現(xiàn)了問題就重啟的的lisp機(jī)？雖然可以講出來一堆一堆的遞歸的原理，有問題還是重啟的那種？
prolj 發(fā)表于 2010-04-05 00:11

Lisp Machine 的重啟是當(dāng)時(shí)的垃圾回收做的比較爛而已. 對了,你知道在 Lisp Machine 使用的時(shí)候, 其他 OS 是個(gè)什么狀況么?

prolj

不知道，我只是聽說有l(wèi)m而已。你好像很喜歡lisp跟emacs啊。

MMMIX

不知道，我只是聽說有l(wèi)m而已。你好像很喜歡lisp跟emacs啊。
prolj 發(fā)表于 2010-04-07 16:13

    談不上.