Filters








2,898 Hits in 4.3 sec

Token coherence

Milo M. K. Martin, Mark D. Hill, David A. Wood
2003 Proceedings of the 30th annual international symposium on Computer architecture - ISCA '03  
We call the combination Token Coherence, since it explicitly exchanges and counts tokens to control coherence permissions.  ...  We propose a new coherence framework to enable such protocols by separating performance from correctness.  ...  Acknowledgments We thank Virtutech AB, the Wisconsin Condor group, and the Wisconsin Computer Systems Lab for their help and support.  ... 
doi:10.1145/859618.859640 fatcat:hmctofqezzaz3btiyaoxh67cje

Token Coherence: decoupling performance and correctness

M.M.K. Martin, M.D. Hill, D.A. Wood
30th Annual International Symposium on Computer Architecture, 2003. Proceedings.  
We call the combination Token Coherence, since it explicitly exchanges and counts tokens to control coherence permissions.  ...  We propose a new coherence framework to enable such protocols by separating performance from correctness.  ...  Acknowledgments We thank Virtutech AB, the Wisconsin Condor group, and the Wisconsin Computer Systems Lab for their help and support.  ... 
doi:10.1109/isca.2003.1206999 dblp:conf/isca/MartinHW03 fatcat:v53xuvz5tnccvfcyiy76usf5mi

Token coherence: a new framework for shared-memory multiprocessors

M.M.K. Martin, M.D. Hill, D.A. Wood
2003 IEEE Micro  
Processors use coherent caches as part of implementing a multiprocessor's memory consistency model, which specifies ordering restrictions to reads and writes among many blocks. 1 Because Token Coherence  ...  Cache coherence protocols enforce ordering restrictions on reads and writes to a single block (the coherence invariant).  ...  Acknowledgments We thank Amir Roth and Daniel Sorin for comments on this article, as well as the groups and people that helped with the original paper. 5 This work is supported in part by the Nation-  ... 
doi:10.1109/mm.2003.1261394 fatcat:rl26n7fe7jdthp47j35ax5adfq

Switch-based packing technique to reduce traffic and latency in token coherence

