A formal characterization of SI-based ROWA replication protocols

Snapshot isolation (SI) is commonly used in some commercial DBMSs with a multiversion concurrency control mechanism since it never blocks read-only transactions. Recent database replication protocols have been designed using SI replicas where transactions are firstly executed in a delegate replica and their updates (if any) are propagated to the rest of the replicas at commit time; i.e. they follow the Read One Write All (ROWA) approach. This paper provides a formalization that shows the correctness of abstract protocols which cover these replication proposals. These abstract protocols differ in the properties demanded for achieving a global SI level and those needed for its generalized SI (GSI) variant ¿ allowing reads from old snapshots. Additionally, we propose two more relaxed properties that also ensure a global GSI level. Thus, some applications can further optimize their performance in a replicated system while obtaining GSI. © 2010 Elsevier B.V. All rights reserved.The authors wish to thank the reviewers for their valuable comments that helped us to greatly improve the quality and readability of this paper. This work has been supported by the Spanish Government under research grant TIN2009-14460-C03. Besides, the authors wish to thank the reviewers for their valuable comments that helped us to greatly improve the quality and readability of this paper.Armendáriz-Iñigo, J.; Juárez-Rodríguez, J.; González De Mendívil, J.; Garitagoitia, J.; Irún Briz, L.; Muñoz Escoí, FD. (2011). A formal characterization of SI-based ROWA replication protocols. Data and Knowledge Engineering. 70(1):21-34. doi:10.1016/j.datak.2010.07.012S213470

Dust Lifting Through Surface Albedo Changes at Jezero Crater, Mars

We identify temporal variations in surface albedo at Jezero crater using first-of-their-kind high-cadence in-situ measurements of reflected shortwave radiation during the first 350 sols of the Mars 2020 mission. Simultaneous Mars Environmental Dynamics Analyzer (MEDA) measurements of pressure, radiative fluxes, winds, and sky brightness indicate that these albedo changes are caused by dust devils under typical conditions and by a dust storm at Ls ∼ 155°. The 17% decrease in albedo caused by the dust storm is one order of magnitude larger than the most apparent changes caused during quiescent periods by dust devils. Spectral reflectance measurements from Mastcam-Z images before and after the storm indicate that the decrease in albedo is mainly caused by dust removal. The occurrence of albedo changes is affected by the intensity and proximity of the convective vortex, and the availability and mobility of small particles at the surface. The probability of observing an albedo change increases with the magnitude of the pressure drop (ΔP): changes were detected in 3.5%, 43%, and 100% of the dust devils with ΔP 2.5 Pa and ΔP > 4.5 Pa, respectively. Albedo changes were associated with peak wind speeds above 15 m·s−1. We discuss dust removal estimates, the observed surface temperature changes coincident with albedo changes, and implications for solar-powered missions. These results show synergies between multiple instruments (MEDA, Mastcam-Z, Navcam, and the Supercam microphone) that improve our understanding of aeolian processes on Mars.This research has been funded by the Comunidad de Madrid Project S2018/NMT-4291 (TEC2SPACE-CM), by the Spanish State Research Agency (AEI) Project MDM-2017-0737 Unidad de Excelencia “María de Maeztu”- Centro de Astrobiología (CSIC/INTA), by the Spanish Ministry of Science and Innovation (MCIN)/State Agency of Research (10.13039/501100011033) project RTI2018-098728-B-C31, and by the project PID2021-126719OB-C41, funded by MCIN/AEI/10.13039/501100011033/FEDER, UE. RH, ASL and AM were supported by Grant PID2019-109467GB-I00 funded by MCIN/AEI/10.13039/501100011033/. Part of the research was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration (80NM0018D0004). We want to thank J. Bell for processing Mastcam-Z projections showing the entire TIRS FOV and to S. Navarro and the entire team for generating the processed wind sensor data

The STARMEN trial indicates that alternating treatment with corticosteroids and cyclophosphamide is superior to sequential treatment with tacrolimus and rituximab in primary membranous nephropathy

International audienc