This PDF covers the following
topics related to Concurrent Programming : On Concurrent Programming, Hello
World!, The Problem of Concurrent Programming, The Harmony Virtual Machine,
Critical Sections, Peterson’s Algorithm, Harmony Methods and Pointers,
Specification, Spinlock, Lock Implementations, Concurrent Data Structures,
Fine-Grained Locking, Testing: Checking Behaviors, Debugging, Conditional
Waiting, Reader/Writer Locks, Bounded Buffer, Split Binary Semaphores,
Starvation, Monitors, Deadlock, Actors and Message Passing, Barrier
Synchronization, Interrupts, Non-Blocking Synchronization, Alternating Bit
Protocol, Leader Election, Transactions and Two Phase Commit, Chain Replication,
Working with Actions, Replicated Atomic Read/Write Register, Distributed
Consensus, Paxos, Needham-Schroeder Authentication Protocol.
This PDF
covers the following topics related to Concurrent Programming in Pharo :
Concurrent programming in Pharo, Studying an example, A simple example, Process,
Process lifetime, Creating processes, First look at ProcessorScheduler, Process
priorities, ProcessScheduler rules, Let us trace better what is happening,
Yielding the computation, Important API, Conclusion Semaphores, Scheduler’s
principles, Some examples of semaphores at work.
This PDF covers the following
topics related to Concurrent Programming : On Concurrent Programming, Hello
World!, The Problem of Concurrent Programming, The Harmony Virtual Machine,
Critical Sections, Peterson’s Algorithm, Harmony Methods and Pointers,
Specification, Spinlock, Lock Implementations, Concurrent Data Structures,
Fine-Grained Locking, Testing: Checking Behaviors, Debugging, Conditional
Waiting, Reader/Writer Locks, Bounded Buffer, Split Binary Semaphores,
Starvation, Monitors, Deadlock, Actors and Message Passing, Barrier
Synchronization, Interrupts, Non-Blocking Synchronization, Alternating Bit
Protocol, Leader Election, Transactions and Two Phase Commit, Chain Replication,
Working with Actions, Replicated Atomic Read/Write Register, Distributed
Consensus, Paxos, Needham-Schroeder Authentication Protocol.
This note is largely
concerned with explicit concurrency, where concurrent behavior is specified by
the program designer. It also includes a brief introduction to
performance-oriented concurrency, where concurrency is used to improve program
performance by taking advantage of hardware support for parallel processing.
Topics covered includes: Nature of Concurrent Programs, Problems in Concurrent
Programs, Properties of Concurrent Programs, Executing Concurrent Programs,
Program Construction and Common Applications.
This note covers the following topics:
Introduction to Concurrency, Trivial Concurrent Programming Examples, Developing
under Windows, Introduction to C, Introduction to C++, Introduction to Java,
Introduction to Ada, Introduction to Perl, Correctness of Concurrent Programs,
Mutual Exclusion, Message Passing, Dining Philosphers, The Enhanced Dining
Philosphers Problem, Java, Threads, Quotes from the JLS on Threading, Ada
Concurrent Programming, Threads in Perl, The Posix Threads (pthreads) Library, A
Programmer's Introduction to Windows, Windows Processes and Threads.