A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection
[article]
2019
arXiv
pre-print
To achieve this goal, Harmonia detects read-write conflicts in the network, which enables any replica to serve reads for objects with no pending writes. ...
Experimental results show that Harmonia improves the throughput of these protocols by up to 10X for a replication factor of 10, providing near-linear scalability up to the limit of our testbed. ...
Conclusion In conclusion, we present Harmonia, a new replicated storage architecture that achieves near-linear scalability and guarantees linearizability with in-network conflict detection. ...
arXiv:1904.08964v1
fatcat:nsek3dbpcfhong4oqgzx2rwz24
Conflict detection tradeoffs for replicated data
1991
ACM Transactions on Database Systems
To achieve this goal, Harmonia detects read-write conflicts in the network, which enables any replica to serve reads for objects with no pending writes. ...
Experimental results show that Harmonia improves the throughput of these protocols by up to 10× for a replication factor of 10, providing near-linear scalability up to the limit of our testbed. ...
This work is supported in part by NSF grants CRII-1755646, CNS-1813487 and CCF-1918757, Facebook Communications & Networking Research Award, and Amazon AWS Cloud Credits for Research Program. ...
doi:10.1145/115302.115289
fatcat:rt4ewjk4bvcafbfi4ggwg7loai
Invalidation-Based Protocols for Replicated Datastores
[article]
2021
arXiv
pre-print
Based on this insight, we draw inspiration from the multiprocessor for high-performance, strongly consistent replication in the datacenter. ...
The multiprocessor regime uses invalidations to afford strongly consistent replication with high performance but neglects fault tolerance. ...
Harmonia: Near-linear scalability for replicated storage
with in-network conflict detection. Proc. VLDB Endow., 13(3):376–389,
November 2019. ...
arXiv:2112.02405v1
fatcat:toi3wflouvbzngpdfzypw3l4li
Long-Term Ecological Research in a Human-Dominated World
2012
BioScience
and to engage with decisionmakers in framing major directions for research. ...
The US Long Term Ecological Research (LTER) Network enters its fourth decade with a distinguished record of achievement in ecological science. ...
LTER Network and other sites for storage in formats that can be queried by applications built to provide users with derived long-term data. ...
doi:10.1525/bio.2012.62.4.6
fatcat:tpgigruozzcdpkthe3kbynkvre
SOAR: Minimizing Network Utilization with Bounded In-network Computing
[article]
2021
arXiv
pre-print
We present an optimal and efficient algorithm for placing such devices in tree networks with arbitrary link rates, and further evaluate our proposed solution in various scenarios and for various tasks. ...
State-of-the-art switches with near line rate computing and aggregation capabilities are developed to enable, e.g., acceleration and better utilization for modern applications like big data analytics, ...
ACKNOWLEDGMENTS The authors would like to thank the anonymous reviewers and our shepherd, Shay Vargaftik, for their valuable feedback which helped improve the paper. ...
arXiv:2110.14224v1
fatcat:xhvoxnd5tbd4zgyup5dv2cmtza
Invalidation-based protocols for replicated datastores
[article]
2021
Based on this insight, we draw inspiration from the multiprocessor for high-performance, strongly consistent replication in the datacenter. ...
The multiprocessor regime uses invalidations to afford strongly consistent replication with high performance but neglects fault tolerance. ...
Harmonia: Near-linear scalability for replicated storage
with in-network conflict detection. Proc. VLDB Endow., 13(3):376–389,
November 2019. ...
doi:10.7488/era/1639
fatcat:snjzrhkqqnc7dpsfe4gzaskhqa
VM-Flow
[chapter]
2004
IFIP International Federation for Information Processing
The CONTRACT project is co-funded by the European Commission under the 6th Framework Programme for RTD with project number FP6-034418. ...
The European Commission is not responsible for its contents, or liable for the possible effects of any usage of the information contained therein. ...
The KAoS algorithm for policy conflict detection is able to detect conflicts between policies by relying on algorithms implemented as extensions to Stanford's Java Theorem Prover (JTP) which is integrated ...
doi:10.1007/1-4020-8155-3_15
fatcat:tdnlcms72rbznjvwphoztdx37y
Sponsors and supporters
2012
37th Annual IEEE Conference on Local Computer Networks -- Workshops
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/lcnw.2012.6424095
fatcat:6hmlm7fyyzdkzfgqyknysslwri
Sponsors and Supporters
2015
2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/mise.2015.7
fatcat:vroz3iskmbg4xp7kmxdm74wcjy
Sponsors and Supporters
2015
2015 IEEE/ACM 4th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/raise.2015.7
fatcat:l3ie5zayxjgs7oiv7eklxvjsvm
Sponsors and Supporters
2006
First IEEE International Workshop on Horizontal Interactive Human-Computer Systems (TABLETOP '06)
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/tabletop.2006.27
dblp:conf/tabletop/X06c
fatcat:xsjnninxgrcpxcn5fhsvj2otyu
Sponsors and supporters
2015
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/formalise.2015.7
fatcat:f43dldfqa5etnkl6e5mop7vrc4
Sponsors and Supporters
2015
2015 IEEE/ACM 5th International Workshop on the Twin Peaks of Requirements and Architecture
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/twinpeaks.2015.7
fatcat:rnnzjpz5hzbyhj2m4xmrlxnpya
Sponsors and Supporters
2015
2015 IEEE/ACM 4th International Workshop on Games and Software Engineering
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/gas.2015.7
fatcat:y73um2fatncuhoyfjq5o4ulnke
Sponsors and Supporters
2015
2015 IEEE/ACM 3rd International Workshop on Software Engineering for Systems-of-Systems
Acknowledgments Thanks to Crina-Alexandra Vasiliu for proofreading. ...
Fan Yan for the helpfulness to English grammar. A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
suites for components in the near future. ...
doi:10.1109/sesos.2015.7
fatcat:hvwbg7g25rfldaholllii3caxe
« Previous
Showing results 1 — 15 out of 71 results