THE DENOVOND SYSTEM PROVIDES EFFICIENT HARDWARE SUPPORT FOR disciplined NONDETERMINISTIC CODES WITH LOCKS WHILE RETAINING THE SIMPLICITY, PERFORMANCE, AND ENERGY BENEFITS PREVIOUSLY ACHIEVED ONLY FOR DETERMINISTIC COD...
详细信息
THE DENOVOND SYSTEM PROVIDES EFFICIENT HARDWARE SUPPORT FOR disciplined NONDETERMINISTIC CODES WITH LOCKS WHILE RETAINING THE SIMPLICITY, PERFORMANCE, AND ENERGY BENEFITS PREVIOUSLY ACHIEVED ONLY FOR DETERMINISTIC CODES. THE AUTHORS DESIGNED AND IMPLEMENTED SIMPLE MEMORY CONSISTENCY SEMANTICS FOR SAFE NONDETERMINISM USING DISTRIBUTED QUEUE-BASED LOCKS AND ACCESS SIGNATURES. THE RESULTING PROTOCOL AVOIDS TRANSIENT STATES, INVALIDATION TRAFFIC, DIRECTORY SHARER-LISTS, AND FALSE SHARING.
暂无评论