SAS Programming Model
Naming: Any process can name any variable in shared space
Operations: loads and stores, plus those needed for ordering
Simplest Ordering Model:
- Within a process/thread: sequential program order
- Across threads: some interleaving (as in time-sharing)
- Additional ordering through explicit synchronization
- Can compilers/hardware weaken order without getting caught?
- Different, more subtle ordering models also possible (discussed later)