proj-plbook-plChConcurrencyLinks

Table of Contents for Programming Languages: a survey

Chapter: Links

todo

• http://fileadmin.cs.lth.se/cs/Education/EDAN25/F01.pdf toread looks good
• https://en.wikipedia.org/wiki/Synchronization_%28computer_science%29 todo
• https://en.wikipedia.org/wiki/Category:Concurrency_control
• https://en.wikipedia.org/wiki/Category:Synchronization
• http://www.1024cores.net/home/scalable-architecture/general-recipe
• http://www.cplusplusconcurrencyinaction.com/
• https://en.wikipedia.org/wiki/Concurrency_%28computer_science%29
• https://en.wikipedia.org/wiki/Template:Parallel_computing
• https://en.wikipedia.org/wiki/Category:Distributed_computing_architecture
• https://en.wikipedia.org/wiki/List_of_important_publications_in_concurrent,_parallel,_and_distributed_computing
• Herlihy's "Art of Multiprocessor Programming"
• stuff near the end of http://www.eng.utah.edu/~cs6810/ , http://www.cs.utah.edu/~rajeev/cs7820/pres/
• lots of interesting links to explore: http://yz.mit.edu/notes/Concurrency#massively-paralleldistributed-programming-models http://yz.mit.edu/notes/Distributed
• how to do concurrency in Intel 64 assembly (is this POSIX-specific?): http://davidad.github.io/blog/2014/03/23/concurrency-primitives-in-intel-64-assembly/
• http://videlalvaro.github.io/2015/12/learning-about-distributed-systems.html
  • other surveys are in: https://news.ycombinator.com/item?id=10705400

possible links

not sure if these are essential enough to merit a link, todo check them out:

• http://regal.csep.umflint.edu/~swturner/Classes/csc578/lectures.html http://regal.csep.umflint.edu/~swturner/Classes/csc578/csc578.html (mb)
• http://regal.csep.umflint.edu/~swturner/Classes/csc577/csc577.html (mb)
• http://www.cs.utah.edu/~rajeev/cs7820/pres/08-7820-15.pdf (mb)
• http://www.amazon.com/Distributed-Computing-Principles-Algorithms-Systems/dp/0521189845
• (cite Unify: A scalable, loosely-coupled, distributed shared memory multicomputer)
• Distributed Shared Memory for Large-Scale Dynamic Systems
• http://www.parawiki.org/index.php/Main_Page
• http://www.mypearsonstore.com/bookstore/distributed-systems-principles-and-paradigms-9780132392273?xid=PSED
• http://developer.android.com/training/articles/smp.html
• http://www.diku.dk/~vinter/cc/
• http://research.microsoft.com/en-us/um/people/lamport/pubs/time-clocks.pdf
• http://people.engr.ncsu.edu/efg/506/sum06/lectures/notes.html
• http://www.cs.rit.edu/~pns6910/docs/Distributed%20Shared%20Memory%20Systems/A%20survey%20of%20distributed%20shared%20memory%20systems.pdf
• http://www.cdf.toronto.edu/~csc469h/fall/handouts/nitzberg91.pdf
• Global and high-contention operations: Barriers, reductions, and highly-contended locks. A talk about synchronization and synchronization primitives given in Bill Mark's fine-grained parallelism class. [PDF

• http://lambda-the-ultimate.org/node/3637
• http://clojure.org/concurrent_programming: stm, async agents, sync atoms, dynamic vars, refs. "Clojure is a practical language that recognizes the occasional need to maintain a persistent reference to a changing value and provides 4 distinct mechanisms for doing so in a controlled manner - Vars, Refs, Agents and Atoms" [1]. Vars are thread-local. Refs are STM ("coordinated, synchronous change of multiple locations" [2]). Agents are ?todo; are these actors? ("independent, asynchronous change of individual locations" [3]. Atoms are ?todo; are these atomically accessed data storage locations? "shared, synchronous, independent state" [4]