OCCAM-Oriented Software Tools
Resumo
For many years software engineers have been providing the engineers of other fields with advanced design tools. But the tools used by software designers themselves look quite primitive in comparison. Only CASE-like systems developed during last years can provide reasonable help to software developers. Experimental software development systems ALADDIN/LAMP is oriented to creation of distributed computer control systems (DCCS). Proposed approach to development distributed software configurations (DSCs) is based on the model of virtual distributed software configuration (VDSC) with information-transport ports (ITPs) as interconnecting servers. Transputer networks and OCCAM-written software are often used for creation of DCCS. An approach to ALADDIN/LAMP tools-extention for OCCAM-written DSCs handling is discussed in this paper. Survey of tools is presented (OCCAM-oriented structure editor OSE, OCCAM structure extractor OSX, ALADDIN/OOB translator and deadlock locator and analyser DLA). A comparison with related works is given.
Referências
CODE - user-friendly PC-based learning tool for parallel programming - the first of its kind in the world! C-DAC - Centre for Development of Advanced Computing, Pune University Campus, Ganesh Khind, Pune 411 007, INDIA, 1989.
Origami User Guide, 1990. 9p.
G. Barett. OCCAM-3 Reference Manual. INMOS Limited, Mar. 1992. 190p.
Borland International. Turbo Pascal. User's Guide. Version 5.0, 1988. XIII+350p.
A. Elmagarmid and A. Datta. Two-phase deadlock detection algorithm. IEEE Trans. Com- put., 37:1454-1458, 1988.
D. G. Feitelson. Deadlock detection without wait-for-graphs. Parallel Computing, 17:1377-1383, 1991.
INMOS Limited. TDS 2.0. TDS tools. Beta release documentation, July 1986.
INMOS Limited. TDS 2.0. User manual. Beta release documentation, June 1986.
S. Isloor and T. Marsland. The deadlock problem: An overview. Computer, 13(9):58-78, 1980.
E. Knapp. Deadlock detection in distributed databases. ACM Computing Surveys, 19(4):303-328, Dec. 1987.
S. Krakowiak. Principles of Operating Systems. MIT Press, Cambridge, MA, 1988.
D. Macfarlane, M. Webb-Johnson, and J. Galletly. PC-OCCAM. Journal of Microcomputer Applications, (12):191-212, 1989.
D. Menasce and R. Muntz. Locking and deadlock detection in distributed data base. IEEE Trans. on Software Eng., SE-5(3):195-202, 1979.
B. Meyer. Cepage: Toward computer-aided design of software. The Journal of Systems and Software, (8):419-429, 1988.
A. Pakštas. Programming support of reserving and handling deadlock and other exceptional situations in distributed systems. In FTSD-10, Proc. 10th Int. Conf. on Fault-Tolerant Systems and Diagnostics, Varna, Bulgaria, pages 142-147, Sept. 1987.
A. Pakštas. Distributed Software Configurations: Analysis and Development. Mokslas, Vilnius, 1989. 223p., (in Russian).
A. Pakštas. Exceptional situations mechanism for interaction environment. In FTSD-19: Proc. 12th Inter. Conf. on Fault-Tolerant Systems and Diagnostics, Prague, Czechoslovakia, page 357, Sept. 1989.
A. Pakštas. Methods and algorithms of distributed deadlock detection for DCCS on-line diagnostic subsystem. In Technical Diagnostics'90: Proc. 7th IMECO TC 10 Symp. on Technical Diagnostics, Helsinki, Finland, Sept. 1990.
A. Pakštas. Architecture, organization and building of distributed software configurations for the microcomputer control network. In U. Jaakso and V. Utkin, editors, Automatic Control. World congress 1990. "In the Service of Mankind". Proceedings of the 11th Triennial World Congress of the International Federation of Automatic Control, August 1990, Tallinn, Estonia, pages 123-128, Oxford, UK, 1991. Pergamon Press. Vol.4.
A. Pakštas, R. Meiduté, and G. Stradalov. A software system for parser constructing with full-screen debugging facilities. In System Sciences X, Inter. Conf. on Systems Sciences, page 145, Wroclaw, Poland, Sept. 1989. (Abstr. of Papers).
A. Pakštas and D. Paketiraitê. DLA: Locator and analyser of deadlocks in distributed software configurations. In FTSD-13, Proc. 13th International Conference on Fault-Tolerant Systems and Diagnostics, Varna, Bulgaria, pages 171-176, June 1989.
A. Pakštas, D. Paketiúraite, and S. Pakstienê. Tools for Analysis and Simulation of Dis- tributed Computer Control System in Object-Oriented Software Development Environment ALADDIN/OOB. In 9th IEEE Workshop on Real-time Operating Systems and Software, 13-14 May, 1992, Pittsburg, PA, USA, May 1992.
A. Pakštas, D. Paketiraité, and A. Tamkevitius. OCCAM-Oriented Extention of ALADDIN/LAMP Software Tools. In TAPA-92: Proc. Transputer and Parallel Applications Conf., Nov. 4-5, Melbourne, Australia, Nov. 1992.
A. Pakštas and A. Tamkevitius. OSE: OCCAM-Oriented Structure Editor (preliminary version). In Proc. 3rd Nordic Workshop on Programming Environment Research, Tampere, Finland, Jan. 1992.
A. Pakštas and N. Zolotariov. Syntaz-oriented Components of Distributed Systems: Development and Debugging Tools on the Basis of Formal Descriptions. Nauka, Moscow, 1991. 280p. (in Russian).
M. Roesler and W. Burkhard. Resolution of deadlocks in object-oriented distributed systems. IEEE Trans. Comput., 38:1212-1224, 1989.
M. Singhal. Deadlock detection in distributed systems. Computer, 22(11):37-48, Nov. 1989.
K. Sugihara, T. Kikuno, and N. Yoshida. Deadlock detection and recovery in distributed database systems. Systems, Computers, Controls. Scripta Electronica Japonica, 15(1):48-56, 1984.
M. Surridge. A topology independent, minimal memory, deadlock-free, general message passing harness. EMS Report: Software Migration Aids for Transputer Systems (Contract Ex- tension), Dept. of Electronics and Computer Science, University of Southampton, 1990. The SERC/DTI Initiative in the Engineering Applications of Transputers. P15.
D. Talia. Notes on termination of Occam processes. Sigplan Notices, 25(9):17-24, 1990.
L. Waring. A general purpose communications shell for a network of transputers. Microprocessing and Microprogramming, 29:107-119, 1990.
D. Zébel. The deadlock problem: A classifying bibliography. SJGOPS Operating Systems Rev., 17(4):6-15, 1983.
Origami User Guide, 1990. 9p.
G. Barett. OCCAM-3 Reference Manual. INMOS Limited, Mar. 1992. 190p.
Borland International. Turbo Pascal. User's Guide. Version 5.0, 1988. XIII+350p.
A. Elmagarmid and A. Datta. Two-phase deadlock detection algorithm. IEEE Trans. Com- put., 37:1454-1458, 1988.
D. G. Feitelson. Deadlock detection without wait-for-graphs. Parallel Computing, 17:1377-1383, 1991.
INMOS Limited. TDS 2.0. TDS tools. Beta release documentation, July 1986.
INMOS Limited. TDS 2.0. User manual. Beta release documentation, June 1986.
S. Isloor and T. Marsland. The deadlock problem: An overview. Computer, 13(9):58-78, 1980.
E. Knapp. Deadlock detection in distributed databases. ACM Computing Surveys, 19(4):303-328, Dec. 1987.
S. Krakowiak. Principles of Operating Systems. MIT Press, Cambridge, MA, 1988.
D. Macfarlane, M. Webb-Johnson, and J. Galletly. PC-OCCAM. Journal of Microcomputer Applications, (12):191-212, 1989.
D. Menasce and R. Muntz. Locking and deadlock detection in distributed data base. IEEE Trans. on Software Eng., SE-5(3):195-202, 1979.
B. Meyer. Cepage: Toward computer-aided design of software. The Journal of Systems and Software, (8):419-429, 1988.
A. Pakštas. Programming support of reserving and handling deadlock and other exceptional situations in distributed systems. In FTSD-10, Proc. 10th Int. Conf. on Fault-Tolerant Systems and Diagnostics, Varna, Bulgaria, pages 142-147, Sept. 1987.
A. Pakštas. Distributed Software Configurations: Analysis and Development. Mokslas, Vilnius, 1989. 223p., (in Russian).
A. Pakštas. Exceptional situations mechanism for interaction environment. In FTSD-19: Proc. 12th Inter. Conf. on Fault-Tolerant Systems and Diagnostics, Prague, Czechoslovakia, page 357, Sept. 1989.
A. Pakštas. Methods and algorithms of distributed deadlock detection for DCCS on-line diagnostic subsystem. In Technical Diagnostics'90: Proc. 7th IMECO TC 10 Symp. on Technical Diagnostics, Helsinki, Finland, Sept. 1990.
A. Pakštas. Architecture, organization and building of distributed software configurations for the microcomputer control network. In U. Jaakso and V. Utkin, editors, Automatic Control. World congress 1990. "In the Service of Mankind". Proceedings of the 11th Triennial World Congress of the International Federation of Automatic Control, August 1990, Tallinn, Estonia, pages 123-128, Oxford, UK, 1991. Pergamon Press. Vol.4.
A. Pakštas, R. Meiduté, and G. Stradalov. A software system for parser constructing with full-screen debugging facilities. In System Sciences X, Inter. Conf. on Systems Sciences, page 145, Wroclaw, Poland, Sept. 1989. (Abstr. of Papers).
A. Pakštas and D. Paketiraitê. DLA: Locator and analyser of deadlocks in distributed software configurations. In FTSD-13, Proc. 13th International Conference on Fault-Tolerant Systems and Diagnostics, Varna, Bulgaria, pages 171-176, June 1989.
A. Pakštas, D. Paketiúraite, and S. Pakstienê. Tools for Analysis and Simulation of Dis- tributed Computer Control System in Object-Oriented Software Development Environment ALADDIN/OOB. In 9th IEEE Workshop on Real-time Operating Systems and Software, 13-14 May, 1992, Pittsburg, PA, USA, May 1992.
A. Pakštas, D. Paketiraité, and A. Tamkevitius. OCCAM-Oriented Extention of ALADDIN/LAMP Software Tools. In TAPA-92: Proc. Transputer and Parallel Applications Conf., Nov. 4-5, Melbourne, Australia, Nov. 1992.
A. Pakštas and A. Tamkevitius. OSE: OCCAM-Oriented Structure Editor (preliminary version). In Proc. 3rd Nordic Workshop on Programming Environment Research, Tampere, Finland, Jan. 1992.
A. Pakštas and N. Zolotariov. Syntaz-oriented Components of Distributed Systems: Development and Debugging Tools on the Basis of Formal Descriptions. Nauka, Moscow, 1991. 280p. (in Russian).
M. Roesler and W. Burkhard. Resolution of deadlocks in object-oriented distributed systems. IEEE Trans. Comput., 38:1212-1224, 1989.
M. Singhal. Deadlock detection in distributed systems. Computer, 22(11):37-48, Nov. 1989.
K. Sugihara, T. Kikuno, and N. Yoshida. Deadlock detection and recovery in distributed database systems. Systems, Computers, Controls. Scripta Electronica Japonica, 15(1):48-56, 1984.
M. Surridge. A topology independent, minimal memory, deadlock-free, general message passing harness. EMS Report: Software Migration Aids for Transputer Systems (Contract Ex- tension), Dept. of Electronics and Computer Science, University of Southampton, 1990. The SERC/DTI Initiative in the Engineering Applications of Transputers. P15.
D. Talia. Notes on termination of Occam processes. Sigplan Notices, 25(9):17-24, 1990.
L. Waring. A general purpose communications shell for a network of transputers. Microprocessing and Microprogramming, 29:107-119, 1990.
D. Zébel. The deadlock problem: A classifying bibliography. SJGOPS Operating Systems Rev., 17(4):6-15, 1983.
Publicado
26/10/1992
Como Citar
PAKŠTAS, Algirdas; PAKETŪRAITE, Danuté; TAMKEVIČIUS, Artūras.
OCCAM-Oriented Software Tools. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 4. , 1992, São Paulo/SP.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1992
.
p. 565-579.
DOI: https://doi.org/10.5753/sbac-pad.1992.22735.
