The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1984 vol.33)
pp: 786-803
L. Lopriore , Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche
ABSTRACT
An architecture is presented which incorporates capability based addressing and memory tagging features. It defines three kinds of mechanisms for the implementation of object types, which correspond to as many different levels of abstraction. At the lower level, there are the machine types, the operations of which are implemented by machine instructions. At the upper level, there are user types, the operations of which are concretized by means of software routines. The intermediate level is that of predefined types; in this case, too, the operations are supported by software routines, but their efficiency of execution is much greater than is usually to be found in operations of user types. However, one drawback is that these routines should be proved to be correct, as they have a potential for corrupting the integrity of the whole protection system.
INDEX TERMS
type specification, Abstract data type, abstract object, capability, capability based addressing, object encapsulation, segmented memory, tagged architecture, type implementation
CITATION
L. Lopriore, "Capability Based Tagged Architectures", IEEE Transactions on Computers, vol.33, no. 9, pp. 786-803, September 1984, doi:10.1109/TC.1984.1676495
35 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool