-
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Choreographic Programming (CP) is a language paradigm whereby software artefacts, called choreographies, specify the behaviour of communicating participants. CP is famous for its correctness-by-construction approach to the development of concurrent, distributed systems. In this paper, we illustrate FaaSChal, a proposal for a CP language tailored for the case of serverless Function-as-a-Service (Fa…
▽ More
Choreographic Programming (CP) is a language paradigm whereby software artefacts, called choreographies, specify the behaviour of communicating participants. CP is famous for its correctness-by-construction approach to the development of concurrent, distributed systems. In this paper, we illustrate FaaSChal, a proposal for a CP language tailored for the case of serverless Function-as-a-Service (FaaS). In FaaS, developers define a distributed architecture as a collection of stateless functions, leaving to the serverless platform the management of deployment and scaling. We provide a first account of a CP language tailored for the FaaS case via examples that present some of its relevant features, including projection. In addition, we showcase a novel application of CP. We use the choreography as a source to extract information on the infrastructural relations among functions so that we can synthesise policies that strive to minimise their latency while guaranteeing the respect of user-defined constraints.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
FunLess: Functions-as-a-Service for Private Edge Cloud Systems
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
We present FunLess, a Function-as-a-Service (FaaS) platform tailored for the private edge cloud system. FunLess responds to recent trends that advocate for extending the coverage of serverless computing to private edge cloud systems and enhancing latency, security, and privacy while improving resource usage. Unlike existing solutions that rely on containers for function invocation, FunLess leverag…
▽ More
We present FunLess, a Function-as-a-Service (FaaS) platform tailored for the private edge cloud system. FunLess responds to recent trends that advocate for extending the coverage of serverless computing to private edge cloud systems and enhancing latency, security, and privacy while improving resource usage. Unlike existing solutions that rely on containers for function invocation, FunLess leverages WebAssembly (Wasm) as its runtime environment. Wasm's lightweight, sandboxed runtime is crucial to have functions run on constrained devices at the edge. Moreover, the advantages of using Wasm in FunLess include a consistent development and deployment environment for users and function portability (write once, run everywhere)
We validate FunLess under different deployment scenarios, characterised by the presence/absence of constrained-resource devices (Raspberry Pi 3B+) and the (in)accessibility of container orchestration technologies - Kubernetes. We compare FunLess with three production-ready, widely adopted open-source FaaS platforms - OpenFaaS, Fission, and Knative. Our benchmarks confirm that FunLess is a proper solution for FaaS private edge cloud systems since it achieves performance comparable to the considered FaaS alternatives while it is the only fully-deployable alternative on constrained-resource devices, thanks to its small memory footprint.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Influence of Matrix Composition on Microstructural Yielding and Vickers Hardness in Phase Separated Glasses
Authors:
Nicholas L. Clark,
Shih-Yi Chuang,
John C. Mauro
Abstract:
The relationship between matrix phase composition and microstructure yielding in phase separated calcium aluminosilicate glasses is investigated. Varying the treatment temperature of a phase separated glass results in glasses with different microstructures and matrix compositions. The impact of matrix composition on hardness depends on the mode of microstructural deformation. In glasses that defor…
▽ More
The relationship between matrix phase composition and microstructure yielding in phase separated calcium aluminosilicate glasses is investigated. Varying the treatment temperature of a phase separated glass results in glasses with different microstructures and matrix compositions. The impact of matrix composition on hardness depends on the mode of microstructural deformation. In glasses that deform via the droplet-densification mechanism, decreasing the matrix silica content results in a decrease in hardness due to the weakest-link effect and greater amounts of incongruent yielding of the phases. This relationship may act as an additional source of the indentation size effect in phase separated glasses. In glasses that deform via droplet-coalescence, decreasing the matrix silica content results in increasing hardness due to increased coalescence of the droplet phase during yielding.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Serverless Scheduling Policies based on Cost Analysis
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Cosimo Laneve,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such policies may decrease the performance and the security of the application due to locality issues (e.g., functions executed by workers far from the databases to be accessed). These limitations are partially overcome by the…
▽ More
Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such policies may decrease the performance and the security of the application due to locality issues (e.g., functions executed by workers far from the databases to be accessed). These limitations are partially overcome by the adoption of APP, a new platform-agnostic declarative language that allows serverless platforms to support multiple scheduling logics. Defining the "right" scheduling policy in APP is far from being a trivial task since it often requires rounds of refinement involving knowledge of the underlying infrastructure, guesswork, and empirical testing. In this paper, we start investigating how information derived from static analysis could be incorporated into APP scheduling function policies to help users select the best-performing workers at function allocation. We substantiate our proposal by presenting a pipeline able to extract cost equations from functions' code, synthesising cost expressions through the usage of off-the-shelf solvers, and extending APP allocation policies to consider this information.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Searching for sub-populations within the gamma-ray solar flares catalog: a graph-based clustering analysis
Authors:
Jonathan Mauro,
Gwenhaël de Wasseige
Abstract:
Solar flares are highly energetic events that happen in the solar atmosphere. They are mostly observed as X-ray or gamma-ray bursts located on the Sun's surface. While they are known to be sites of particle acceleration, the acceleration process(es) responsible for the observed fluxes remain unsure. The diversity in shape and duration of the gamma-ray fluxes suggests the existence of distinct phas…
▽ More
Solar flares are highly energetic events that happen in the solar atmosphere. They are mostly observed as X-ray or gamma-ray bursts located on the Sun's surface. While they are known to be sites of particle acceleration, the acceleration process(es) responsible for the observed fluxes remain unsure. The diversity in shape and duration of the gamma-ray fluxes suggests the existence of distinct phases of hadronic acceleration. Moreover, different acceleration processes could explain the differences observed among flares. In this work we search for the evidence of sub-populations within the catalog of gamma-ray solar flares observed by Fermi-LAT. We aim at grou** flares with similar physical properties to be able to probe theoretical models for neutrino production within different classes of flares. We use measurements of the X-ray and gamma-ray fluxes, as well as CMEs and SEPs, to cluster the events using a graph-based algorithm. Furthermore, we investigate the most representative features that characterise the identified sub-populations to allow for qualitative analysis and model development.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Nanoindentation-induced evolution of atomic-level properties in silicate glass: Insights from molecular dynamics simulations
Authors:
Linfeng Ding,
Ranran Lu,
Lianjun Wang,
Qiuju Zheng,
John C. Mauro,
Zhen Zhang
Abstract:
Indentation has been widely used for investigating the mechanical behavior of glasses. However, how the various microscopic properties (such as atomic structure and mechanics) of glass evolve from the immediate contact with the indenter to the far-field regions, and how these observables are correlated to each other remain largely unknown. Here, using large-scale molecular dynamics simulations, we…
▽ More
Indentation has been widely used for investigating the mechanical behavior of glasses. However, how the various microscopic properties (such as atomic structure and mechanics) of glass evolve from the immediate contact with the indenter to the far-field regions, and how these observables are correlated to each other remain largely unknown. Here, using large-scale molecular dynamics simulations, we investigate the response of a prototypical sodium silicate glass under shape contact load up to an indentation depth of 25 nm. Both the short- and intermediate-range structures are found to exhibit notable changes below the indent, indicating that indentation deformation induces a more disordered and heterogeneous network structure. In addition, we find that the indentation-induced changes of local properties all exhibit an exponential decaying behavior with increasing distance from the indent. Comparison of the characteristic decay lengths of these local properties indicates that the structural origins of shear flow and densification are the changes of the network modifier's coordination environment and the inter-tetrahedral connection, respectively. The decay of densification is considerably slower than that of shear strain, implying that the former might contribute more to the deformation at the far-field regions. Our findings not only contribute to an atomistic understanding of the indentation response of silicate glasses but also pave the way towards rational design of damage-resistant glassy materials.
△ Less
Submitted 7 May, 2023;
originally announced May 2023.
-
Modern Definition of Bioactive Glasses and Glass-Ceramics
Authors:
Adam Shearer,
Maziar Montazerian,
John C. Mauro
Abstract:
Bioactive glasses (BGs) and glass-ceramics (BGCs) have become a diverse family of materials being applied for treatment of many medical conditions. The traditional understanding of bioactive glasses and glass-ceramics pins them to bone-bonding capability without considering the other fields where they excel, such as soft tissue repair. We attempt to provide an updated definition of BGs and BGCs by…
▽ More
Bioactive glasses (BGs) and glass-ceramics (BGCs) have become a diverse family of materials being applied for treatment of many medical conditions. The traditional understanding of bioactive glasses and glass-ceramics pins them to bone-bonding capability without considering the other fields where they excel, such as soft tissue repair. We attempt to provide an updated definition of BGs and BGCs by comparing their structure, processing, and properties to those of other biomaterials. The proposed modern definition allows for consideration of all applications where the BGs and BGCs are currently used in the clinic and where the future of these promising biomaterials will grow. The new proposed definition of a bioactive glass is "a non-equilibrium, non-crystalline material that has been designed to induce specific biological activity". The proposed definition of a bioactive glass-ceramic is "an inorganic, non-metallic material that contains at least one crystalline phase within a glassy matrix and has been designed to induce specific biological activity." BGs and BGCs can bond to bone and soft tissues or contribute to their regeneration. They can deliver a specified concentration of inorganic therapeutic ions, heat for magnetic-induced hyperthermia or laser-induced phototherapy, radiation for brachytherapy, and drug delivery to combat pathogens and cancers.
△ Less
Submitted 30 November, 2022;
originally announced December 2022.
-
Topology-aware Serverless Function-Execution Scheduling
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Cloud-edge serverless applications or serverless deployments spanning multiple regions introduce the need to govern the scheduling of functions to satisfy their functional constraints or avoid performance degradation. For instance, functions may require to be allocated to specific private (edge) nodes that have access to specialised resources or to nodes with low latency to access a certain databa…
▽ More
Cloud-edge serverless applications or serverless deployments spanning multiple regions introduce the need to govern the scheduling of functions to satisfy their functional constraints or avoid performance degradation. For instance, functions may require to be allocated to specific private (edge) nodes that have access to specialised resources or to nodes with low latency to access a certain database to decrease the overall latency of the application. State-of-the-art serverless platforms do not support directly the implementation of topological constraints on the scheduling of functions. We address this problem by presenting a declarative language for defining topology-aware, function-specific serverless scheduling policies, called tAPP. Given a tAPP script, a compatible serverless scheduler can enforce different, co-existing topological constraints without requiring ad-hoc platform deployments. We prove our approach feasible by implementing a tAPP-based serverless platform as an extension of the Apache OpenWhisk serverless platform. We show that, compared to vanilla OpenWhisk, our extension does not negatively impact the performance of generic, non-topology-bound serverless scenarios, while it increases the performance of topology-bound ones.
△ Less
Submitted 6 July, 2023; v1 submitted 20 May, 2022;
originally announced May 2022.
-
Graph-based Active Learning for Semi-supervised Classification of SAR Data
Authors:
Kevin Miller,
John Mauro,
Jason Setiadi,
Xoaquin Baca,
Zhan Shi,
Jeff Calder,
Andrea L. Bertozzi
Abstract:
We present a novel method for classification of Synthetic Aperture Radar (SAR) data by combining ideas from graph-based learning and neural network methods within an active learning framework. Graph-based methods in machine learning are based on a similarity graph constructed from the data. When the data consists of raw images composed of scenes, extraneous information can make the classification…
▽ More
We present a novel method for classification of Synthetic Aperture Radar (SAR) data by combining ideas from graph-based learning and neural network methods within an active learning framework. Graph-based methods in machine learning are based on a similarity graph constructed from the data. When the data consists of raw images composed of scenes, extraneous information can make the classification task more difficult. In recent years, neural network methods have been shown to provide a promising framework for extracting patterns from SAR images. These methods, however, require ample training data to avoid overfitting. At the same time, such training data are often unavailable for applications of interest, such as automatic target recognition (ATR) and SAR data. We use a Convolutional Neural Network Variational Autoencoder (CNNVAE) to embed SAR data into a feature space, and then construct a similarity graph from the embedded data and apply graph-based semi-supervised learning techniques. The CNNVAE feature embedding and graph construction requires no labeled data, which reduces overfitting and improves the generalization performance of graph learning at low label rates. Furthermore, the method easily incorporates a human-in-the-loop for active learning in the data-labeling process. We present promising results and compare them to other standard machine learning methods on the Moving and Stationary Target Acquisition and Recognition (MSTAR) dataset for ATR with small amounts of labeled data.
△ Less
Submitted 30 March, 2022;
originally announced April 2022.
-
Instant Loans Can Lift Subjective Well-Being: A Randomized Evaluation of Digital Credit in Nigeria
Authors:
Daniel Björkegren,
Joshua Blumenstock,
Omowunmi Folajimi-Senjobi,
Jacqueline Mauro,
Suraj R. Nair
Abstract:
Digital loans have exploded in popularity across low and middle income countries, providing short term, high interest credit via mobile phones. This paper reports the results of a randomized evaluation of a digital loan product in Nigeria. Being randomly approved for digital credit (irrespective of credit score) substantially increases subjective well-being after an average of three months. For th…
▽ More
Digital loans have exploded in popularity across low and middle income countries, providing short term, high interest credit via mobile phones. This paper reports the results of a randomized evaluation of a digital loan product in Nigeria. Being randomly approved for digital credit (irrespective of credit score) substantially increases subjective well-being after an average of three months. For those who are approved, being randomly offered larger loans has an insignificant effect. Neither treatment significantly impacts other measures of welfare. We rule out large short-term impacts either positive or negative: on income and expenditures, resilience, and women's economic empowerment.
△ Less
Submitted 27 February, 2022;
originally announced February 2022.
-
On the evaluation of (meta-)solver approaches
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Tong Liu,
Jacopo Mauro
Abstract:
Meta-solver approaches exploits a number of individual solvers to potentially build a better solver. To assess the performance of meta-solvers, one can simply adopt the metrics typically used for individual solvers (e.g., runtime or solution quality), or employ more specific evaluation metrics (e.g., by measuring how close the meta-solver gets to its virtual best performance). In this paper, based…
▽ More
Meta-solver approaches exploits a number of individual solvers to potentially build a better solver. To assess the performance of meta-solvers, one can simply adopt the metrics typically used for individual solvers (e.g., runtime or solution quality), or employ more specific evaluation metrics (e.g., by measuring how close the meta-solver gets to its virtual best performance). In this paper, based on some recently published works, we provide an overview of different performance metrics for evaluating (meta-)solvers, by underlying their strengths and weaknesses.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
A probabilistic formalization of contextual bias in forensic analysis: Evidence that examiner bias leads to systemic bias in the criminal justice system
Authors:
Maria Cuellar,
Jacqueline Mauro,
Amanda Luby
Abstract:
Although researchers have found evidence contextual bias in forensic science, the discussion of contextual bias is currently qualitative. We formalize years of empirical research and extend this research by showing quantitatively how biases can be propagated throughout the legal system, all the way up to the final determination of guilt in a criminal trial. We provide a probabilistic framework for…
▽ More
Although researchers have found evidence contextual bias in forensic science, the discussion of contextual bias is currently qualitative. We formalize years of empirical research and extend this research by showing quantitatively how biases can be propagated throughout the legal system, all the way up to the final determination of guilt in a criminal trial. We provide a probabilistic framework for describing how information is updated in a forensic analysis setting by using the ratio form of Bayes' rule. We analyze results from empirical studies using our framework and use simulations to demonstrate how bias can be compounded where experiments do not exist. We find that even minor biases in the earlier stages of forensic analysis lead to large, compounded biases in the final determination of guilt in a criminal trial.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
Viscosity of Silica and Doped Silica Melts: Evidence for a Crossover Temperature
Authors:
John C. Mauro,
Charles R. Kurkjian,
Prabhat K. Gupta,
Walter Kob
Abstract:
Silica is known as the archetypal strong liquid, exhibiting an Arrhenius viscosity curve with a high glass transition temperature and constant activation energy. However, given the ideally isostatic nature of the silica network, the presence of even a small concentration of defects can lead to a significant decrease in both the glass transition temperature and activation energy for viscous flow. T…
▽ More
Silica is known as the archetypal strong liquid, exhibiting an Arrhenius viscosity curve with a high glass transition temperature and constant activation energy. However, given the ideally isostatic nature of the silica network, the presence of even a small concentration of defects can lead to a significant decrease in both the glass transition temperature and activation energy for viscous flow. To understand the impact of trace level dopants on the viscosity of silica, we measure the viscosity-temperature curves for seven silica glass samples having different impurities, including four natural and three synthetic samples. Depending on the type of dopant, the glass transition temperature can vary by nearly 300 K. A common crossover is found for all viscosity curves around ~2200-2500 K, which we attribute to a change of the transport mechanism in the melt from being dominated by intrinsic defects at high temperature to dopant-induced defects at low temperatures.
△ Less
Submitted 21 August, 2021;
originally announced August 2021.
-
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
Authors:
Lorenzo Bacchiani,
Mario Bravetti,
Saverio Giallorenzo,
Jacopo Mauro,
Iacopo Talevi,
Gianluigi Zavattaro
Abstract:
In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Maurizio Gabbrielli) we develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm…
▽ More
In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Maurizio Gabbrielli) we develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm for automatic reconfiguration that reaches a target system Maximum Computational Load by performing optimal deployment orchestrations. To conceive and simulate our approach, we introduce a novel integrated timed architectural modeling/execution language based on an extension of the actor-based object-oriented Abstract Behavioral Specification (ABS) language. In particular, we realize a timed extension of SmartDeployer, whose ABS code annotations make it possible to express architectural properties. Our Timed SmartDeployer tool fully integrates time features of ABS and architectural annotations by generating timed deployment orchestrations. We evaluate the applicability of our approach on a realistic microservice application taken from the literature: an Email Pipeline Processing System. We prove its effectiveness by simulating such an application and by comparing architecture-level reconfiguration with traditional local scaling techniques (which detect scaling needs and enact replications at the level of single microservices). Our comparison results show that our approach avoids cascading slowdowns and consequent increased message loss and latency, which affect traditional local scaling.
△ Less
Submitted 4 June, 2021; v1 submitted 26 April, 2021;
originally announced April 2021.
-
A Mixed-method Study on Security and Privacy Practices in Danish Companies
Authors:
Asmita Dalela,
Saverio Giallorenzo,
Oksana Kulyk,
Jacopo Mauro,
Elda Paja
Abstract:
Increased levels of digitalization in society expose companies to new security threats, requiring them to establish adequate security and privacy measures. Additionally, the presence of exogenous forces like new regulations, e.g., GDPR and the global COVID-19 pandemic, pose new challenges for companies that should preserve an adequate level of security while having to adapt to change. In this pape…
▽ More
Increased levels of digitalization in society expose companies to new security threats, requiring them to establish adequate security and privacy measures. Additionally, the presence of exogenous forces like new regulations, e.g., GDPR and the global COVID-19 pandemic, pose new challenges for companies that should preserve an adequate level of security while having to adapt to change. In this paper, we investigate such challenges through a two-phase study in companies located in Denmark -- a country characterized by a high level of digitalization and trust -- focusing on software development and tech-related companies. Our results show a number of issues, most notably i) a misalignment between software developers and management when it comes to the implementation of security and privacy measures, ii) difficulties in adapting company practices in light of implementing GDPR compliance, and iii) different views on the need to adapt security measures to cope with the COVID-19 pandemic.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Wandering and getting lost: the architecture of an app activating local communities on dementia issues
Authors:
Nicklas Sindlev Andersen,
Marco Chiarandini,
Jacopo Mauro
Abstract:
We describe the architecture of Sammen Om Demens (SOD), an application for portable devices aiming at hel** persons with dementia when wandering and getting lost through the involvement of caregivers, family members, and ordinary citizens who volunteer.
To enable the real-time detection of a person with dementia that has lost orientation, we transfer location data at high frequency from a fron…
▽ More
We describe the architecture of Sammen Om Demens (SOD), an application for portable devices aiming at hel** persons with dementia when wandering and getting lost through the involvement of caregivers, family members, and ordinary citizens who volunteer.
To enable the real-time detection of a person with dementia that has lost orientation, we transfer location data at high frequency from a frontend on the smartphone of a person with dementia to a backend system. The backend system must be able to cope with the high throughput data and carry out possibly heavy computations for the detection of anomalous behavior via artificial intelligence techniques. This sets certain performance and architectural requirements on the design of the backend.
In the paper, we discuss our design and implementation choices for the backend of SOD that involve microservices and serverless services to achieve efficiency and scalability. We give evidence of the achieved goals by deploying the SOD backend on a public cloud and measuring the performance on simulated load tests.
△ Less
Submitted 25 October, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
sunny-as2: Enhancing SUNNY for Algorithm Selection
Authors:
Tong Liu,
Roberto Amadini,
Jacopo Mauro,
Maurizio Gabbrielli
Abstract:
SUNNY is an Algorithm Selection (AS) technique originally tailored for Constraint Programming (CP). SUNNY enables to schedule, from a portfolio of solvers, a subset of solvers to be run on a given CP problem. This approach has proved to be effective for CP problems, and its parallel version won many gold medals in the Open category of the MiniZinc Challenge -- the yearly international competition…
▽ More
SUNNY is an Algorithm Selection (AS) technique originally tailored for Constraint Programming (CP). SUNNY enables to schedule, from a portfolio of solvers, a subset of solvers to be run on a given CP problem. This approach has proved to be effective for CP problems, and its parallel version won many gold medals in the Open category of the MiniZinc Challenge -- the yearly international competition for CP solvers. In 2015, the ASlib benchmarks were released for comparing AS systems coming from disparate fields (e.g., ASP, QBF, and SAT) and SUNNY was extended to deal with generic AS problems. This led to the development of sunny-as2, an algorithm selector based on SUNNY for ASlib scenarios. A preliminary version of sunny-as2 was submitted to the Open Algorithm Selection Challenge (OASC) in 2017, where it turned out to be the best approach for the runtime minimization of decision problems. In this work, we present the technical advancements of sunny-as2, including: (i) wrapper-based feature selection; (ii) a training approach combining feature selection and neighbourhood size configuration; (iii) the application of nested cross-validation. We show how sunny-as2 performance varies depending on the considered AS scenarios, and we discuss its strengths and weaknesses. Finally, we also show how sunny-as2 improves on its preliminary version submitted to OASC.
△ Less
Submitted 12 October, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Microservice Interface Based Deployment Orchestration
Authors:
Lorenzo Bacchiani,
Mario Bravetti,
Saverio Giallorenzo,
Jacopo Mauro,
Iacopo Talevi,
Gianluigi Zavattaro
Abstract:
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model specifically tailored for microservice architectures. The first result that we obtain is decidability of the problem of synthesizing optimal deployment orchestrat…
▽ More
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model specifically tailored for microservice architectures. The first result that we obtain is decidability of the problem of synthesizing optimal deployment orchestrations for microservice architectures, a problem that is, instead, undecidable for generic component-based applications. We, thus, show how optimal deployment orchestrations can be synthesized and how, by using such orchestrations we can devise a procedure for run-time adaptation based on performing global reconfigurations. Finally, we evaluate the applicability of our approach on a realistic microservice architecture taken from the literature. In particular, we use the high-level object-oriented probabilistic and timed process algebra Abstract Behavioural Specification (ABS) to model such a case study and to simulate it. The results of simulation show the advantages of global reconfiguration w.r.t. local adaptation.
△ Less
Submitted 29 September, 2020; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Anomaly detection in Context-aware Feature Models
Authors:
Jacopo Mauro
Abstract:
Feature Models are a mechanism to organize the configuration space and facilitate the construction of software variants by describing configuration options using features, i.e., a name representing a functionality. The development of Feature Models is an error prone activity and detecting their anomalies is a challenging and important task needed to promote their usage.
Recently, Feature Models…
▽ More
Feature Models are a mechanism to organize the configuration space and facilitate the construction of software variants by describing configuration options using features, i.e., a name representing a functionality. The development of Feature Models is an error prone activity and detecting their anomalies is a challenging and important task needed to promote their usage.
Recently, Feature Models have been extended with context to capture the correlation of configuration options with contextual influences and user customizations. Unfortunately, this extension makes the task of detecting anomalies harder. In this paper, we formalize the anomaly analysis in Context-aware Feature Models and we show how Quantified Boolean Formula (QBF) solvers can be used to detect anomalies without relying on iterative calls to a SAT solver. By extending the reconfigurator engine HyVarRec, we present findings evidencing that QBF solvers can outperform the common techniques for anomaly analysis.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Lazy Product Discovery in Huge Configuration Spaces
Authors:
Michael Lienhardt,
Ferruccio Damiani,
Einar Broch Johnsen,
Jacopo Mauro
Abstract:
Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a valid product configuration for some selected options can be complex and error prone. The configuration space can be organized using a feature model, fragmented into smaller interdependent feature models reflecting the conf…
▽ More
Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a valid product configuration for some selected options can be complex and error prone. The configuration space can be organized using a feature model, fragmented into smaller interdependent feature models reflecting the configuration options of each subsystem.
We propose a method for lazy product discovery in large fragmented feature models with interdependent features. We formalize the method and prove its soundness and completeness. The evaluation explores an industrial-size configuration space. The results show that lazy product discovery has significant performance benefits compared to standard product discovery, which in contrast to our method requires all fragments to be composed to analyze the feature model. Furthermore, the method succeeds when more efficient, heuristics-based engines fail to find a valid configuration.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Ion Exchange in Silicate Glasses: Physics of Ion Concentration, Residual Stress, and Refractive Index Profiles
Authors:
Guglielmo Macrelli,
Arun K. Varshneya,
John C. Mauro
Abstract:
A systematic review of main physical effects generated by ion exchange in silicate glasses is presented. Ion concentration distributions, residual stress profiles, and refractive index effects are discussed with particular attention on the physical and mathematical underpinnings of the ion exchange process. The study has the purpose of presenting a scientific foundation to enable future developmen…
▽ More
A systematic review of main physical effects generated by ion exchange in silicate glasses is presented. Ion concentration distributions, residual stress profiles, and refractive index effects are discussed with particular attention on the physical and mathematical underpinnings of the ion exchange process. The study has the purpose of presenting a scientific foundation to enable future developments in the field. In this respect, the objective of this article is more educational than to present new research results. Appendixes are included to consider the detail of some specific topics without disrupting the continuity of the overall discussion. Despite the review approach of this study, some original topics are included, such as the concentration distribution with variable boundary conditions and residual stress profile with anomalies due to different relaxation mechanisms, viz., either isochoric and non-isochoric and stress driven or free energy driven. The time scale of the different relaxation mechanisms results, for some specific glass chemical compositions, in the appearance of a subsurface compression maximum progressively moving apart from glass surface and eventually turning in a reversal from compression into tensile state upon prolonged ion exchange processes. Finally, a broad discussion on optical effects induced by ion exchange is presented, paying particular attention to the possibility of experimental determination of residual stress profile.
△ Less
Submitted 25 February, 2020; v1 submitted 19 February, 2020;
originally announced February 2020.
-
An augmented filled function for global nonlinear integer optimization
Authors:
Juan Di Mauro,
Hugo D. Scolnik
Abstract:
The problem of finding global minima of nonlinear discrete functions arises in many fields of practical matters. In recent years, methods based on discrete filled functions become popular as ways of solving these sort of problems. However, they rely on the steepest descent method for local searches. Here we present an approach that does not depend on a particular local optimization method, and a n…
▽ More
The problem of finding global minima of nonlinear discrete functions arises in many fields of practical matters. In recent years, methods based on discrete filled functions become popular as ways of solving these sort of problems. However, they rely on the steepest descent method for local searches. Here we present an approach that does not depend on a particular local optimization method, and a new discrete filled function with the useful property that a good continuous global optimization algorithm applied to it leads to an approximation of the solution of the nonlinear discrete problem. Numerical results are given showing the efficiency of the new approach.
△ Less
Submitted 25 March, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
Canonical form of modular hyperbolas with an application to integer factorization
Authors:
Juan Di Mauro
Abstract:
For a composite $n$ and an odd $c$ with $c$ not dividing $n$, the number of solutions to the equation $n+a\equiv b\mod c$ with $a,b$ quadratic residues modulus $c$ is calculated. We establish a direct relation with those modular solutions and the distances between points of a modular hyperbola. Furthermore, for certain composite moduli $c$, an asymptotic formula for quotients between the number of…
▽ More
For a composite $n$ and an odd $c$ with $c$ not dividing $n$, the number of solutions to the equation $n+a\equiv b\mod c$ with $a,b$ quadratic residues modulus $c$ is calculated. We establish a direct relation with those modular solutions and the distances between points of a modular hyperbola. Furthermore, for certain composite moduli $c$, an asymptotic formula for quotients between the number of solutions and $c$ is provided. Finally, an algorithm for integer factorization using such solutions is presented.
△ Less
Submitted 15 April, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Prediction of Glass Elasticity from Free Energy Density of Topological Constraints
Authors:
Collin J. Wilkinson,
Qiuju Zheng,
Li** Huang,
John. C. Mauro
Abstract:
Despite the critical importance of the elastic properties of modern materials, there is not a singular model that can predict the modulus to an accuracy needed for industrial glass design. To address this problem, we propose an approach to calculate the elastic modulus based on the free energy density of topological constraints in the glass-forming network. Our approach shows quantitatively accura…
▽ More
Despite the critical importance of the elastic properties of modern materials, there is not a singular model that can predict the modulus to an accuracy needed for industrial glass design. To address this problem, we propose an approach to calculate the elastic modulus based on the free energy density of topological constraints in the glass-forming network. Our approach shows quantitatively accurate agreement with glasses across a variety of compositional families. Moreover, using temperature-dependent constraint theory, the temperature dependence of the modulus can also be predicted. Our approach is general and theoretically can be applied to any network glass.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Optimal and Automated Deployment for Microservices
Authors:
Mario Bravetti,
Saverio Giallorenzo,
Jacopo Mauro,
Iacopo Talevi,
Gianluigi Zavattaro
Abstract:
Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper, we formalize these practices and show that automated deployment - proven undecidable in the general case - is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a mi…
▽ More
Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper, we formalize these practices and show that automated deployment - proven undecidable in the general case - is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent binding/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Instrumental Variable Methods using Dynamic Interventions
Authors:
Jacqueline A Mauro,
Edward H Kennedy,
Daniel Nagin
Abstract:
Recent work on dynamic interventions has greatly expanded the range of causal questions researchers can study while weakening identifying assumptions and yielding effects that are more practically relevant. However, most work in dynamic interventions to date has focused on settings where we directly alter some unconfounded treatment of interest. In policy analysis, decision makers rarely have this…
▽ More
Recent work on dynamic interventions has greatly expanded the range of causal questions researchers can study while weakening identifying assumptions and yielding effects that are more practically relevant. However, most work in dynamic interventions to date has focused on settings where we directly alter some unconfounded treatment of interest. In policy analysis, decision makers rarely have this level of control over behaviors or access to experimental data. Instead, they are often faced with treatments they can affect only indirectly and whose effects must be learned from observational data. In this paper, we propose new estimands and estimators of causal effects based on dynamic interventions with instrumental variables. This method does not rely on parametric models and does not require an experiment. Instead, we estimate the effect of a dynamic intervention on the instrument. This robustness should reassure policy makers that these estimates can be used to effectively inform policy. We demonstrate the usefulness of this estimation strategy in a case study examining the effect of visitation on recidivism.
△ Less
Submitted 8 July, 2019; v1 submitted 3 November, 2018;
originally announced November 2018.
-
Temperature-Modulated Differential Scanning Calorimetry Analysis of High-Temperature Silicate Glasses
Authors:
Tobias K. Bechgaard,
Ozgur Gulbiten,
John C. Mauro,
Yushu Hu,
Mathieu Bauchy,
Morten M. Smedskjaer
Abstract:
Differential scanning calorimetry (DSC) is one of the most versatile probes for silicate glasses, allowing determination of, e.g., transition temperatures (glass, crystallization, melting) and the temperature dependence of heat capacity. However, complications arise for glasses featuring overlap** transitions and low sensitivity, e.g., arising from SiO2-rich compositions with small change in hea…
▽ More
Differential scanning calorimetry (DSC) is one of the most versatile probes for silicate glasses, allowing determination of, e.g., transition temperatures (glass, crystallization, melting) and the temperature dependence of heat capacity. However, complications arise for glasses featuring overlap** transitions and low sensitivity, e.g., arising from SiO2-rich compositions with small change in heat capacity during glass transition or the low sensitivity of thermocouples at high temperature. These challenges might be overcome using temperature-modulated DSC (TM-DSC), which enables separation of overlap** signals and improved sensitivity at the expense of increased measurement duration.
△ Less
Submitted 3 May, 2018;
originally announced May 2018.
-
Statistical Mechanics of Topological Fluctuations in Glass-Forming Liquids
Authors:
Katelyn A. Kirchner,
Seong H. Kim,
John C. Mauro
Abstract:
All liquids are topologically disordered materials; however, the degree of disorder can vary as a result of internal fluctuations in structure and topology. These fluctuations depend on both the composition and temperature of the system. Most prior work has considered the mean values of liquid or glass properties, such as the average number of topological degrees of freedom per atom; however, the…
▽ More
All liquids are topologically disordered materials; however, the degree of disorder can vary as a result of internal fluctuations in structure and topology. These fluctuations depend on both the composition and temperature of the system. Most prior work has considered the mean values of liquid or glass properties, such as the average number of topological degrees of freedom per atom; however, the localized fluctuations in properties also play a key role in governing the macroscopic characteristics of any glass-forming system. This paper proposes a generalized approach for modeling topological fluctuations in glass-forming liquids by linking the statistical mechanics of the disordered structure to topological constraint theory. In doing so we introduce the contributions of localized fluctuations into the calculation of the topological degrees of freedoms in the network. With this approach the full distribution of properties in the disordered network can be calculated as an arbitrary function of composition, temperature, and thermal history (for the nonequilibrium glassy state). The scope of this current investigation focuses on describing topological fluctuations in liquids, concentrating on composition and temperature effects.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Workplace Accidents and Self-Organized Criticality
Authors:
John C. Mauro,
Brett Diehl,
Richard F. Marcellin,
Daniel J. Vaughn
Abstract:
The occurrence of workplace accidents is described within the context of self-organized criticality, a theory from statistical physics that governs a wide range of phenomena across physics, biology, geosciences, economics, and the social sciences. Workplace accident data from the U.S. Bureau of Labor Statistics reveal a power-law relationship between the number of accidents and their severity as m…
▽ More
The occurrence of workplace accidents is described within the context of self-organized criticality, a theory from statistical physics that governs a wide range of phenomena across physics, biology, geosciences, economics, and the social sciences. Workplace accident data from the U.S. Bureau of Labor Statistics reveal a power-law relationship between the number of accidents and their severity as measured by the number of days lost from work. This power-law scaling is indicative of workplace accidents being governed by self-organized criticality, suggesting that nearly all workplace accidents have a common underlying cause, independent of their severity. Such power-law scaling is found for all labor categories documented by the U.S. Bureau of Labor Statistics. Our results provide scientific support for the Heinrich accident triangle, with the practical implication that suppressing the rate of severe accidents requires changing the attitude toward workplace safety in general. By creating a culture that values safety, empowers individuals, and strives to continuously improve, accident rates can be suppressed across the full range of severities.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
On the Prony Series Representation of Stretched Exponential Relaxation
Authors:
John C. Mauro,
Yihong Z. Mauro
Abstract:
Stretched exponential relaxation is a ubiquitous feature of homogeneous glasses. The stretched exponential decay function can be derived from the diffusion-trap model, which predicts certain critical values of the fractional stretching exponent. In practical implementations of glass relaxation models, it is computationally convenient to represent the stretched exponential function as a Prony serie…
▽ More
Stretched exponential relaxation is a ubiquitous feature of homogeneous glasses. The stretched exponential decay function can be derived from the diffusion-trap model, which predicts certain critical values of the fractional stretching exponent. In practical implementations of glass relaxation models, it is computationally convenient to represent the stretched exponential function as a Prony series of simple exponentials. Here, we perform a comprehensive mathematical analysis of the Prony series approximation of the stretched exponential relaxation, including optimized coefficients for certain critical values of the exponent. The fitting quality of the Prony series is analyzed as a function of the number of terms in the series. With a sufficient number of terms, the Prony series can accurately capture the time evolution of the stretched exponential function, including its "fat tail" at long times. However, it is unable to capture the divergence of the first-derivative of the stretched exponential function in the limit of zero time. We also present a frequency-domain analysis of the Prony series representation of the stretched exponential function and discuss its physical implications for the modeling of glass relaxation behavior.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
Rebuttal to Schmelzer and Tropin: Glass Transition, Crystallization of Glass-Forming Melts, and Entropy
Authors:
Edgar D. Zanotto,
John C. Mauro
Abstract:
In a recent article, Schmelzer and Tropin [Entropy 20 [2] 103 (2018)] presented an unfounded, confusing critique of several aspects of modern glass science. Relying on pre-Socratic Greek philosophy and state-of-the-art scientific understanding from the 1920s-1930s, Schmelzer and Tropin propagate an antiquated view of glass physics that is at odds with well-accepted knowledge in the field from both…
▽ More
In a recent article, Schmelzer and Tropin [Entropy 20 [2] 103 (2018)] presented an unfounded, confusing critique of several aspects of modern glass science. Relying on pre-Socratic Greek philosophy and state-of-the-art scientific understanding from the 1920s-1930s, Schmelzer and Tropin propagate an antiquated view of glass physics that is at odds with well-accepted knowledge in the field from both theory and experiments conducted in the post-World War II era. The objective of this short letter is to elucidate and extinguish their critique. This rebuttal is directed to our colleagues and especially to students who might otherwise become confused.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
Stretched Exponential Relaxation of Glasses: Origin of the Mixed Alkali Effect
Authors:
Yingtian Yu,
John C. Mauro,
Mathieu Bauchy
Abstract:
Although it is indeed commonly believed that, as frozen supercooled liquids, glasses should continue to flow over the years (e.g., in the case of the stained-glass windows of medieval cathedrals), the dramatic increase of their viscosity below the glass transition temperature suggests, on the contrary, that their relaxation time is on the order of 10$^{32}$ years at room temperature. However, a re…
▽ More
Although it is indeed commonly believed that, as frozen supercooled liquids, glasses should continue to flow over the years (e.g., in the case of the stained-glass windows of medieval cathedrals), the dramatic increase of their viscosity below the glass transition temperature suggests, on the contrary, that their relaxation time is on the order of 10$^{32}$ years at room temperature. However, a recent study conducted by Mauro et al. reported the intriguing dynamics of the relaxation of a commercial Corning Gorilla Glass at room temperature, over 1.5 years. Here, we report a novel atomistic simulation method allowing us to directly access the long-term (years) dynamics of glass relaxation at room temperature. Based on the simulation of a series of mixed alkali silicate glasses, we demonstrate that room-temperature relaxation is a direct consequence of the mixed alkali effect. Although both volume and energy feature a stretched exponential relaxation, our results reveal a bifurcation of the stretching exponents, with $β$ = 3/5 and 3/7 for energy and volume relaxation, respectively. Relaxation is found to occur through the diffusion of local stressed structural instabilities inside the atomic network, which anneal each other when a compressed atomic unit meets one that is under tension. The driving force for such diffusion-trap relaxation mechanism is found to be at a maximum when the concentrations of each alkali atom equal each other, which arises from a balance between the concentration of each alkali atom and the magnitude of the local stress that they undergo.
△ Less
Submitted 6 January, 2018;
originally announced January 2018.
-
A New Transferable Interatomic Potential for Molecular Dynamics Simulations of Borosilicate Glasses
Authors:
Mengyi Wang,
N. M. Anoop Krishnan,
Bu Wang,
Morten M. Smedskjaer,
John C. Mauro,
Mathieu Bauchy
Abstract:
Borosilicate glasses are traditionally challenging to model using atomic scale simulations due to the composition and thermal history dependence of the coordination state of B atoms. Here, we report a new empirical interatomic potential that shows a good transferability over a wide range of borosilicate glasses--ranging from pure silicate to pure borate end members--while relying on a simple formu…
▽ More
Borosilicate glasses are traditionally challenging to model using atomic scale simulations due to the composition and thermal history dependence of the coordination state of B atoms. Here, we report a new empirical interatomic potential that shows a good transferability over a wide range of borosilicate glasses--ranging from pure silicate to pure borate end members--while relying on a simple formulation and a constant set of energy parameters. In particular, we show that our new potential accurately predicts the compositional dependence of the average coordination number of boron atoms, glass density, overall short-range and medium-range order structure, and shear viscosity values for several borosilicate glasses and liquids. This suggests that our new potential could be used to gain new insights into the structure of a variety of advanced borosilicate glasses to help elucidate composition-structure-property relationships--including in complex nuclear waste immobilization glasses.
△ Less
Submitted 25 March, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
SUNNY-CP and the MiniZinc Challenge
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Jacopo Mauro
Abstract:
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the MiniZinc Ch…
▽ More
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the MiniZinc Challenge---the annual international competition for CP solvers---where it won two gold medals in 2015 and 2016. Under consideration in Theory and Practice of Logic Programming (TPLP)
△ Less
Submitted 5 July, 2017; v1 submitted 26 June, 2017;
originally announced June 2017.
-
Cooling-Rate Effects in Sodium Silicate Glasses: Bridging the Gap between Molecular Dynamics Simulations and Experiments
Authors:
Xin Li,
Weiying Song,
Kai Yang,
N M Anoop Krishnan,
Bu Wang,
Morten M. Smedskjaer,
John C. Mauro,
Gaurav Sant,
Magdalena Balonis,
Mathieu Bauchy
Abstract:
Although molecular dynamics (MD) simulations are commonly used to predict the structure and properties of glasses, they are intrinsically limited to short time scales, necessitating the use of fast cooling rates. It is therefore challenging to compare results from MD simulations to experimental results for glasses cooled on typical laboratory time scales. Based on MD simulations of a sodium silica…
▽ More
Although molecular dynamics (MD) simulations are commonly used to predict the structure and properties of glasses, they are intrinsically limited to short time scales, necessitating the use of fast cooling rates. It is therefore challenging to compare results from MD simulations to experimental results for glasses cooled on typical laboratory time scales. Based on MD simulations of a sodium silicate glass with varying cooling rate (from 0.01 to 100 K/ps), here we show that thermal history primarily affects the medium-range order structure, while the short-range order is largely unaffected over the range of cooling rates simulated. This results in a decoupling between the enthalpy and volume relaxation functions, where the enthalpy quickly plateaus as the cooling rate decreases, whereas density exhibits a slower relaxation. Finally, we demonstrate that the outcomes of MD simulations can be meaningfully compared to experimental values if properly extrapolated to slower cooling rates.
△ Less
Submitted 11 May, 2017; v1 submitted 26 April, 2017;
originally announced April 2017.
-
Dynamic Choreographies: Theory And Implementation
Authors:
Mila Dalla Preda,
Maurizio Gabbrielli,
Saverio Giallorenzo,
Ivan Lanese,
Jacopo Mauro
Abstract:
Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder. We present a choreographic approach for programming updatable, distributed applications. We define a choreography language, called Dynamic Interaction-Oriented Choreography (AIOC), that allows the programmer to s…
▽ More
Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder. We present a choreographic approach for programming updatable, distributed applications. We define a choreography language, called Dynamic Interaction-Oriented Choreography (AIOC), that allows the programmer to specify, from a global viewpoint, which parts of the application can be updated. At runtime, these parts may be replaced by new AIOC fragments from outside the application. AIOC programs are compiled, generating code for each participant in a process-level language called Dynamic Process-Oriented Choreographies (APOC). We prove that APOC distributed applications generated from AIOC specifications are deadlock free and race free and that these properties hold also after any runtime update. We instantiate the theoretical model above into a programming framework called Adaptable Interaction-Oriented Choreographies in Jolie (AIOCJ) that comprises an integrated development environment, a compiler from an extension of AIOCs to distributed Jolie programs, and a runtime environment to support their execution.
△ Less
Submitted 6 April, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Nano-Ductility in Silicate Glasses is Driven by Topological Heterogeneity
Authors:
Bu Wang,
Yingtian Yu,
Mengyi Wang,
John C. Mauro,
Mathieu Bauchy
Abstract:
The existence of nanoscale ductility during the fracture of silicate glasses remains controversial. Here, based on molecular dynamics simulations coupled with topological constraint theory, we show that nano-ductility arises from the spatial heterogeneity of the atomic network's rigidity. Specifically, we report that localized floppy modes of deformation in under-constrained regions of the glass e…
▽ More
The existence of nanoscale ductility during the fracture of silicate glasses remains controversial. Here, based on molecular dynamics simulations coupled with topological constraint theory, we show that nano-ductility arises from the spatial heterogeneity of the atomic network's rigidity. Specifically, we report that localized floppy modes of deformation in under-constrained regions of the glass enable plastic deformations of the network, resulting in permanent change in bond configurations. Ultimately, these heterogeneous plastic events percolate, thereby resulting in a non-brittle mode of fracture. This suggests that nano-ductility is intrinsic to multi-component silicate glasses having nanoscale heterogeneities.
△ Less
Submitted 25 October, 2015; v1 submitted 17 May, 2015;
originally announced May 2015.
-
A Multicore Tool for Constraint Solving
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Jacopo Mauro
Abstract:
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem. In this paper we introduce sunny-cp2: the first parallel CP portfolio solver that enables a dynamic, cooperative, and simultaneous execution of its solvers in a multicore setting. It incorporates state…
▽ More
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem. In this paper we introduce sunny-cp2: the first parallel CP portfolio solver that enables a dynamic, cooperative, and simultaneous execution of its solvers in a multicore setting. It incorporates state-of-the-art solvers, providing also a usable and configurable framework. Empirical results are very promising. sunny-cp2 can even outperform the performance of the oracle solver which always selects the best solver of the portfolio for a given problem.
△ Less
Submitted 30 April, 2015; v1 submitted 13 February, 2015;
originally announced February 2015.
-
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
Authors:
Mila Dalla Preda,
Saverio Giallorenzo,
Ivan Lanese,
Jacopo Mauro,
Maurizio Gabbrielli
Abstract:
We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to…
▽ More
We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a solid theory that ensures applications to be deadlock-free by construction also after adaptation. We describe the architecture of AIOCJ, the design of the AIOC language, and an empirical validation of the framework.
△ Less
Submitted 10 July, 2014; v1 submitted 3 July, 2014;
originally announced July 2014.
-
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
Authors:
Mila Dalla Preda,
Maurizio Gabbrielli,
Saverio Giallorenzo,
Ivan Lanese,
Jacopo Mauro
Abstract:
Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC…
▽ More
Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, generating code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates.
△ Less
Submitted 31 March, 2015; v1 submitted 3 July, 2014;
originally announced July 2014.
-
SUNNY: a Lazy Portfolio Approach for Constraint Solving
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Jacopo Mauro
Abstract:
*** To appear in Theory and Practice of Logic Programming (TPLP) ***
Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between different solvers in order to create a globally better solver. In this paper we present SUNNY: a simple and flexible algorithm that takes advantage of a portfolio of constraint solvers in order to compute --- without learnin…
▽ More
*** To appear in Theory and Practice of Logic Programming (TPLP) ***
Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between different solvers in order to create a globally better solver. In this paper we present SUNNY: a simple and flexible algorithm that takes advantage of a portfolio of constraint solvers in order to compute --- without learning an explicit model --- a schedule of them for solving a given Constraint Satisfaction Problem (CSP). Motivated by the performance reached by SUNNY vs. different simulations of other state of the art approaches, we developed sunny-csp, an effective portfolio solver that exploits the underlying SUNNY algorithm in order to solve a given CSP. Empirical tests conducted on exhaustive benchmarks of MiniZinc models show that the actual performance of SUNNY conforms to the predictions. This is encouraging both for improving the power of CSP portfolio solvers and for trying to export them to fields such as Answer Set Programming and Constraint Logic Programming.
△ Less
Submitted 13 May, 2014; v1 submitted 13 November, 2013;
originally announced November 2013.
-
An Enhanced Features Extractor for a Portfolio of Constraint Solvers
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Jacopo Mauro
Abstract:
Recent research has shown that a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers. The solver selection is usually done by means of (un)supervised learning techniques which exploit features extracted from the problem specification. In this paper we present an useful and flexible framework that is able to extract an extensive…
▽ More
Recent research has shown that a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers. The solver selection is usually done by means of (un)supervised learning techniques which exploit features extracted from the problem specification. In this paper we present an useful and flexible framework that is able to extract an extensive set of features from a Constraint (Satisfaction/Optimization) Problem defined in possibly different modeling languages: MiniZinc, FlatZinc or XCSP. We also report some empirical results showing that the performances that can be obtained using these features are effective and competitive with state of the art CSP portfolio techniques.
△ Less
Submitted 1 April, 2014; v1 submitted 1 August, 2013;
originally announced August 2013.
-
A First-Passage Kinetic Monte Carlo Method for Reaction-Drift-Diffusion Processes
Authors:
Ava J. Mauro,
Jon Karl Sigurdsson,
Justin Shrake,
Paul J. Atzberger,
Samuel A. Isaacson
Abstract:
Stochastic reaction-diffusion models are now a popular tool for studying physical systems in which both the explicit diffusion of molecules and noise in the chemical reaction process play important roles. The Smoluchowski diffusion-limited reaction model (SDLR) is one of several that have been used to study biological systems. Exact realizations of the underlying stochastic process described by th…
▽ More
Stochastic reaction-diffusion models are now a popular tool for studying physical systems in which both the explicit diffusion of molecules and noise in the chemical reaction process play important roles. The Smoluchowski diffusion-limited reaction model (SDLR) is one of several that have been used to study biological systems. Exact realizations of the underlying stochastic process described by the SDLR model can be generated by the recently proposed First-Passage Kinetic Monte Carlo (FPKMC) method. This exactness relies on sampling analytical solutions to one and two-body diffusion equations in simplified protective domains.
In this work we extend the FPKMC to allow for drift arising from fixed, background potentials. As the corresponding Fokker-Planck equations that describe the motion of each molecule can no longer be solved analytically, we develop a hybrid method that discretizes the protective domains. The discretization is chosen so that the drift-diffusion of each molecule within its protective domain is approximated by a continuous-time random walk on a lattice. New lattices are defined dynamically as the protective domains are updated, hence we will refer to our method as Dynamic Lattice FPKMC or DL-FPKMC. We focus primarily on the one-dimensional case in this manuscript, and demonstrate the numerical convergence and accuracy of our method in this case for both smooth and discontinuous potentials. We also present applications of our method, which illustrate the impact of drift on reaction kinetics.
△ Less
Submitted 24 September, 2013; v1 submitted 4 February, 2013;
originally announced February 2013.
-
An Empirical Evaluation of Portfolios Approaches for solving CSPs
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Jacopo Mauro
Abstract:
Recent research in areas such as SAT solving and Integer Linear Programming has shown that the performances of a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers. We report an empirical evaluation and comparison of portfolio approaches applied to Constraint Satisfaction Problems (CSPs). We compared models developed on top of…
▽ More
Recent research in areas such as SAT solving and Integer Linear Programming has shown that the performances of a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers. We report an empirical evaluation and comparison of portfolio approaches applied to Constraint Satisfaction Problems (CSPs). We compared models developed on top of off-the-shelf machine learning algorithms with respect to approaches used in the SAT field and adapted for CSPs, considering different portfolio sizes and using as evaluation metrics the number of solved problems and the time taken to solve them. Results indicate that the best SAT approaches have top performances also in the CSP field and are slightly more competitive than simple models built on top of classification algorithms.
△ Less
Submitted 4 January, 2014; v1 submitted 4 December, 2012;
originally announced December 2012.
-
Solving XCSP problems by using Gecode
Authors:
Massimo Morara,
Jacopo Mauro,
Maurizio Gabbrielli
Abstract:
Gecode is one of the most efficient libraries that can be used for constraint solving. However, using it requires dealing with C++ programming details. On the other hand several formats for representing constraint networks have been proposed. Among them, XCSP has been proposed as a format based on XML which allows us to represent constraints defined either extensionally or intensionally, permits g…
▽ More
Gecode is one of the most efficient libraries that can be used for constraint solving. However, using it requires dealing with C++ programming details. On the other hand several formats for representing constraint networks have been proposed. Among them, XCSP has been proposed as a format based on XML which allows us to represent constraints defined either extensionally or intensionally, permits global constraints and has been the standard format of the international competition of constraint satisfaction problems solvers. In this paper we present a plug-in for solving problems specified in XCSP by exploiting the Gecode solver. This is done by dynamically translating constraints into Gecode library calls, thus avoiding the need to interact with C++.
△ Less
Submitted 28 December, 2011;
originally announced December 2011.
-
Decidability properties for fragments of CHR
Authors:
Maurizio Gabbrielli abd Jacopo Mauro,
Maria Chiara Meo,
Jon Sneyers
Abstract:
We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols (of arity >0). Both languages allow the use of the = built-in in the body of rules, thus are built on a host language that supports unification. However each imposes one further restriction. The first CHR dialect allows…
▽ More
We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols (of arity >0). Both languages allow the use of the = built-in in the body of rules, thus are built on a host language that supports unification. However each imposes one further restriction. The first CHR dialect allows only range-restricted rules, that is, it does not allow the use of variables in the body or in the guard of a rule if they do not appear in the head. We show that the existence of an infinite computation is decidable for this dialect. The second dialect instead limits the number of atoms in the head of rules to one. We prove that in this case, the existence of a terminating computation is decidable. These results show that both dialects are strictly less expressive than Turing Machines. It is worth noting that the language (without function symbols) without these restrictions is as expressive as Turing Machines.
△ Less
Submitted 26 July, 2010;
originally announced July 2010.