13 Hits in 4.1 sec

Relaxed-currency serializability for middle-tier caching and replication

Philip A. Bernstein, Alan Fekete, Hongfei Guo, Raghu Ramakrishnan, Pradeep Tamma
2006 Proceedings of the 2006 ACM SIGMOD international conference on Management of data - SIGMOD '06  
We outline a serializability-theoretic correctness proof and present the results of a detailed performance study.  ...  We offer a definition of correctness for this model and present algorithms to ensure several of the most interesting freshness constraints.  ...  A correct execution of a physical system is called relaxed-currency (RC) serializable.  ... 
doi:10.1145/1142473.1142540 dblp:conf/sigmod/BernsteinFGRT06 fatcat:azwmlwu6yzdt7a5bowerkg6pse

Strongly consistent replication for a bargain

Konstantinos Krikellas, Sameh Elnikety, Zografoula Vagena, Orion Hodson
2010 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010)  
We implement a prototype replicated database system and incorporate the proposed techniques for providing strong consistency.  ...  Strong consistency is an important correctness property for replicated databases. It ensures that each transaction accesses the latest committed database state as provided in centralized databases.  ...  ACKNOWLEDGMENTS We thank Antony Rowstron (Microsoft Research), Alan Fekete (University of Sydney), and Fernando Pedone (University of Lugano) for their insightful suggestions and valuable feedback.  ... 
doi:10.1109/icde.2010.5447893 dblp:conf/icde/KrikellasEVH10 fatcat:aur6rpqnyvcyvnw3yz7adfw5ty

Snapshot isolation and integrity constraints in replicated databases

Yi Lin, Bettina Kemme, Ricardo Jiménez-Peris, Marta Patiño-Martínez, José Enrique Armendáriz-Iñigo
2009 ACM Transactions on Database Systems  
The traditional correctness criterion for the concurrent execution of transactions in a replicated database is 1-copy-serializability.  ...  We discuss a set of necessary and sufficient conditions for a replicated history to be producible under 1-copy-SI.  ...  ACKNOWLEDGEMENTS We want to thank the anonymous reviewers for their insightful reviews and many constructive suggestions. They helped us tremendously in improving this paper.  ... 
doi:10.1145/1538909.1538913 fatcat:2ukmlpffb5awhhshlplt3fdmfy

Architecture of a Database System

Joseph M. Hellerstein, Michael Stonebraker, James Hamilton
2007 Foundations and Trends in Databases  
In other cases, the client may communicate with a "middle-tier server" (a web server, transaction processing monitor, or the like), which in turn uses a protocol to proxy the communication between the  ...  This is usually called a "three-tier" system. In many webbased scenarios there is yet another "application server" tier between the web server and the DBMS, resulting in four tiers.  ...  Muralidhar, Pat Selinger, Mehul Shah, and Matt Welsh for background information and comments on early drafts of this paper.  ... 
doi:10.1561/1900000002 fatcat:ve6wkgbgrngppk3cjcbfsevuye

Execution Models [chapter]

2006 Service-Oriented Computing  
The notion of serializability can potentially be relaxed depending on the application domain. This relaxation can be valid based on the data types that the application uses.  ...  BTP relaxes the ACID properties via two subprotocols: (1) atoms, where isolation is relaxed, and (2) cohesions, where both isolation and atomicity are relaxed.  ...  Appendix A XML and XML Schema As shown in Figure A .1, the foundation for interoperation among enterprises and for the envisioned Semantic Web is the eXtensible Markup Language, XML.  ... 
doi:10.1002/0470091509.ch10 fatcat:2jdemglma5gtre5xkxtzck45am

Data Provenance

Peter Buneman, Wang-Chiew Tan
2019 SIGMOD record  
In this paper, we establish conditions under which a commonly used sufficient condition for invariant confluence is both necessary and sufficient, and we use this condition to design a general-purpose  ...  We then take a step beyond invariant confluence and introduce a generalization of invariant confluence, called segmented invariant confluence, that allows us to replicate non-invariant confluent objects  ...  The content is solely the responsibility of the authors and does not necessarily represent the official views of the NIH. We thank NVIDIA Corporation for donating the Titan Xp GPU used for this work.  ... 
doi:10.1145/3316416.3316418 fatcat:u4lmbha4fjgajlc46r66ryh7vi

