Closed mukul-rathi closed 4 years ago
linear(___) - a region is linear if it contains linear objects, or if it has the linear capability associated with it subord(___) read(__) encaps(__) safe(__) locked(__) thread(__) - thread field -> thread object
linear(___)
subord(___)
read(__)
encaps(__)
safe(__)
locked(__)
thread(__)
Create mapping of types -> required capabilities.
linear(___)- a region is linear if it contains linear objects, or if it has the linear capability associated with itsubord(___)read(__)encaps(__)safe(__)locked(__)thread(__)- thread field -> thread objectCreate mapping of types -> required capabilities.