This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Capability Based Tagged Architectures
September 1984 (vol. 33 no. 9)
pp. 786-803
L. Lopriore, Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche
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, Sept. 1984, doi:10.1109/TC.1984.1676495
Usage of this product signifies your acceptance of the Terms of Use.