Towards a High Level Programming Paradigm to Deploy e-Science Applications with Dynamic Workflows on Large Scale Distributed Systems

2015 ◽  
Author(s):  
Mohamed Ben Belgacem ◽  
Nabil Abdennadher
Keyword(s):  
Distributed Systems ◽  
Large Scale ◽  
Programming Paradigm ◽  
High Level

scholarly journals Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-31
Author(s):  
Wolf Honoré ◽  
Jieung Kim ◽  
Ji-Yong Shin ◽  
Zhong Shao
Keyword(s):  
Distributed Systems ◽  
Large Scale ◽  
Distributed Applications ◽  
Compositional Verification ◽  
Distributed Object ◽  
Fine Grained ◽  
Correctness Proofs ◽  
High Level ◽  
State Machine Replication ◽  
Strongly Consistent

Despite recent advances, guaranteeing the correctness of large-scale distributed applications without compromising performance remains a challenging problem. Network and node failures are inevitable and, for some applications, careful control over how they are handled is essential. Unfortunately, existing approaches either completely hide these failures behind an atomic state machine replication (SMR) interface, or expose all of the network-level details, sacrificing atomicity. We propose a novel, compositional, atomic distributed object (ADO) model for strongly consistent distributed systems that combines the best of both options. The object-oriented API abstracts over protocol-specific details and decouples high-level correctness reasoning from implementation choices. At the same time, it intentionally exposes an abstract view of certain key distributed failure cases, thus allowing for more fine-grained control over them than SMR-like models. We demonstrate that proving properties even of composite distributed systems can be straightforward with our Coq verification framework, Advert, thanks to the ADO model. We also show that a variety of common protocols including multi-Paxos and Chain Replication refine the ADO semantics, which allows one to freely choose among them for an application's implementation without modifying ADO-level correctness proofs.

A General Framework for the Modeling and Simulation of Grid and P2P Systems

2010 ◽  
pp. 657-685 ◽  
Author(s):  
Ciprian Dobre
Keyword(s):  
Distributed Systems ◽  
Modeling And Simulation ◽  
General Framework ◽  
Large Scale ◽  
Discrete Event ◽  
P2p Systems ◽  
Online Simulation ◽  
P2p Applications ◽  
High Level ◽  
New Algorithms

The field of modeling and simulation was long seen as a viable alternative to develop new algorithms and technologies and to enable the development of large-scale distributed systems, where analytical validations are prohibited by the nature of the encountered problems. The use of discrete-event simulators in the design and development of large scale distributed systems is appealing due to their efficiency and scalability. In this chapter we focus on the challenge to enable scalable, high-level, online simulation of applications, middleware, resources and networks to support scientific and systematic study of Grid and P2P applications and environments. We describe alternatives to designing and implementing simulators to be used in the validation of distributed systems, particularly Grid and P2Ps.

Social inequality in the evolution of human societies

2019 ◽  
pp. 98-120
Author(s):  
Georgi Derluguian
Keyword(s):  
Social Inequality ◽  
Large Scale ◽  
Human Beings ◽  
Mass Violence ◽  
Public And Private ◽  
Tangible Assets ◽  
Transition To Agriculture ◽  
New Institutions ◽  
High Level ◽  
Political Economic

The author develops ideas about the origin of social inequality during the evolution of human societies and reflects on the possibilities of its overcoming. What makes human beings different from other primates is a high level of egalitarianism and altruism, which contributed to more successful adaptability of human collectives at early stages of the development of society. The transition to agriculture, coupled with substantially increasing population density, was marked by the emergence and institutionalisation of social inequality based on the inequality of tangible assets and symbolic wealth. Then, new institutions of warfare came into existence, and they were aimed at conquering and enslaving the neighbours engaged in productive labour. While exercising control over nature, people also established and strengthened their power over other people. Chiefdom as a new type of polity came into being. Elementary forms of power (political, economic and ideological) served as a basis for the formation of early states. The societies in those states were characterised by social inequality and cruelties, including slavery, mass violence and numerous victims. Nowadays, the old elementary forms of power that are inherent in personalistic chiefdom are still functioning along with modern institutions of public and private bureaucracy. This constitutes the key contradiction of our time, which is the juxtaposition of individual despotic power and public infrastructural one. However, society is evolving towards an ever more efficient combination of social initiatives with the sustainability and viability of large-scale organisations.

scholarly journals Arabidopsis Genes Essential for Seedling Viability: Isolation of Insertional Mutants and Molecular Cloning

