The Experts below are selected from a list of 12 Experts worldwide ranked by ideXlab platform

Sartayev Bauyrzhan - One of the best experts on this subject based on the ideXlab platform.

Lafont Ambroise - One of the best experts on this subject based on the ideXlab platform.

  • Signatures and models for syntax and Operational semantics in the presence of variable binding
    2019
    Co-Authors: Lafont Ambroise
    Abstract:

    This thesis deals with the specification and construction of syntax and Operational semantics of a programming language. We work with a general notion of signature for specifying objects of a given category as initial objects in a suitable category of models.This characterization, in the spirit of Initial Semantics, gives a justification of the recursion principle. Languages with variable binding, such as the pure lambda calculus, are monads on the category of sets specified through the classical algebraic signatures. The first extensions to syntaxes with equations that we consider are quotients of these algebraic signatures. They allow, for example, to specify a binary Commutative Operation. But some equations, such as associativity, seem to remain out of reach. We thus introduce the notion of 2-signature, consisting in two parts: a specification of Operations through a usual signature as before, and a set of equations among them. We identify the class of algebraic 2-signatures for which the existence of the associated syntax is guaranteed. Finally, we takle the specification of the Operational semantics of a programming language such as lambda calculus with beta-reduction. To this end, we introduce the notion of reduction monad and their signatures, then we generalize them to get the notion of Operational monad.Comment: doctoral thesi

S.m. Massachusetts Institute Of Technology - One of the best experts on this subject based on the ideXlab platform.

  • Architectural support to exploit commutativity in shared-memory systems
    Massachusetts Institute of Technology, 2016
    Co-Authors: S.m. Massachusetts Institute Of Technology
    Abstract:

    Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.Cataloged from PDF version of thesis.Includes bibliographical references (pages 57-64).Parallel systems are limited by the high costs of communication and synchronization. Exploiting commutativity has historically been a fruitful avenue to reduce traffic and serialization. This is because Commutative Operations produce the same final result regardless of the order they are performed in, and therefore can be processed concurrently and without communication. Unfortunately, software techniques that exploit commutativity, such as privatization and semantic locking, incur high runtime overheads. These overheads offset the benefit and thereby limit the applicability of software techniques. To avoid high overheads, it would be ideal to exploit commutativity in hardware. In fact, hardware already provides much of the functionality that is required to support commutativity For instance, private caches can buffer and coalesce multiple updates. However, current memory hierarchies can understand only reads and writes, which prevents hardware from recognizing and accelerating Commutative Operations. The key insight this thesis develops is that, with minor hardware modifications and minimal extra complexity, cache coherence protocols, the key component of communication and synchronization in shared-memory systems, can be extended to allow local and concurrent Commutative Operations. This thesis presents two techniques that leverage this insight to exploit commutativity in hardware. First, Coup provides architectural support for a limited number of single-instruction Commutative updates, such as addition and bitwise logical Operations. CouP allows multiple private caches to simultaneously hold update-only permission to the same cache line. Caches with update-only permission can locally buffer and coalesce updates to the line, but cannot satisfy read requests. Upon a read request, Coup reduces the partial updates buffered in private caches to produce the final value. Second, CoMMTM is a commutativity-aware hardware transactional memory (HTM) that supports an even broader range of multi-instruction, semantically Commutative Operations, such as set insertions and ordered puts. COMMTM extends the coherence protocol with a reducible state tagged with a user-defined label. Multiple caches can hold a given line in the reducible state with the same label, and transactions can implement arbitrary user-defined Commutative Operations through labeled loads and stores. These Commutative Operations proceed concurrently, without triggering conflicts or incurring any communication. A non-Commutative Operation (e.g., a conventional load or store) triggers a user-defined reduction that merges the different cache lines and may abort transactions with outstanding reducible updates. CouP and CoMMTM reduce communication and synchronization in many challenging parallel workloads. At 128 cores, CouP accelerates state-of-the-art implementations of update-heavy algorithms by up to 2.4x, and COMMTM outperforms a conventional eager-lazy HTM by up to 3.4x and reduces or eliminates wasted work due to transactional aborts.by Guowei Zhang.S.M

Ma Hai - One of the best experts on this subject based on the ideXlab platform.