Common Lisp/Пакети пеpеpивань

Пакети переривань

Пакети переривань muLISP викликаються регулювальником переривань та регулювальником затримки помилок. Коли переривання виникає, то пiсля повiдомлення про переривання чи про помилку на екран дисплея видається пiдказка у виглядi опцiй:

Continue, Break, Abort, Top-level, Restart, System? Потiм система очiкує, допоки користувач обере одну з опцiй шляхом вказання її iменi (С,В,А,Т,R чи S вiдповiдно).

Вiдзначимо, що опцiї перерахованi в порядку посилення їхньої дiї.

- Continue (продовжити): повертає керування програмi, що викликала

 переривання. Якщо причиною переривання була команда переривання, послана 
 з клавiатури, то виконання продовжується, нiби переривання не було.

Якщо переривання вiдбулося в результатi затримки помилки, величина, передана при перериваннi регулювальником помилок, повертається як значення помилкової функцiї;

- Break (зупинка): тимчасово призупиняє виконання програми й виходить на наступний

 нижнiй рiвень циклу "read-eval-print" ("читання-обчислення-друк"). Це дозволяє 
 користувачевi перевiрити або (i) змiнити поточне середовище muLISP перед 
 продовженням виконання програми. Для виходу з зупинки й вiдновлення роботи 
 програми наберiть ( RETURN ) пiсля знаку долара;

- Abort (переривання): перериває виконання програми, присвоює формальним

 параметрам, розмiщеним в стеку змiнних, початковi значення й повертає 
 керування на поточний рiвень циклу "read-eval-print". Визначення функцiй, 
 значення властивостей та глобальних змiнних залишаються незмiнними;

- Тop-level (верхнiй рiвень): перериває виконання програми, присвоює

 початковi значення формальним параметрам, розташованим в стеку  змiнних, 
 висвiчує на консоль поточнi вхiднi й вихiднi данi (CIS та COS) й повертає 
 керування верхньому рiвневi циклу "read-eval-print". Визначення функцiй, 
 значення властивостей та глобальних змiнних залишаються незмiнними;

- Restart (повторний старт): закриває всi вiдкритi файли, вiдмовляється вiд

 поточного середовища muLISP та iнiцiює нову систему muLISP. Всi зв'язки мiж 
 змiнними, функцiї та значення властивостей в поточному середовищi muLISP 
 руйнуються;

- Sуstem (система): закриває всi вiдкритi файли, завершує виконання muLISP

 та повертає керування керiвнiй ОС.

Система переривань з консолi

У будь-який час у ходi виконання програми iнiцiйована користувачем система переривань з консолi може зупинити виконання програми й поверне керування на консоль.

Переривання з консолi iнiцiюється шляхом натиснення клавiшi 'ESC' на клавiатурi консолi. Якщо на клавiатурi немає клавiшi 'ESC', то символ переривання може бути з'енеровано шляхом натиснення клавiшi лiвої дужки ([) з одночасним натисненням клавiшi 'CTRL'.

Якщо ж i так не виходить, то символ для генерацiї переривань з консолi може бути змiнений шляхом модифiкацiї Default Readtable основної сторiнки muLISP.

При виникненнi переривання з консолi на екранi консолi висвiчується повiдомлення:

    Console Interrupt Break: NIL

За ним на наступному рядку з'являється пiдказка у виглядi опцiй переривання. Користувач може потiм вирiшити, як продовжити роботу. Якщо з деяких причин немає вiдповiдi на переривання з клавiатури, можливо здiйснити переривання в системi шляхом переключення ЕОМ (хоча це завжди небажано).

Повiдомлення про помилки

В даному роздiлi приводяться повiдомлення про помилки в системi muLISP,а також опцiї, що є в розпорядженнi користувача при появi помилок. Коли muLISP виявляє помилковий стан, викликається функцiя BREAK. BREAK видає вiдповiдне повiдомлення про помилку, призупиняє виконання програми та забезпечує користувачевi опцiї продовження роботи на вибiр.

Нижче в алфавiтному порядку наведено повiдомлення про помилки muLISP:

DISK FULL (диск повний)

означає, що пам'ятi для розмiщення даних, записаних на дисковому файлi, бракує. Виконання програми припиняється, й виникає переривання за помилкою. Оскiльки файл залишається вiдкритим, є можливiсть стерти й iншi файли на всiй дискетi (за допомогою функцiї EXETUTE ) та продовжити запис до файлу;

END-OF-FILE (кiнець файлу)

означає, що здiйснена спроба зчитати данi за межами кiнця вхiдного файлу ( CIF ) або з його порожнiх мiсць. Вiдразу за повiдомленням "end-of-file" висвiчується iм'я CIF у виглядi списку типу: "drive:name.type";

FILE NOT FOUND (файл не знайдено)