Genetics ◽  
2001 ◽  
Vol 159 (4) ◽  
pp. 1765-1778
Author(s):  
Gregory J Budziszewski ◽  
Sharon Potter Lewis ◽  
Lyn Wegrich Glover ◽  
Jennifer Reineke ◽  
Gary Jones ◽  
...  
Keyword(s):  
Large Scale ◽  
Protein Translocation ◽  
Gene Families ◽  
Mutant Phenotype ◽  
Lethal Mutant ◽  
A Genome ◽  
Genes Encoding ◽  
High Level ◽  
Mutant Lines ◽  
Genome Scale

Abstract We have undertaken a large-scale genetic screen to identify genes with a seedling-lethal mutant phenotype. From screening ~38,000 insertional mutant lines, we identified >500 seedling-lethal mutants, completed cosegregation analysis of the insertion and the lethal phenotype for >200 mutants, molecularly characterized 54 mutants, and provided a detailed description for 22 of them. Most of the seedling-lethal mutants seem to affect chloroplast function because they display altered pigmentation and affect genes encoding proteins predicted to have chloroplast localization. Although a high level of functional redundancy in Arabidopsis might be expected because 65% of genes are members of gene families, we found that 41% of the essential genes found in this study are members of Arabidopsis gene families. In addition, we isolated several interesting classes of mutants and genes. We found three mutants in the recently discovered nonmevalonate isoprenoid biosynthetic pathway and mutants disrupting genes similar to Tic40 and tatC, which are likely to be involved in chloroplast protein translocation. Finally, we directly compared T-DNA and Ac/Ds transposon mutagenesis methods in Arabidopsis on a genome scale. In each population, we found only about one-third of the insertion mutations cosegregated with a mutant phenotype.

Workshop on large-scale distributed systems for information retrieval

2007 ◽  
Vol 41 (2) ◽  
pp. 83-88
Author(s):  
Flavio P. Junqueira ◽  
Vassilis Plachouras ◽  
Fabrizio Silvestri ◽  
Ivana Podnar
Keyword(s):  
Information Retrieval ◽  
Distributed Systems ◽  
Large Scale

New Harvesting and Curing Techniques in the Production of Breeder's Seed Peanuts1

1979 ◽  
Vol 6 (2) ◽  
pp. 70-72
Author(s):  
T. A. Coffelt ◽  
F. S. Wright ◽  
J. L. Steele
Keyword(s):  
Large Scale ◽  
Combine Method ◽  
Frost Damage ◽  
New Method ◽  
Experimental Equipment ◽  
Harvesting Method ◽  
Curing Methods ◽  
Labor Requirements ◽  
High Level ◽  
Varietal Purity

Abstract A new method of harvesting and curing breeder's seed peanuts in Virginia was initiated that would 1) reduce the labor requirements, 2) maintain a high level of germination, 3) maintain varietal purity at 100%, and 4) reduce the risk of frost damage. Three possible harvesting and curing methods were studied. The traditional stack-pole method satisfied the latter 3 objectives, but not the first. The windrow-combine method satisfied the first 2 objectives, but not the last 2. The direct harvesting method satisfied all four objectives. The experimental equipment and curing procedures for direct harvesting had been developed but not tested on a large scale for seed harvesting. This method has been used in Virginia to produce breeder's seed of 3 peanut varieties (Florigiant, VA 72R and VA 61R) during five years. Compared to the stackpole method, labor requirements have been reduced, satisfactory levels of germination and varietal purity have been obtained, and the risk of frost damage has been minimized.

Results from a Large-Scale Epidemiologic Look-Back Investigation of Improperly Reprocessed Endoscopy Equipment

2012 ◽  
Vol 33 (07) ◽  
pp. 649-656 ◽  
Author(s):  
Mark Holodniy ◽  
Gina Oda ◽  
Patricia L. Schirmer ◽  
Cynthia A. Lucero ◽  
Yury E. Khudyakov ◽  
...  
Keyword(s):  
Genetic Testing ◽  
Large Scale ◽  
Bloodborne Pathogens ◽  
Medical Centers ◽  
B Virus ◽  
Immunodeficiency Virus ◽  
Viral Testing ◽  
Veterans Affairs Medical Centers ◽  
High Level ◽  
Nose And Throat

