Modèle de cohérence | EPFL Graph Search

En Informatique, les modèles de cohérence sont utilisés dans les systèmes répartis comme les systèmes de mémoire partagée distribuée (DSM) ou les magasins de données distribuées (tels que les système de fichiers, les bases de données, les systèmes de réplication optimiste ou la mise en cache web). On dit que le système supporte un modèle donné si les opérations sur la mémoire suivent des règles spécifiques. Le modèle de cohérence des données spécifie un contrat entre le programmeur et le système, dans lequel le système garantit que si le programmeur suit les règles, la mémoire sera cohérente et les résultats de la lecture, de l'écriture ou de la mise à jour de la mémoire seront prévisibles. Ceci est différent de la cohérence, qui se produit dans les systèmes avec ou sans cache, et qui est la cohérence des données par rapport à tous les processeurs. La cohérence consiste à maintenir un ordre global dans lequel les écritures dans un emplacement unique ou une variable unique sont vues p

Quantum-based approach for laboratory risk assessment and decision-making

Ruoxing Liao

With the rising focus on academic safety, there has been an effort to improve the academic safety climate and develop lab-specific risk assessment tools. Despite the progress made in recent years, there is still a deficit of reliable data statistics on safety events and risk assessment in academia, making it difficult to perform full-scale analysis. Moreover, the rapid turnover of personnel and the highly dynamic research tasks in a laboratory environment impede the implementation of classical and well-established risk management strategies, which are usually time-consuming and resource-intensive. Laboratory safety management is always challenging due to lack of data and effective methods. The end of safety management is usually the selection of risk mitigation measures. In the laboratory risk management process, decisions are often made through discussion and compromise. In this regard, it would be beneficial to provide a tool that can support in resource allocation and prioritization of actions. The goal of this project is to develop a decision support tool to assist in the selection of optimal and appropriate preventive or corrective measures in the lab safety management process. The use of decision tools such as Multi-Criteria Decision Making (MCDM) can effectively abstract complex laboratory management problems into a decision framework. This study focuses on the ranking process of competitive corrective measures. Combining the results of interviews and questionnaires, five evaluation criteria were proposed for the normative process of multi-criteria decision making. They are: Residual Risk, Risk reduction, Personnel reliability, Technical reliability, and Cost. classical methods TOPSIS and WSM have been evaluated during the study, and emerging quantum decision making methods have been explored. All three methods are used to simulate the laboratory safety decision making process, and they all present good consistency. Different weighting methods have also been applied to the model and two case studies have been conducted. The first case study is designed to construct the model and verify its feasibility, and the second model is used to investigate the process of group decision making. By applying different MCDM methods, the obtained results are discussed and compared to verify the stability and accuracy of the model. The approach proposed in this research is a promising tool. It offers the possibility to be compatible with different MCDM methods and risk assessment methods, and the proposed decision model could be used as a decision support system to help lab managers make better decisions, or it can provide a neutral point of view as an aid. Future work may include fine-tuning the model. In the following stage, decision criteria should be precisely defined, and corresponding quantitative formulas should be proposed to serve the flexible and dynamic laboratory environment.

2022

Optimistic Causal Consistency for Geo-Replicated Key-Value Stores

Diego Didona, Kristina Spirovska, Willy Zwaenepoel

Causal consistency is an attractive consistency model for geo-replicated data stores because it hits a sweet spot in the ease of programmability vs performance trade-off. In this paper we propose a new approach to causal consistency, which we call Optimistic Causal Consistency (OCC). The optimism of our approach lies in the fact that updates from a remote data center are immediately made visible to clients in the local data center. A client, hence, always reads the freshest version of an item, whose dependencies, however, might have not been installed in the local data center yet. When serving a read request, a server can detect whether it has not received such dependencies yet. This is achieved without inter-server synchronization thanks to cheap dependency meta-data supplied by the client. Upon detecting a missing dependency, the server waits to receive it. This approach contrasts with the design of existing systems, which are prone to expose stale versions of a data items, to ensure that clients only see versions whose dependencies have already been replicated in the local data center. OCC explores a novel trade-off in the landscape of consistency models. Because network partitions are practically rare events, OCC partially trades availability to improve other performance metrics. On the one side, OCC maximizes the freshness of data returned to clients and reduces the communication overhead. On the other side, a server might need to wait before serving a client’s request, leading the system to be unavailable in case of a network partition. To overcome this limitation, we propose a recovery mechanism that allows an OCC system to fall back to a pessimistic protocol to recover availability. We implement OCC in a new system, which we call POCC. We compare POCC against a recent (pessimistic) approach to causal consistency using heterogeneous workloads on an Amazon AWS deployment encompassing up to 96 nodes scattered over 3 data centers. We show that POCC is able to maximize the freshness of data returned to client while providing comparable or better performance than its pessimistic counterpart in a wide range of production-like workloads.

2017

Quantum-based approach for laboratory risk assessment and decision-making

Ruoxing Liao

2022

Optimistic Causal Consistency for Geo-Replicated Key-Value Stores

Diego Didona, Kristina Spirovska, Willy Zwaenepoel

2017