Linear Scalability of Distributed Applications

Nicolas Bonvin
Also, a single failure in Memcached may result in disabling entirely the caching tier with serious performance losses for cache restora- tion. ii) In Memcached, even if a popular data is cached, there  ...  Linearizability, or one-copy serializability [64], ensures that operations are serializable and applied in a consistent order.  ... 
doi:10.5075/epfl-thesis-5278 fatcat:cqwluzkzojgozb362zlaxt3z4e

Using complexity to protect elections

Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
2010 Communications of the ACM  
The Fermi architecture can confi gure its 64KB of per-SM memory as either a 16KB L1 cache and 48KB RAM or a 48KB L1 cache and 16KB RAM. It also provides a global 768KB L2 cache shared by all SMs.  ...  These computing paradigms gave way in turn to n-tier and grid computing and to various types of virtualization.  ...  for three references.  ... 
doi:10.1145/1839676.1839696 fatcat:hbqpm5boabe3jcpa4jcs7czf6y

A new approach to meeting scheduling based on mobile code

Pierre-Antoine Queloz, Christian Pellegrini
When Voyager loads the bytecode of a new class for the rst time, it keeps a copy in a cache. Next time the class must be instantiated, it is not reloaded but the cached copy is used.  ...  Caching Caching implies duplication of data, and hence, the necessity to update or invalidate the replica when the original data is changed or deleted.  ...  Using Voyager's support for \mobile autonomous agents" (ObjectSpace, Inc., 1999), it is not di cult to implement extensions and to install them on the running service.  ... 
doi:10.13097/archive-ouverte/unige:119 fatcat:6jfc2t4zzjdrzog5bxtvjx3ucq

Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022) Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031) Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)

Michael Philippsen, Pascal Felber, Michael Scott, J Eliot, Katrien De Moor, Markus Fiedler, Peter Reichl, Martín Varela, Salvatore Greco, Kathrin Klamroth, Joshua Knowles, Günter Rudolph (+13 others)
2015 unpublished
The example problems mentioned in this report may serve as a first benchmark for such approaches.  ...  associated optimization models, and the development and critical evaluation of efficient solution methods.  ...  Janus is a system for partitioning the flash storage tier between workloads in a cloud-scale distributed file system with two tiers, flash storage and disk.  ... 

Contract-based web service composition

Nikola Milanovic, Humboldt-Universität Zu Berlin, Humboldt-Universität Zu Berlin
language, and 3) Automatic service composition by treating automated and dynamic selection of composition partners as a search problem and developing search algorithms for that purpose.  ...  properties, a viable solution for service composition can be developed (composable service architecture), that supports: 1) Extended descriptive and search capabilities by developing contract-based description  ...  I am also grateful to my familly for their understanding, support, patience and love.  ... 
doi:10.18452/15490 fatcat:ohtrwlpbirawdj24bnrfvio2j4

In pursuit of streamable stylesheet functions in XSLT 3.0

Abel Braaksma
Proceedings of Balisage: The Markup Conference 2014   unpublished
The platform is used today as a multi-channel communication platform that helps enterprises worldwide improve their customer communications, leading to increased customer engagement and loyalty.  ...  The first and third part is a static text, the middle part uses XPath to address a node in the data.  ...  Today's RDF and XML architectures all are of the n-tier variety.  ... 
doi:10.4242/balisagevol13.braaksma01 fatcat:fheervshljapjkzyjyoo25yhxm

An event- and repository-based component framework for workflow system architecture

Dimitrios Tombros
The architecture metamodel defines the component and connector abstractions necessary for describing the static and dynamic aspects of a workflow system.  ...  furthermore, organizational relations and task assignment policies for these components are declaratively defined.  ...  I thank the Swiss National Fund and the Ministry of Education of the Kanton of Zurich for funding my position.  ... 
doi:10.5167/uzh-73128 fatcat:5qmg5szxwrfxng4qyid3jwhfoq