Издание SBCL 2.4.2, реализиране на езика Common Lisp

Публикувана версия SBCL 2.4.2 (Steel Bank Common Lisp), свободна реализация на езика за програмиране Common Lisp. Кодът на проекта е написан на езиците Common Lisp и C, и се разпространява под лицензия BSD.

В новото издание:

• Компилирането на системата сама по себе си на x86-64 с Linux сега произвежда битово идентични крос-компилирани fasl, когато хостът за сборка е cmucl, ccl, clisp или самият sbcl.
• Оптимизации:
  • Голяма част от вътрешните таблици, особено тези, свързани с поддръжка на Unicode, бяха преместени да използват хеш функции, освободени от колизии (перфектни), което подобри скоростта и намали размера.
  • FIND, POSITION, ASSOC и RASSOC с аргументи неизменна последователност, съдържаща символи като ключове, сега се компилират за търсене с използване на хешове, освободени от колизии.
  • На системите x86-64 в компилатора е осигурено елиминирането на прехода jump-to-jump.
• Корекции на грешки:
  • Възстановена е възможността за наследяване както от SEQUENCE, така и от SB-MOP:FUNCALLABLE-STANDARD-OBJECT.
  • COERCE няма да конвертира лямбда форми в функции, ако зададеното име на тип е подклас на FUNCTION.
  • LOG с аргументи double-float и рационални аргументи (в какъвто и да е ред) не губи точност чрез междинен single-float аргумент.
  • LOG по основание 2 целочислена степен на двойка най-вероятно ще даде математически точен отговор.
  • LOG на рационални числа, близки до единица с числител или знаменател, близки до степен на две, ще използва log1p и по този начин ще губи по-малко точност.
  • Външният формат utf-8 с Unix-краища на реда актуализира информацията за размера на символите при прилагане на бърз маршрут за буфери ASCII-символи.
  • Не се е отпечатвало съдържанието на вероятно по-малко валидни динамично съществуващи cons-ове в метода PRINT-OBJECT за THREAD обекти.
  • Постоянно разположение на външни точки на вход за функции преди всички други локални функции.
  • Премахване на неактивни забележки за оптимизация за закарани форми и единични извиквания на APPEND с висока скорост.
  • Безкраен цикъл в COPY-SEQ на масиви с нулева дължина с тип елементи NIL.
  • Поправка на компилацията на конструктори на структури, които не са на най-високо ниво.
• Поправки в SB-SIMD:
  • Подобряване на проверката на границите в SB-SIMD.
  • Поправка на SB-SIMD AVX f64.4-reverse.
  • Поправка на разбъркване в SB-SIMD на AVX и SSE2.
  • Поправка на времето на живот в sse+xmm0 VOP-ове.

Източник: opennet.ru