Blas Cuesta, Antonio Robles, José Duato
2012 Journal of Parallel and Distributed Computing  
Switch-based packing technique to reduce traffic and latency in token coherence. Journal of Parallel and Distributed Computing. 72(3):409-423.  ...  Thus, the packing technique decreases both the latency and coherence traffic, thereby improving system performance (about 15% of reduction in runtime).  ...  It captures the best aspects of both snooping-based and directory-based protocols by decoupling the correctness substrate (which provides coherence) from the performance policy (which provides efficiency  ... 
doi:10.1016/j.jpdc.2011.11.010 fatcat:vqkhnucpd5gczk5hrmqyxnkrry

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement [chapter]

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2005 Lecture Notes in Computer Science  
The protocol is a detailed implementation of token coherence, an approach that decouples correctness and performance.  ...  First, we present a formal and abstract specification that captures the safety substrate of token coherence, and highlights the symmetry in states of the cache controllers and contents of the messages  ...  We present a formal specification of the safety substrate of token coherence.  ... 
doi:10.1007/978-3-540-30579-8_9 fatcat:ziyhqgfekrcqvbnrdzs2rysnf4

Coherence decoupling

Jaehyuk Huh, Jichuan Chang, Doug Burger, Gurindar S. Sohi
2004 ACM SIGOPS Operating Systems Review  
The performance benefits of coherence decoupling are evaluated using a full-system simulator and a mix of commercial and scientific benchmarks.  ...  In parallel, the coherence protocol obtains the necessary coherence permissions and the correct value.  ...  Martin et al. also proposed token coherence [27] which, like coherence decoupling, breaks a protocol into separate performance and correctness protocols, but which does not employ speculation to overlap  ... 
doi:10.1145/1037949.1024406 fatcat:hj6ubimhofhcdhjaxkqkqflaqq

Coherence decoupling

Jaehyuk Huh, Jichuan Chang, Doug Burger, Gurindar S. Sohi
2004 Proceedings of the 11th international conference on Architectural support for programming languages and operating systems - ASPLOS-XI  
The performance benefits of coherence decoupling are evaluated using a full-system simulator and a mix of commercial and scientific benchmarks.  ...  In parallel, the coherence protocol obtains the necessary coherence permissions and the correct value.  ...  Martin et al. also proposed token coherence [27] which, like coherence decoupling, breaks a protocol into separate performance and correctness protocols, but which does not employ speculation to overlap  ... 
doi:10.1145/1024393.1024406 dblp:conf/asplos/HuhCBS04 fatcat:jw2haipyyzeizeyhvjmfgnskiy

Coherence decoupling

Jaehyuk Huh, Jichuan Chang, Doug Burger, Gurindar S. Sohi
2004 SIGARCH Computer Architecture News  
The performance benefits of coherence decoupling are evaluated using a full-system simulator and a mix of commercial and scientific benchmarks.  ...  In parallel, the coherence protocol obtains the necessary coherence permissions and the correct value.  ...  Martin et al. also proposed token coherence [27] which, like coherence decoupling, breaks a protocol into separate performance and correctness protocols, but which does not employ speculation to overlap  ... 
doi:10.1145/1037947.1024406 fatcat:ef2rwwdu4nfvnboqquw2soiukq

Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols

Dana Vantrease, Mikko H. Lipasti, Nathan Binkert
2011 2011 IEEE 17th International Symposium on High Performance Computer Architecture  
This paper advocates Atomic Coherence, a framework that simplifies cache coherence protocol specification, design, and verification by decoupling races from the protocol's operation.  ...  We then show how, in the absence of races, it is easy to add support for speculative coherence and improve performance by up to 70%.  ...  Meanwhile, Token Coherence, which uses tokens to resolve permissions, is the furthest because it detects races with time-outs (i.e. lazily) [12] .  ... 
doi:10.1109/hpca.2011.5749723 dblp:conf/hpca/VantreaseLB11 fatcat:qjeosry5gnf2jog7gu7mmske6e

TokenTLB+CUP: A Token-Based Page Classification with Cooperative Usage Prediction

Albert Esteve, Alberto Ros, Antonio Robles, Maria E. Gomez
2018 IEEE Transactions on Parallel and Distributed Systems  
access results in sub-optimal performance and limits the scalability and efficiency of the multiprocessor.  ...  In addition, classification is extended with Cooperative Usage Predictor (CUP), a token-based system-wide page usage predictor retrieved through TLB cooperation, in order to perform a classification unaffected  ...  ACKNOWLEDGMENTS This work has been jointly supported by the MINECO and European Commission (FEDER funds) under the project TIN2015-66972-C5-1-R and TIN2015-66972-C5-3-R and the Fundación Seneca-Agencia  ... 
doi:10.1109/tpds.2017.2782808 fatcat:erwbuztfwbct3jxgr3lbbs5u5u

Cerebral coherence between communicators marks the emergence of meaning

Arjen Stolk, Matthijs L. Noordzij, Lennart Verhagen, Inge Volman, Jan-Mathijs Schoffelen, Robert Oostenveld, Peter Hagoort, Ivan Toni
2014 Proceedings of the National Academy of Sciences of the United States of America  
Author contributions: M.L.N. and I.T. designed research; M.L.N. and I.V. performed research; A.S. contributed new reagents/analytic tools; A.S.  ...  Second, a model-free analysis determined the frequency and phase characteristics of the interpersonal cerebral coherence of Communicator-Addressee pairs.  ...  We thank Roger and Sarah Newman-Norlund, Paul Gaalman, Frank Leone, Rogier Mars, Lawrence O'Dwyer, and Arie Verhagen for technical advice and comments on drafts of this manuscript.  ... 
doi:10.1073/pnas.1414886111 pmid:25489093 pmcid:PMC4280639 fatcat:7xhfjy5lbvfpbi777mqb2xfdtq

Transformer Models for Text Coherence Assessment [article]

Tushar Abhishek, Daksh Rawat, Manish Gupta, Vasudeva Varma
2022 arXiv   pre-print
Coherence is an important aspect of text quality and is crucial for ensuring its readability.  ...  We hypothesize that coherence assessment is a cognitively complex task that requires deeper models and can benefit from other related tasks.  ...  Also, feature engineering is decoupled from the prediction task thus limiting model performance.  ... 
arXiv:2109.02176v2 fatcat:terwgvxfubfglh5shmedlwuyye

A Low Overhead Fault Tolerant Coherence Protocol for CMP Architectures

Ricardo Fernandez-Pascual, Jose M. Garcia, Manuel E. Acacio, Jose Duato
2007 2007 IEEE 13th International Symposium on High Performance Computer Architecture  
In particular, our proposal extends a token-based cache coherence protocol so that no data can be lost and no deadlock can occur due to any dropped message.  ...  In this work, we present a coherence protocol aimed at dealing with transient failures that affect the interconnection network of a CMP, thus assuming that the network is no longer reliable.  ...  Acknowledgements This work has been supported by the Spanish Ministry of Ciencia y Tecnología and the European Union (Feder Funds) under grant TIC2003-08154-C06-03.  ... 
doi:10.1109/hpca.2007.346194 dblp:conf/hpca/PascualGAD07 fatcat:wovatyfofrajdmp7fv464kcgoe

Cache Coherence Protocols for Many-Core CMPs [chapter]

Alberto Ros, Manuel E., Jose M.
2010 Parallel and Distributed Computing  
Particularly, the topics that are addressed are programmable and reconfigurable devices and systems, dependability of GPUs (General Purpose Units), network topologies, cache coherence protocols, resource  ...  allocation, scheduling algorithms, peertopeer networks, largescale network simulation, and parallel routines and algorithms.  ...  A new scalable directory architecture for large-scale multiprocessors, 7th Int'l Symp. on High-Performance Computer Architecture (HPCA), pp. 97-106. References  ... 
doi:10.5772/9454 fatcat:dgesjev5ebeddkop63hle3hd7a

In-Network Snoop Ordering (INSO): Snoopy coherence on unordered interconnects

Niket Agarwal, Li-Shiuan Peh, Niraj K. Jha
2009 2009 IEEE 15th International Symposium on High Performance Computer Architecture  
Our full-system evaluations compare INSO against a directory protocol and a broadcast based Token Coherence protocol.  ...  Realizing scalable cache coherence in the many-core era comes with a whole new set of constraints and opportunities.  ...  CNS-0613074), MARCO Gigascale Research Center and SRC (contract no. 2008-HJ-1793).  ... 
doi:10.1109/hpca.2009.4798238 dblp:conf/hpca/AgarwalPJ09 fatcat:fckdzbe72jbnzkt2llgqd6hddm
« Previous Showing results 1 — 15 out of 2,898 results