Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Eggs and eggshells of Crocodylomorpha from the Upper Jurassic of Portugal

Crocodylomorph eggs are relatively poorly known in the fossil record when compared with skeletal remains, which are found all over the world, or when compared with dinosaur eggs. Herein are described crocodiloid eggshells from the Upper Jurassic Lourinhã Formation of Portugal, recovered from five sites: Cambelas (clutch), Casal da Rola, Peralta (eggshell fragments), and Paimogo North and South (three partial crushed eggs and eggshell fragments). The clutch of Cambelas, composed of 13 eggs, is the only sample not found in association with dinosaur eggshells. Morphological characters of the eggshells described herein, such as shell units and microstructure, are consistent with the crocodiloid morphotype. As such, this material is assigned to the oofamily Krokolithidae, making them the oldest known crocodylomorph eggs so far and the best record for eggs of non-crocodylian crocodylomorphs. Two new ootaxa are erected, Suchoolithus portucalensis oogen. et oosp. nov, for the clutch of Cambelas, and Krokolithes dinophilus, oosp. nov., for the remaining eggshells. The basic structure of crocodilian eggshells has remained stable since at least the Late Jurassic. Additionally, the findings suggest previously unknown biological associations with contemporary archosaurs, shedding light on the poorly understood egg morphology, reproduction strategies and paleobiology of crocodylomorphs during the Late Jurassic.