Objective.To determine whether improper high-level disinfection practices during endoscopy procedures resulted in bloodborne viral infection transmission.Design.Retrospective cohort study.Setting.Four Veterans Affairs medical centers (VAMCs).Patients.Veterans who underwent colonoscopy and laryngoscopy (ear, nose, and throat [ENT]) procedures from 2003 to 2009.Methods.Patients were identified through electronic health record searches and serotested for human immunodeficiency virus (HIV), hepatitis C virus (HCV), and hepatitis B virus (HBV). Newly discovered case patients were linked to a potential source with known identical infection, whose procedure occurred no more than 1 day prior to the case patient's procedure. Viral genetic testing was performed for case/proximate pairs to determine relatedness.Results.Of 10,737 veterans who underwent endoscopy at 4 VAMCs, 9,879 patients agreed to viral testing. Of these, 90 patients were newly diagnosed with 1 or more viral bloodborne pathogens (BBPs). There were no case/proximate pairings found for patients with either HIV or HBV; 24 HCV case/proximate pairings were found, of which 7 case patients and 8 proximate patients had sufficient viral load for further genetic testing. Only 2 of these cases, both of whom underwent laryngoscopy, and their 4 proximates agreed to further testing. None of the 4 remaining proximate patients who underwent colonoscopy agreed to further testing. Mean genetic distance between the 2 case patients and 4 proximate patients ranged from 13.5% to 19.1%.Conclusions.Our investigation revealed that exposure to improperly reprocessed ENT endoscopes did not result in viral transmission in those patients who had viral genetic analysis performed. Any potential transmission of BBPs from colonoscopy remains unknown.

scholarly journals Revealing the constituents of Egypt’s oldest beer using infrared and mass spectrometry

2019 ◽  
Vol 9 (1) ◽  
Author(s):  
Mohamed A. Farag ◽  
Moamen M. Elmassry ◽  
Masahiro Baba ◽  
Renée Friedman
Keyword(s):  
Large Scale ◽  
Beer Brewing ◽  
Chemical Signatures ◽  
Chemical Determination ◽  
Materials Used ◽  
High Level ◽  
Beer Production ◽  
First Time ◽  
Detailed Chemical

Abstract Previous studies have shown that the Ancient Egyptians used malted wheat and barley as the main ingredients in beer brewing, but the chemical determination of the exact recipe is still lacking. To investigate the constituents of ancient beer, we conducted a detailed IR and GC-MS based metabolite analyses targeting volatile and non-volatile metabolites on the residues recovered from the interior of vats in what is currently the world’s oldest (c. 3600 BCE) installation for large-scale beer production located at the major pre-pharaonic political center at Hierakonpolis, Egypt. In addition to distinguishing the chemical signatures of various flavoring agents, such as dates, a significant result of our analysis is the finding, for the first time, of phosphoric acid in high level probably used as a preservative much like in modern beverages. This suggests that the early brewers had acquired the knowledge needed to efficiently produce and preserve large quantities of beer. This study provides the most detailed chemical profile of an ancient beer using modern spectrometric techniques and providing evidence for the likely starting materials used in beer brewing.

scholarly journals Equity Effects of Congestion Charges: An Exploratory Analysis with MATSim

2017 ◽  
Vol 2670 (1) ◽  
pp. 75-82 ◽  
Author(s):  
Lucas Meyer de Freitas ◽  
Oliver Schuemperlin ◽  
Milos Balac ◽  
Francesco Ciari
Keyword(s):  
Travel Time ◽  
Large Scale ◽  
Agent Based ◽  
Promising Tool ◽  
Travel Time Savings ◽  
Time Savings ◽  
Time Changes ◽  
High Level ◽  
Congestion Charging ◽  
Equity Effects

This paper shows an application of the multiagent, activity-based transport simulation MATSim to evaluate equity effects of a congestion charging scheme. A cordon pricing scheme was set up for a scenario of the city of Zurich, Switzerland, to conduct such an analysis. Equity is one of the most important barriers toward the implementation of a congestion charging system. After the challenges posed by equity evaluations are examined, it is shown that agent-based simulations with heterogeneous values of time allow for an increased level of detail in such evaluations. Such detail is achieved through a high level of disaggregation and with a 24-h simulation period. An important difference from traditional large-scale models is the low degree of correlation between travel time savings and welfare change. While traditional equity analysis is based on travel time savings, MATSim shows that choice dimensions not included in traditional models, such as departure time changes, can also play an important role in equity effects. The analysis of the results in light of evidence from the literature shows that agent-based models are a promising tool to conduct more complete equity evaluations not only of congestion charges but also of transport policies in general.

Sign in / Sign up

Export Citation Format

Share Document