TY - GEN A1 - Schintke, Florian A1 - Reinefeld, Alexander A1 - Haridi, Seif A1 - Schütt, Thorsten T1 - Enhanced Paxos Commit for Transactions on DHTs N2 - Key/value stores which are built on structured overlay networks often lack support for atomic transactions and strong data consistency among replicas. This is unfortunate, because consistency guarantees and transactions would allow a wide range of additional application domains to benefit from the inherent scalability and fault-tolerance of DHTs. The Scalaris key/value store supports strong data consistency and atomic transactions. It uses an enhanced Paxos Commit protocol with only four communication steps rather than six. This improvement was possible by exploiting information from the replica distribution in the DHT. Scalaris enables implementation of more reliable and scalable infrastructure for collaborative Web services that require strong consistency and atomic changes across multiple items. T3 - ZIB-Report - 09-28 KW - Paxos KW - Transaktionen KW - DHT KW - strenge Konsistenz KW - Paxos KW - transactions KW - DHT KW - strong consistency Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11448 SN - 1438-0064 ER - TY - THES A1 - Schintke, Florian T1 - Ermittlung von Programmlaufzeiten anhand von Speicherzugriffen, Microbenchmarks und Simulation von Speicherhierarchien N2 - Kostenmodelle dienen der Ermittlung von Programmlaufzeiten, zum Vergleich der Effizienz von Algorithmen und zur Analyse des Verhaltens von Speicherhierarchien. Ein neuartiges Kostenmodell ist das Latency-of-Data-Access (LDA) Modell, das mehrere hierarchische Speicherebenen mit unterschiedlichen Latenzzeiten berücksichtigt. In dieser Diplomarbeit wird ein Simulator für Speicherhierarchien präsentiert, der die Berechnung von Programmausführungszeiten nach dem LDA-Modell erlaubt. Mit Hilfe des Simulators wird die These geprüft, daß mit diesem Modell die Ausführungszeit eines Programms adäquat abgeschätzt werden kann. Mit dem Simulator ist es erstmals praktikabel möglich, Programmausführungszeiten nach dem LDA-Modell zu bestimmen. Der Simulator kann für Systeme mit unterschiedlichen Speicherarchitekturen konfiguriert werden und unterstützt Mehrprozessorsysteme mit gemeinsamem Speicher (SMP-Systeme) mit verschiedenen Kohärenzprotokollen. Der Simulator kann mit den Ergebnissen von Microbenchmarks konfiguriert werden, die die Architekturparameter einer Speicherhierarchie messen. Die Ergebnisse bestätigen die These nicht nur für Einzelprozessorsysteme, sondern auch für SMP-Systeme, wo gleichzeitig interagierende Prozessoren gegenseitig ihre Zugriffsse-quenz auf Zwischenspeicher beeinflussen. Zusätzlich wurde eine neue Einsatzmöglichkeit des LDA-Modells entwickelt, um die Ausführungszeit von Programmteilen zu bestimmen. Einzelne Zugriffskosten können einem mehrerer parallel laufender Modelle zugeordnet werden. Dadurch können Kosten, die Zugriffe auf einzelne Speicherbereiche verursachen, separat bestimmt werden. Diese Profiling-Technik erlaubt Optimierungen an Datenstrukturen und Speicherzugriffsmustern durch präzise und gezielte Informationsproduktion. N2 - Cost models are used to determine the execution time of programs, to compare the efficiency of algorithms, and to analyse the behaviour of memory hierarchies. The Latency-of-Data-Access (LDA) model that takes into account multiple hierarchical memory levels with different latencies, is a newly proposed, innovative cost model. In this diploma-thesis, a simulator for memory hierarchies is presented that allows the calculation of execution times using the LDA model. The simulator is used to prove the claim that the execution time of a program can be accurately estimated with the LDA model. With the simulator, it is for the first time possible to determine the execution time of programs with this model in a practical way. The simulator can be configured for systems with various cache architectures and supports shared memory (SMP) multiprocessor systems with different cache coherence protocols. The simulator can be configured with the results from Microbenchmarks which measure the architectural properties of a memory hierarchy. The results confirm the claim not only for single processor systems, but also for SMP systems, where concurrently interacting processors influence each others cache access sequence. Additionally, a new field of usage of the LDA model was developed to determine execution times of program parts. Single access costs can be assigned to one of several parallel running models. As an example the costs of accesses to different memory areas can be split and determined separately. This profiling technique allows to optimise data structures and memory access patterns of sequential and parallel SMP programs by precise production of information. Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10063 ER - TY - THES A1 - Schintke, Florian T1 - Management verteilter Daten in Grid- und Peer-to-Peer-Systemen Y1 - 2010 UR - http://www.dr.hut-verlag.de/978-3-86853-358-3.html ER - TY - CHAP A1 - Kindermann, S. A1 - Schintke, Florian A1 - Fritzsch, B. T1 - A Collaborative Data Management Infrastructure for Climate Data Analysis T2 - Geophysical Research Abstracts Y1 - 2012 UR - http://meetingorganizer.copernicus.org/EGU2012/EGU2012-10569.pdf U6 - https://doi.org/10013/epic.39635.d001 VL - 14, EGU2012-10569 ER - TY - CHAP A1 - Schintke, Florian A1 - Reinefeld, Alexander A1 - Haridi, Seif A1 - Schütt, Thorsten T1 - Enhanced Paxos Commit for Transactions on DHTs T2 - CCGRID Y1 - 2010 U6 - https://doi.org/10.1109/CCGRID.2010.41 SP - 448 EP - 454 PB - IEEE ER - TY - CHAP A1 - Schütt, Thorsten A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Hennig, C. T1 - Self-Adaptation in Large-Scale Systems: A Study on Structured Overlays Across Multiple Datacenters T2 - Architectures and Languages for Self-Managing Distributed Systems (SelfMan@SASO) Y1 - 2009 U6 - https://doi.org/10.1109/SASOW.2010.65 ER - TY - CHAP A1 - Schütt, Thorsten A1 - Moser, Monika A1 - Plantikow, Stefan A1 - Schintke, Florian A1 - Reinefeld, Alexander T1 - A Transactional Scalable Distributed Data Store T2 - 1st IEEE International Scalable Computing Challenge, co-located with CCGrid’08 Y1 - 2008 ER - TY - CHAP A1 - Schütt, Thorsten A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Hoffmann, Marie T1 - Gossip-based Topology Inference for Efficient Overlay Mapping on Data Centers T2 - Peer-to-Peer Computing Y1 - 2009 U6 - https://doi.org/10.1109/P2P.2009.5284553 SP - 147 EP - 150 ER - TY - CHAP A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten A1 - Haridi, Seif ED - Tselentis, G. ED - Domingue, J. ED - Galis, A. ED - Gavras, A. ED - Hausheer, D. ED - Krco, S. ED - Lotz, V. ED - Zahariadis, T. T1 - A Scalable, Transactional Data Store for Future Internet Services T2 - Towards the Future Internet - A European Research Perspective Y1 - 2009 U6 - https://doi.org/10.3233/978-1-60750-007-0-148 SP - 148 EP - 159 PB - IOS Press ER - TY - CHAP A1 - Plantikow, Stefan A1 - Reinefeld, Alexander A1 - Schintke, Florian ED - Danelutto, Marco ED - Fragopoulou, Paraskevi ED - Getov, Vladimir T1 - Transactions and Concurrency Control for Peer-to-Peer-Wikis: An Evaluation T2 - Making Grids Work Y1 - 2008 U6 - https://doi.org/10.1007/978-0-387-78448-9_27 SP - 337 EP - 349 ER - TY - GEN A1 - Andrzejak, Artur A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten A1 - Mastroianni, Carlo A1 - Fragopoulou, Paraskevi A1 - Kondo, Derrick A1 - Malecot, Paul A1 - Cosmin Silaghi, Gheorghe A1 - Moura Silva, Luis A1 - Trunfio, Paolo A1 - Zeinalipour-Yazti, Demetris A1 - Zimeo, Eugenio T1 - Grid Architectural Issues: State-of-the-art and Future Trends Y1 - 2008 UR - http://coregrid.ercim.eu//mambo/images/stories/WhitePapers/whp-0004.pdf IS - WHP-0004 PB - Institute on Architectural Issues: Scalability, Dependability, Adaptability, CoreGRID - Network of Excellence ER - TY - JOUR A1 - Schütt, Thorsten A1 - Schintke, Florian A1 - Reinefeld, Alexander T1 - Range Queries on structured overlay networks JF - Computer Communications Y1 - 2008 U6 - https://doi.org/10.1016/j.comcom.2007.08.027 VL - 31 IS - 2 SP - 280 EP - 291 PB - Elsevier ER - TY - CHAP A1 - Schütt, Thorsten A1 - Schintke, Florian A1 - Reinefeld, Alexander T1 - Scalaris: Reliable Transactional P2P Key/Value T2 - ERLANG '08: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG Y1 - 2008 U6 - https://doi.org/10.1145/1411273.1411280 SP - 41 EP - 47 ER - TY - JOUR A1 - Enke, Harry A1 - Partl, Adrian A1 - Reinefeld, Alexander A1 - Schintke, Florian T1 - Handling Big Data in Astronomy and Astrophysics JF - Datenbank-Spektrum Y1 - 2012 UR - http://dx.doi.org/10.1007/s13222-012-0099-1 U6 - https://doi.org/10.1007/s13222-012-0099-1 VL - 12 IS - 3 SP - 173 EP - 181 PB - Springer-Verlag ER - TY - JOUR A1 - Schintke, Florian T1 - XtreemFS & Scalaris JF - Science & Technology Y1 - 2013 IS - 6 SP - 54 EP - 55 PB - Pan European Networks ER - TY - CHAP A1 - Enke, Harry A1 - Fiedler, Norman A1 - Fischer, Thomas A1 - Gnadt, Timo A1 - Ketzan, Erik A1 - Ludwig, Jens A1 - Rathmann, Torsten A1 - Stöckle, Gabriel A1 - Schintke, Florian ED - Enke, Harry ED - Ludwig, Jens T1 - Leitfaden zum Forschungsdaten-Management T2 - Leitfaden zum Forschungsdaten-Management Y1 - 2013 PB - Verlag Werner Hülsbusch, Glückstadt ER - TY - JOUR A1 - Reinefeld, Alexander A1 - Stüben, Hinnerk A1 - Schintke, Florian A1 - Din, George T1 - GuiGen: a toolset for creating customized interfaces for Grid user communities JF - Future Generation Comp. Syst. Y1 - 2002 U6 - https://doi.org/10.1016/S0167-739X(02)00086-9 VL - 18 IS - 8 SP - 1075 EP - 1084 ER - TY - CHAP A1 - Fajerski, J. A1 - Noack, Matthias A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten A1 - Steinke, Thomas T1 - Fast In-Memory Checkpointing with POSIX API for Legacy Exascale-Applications T2 - SPPEXA Symposium 2016 Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-40528-5_19 ER - TY - JOUR A1 - Ablyazimov, T. A1 - Abuhoza, A. A1 - Adak, R. P. A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - et al., T1 - Challenges in QCD matter physics – The scientific programme of the Compressed Baryonic Matter experiment at FAIR JF - The European Physical Journal A Y1 - 2017 U6 - https://doi.org/10.1140/epja/i2017-12248-y N1 - This paper has 587 authors. For the complete list of authors use the DOI, please. ER - TY - JOUR A1 - Allen, Gabrielle A1 - Davis, K. A1 - Goodale, Tom A1 - Hutanu, Andrei A1 - Kaiser, Hartmut A1 - Kielmann, Thilo A1 - Merzky, Andre A1 - Nieuwpoort, R. A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten A1 - Seidel, Edward A1 - Ullmer, Brygg T1 - The Grid Application Toolkit: Toward Generic and Easy Appliction Programming Interfaces for the Grid JF - Procceedings of the IEEE Y1 - 2005 U6 - https://doi.org/10.1109/JPROC.2004.842755 VL - 93 IS - 3 SP - 534 EP - 550 PB - IEEE Computer Society Press ER - TY - CHAP A1 - Schintke, Florian ED - Cosnard, Michel ED - Getov, Vladimir ED - Laforenza, Domenico ED - Reinefeld, Alexander T1 - The ZIB distributed data management system T2 - Future Generation Grids Y1 - 2005 UR - http://drops.dagstuhl.de/opus/volltexte/2005/26 IS - 04451 SP - 20 PB - Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany CY - Dagstuhl, Germany ER - TY - JOUR A1 - Röblitz, Thomas A1 - Schintke, Florian A1 - Reinefeld, Alexander A1 - Bärring, Olof A1 - Lopez, Maite Barroso A1 - Cancio, German A1 - Chapeland, Sylvain A1 - Chouikh, Karim A1 - Cons, Lionel A1 - Poznanski, Piotr A1 - Defert, Philippe A1 - Iven, Jan A1 - Kleinwort, Thorsten A1 - Panzer-Steindel, Bernd A1 - Polok, Jaroslaw A1 - Rafflin, Catherine A1 - Silverman, Alan A1 - Smith, Tim A1 - van Eldik, Jan A1 - Front, David A1 - Biasotto, Massimo A1 - Aiftimiei, Cristina A1 - Ferro, Enrico A1 - Maron, Gaetano A1 - Chierici, Andrea A1 - dell’Agnello, Luca A1 - Serra, Marco A1 - Michelotto, Michele A1 - Hess, Lord A1 - Lindenstruth, Volker A1 - Pister, Frank A1 - Steinbeck, Timm A1 - Groep, David A1 - Steenbakkers, Martijn A1 - Koeroo, Oscar A1 - de Cerff, Wim A1 - Venekamp, Gerben A1 - Anderson, Paul A1 - Colles, Tim A1 - Holt, Alexander A1 - Scobie, Alastair A1 - George, Michael A1 - Washbrook, Andrew A1 - Leiva, Rafael T1 - Autonomic Management of Large Clusters and Their Integration into the Grid JF - J. Grid Comput. Y1 - 2004 U6 - https://doi.org/10.1007/s10723-004-7647-3 VL - 2 IS - 3 SP - 247 EP - 260 ER - TY - CHAP A1 - Reinefeld, Alexander A1 - Schintke, Florian ED - von Knop, Jan ED - Haverkamp, Wilhelm ED - Jessen, Eike T1 - Dienste und Standards für das Grid Computing T2 - E-Science and Grid - Ad-hoc-Netze - Medienintegration, 18. DFN-Arbeitstagung über Kommunikationsnetze, Düsseldorf, 2004 Y1 - 2004 UR - http://dl.gi.de/handle/20.500.12116/28585 VL - P-55 SP - 293 EP - 304 PB - GI ER - TY - CHAP A1 - Röblitz, Thomas A1 - Schintke, Florian A1 - Wendler, Jan T1 - Elastic Grid Reservations with User-Defined Optimization Policies T2 - Proceedings of the 2nd Workshop on Adaptive Grid Middleware (AGridM’04), in conjunction with PACT 2004, Antibes Juan-les-Pins, France Y1 - 2004 ER - TY - JOUR A1 - Reinefeld, Alexander A1 - Schintke, Florian T1 - Grid Services: Web Services zur Nutzung verteilter Ressourcen JF - Informatik Spektrum Y1 - 2004 U6 - https://doi.org/10.1007/s00287-004-0379-8 VL - 27 IS - 2 SP - 129 EP - 135 ER - TY - CHAP A1 - Wendler, Jan A1 - Schintke, Florian T1 - Grid-Enabled Computational Fluid Dynamics using FlowGrid T2 - Cracow Grid Workshop ’03 Proceedings Y1 - 2004 SP - 59 EP - 66 PB - Academic Computer Centre CYFRONET AGH CY - ul. Nawojki 11, 30-950 Krakow 61, P.O.Box 386, Poland ER - TY - CHAP A1 - Schütt, Thorsten A1 - Merzky, André A1 - Hutanu, Andrei A1 - Schintke, Florian T1 - Remote partial file access using compact pattern descriptions T2 - 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), April 19-22, 2004, Chicago, Illinois, USA Y1 - 2004 U6 - https://doi.org/10.1109/CCGrid.2004.1336604 SP - 482 EP - 489 PB - IEEE Computer Society ER - TY - CHAP A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten T1 - Scalable and Self-Optimizing Data Grids T2 - Annual Review of Scalable Computing Y1 - 2004 U6 - https://doi.org/10.1142/9789812794727_0002 VL - 6 IS - chapter 2 SP - 30 EP - 60 PB - World Scientific ER - TY - JOUR A1 - Wendler, Jan A1 - Schintke, Florian T1 - Executing and observing CFD applications on the Grid JF - Future Generation Computer Systems the International Journal of Grid Computing: Theory, Methods and Applications Y1 - 2005 U6 - https://doi.org/10.1016/j.future.2004.09.026 VL - 21 IS - 1 SP - 11 EP - 18 PB - Elsevier Science Publishers ER - TY - GEN A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten T1 - Vorrichtung und Verfahren zum Abrufen / Speichern von elektronischen Daten in einem System mit mehreren Datenverarbeitungseinheiten Y1 - 2007 PB - Europäisches Patent EP 1 744 257 A1 ER - TY - GEN A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten T1 - Vorrichtung und Verfahren zum Speichern / Abrufen von Objekten mit mehrdimensional adressierten, elektronischen Daten Y1 - 2007 PB - Europäische Patentanmeldung Nr. 06012030.0 vom 12.06.2006, Patent Nr: 1868114 ER - TY - CHAP A1 - Grimme, Christian A1 - Langhammer, Tobias A1 - Papaspyrou, Alexander A1 - Schintke, Florian T1 - Negotiation-based Choreography of Data-intensive Applications in the C3Grid Project T2 - German E-Science Conference Y1 - 2007 UR - http://edoc.mpg.de/316579 PB - Max Planck Digital Library CY - Baden-Baden ER - TY - CHAP A1 - Plantikow, Stefan A1 - Reinefeld, Alexander A1 - Schintke, Florian ED - Clemm, Alexander ED - Granville, Lisandro ED - Stadler, Rolf T1 - Transactions for Distributed Wikis on Structured Overlays T2 - DSOM Y1 - 2007 U6 - https://doi.org/10.1007/978-3-540-75694-1_25 VL - 4785 SP - 256 EP - 267 PB - Springer CY - Silicon Valley, CA, USA ER - TY - CHAP A1 - Schintke, Florian A1 - Schütt, Thorsten A1 - Reinefeld, Alexander T1 - A Framework for Self-Optimizing Grids Using P2P Components T2 - 14th International Workshop on Database and Expert Systems Applications (DEXA’03), September 1-5, 2003, Prague, Czech Republic Y1 - 2003 U6 - https://doi.org/10.1109/DEXA.2003.1232101 SP - 689 EP - 693 PB - IEEE Computer Society ER - TY - CHAP A1 - Schütt, Thorsten A1 - Schintke, Florian A1 - Reinefeld, Alexander ED - Sloot, Peter ED - Abramson, David ED - Bogdanov, Alexander ED - Dongarra, Jack ED - Zomaya, Albert ED - Gorbachev, Yuri T1 - Efficient Synchronization of Replicated Data in Distributed Systems T2 - Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I Y1 - 2003 U6 - https://doi.org/10.1007/3-540-44860-8_28 VL - 2657 SP - 274 EP - 283 PB - Springer ER - TY - CHAP A1 - Röblitz, Thomas A1 - Schintke, Florian A1 - Reinefeld, Alexander T1 - From Clusters to the Fabric: The Job Management Perspective T2 - 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 1-4 December 2003, Kowloon, Hong Kong, China Y1 - 2003 U6 - https://doi.org/10.1109/CLUSTR.2003.1253351 SP - 468 EP - 473 PB - IEEE Computer Society ER - TY - JOUR A1 - Reinefeld, Alexander A1 - Schintke, Florian T1 - Grid Computing in Deutschland JF - Spektrum der Wissenschaft Y1 - 2003 SP - 72 EP - 73 PB - Spektrum der Wissenschaft Verlagsgesellschaft, Heidelberg ER - TY - CHAP A1 - Andrzejak, Artur A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten ED - Getov, Vladimir ED - Laforenza, Domenico ED - Reinefeld, Alexander T1 - On Adaptability in Grid Systems T2 - Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, November 1-5, 2004, Dagstuhl, Germany Y1 - 2006 U6 - https://doi.org/10.1007/978-0-387-29445-2_2 SP - 29 EP - 46 PB - Springer ER - TY - JOUR A1 - Röblitz, Thomas A1 - Schintke, Florian A1 - Reinefeld, Alexander T1 - Resource reservations with fuzzy requests JF - Concurrency and Computation: Practice and Experience Y1 - 2006 UR - http://dx.doi.org/10.1002/cpe.1023 U6 - https://doi.org/10.1002/cpe.1023 VL - 18 IS - 13 SP - 1681 EP - 1703 ER - TY - CHAP A1 - Schütt, Thorsten A1 - Schintke, Florian A1 - Reinefeld, Alexander T1 - Structured Overlay without Consistent Hashing: Empirical Results T2 - Sixth Workshop on Global and Peer-to-Peer Computing (GP2PC’06) at Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore Y1 - 2006 UR - http://doi.ieeecomputersociety.org/10.1109/CCGRID.2006.175 U6 - https://doi.org/10.1109/CCGRID.2006.175 PB - IEEE Computer Society ER - TY - CHAP A1 - Schütt, Thorsten A1 - Schintke, Florian A1 - Reinefeld, Alexander ED - Kermarrec, Anne-Marie T1 - A Structured Overlay for Multi-dimensional Range Queries T2 - Euro-Par Conference Y1 - 2007 UR - http://dx.doi.org/10.1007/978-3-540-74466-5_54 U6 - https://doi.org/10.1007/978-3-540-74466-5_54 VL - 4641 SP - 503 EP - 513 PB - Springer ER - TY - GEN A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten T1 - Device and method for retrieving / storing electronic data in a system with a plurality of data processing units Y1 - 2007 PB - United States Patent Application Publication No. US 2007/0165619 A1 ER - TY - CHAP A1 - Plantikow, Stefan A1 - Reinefeld, Alexander A1 - Schintke, Florian T1 - Distributed Wikis on Structured Overlays T2 - CoreGrid Workshop on Grid Programming Models, Grid and P2P System Architecture, Grid Systems, Tools and Environments Y1 - 2007 ER - TY - CHAP A1 - Kruber, Nico A1 - Lange, Maik A1 - Schintke, Florian T1 - Approximate Hash-Based Set Reconciliation for Distributed Replica Repair T2 - 2015 IEEE 34th International Symposium on Reliable Distributed Systems (SRDS) Y1 - 2015 U6 - https://doi.org/10.1109/SRDS.2015.30 SP - 166 EP - 175 PB - IEEE ER - TY - JOUR A1 - Schintke, Florian A1 - Reinefeld, Alexander T1 - Modeling Replica Availability in Large Data Grids JF - J. Grid Computing Y1 - 2003 U6 - https://doi.org/10.1023/B:GRID.0000024086.50333.0d VL - 1 IS - 2 SP - 219 EP - 227 ER - TY - CHAP A1 - Reinefeld, Alexander A1 - Schintke, Florian ED - Monien, Burkhard ED - Feldmann, Rainer T1 - Concepts and Technologies for a Worldwide Grid Infrastructure T2 - Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings Y1 - 2002 U6 - https://doi.org/10.1007/3-540-45706-2_6 VL - 2400 SP - 62 EP - 72 PB - Springer ER - TY - CHAP A1 - Kruber, Nico A1 - Schintke, Florian A1 - Berlin, Michael T1 - A Relational Database Schema on the Transactional Key-Value Store Scalaris T2 - Proceedings of 2nd Workshop on Scalable Cloud Data Management Y1 - 2014 U6 - https://doi.org/10.1109/BigData.2014.7004441 ER - TY - CHAP A1 - Skrzypczak, Jan A1 - Schintke, Florian A1 - Schütt, Thorsten T1 - Linearizable State Machine Replication of State-Based CRDTs without Logs T2 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019 N2 - General solutions of state machine replication have to ensure that all replicas apply the same commands in the same order, even in the presence of failures. Such strict ordering incurs high synchronization costs due to the use of distributed consensus or a leader. This paper presents a protocol for linearizable state machine replication of conflict-free replicated data types (CRDTs) that neither requires consensus nor a leader. By leveraging the properties of state-based CRDTs—in particular the monotonic growth of a join semilattice—synchronization overhead is greatly reduced. In addition, updates just need a single round trip and modify the state ‘in-place’ without the need for a log. Furthermore, the message size overhead for coordination consists of a single counter per message. While reads in the presence of concurrent updates are not wait-free without a coordinator, we show that more than 97 % of reads can be handled in one or two round trips under highly concurrent accesses. Our protocol achieves high throughput without auxiliary processes such as command log management or leader election. It is well suited for all practical scenarios that need linearizable access on CRDT data on a fine-granular scale. Y1 - 2019 U6 - https://doi.org/10.1145/3293611.3331568 SP - 455 EP - 457 ER - TY - CHAP A1 - Hartung, Marc A1 - Schintke, Florian T1 - Learned Clause Minimization in Parallel SAT Solvers T2 - Pragmatics of SAT 2019 N2 - Learned clauses minimization (LCM) let to performance improvements of modern SAT solvers especially in solving hard SAT instances. Despite the success of LCM approaches in sequential solvers, they are not widely incorporated in parallel SAT solvers. In this paper we explore the potential of LCM for parallel SAT solvers by defining multiple LCM approaches based on clause vivification, comparing their runtime in different SAT solvers and discussing reasons for performance gains and losses. Results show that LCM only boosts performance of parallel SAT solvers on a fraction of SAT instances. More commonly applying LCM decreases performance. Only certain LCM approaches are able to improve the overall performance of parallel SAT solvers. Y1 - 2019 UR - http://www.pragmaticsofsat.org/2019/ SP - 1 EP - 11 ER - TY - CHAP A1 - Allen, Gabrielle A1 - Dramlitsch, Thomas A1 - Goodale, Tom A1 - Lanfermann, Gerd A1 - Radke, Thomas A1 - Seidel, Edward A1 - Kielmann, Thilo A1 - Verstoep, Kees A1 - Balaton, Zoltán A1 - Kacsuk, Péter A1 - Szalai, Ferenc A1 - Gehring, Jörn A1 - Keller, Axel A1 - Streit, Achim A1 - Matyska, Ludek A1 - Ruda, Miroslav A1 - Krenek, Ales A1 - Knipp, Harald A1 - Merzky, André A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Ludwiczak, Bogdan A1 - Nabrzyski, Jarek A1 - Pukacki, Juliusz A1 - Kersken, Hans-Peter A1 - Aloisio, Giovanni A1 - Cafaro, Massimo A1 - Ziegler, Wolfgang A1 - Russell, Michael T1 - Early experiences with the EGrid testbed T2 - Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid Y1 - 2001 U6 - https://doi.org/10.1109/CCGRID.2001.923185 SP - 130 EP - 137 ER -