Лісп-машина: відмінності між версіями

Перевірка типу була додатково вдосконалена й автоматизована, коли звичайне байтове слово у 32-біт було подовжено до 36-бітних для машин Lisp [[Символіка|Symbolics]] 3600-model<ref>[[Місяць, Девід А. "Архітектура символіки 3600"]] . Portal.acm.org. doi : 10.1145 / 327070.327133 . Отримано 12 листопада 2011 року .</ref> і, зрештою, до 40-бітних або більше (зазвичай, для [[Виявлення та виправлення помилок|кодів, що виправляють помилки]] використовувалися надлишкові біти). Першу групу додаткових бітів використовували для зберігання даних типу, роблячи пам'ять машини {{Не перекладено|Тегована пам'ять|тегованою|en|Tagged architecture}}, а інші біти використовували для реалізації {{Не перекладено|CDR кодування|CDR кодування|en|CDR coding}} (в якому звичайні елементи зв'язаного списку стискаються, щоб зайняти приблизно половину простору), допомагаючи у збиранні сміття повідомленням величин. Подальшим поліпшенням були дві інструкції мікрокоду, які спеціально підтримували [[Функція|функції]] Lisp, зменшуючи вартість виклику функції до 20 тактових циклів, в деяких реалізаціях Symbolics.