означає, що вихiдний та (або) SYS-файл, вказаний у командах ОС, що iнiцiюють muLISP, не знайдено, або SYS-файл невiрної версiї. SYS-файл може бути завантажений тiльки пiд керуванням тiєї версiї muLISP, що використовується для зберiгання файлу.
Вихiднi та SYS-файли, крiм того, можуть бути завантаженi в muLISP з використанням команд RDS та LOAD вiдповiдно. Коли одна з цих команд завершується, а файл не знайдено, замiсть повiдомлення "file not found" команда повертає ознаку NIL;

INSUFFICIENT ARGUMENTS (брак аргументiв)

означає, що функцiя, яка потребує щонайменше один аргумент, викликається без аргументiв. Функцiями, якi можуть викликати цей тип помилки, є: MAX, MIN, -, /, ADD1, SUB1, LCM, ABS, SIGNUM, NUMERATOR, DENOMINATOR, FLOOR, CEILING, TRUNCATE, ROUND, MJD, REM, DIVIDE, LOGNOT, BITLENGTH та SHIFT;

INSUFFICIENT MEMORY, ABORTING (брак пам'ятi, переривання)

означає, що має мiсце нестача пам'ятi для завантаження й функцiонування середовища muLISP. Робота muLISP призупиняється, керування повертається до керiвної ОС.

Вiдзначимо, що середовище muLISP, що зберiгається в SYS-файлi, може бути завантажене до ЕОМ, що має менший об'єм пам'ятi, нiж ЕОМ, на якiй це середовище було створене. Помилка за браком пам'ятi виникає тiльки тодi, коли ЕОМ, на якiй SYS-файл був завантажений, не володiє достатнiм об'ємом пам'ятi для розмiщення середосища muLISP. Єдиний шлях завантаження SYS-файлiв - це отримання бiльшого об'єму пам'ятi для ЕОМ.

MEMORY FULL (пам'ять заповнена)

означає, що пам'ятi для продовження виконання програм muLISP не вистачає. Виконання програм призупиняється, виникає переривання за помилкою.

Дiйсно, система керування пам'яттю забезпечує достатньою кiлькiстю пам'ятi кожну область даних для повного задоволення потреб програм muLISP. Якщо потреба в об'ємi пам'ятi для розмiщення об'єктiв даних перевищує всi наявнi ресурси, виникає ця помилка. Разом з повiдомленням про помилку висвiчується статистика в наступнiй формi:

GC: nnnn aaaa/aaaa vvvv/vvvv pppp/pppp ssss/ssss tttt/tttt

Шiстнадцятковi цифри, що йдуть за "GC:", показують розмiр пам'ятi, що залищилася в кожнiй з основних 4-х областей даних. Отже, може бути визначена область даних, пов'язана з помилкою;

NONINTEGER ARGUMENT (нецiлий аргумент)

означає, що функцiя, яка потребує цiлi аргументи, викликана з нецiлим аргументом. Функцiї, для яких ця помилка може зустрiтися, це: LOGAND, LOGIOR, LOGXOR, LOGNOT, SHIFT та BITLENGTH;

NONINTEGER ARGUMENT (нечисловий аргумент)

означає, що функцiя, яка потребує числовi аргументи, викликана з нечисловим аргументом. Така помилка може виникнути для наступних функцiй: =, /=, <, >, <=, >=, MAX, MIN, +, -, *, /, ADD1, SUB1, INCQ, DECQ, GCD, LCM, ABC, SIGNUM, NUMERATOR, DENOMINATOR, FLOOR, CEILING, TRUNCATE, ROUND, MOD, REM та DIVIDE;

NONSYMBOLIC ARGUMЕNT (несимвольний аргумент)

означає, що функцiя, яка потребує символьнi аргументи, викликана з несимвольним аргументом. До таких функцiй вiдносяться: SET, SETQ, PSETQ, POP, PUSH, INCQ та DECQ;

SYNTAX ERROR (синтаксична помилка)

означає, що функцiя READ зустрiла або зайвi правi дужки, або неточнiсть у точковому зображеннi, наприклад, (A.) чи (AB.CD). Оскiльки переривання за даною помилкою генерується макросом правих дужок або ком, воно може бути модифiковане користувачем- проектувальником;

UNDEFINED FUNCTION (невизначена функцiя)

означає, що здiйснено спробу використання символа, що не має означення функцiї. Загальними дiями при появi цiєї помилки є: вибiр опцiї BREAK, означення невизначеного символа та продовження вихiдної програми за допомогою команди: ( RETURN ( EVAL BREAK ))

ZERO DIVIDE (дiлення на 0)

означає, що була викликана функцiя дiлення з нульовим дiльником. Такими функцiями можуть бути: /, FLOOR, CEILING, TRUNCATE, ROUND, MOD, REM та DIVIDE.