LAYER TYPES AS A TOOL FOR HIERARCHICAL OPERATING SYSTEM DESIGN IN CONCURRENT PASCAL.
Saved in:
| Title: | LAYER TYPES AS A TOOL FOR HIERARCHICAL OPERATING SYSTEM DESIGN IN CONCURRENT PASCAL. |
|---|---|
| Authors: | Atwood, J. William1, Beilkowicz, Piotr1,2 |
| Source: | INFOR. Feb81, Vol. 19 Issue 1, p20-35. 16p. |
| Subject Terms: | *COMPUTER operating systems, *SYSTEMS design, *COMPUTER software, *SYSTEMS software, CONCURRENT Pascal (Computer program language) |
| Abstract (English): | Concurrent Pascal is shown to have certain weaknesses when used for the design of hierarchical operating systems in which the higher-level parts of the system are to be prevented from accessing the lower-level (hardware-related) features. The layer concept of Chrobot, originally intended to facilitate proof of invariants in operating system design, is reviewed and shown to provide a sufficient mechanism for restricting access to lower-level software. A proposal is made for a compiler-enforcable restriction which, when used in conjunction with layers, would prohibit higher-level software from directly accessing the input/output primitive provided by the Concurrent Pascal compiler. The use of layers to restrict access in Concurrent Pascal programs is also compared with the access mechanisms used in Modula, and examples aregiven to illustrate the greater protection from inadvertent error which is provided if layers are used. The Concurrent Pascal compiler has been modified by the authors to accept layers. The modification is straightforward in that less than 5% of the statements of the compiler needed to be modified, and no changes were required in the grammar of the intermediate form (virtual code) produced. Two semantic constraints imposed by this compiler are described, and changes to the early passes of the compiler, required to implement the layer concept, are discussed. [ABSTRACT FROM AUTHOR] |
| Abstract (Spanish): | Il a été constate que Pascal parallèle a certaines "faiblesses" quand on l'utilise dans la conception de systèmes d'exploitation à structure hiérarchique pour lesquels on veut restreindre l'accès aux dispositifs du niveau inférieur (liés au matériel) paries organes du niveau supérieur du système. Congue à l'origine pour faciliter la preuve de constantes dans la conception de systèmes d'exploitation, la théorie des niveaux de Chrobot est commenté, et nous demontrons qu'il possède un mécanisme capable de restreindre l'accès au logiciel des niveaux inférieurs. Nous proposons d'utiliser une restriction, mise en œuvre par le compilateur, conjointement avec un agencement à niveaux, pour empêcher le logiciel du niveau supérieur d'accéder directement aux éléments primaires d'entrée et de sortie que fournit le compilateur Pascal parallèle. Nous comparons aussi aux mécanismes d'accès du Modula, l'utilisation de niveaux pour restreindre cet accès, dans les programmes Pascal parallèle; de plus, nous donnons des exemples de la protection accrue qu'offre l'agencement à niveaux contre les erreurs involontaires. Les auteurs ont modifié le compilateur Pascal parallèle de façon qu'il accepte la structure à niveaux. La modification est simple si l'on considère que seulement 5% des phrases du compilateur ont du être retouchées et que la grammaire du code virtuel ainsi obtenue est restée inchangée: nous décrivons aussi deux contraintes sémantiques imposées par le compilateur et nous discutons les changements apportés aux premières passes du compilateur. [ABSTRACT FROM AUTHOR] |
| Copyright of INFOR is the property of Taylor & Francis Ltd and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Business Source Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!