Index

abstract machine

activation@activation

address spaces

aliasing

all? primitive@all? primitive

allocation|seestorage allocation

ALU instructions

annotations

any? primitive@any? primitive

avllst@AVLLST register

avlspn@AVLSPN register

banyan@Banyan network design

binary cells@binary cells

blocking|seeprocess synchronization

Butterfly@BBN Butterfly

cells

character streams

characters

representation

citations@citations

closure@closure

coercion@coercion

computation

demand-driven ,

numeric

output-driven

speculative

symbolic

tree

conditional loads@conditional loads

conditional stores@conditional stores

console@console primitive

context switching

context windows@context windows

converge call@converge call

convergence context

convergence@convergence

CWP ,

CWP@CWP context window pointer

Daisy

analysis of

history

interpretation pipeline

language definition

quicksort in@quicksort in

semantics

source of parallelism in

syntax

Daisy@Daisy ,

dangling descriptors@dangling descriptors

data distribution

Data Distribution

data types

dataflow

dependence analysis

dependences|seeprocess dependences

descriptors

detach call@detach call

device drivers

device drivers

implementation

input ,

interface

output ,

device list

pruning

device management

design issues

device management@Device Management

device manager@device manager

device

descriptors

devices

and garbage collection

supported

disk

input

distributed@distributed kernel design

DSI ,

DSI

architecture@Machine Architecture

history

kernel

design of

IPC

message handling

message priorities

organization

structure

traps

LiMP@LiMP

machine

instruction set

processor network

virtual machine

dski@dski primitive

dsko@dsko primitive

dvcin module@dvcin module

DVCLST

DVCLST@DVCLST

dvcout module@dvcout module

DVISCAN@DVISCAN

evaluation

lenient

demand driven@demand driven

eager@eager

lazy@lazy

exception handling|seesignal handling

exec@exec primitive

finalization@finalization

forwarding address@forwarding address

functional combination@functional combination

garbage collection

cost of

Garbage Collection

minor phases

observations on

phases ,

phases

compaction

exit

marking

update

signal

garbage collector@garbage collector process

generational GC@generational GC

hash module@hash module

hash table

pruning

heap segments@heap segments

heap

segments

higher-order primitives@higher-order primitives

hot spots@hot spots

I/O

Daisy primitives@Daisy primitives

disk ,

DSI model

event-driven

host interface layer

imperative

keyboard

pipes

socket

stream

stream

limitations of

tty

if conditional@if conditional

interrupt handling|seesignal handling

KBDFLTR@KBDFLTR

kernel

design issues

kernel|seeDSI, kernel

keyboard

input

LiMP architecture@LiMP architecture

load balancing

load balancing

considerations

Load Balancing

loads

locality

and cache multiprocessors

Locality

locality@locality

mandatory computation@mandatory computation

map primitive@map primitive

master-slave@master-slave

memhi@MEMHI constant

memlo@MEMLO constant

memory management

design issues

locality

NUMA considerations

memory management@Memory Management

memory

architecture

machine interface

requirements

message requests ,

microkernel@microkernel

microkernel@microkernel design

monolithic@monolithic kernel design

Multilisp@Multilisp

multisets@multisets

namespace

conflicting

NEW-sink@NEW-sink

nondeterminism

NUMA

NUMA@NUMA

numeric processing

para-functional programming@para-functional programming

parallel

annotations

symbolic languages

parallelism

and side effects

annotation

conservative , ,

controlling ,

creating

dynamic

identifying

implicit

latent

speculative , ,

speculative

managing

static vs. dynamic

pipe@pipe primitive

pointers

pointers

structure of

polling|seeprocess synchronization

probe@probe

process management

design issues

process management@Process Management

process

activation

communication ,

creation

decomposition

dependences

granularity , , ,

migration

synchronization , ,

synchronization

and dependences

strategies

termination

tracking dependences of

processor

interconnection network

interconnection topology

state

process|seesuspension

program annotations

rawtty@rawtty primitive

references@references

referential transparency

register windows

registers

structure of

transient@transient

resource management , ,

roll back

scheduling

demand driven

screen@screen primitive

semantics

call-by-need

seq primitive@seq primitive

set primitive@set primitive

set primitive@set primitive

shared memory@shared memory

side effects

side effects

and Daisy

rationale for

SIG_GC@SIG_GC

SIGLATCH@SIGLATCH register

SIGMASK@SIGMASK register

signal handling

signal handling

instructions

signals

signals

list of

socki@socki primitive

socko@socko primitive

speculative computation@speculative computation

SPLIT@SPLIT

stack cells@stack cells

storage allocation

storage allocation

bidirectional

blocks

blocks

requesting

size ,

buffers

distributed

distribution pattern

instructions ,

levels

locality considerations

on remote processors

server

servers

priority of

synchronization

vectors

storage allocation@Storage Allocation

storage reclamation@Storage Reclamation

storage types

stores

stream I/O|seeI/O, stream

streams ,

strictness analysis

supervisor@supervisor process

suspend@suspend instruction

suspending construction

a concurrent model

and evaluation semantics

avoiding

defined

limitations of

optimizing

overhead of

suspension

behavior

manipulation instructions

suspension@suspension

suspensions

and context windows

and dependences

symbolic processing

symmetric multiprocessing

emphsymmetric multiprocessing

synchronization latency@synchronization latency

tagged pointers@tagged pointers

tags

tags

and storage types

checking

task stealing

threads@threads

thunks@thunks

tpipe@tpipe primitive

tracer@tracer

transient registers@transient registers

traps ,

types|seedata types

unary cells@unary cells

unconditional loads@unconditional loads

unconditional stores@unconditional stores

useless tasks

virtual machine

advantages of

issues

virtual machine@virtual machine

virtual memory

xdsi@xdsi