Sökning: "message-passing concurrency"

Visar resultat 1 - 5 av 10 avhandlingar innehållade orden message-passing concurrency.

  1. 1. Efficient memory management for message-passing concurrency, Part I : Single-threaded execution

    Författare :Jesper Wilhelmsson; Konstantinos Sagonas; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Sammanfattning : Manual memory management is error prone. Some of the errors it causes, in particular memory leaks and dangling pointers, are hard to find. Manual memory management becomes even harder when concurrency enters the picture. LÄS MER

  3. 2. Programming Model and Protocols for Reconfigurable Distributed Systems

    Författare :Cosmin Ionel Arad; Seif Haridi; Gregory Chockler; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; distributed systems; programming model; message-passing concurrency; nested hierarchical composition; reactive components; software architecture; dynamic reconfiguration; multi-core; discrete-event simulation; peer-to-peer; testing; debugging; distributed key-value stores; data replication; consistency; linearizability; network partition tolerance; consistent hashing; self-organization; scalability; elasticity; fault tolerance; consistent quorums;

    Sammanfattning : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. LÄS MER

  4. 3. Language Constructs for Safe Parallel Programming on Multi-Cores

    Författare :Johan Östlund; Tobias Wrigstad; Ludovic Henrio; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Type Systems; Ownership Types; Concurrency; Parallelism; Actors; Active Objects; Structured Parallelism; Data Race-Freedom; Immutability; Uniqueness; Datavetenskap; Computer Science;

    Sammanfattning : The last decade has seen the transition from single-core processors to multi-cores and many-cores. This move has by and large shifted the responsibility from chip manufacturers to programmers to keep up with ever-increasing expectations on performance. LÄS MER

  5. 4. Functional Programming for Embedded Systems

    Författare :Abhiroop Sarkar; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Timing; Concurrency; Functional Programming; Virtual Machine; Language Runtime;

    Sammanfattning : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. LÄS MER

  7. 5. Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management

    Författare :Karl Palmskog; Mads Dam; Rocco De Nicola; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed objects; decentralization; implementation correctness; network protocols; object mobility; Computer Science; Datalogi;

    Sammanfattning : The Internet as of 2014 connects billions of devices, and is expected to connect tens of billions by 2020. To meet escalating requirements, networks must be scalable, easy to manage, and be able to efficiently execute programs and disseminate data. The prevailing use of centralized systems and control in, e.g. LÄS MER