Comp 312: Production Programming

Compiled by Robert "Corky" Cartwright

In this edition of the course, we emphasize program refactoring and patterns for avoiding synchronization errors in concurrent programs.

See the Course Information page for a further overview.

Documents Discussed in Class

• Thread Synchronization Policies in DrJava (doc), (pdf)
• JavaPLT Coding Standards

Recommended Texts

• Brian Goetz, et al. Java Concurrency in Practice, Addison-Wesley, 2006.
• Joshua Kerievsky. Refactoring to Patterns, Addison-Wesley, 2004.
• Ron Jeffries, Ann Anderson, and Chet Hendrickson. Extreme Programming Installed, Addison-Wesley, 2001.
• Joshua Bloch. Effective Java, Addison-Wesley, 2001.

References

• Doug Lea. Concurrent Programming in Java: Design Principles and Patterns (2nd Edition), Addision-Wesley, 1999. (Online Book Supplement)
• Eric Allen. Bug Patterns in Java, APress, 2002.
• Martin Folwer. Refactoring: Improving the Design of Existing Code, Addison-Wesley, 1999.
• Andrew Hunt, David Thomas. The Pragmatic Programmer: From Journeyman to Master, Addison-Wesley, 2000.

Other Documents

Java

• The Java Language Specification, Third Edition (pdf)
• Java 5.0 API Specification
• JDK 5 tools documentation
• Sun's Java Tutorials

Generics

• Eric Allen's Tutorial on Generics (Part 1), (Part 2), (Part 3), (Part 4)
• Gilad Bracha's Generics Tutorial (pdf)
• 1998 GJ Technical Paper (pdf)
• 1998 GJ Tutorial (pdf)

Concurrency

• Thread Synchronization Policies in DrJava (doc), (pdf)
• JSR 133 FAQ presents an overview of the Java memory model
• Model Checking Concurrent Programs (by Ian Barland, Moshe Vardi, and John Greiner)
• SPIN: On-the-Fly LTL Model Checking
• Spin Implementations of the "Dining Philosophers" (by Mathias Ricken):
  • Failed attempt: No locks
  • Failed attempt: No locks, with assertions that show the errors
  • Failed attempt: A lock for every fork
  • Failed attempt: A lock for every other fork
  • Successful attempt: Locks acquired in total order, released in reverse order
  • Successful attempt: Locks acquired in total order, released in same order

Programming Practice

• "Everything I know about programming, I learned in kindergarten." (pdf)
• Notes on Object-Oriented Design (pdf), (ps)
• JavaPLT Coding Standards

Types & Logic

• Notes on type systems (Part 1), (Part 2), (Part 3), (Part 4), (Part 5)
• Typing Ruels for IPLC (ps)
• Hoare's Logic (Part 1, ps), (Part 2, ps)
• Sample Proof in Hoare's Logic (ps)
• Proof Sketch involving arrays in Hoare's Logic (ps)
• Paper on First Order Programing Logic (ps)
• Notes on First Order Programing Logic (ps)
• Sample Proof in FOPL
• Notes on Reasoning about Higher Order Data (ps)
• Constructive Data Type Definitions (ps)
• Comp 607: Automated Program Verification (by Ian Barland, Moshe Vardi, and John Greiner)

Old Notes

• Lecture 1: Course Overview and Culture (ppt)
• Code examples

Research

• NextGen extension of GJ (OOPSLA 1998) (pdf)
• NextGen extension of GJ (WCGP 2002) (pdf)
• Why NextGen? (pdf)
• Fast Allocation and Deallocation of Memory Based on Object Lifetimes (pdf)
• Language Support for Regions (ps)