Trends in modern exception handling

• Autorzy: Kuta M.

Warianty tytułu

PL

Trendy we współczesnej obsłudze wyjątków

• Języki publikacji: EN

Abstrakty

EN

Exception handling is nowadays a necessary component of error proof information systems. The paper presents overview of techniques and models of exception handling, problems connected with them and potential solutions. The aspects of implementation of propagation mechanisms and exception handling, their effect on semantics and general program efficiency are also taken into account. Presented mechanisms were adopted to modern programming languages. Considering design area, formal methods and formal verification of program properties we can notice exception handling mechanisms are weakly present what makes a field for future research.

PL

Obsługa wyjątków jest współcześnie nieodzownym składnikiem systemów informatycznych odpornych na błędy. W artykule przedstawiono przegląd technik i modeli obsługi błędów, związane z nimi problemy oraz ich potencjalne rozwiązania. Uwzględniono również zagadnienia dotyczące implementacji mechanizmów propagacji i obsługi błędów, ich wpływ na semantykę oraz ogólną efektywność programów. Przedstawione mechanizmy znalazły zastosowanie we współczesnych językach programowania. Jeśli chodzi o dziedzinę projektowania, metody formalne oraz formalne dowodzenie własności, to mechanizmy obsługi wyjątków nie są w nich dostatecznie reprezentowane, co stanowi pole dla nowych badań.

Słowa kluczowe

EN

exception handling; exception propagation; resumption model; termination model

PL

obsługa błędów; propagacja wyjątków; semantyka wznawiania; semantyka zakończenia

• Wydawca: Wydawnictwa AGH
• Czasopismo: Computer Science
• Rocznik: 2003
• Tom: Vol. 5
• Strony: 41--54
• Opis fizyczny: Bibliogr. 15 poz., tab.

Twórcy

autor

Kuta M.

• Faculty of Electrical Engineering, Automatics, Computer Science and Electronics AGH University of Science and Technology, Cracow, Poland,

Bibliografia

• [1] Buhr P., Mok R.: Advanced Exception Handling Mechanisms. IEEE Transactions on Software Engineering, vol. 26(9), September 2000
• [2] Buhr P., MacDonald H.: Synchronous and Asynchronous Handling of Abnormal Events in the iSystem. Software-Practice and Experience, vol. 22(9), September 1992
• [3] Eckel B.: Thinking in Java. Prentice Hall Inc. 1997
• [4] Gehani N. H.: Exceptional C or C with Exceptions. Software-Practice and Experience, vol. 22(10), October 1992
• [5] Goodenough J.B.: Exception Handling: Issues and A proposed Notation. Communications ACM, vol. 18(12), December 1975
• [6] Goodheart B., Cox J.: The Magic Garden Explained. The Internals of UNIX System V Release 4- An Open System Design. Prentice Hall of Australia Pty. Ltd. 1994
• [7] Górski J.: Inżynieria oprogramowania w projekcie informatycznym. Warszawa, Wydawnictwo Informatyki Mikom 2000
• [8] Knudsen J.: Exception Handling - A Static Approach. Software-Practice and Experience, vol. 14(5), May 1984
• [9] Knudsen J.: Better exception handling in block structured systems. IEEE Software, vol. 4(3), May 1987
• [10] Lippman S.: Inside the C++ Object Model. Addison-Wesley Publishing Company 1996
• [11] Lippman S., Lajoie J.: C++ Primer. Addison-Wesley Publishing Company 1998
• [12] Mok R.: Concurrent Abnormal Exception Handling Mechanisms. Waterloo, Canada, Univ. of Waterloo, N2L3G1, September 1997, internet: ftp://plg.uwaterloo.ca/pub/uSystem/MokThesis.ps.gz (master thesis)
• [13] Stevens R.: Unix Network Programming. Prentice Hall 1990
• [14] Stroustrup B.: The Design and Evolution of C++. Addison-Wesley Publishing Company 1994
• [15] Stroustrup B.: The C++ Programming Language. Addison-Wesley Publishing Company 2000