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 covers the following topics: Shared Variable Programming,
Proof Outline Logic for concurrent programs, Mutual exclusion and Petersen's
algorithm, Barrier synchronization and flag synchronization, Semaphores,
Monitors, Distributed Programming, Remote Procedure Call and RMI, Transactional
memory.