ColdStore Design

by Colin McCormack and Philippe Hebrais

1. Introduction

• 1.1 Rationale
• 1.2 History
• 1.3 Acknowledgements
• 1.4 Portability

2. Architectural Principles

3. ColdStore Memory Model

4. Virtual protocol

• 4.1 Structural Operators
• 4.2 Arithmetic Operators
• 4.3 Bitwise Operators
• 4.4 Sequence Operators
• 4.5 Map Operators
• 4.6 Callable Operators

5. Concrete protocol

• 5.1 C-- Concrete Protocol
• 5.2 C-- Object Operators
• 5.3 C-- Language Functions

6. Base Types

• 6.1 Slot
• 6.2 ColdStore Modules
• 6.3 Type Identification
• 6.4 Type Managers
• 6.5 Constructors
• 6.6 Data and Container Base Types
• 6.7 Synthetic Base Types

7. Special Objects

• 7.1 System Object
• 7.2 Root Object
• 7.3 Name Object

8. Security

9. Naming

10. Mutability

11. Locking

12. Error Handling