Non-perturbative renormalization of lattice four-fermion operators without power subtractions

A general nonperturbative analysis of the renormalization properties of Delta I = 3/2 four-fermion operators in the framework of lattice regularization with Wilson fermions is presented. We discuss the nonperturbative determination of the operator renormalization constants in the lattice regularization independent (RI or MOM) scheme. We also discuss the determination of the finite lattice subtraction coefficients from Ward identities. We prove that, at large external virtualities, the determination of the lattice mixing coefficients, obtained using the RI renormalization scheme, is equivalent to that based on Ward identities, in the continuum and chiral limits. As a feasibility study of our method, we compute the mixing matrix at several renormalization scales, for three Values of the lattice coupling beta, using the Wilson and tree-level improved SW-Clover actions

A Formal Approach to Microservice Architecture Deployment *

International audienceFollowing previous work on the automated deployment of componentbased applications, we present a formal model specifically tailored for reasoning on the deployment of microservice architectures. The first result that we present is a formal proof of decidability of the problem of synthesizing optimal deployment plans for microservice architectures, a problem which was proved to be undecidable for generic component-based applications. Then, given that such proof translates the deployment problem into a constraint satisfaction problem, we present the implementation of a tool that, by exploiting state-of-the-art constraint solvers, can be used to actually synthesize optimal deployment plans. We evaluate the applicability of our tool on a realistic microservice architecture taken from the literature

On the Thermodynamic Limit in Random Resistors Networks

We study a random resistors network model on a euclidean geometry \bt{Z}^d. We formulate the model in terms of a variational principle and show that, under appropriate boundary conditions, the thermodynamic limit of the dissipation per unit volume is finite almost surely and in the mean. Moreover, we show that for a particular thermodynamic limit the result is also independent of the boundary conditions.Comment: 14 pages, LaTeX IOP journal preprint style file `ioplppt.sty', revised version to appear in Journal of Physics

Microservice Dynamic Architecture-Level Deployment Orchestration

International audienceWe 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

Microservice Dynamic Architecture-Level Deployment Orchestration

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