bookmarks (hide)20
- In an earlier post I mentioned that one goal of the new introductory curriculum at Carnegie Mellon is to teach parallelism as the general case of computing, rather than an esoteric, specialized subject for advanced students. Many people are incredulous when I tell them this, because it immediately conjures in their mind the myriad complexities…
- Discusses a way to separate/split the object heaps of browsers windows. Related to encapsulation and locality.
- I recently diagnosed the root cause of a concurrency bug, CR6822370, and thought it sufficiently interesting to share the details. (CR 6822370 actually represents a cluster of bugs that are now thought to be related by a common underlying issue). Briefly, we have a lost wakeup bug in the native C++ Parker::park() platform-specific infrastructure code that implements java.util.concurrent.LockSupport.park(). The lost wakeup arises from a race that itself arises because of architectural reordering that in turn occurs because of missing memory barrier instructions. The lost wakeup may manifest as various 'hangs' or instances of progress failure.
publications (hide)1446
- ACM, (Oct 24, 2023)
- MIT Press, (February 1986)
- The Art, Science, and Engineering of Programming, 8 (2): 1--34 (October 2023)
- Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, page 1--14. ACM, (October 2023)
- Proceedings of the ACM on Programming Languages, 7 (OOPSLA2): 318--346 (October 2023)
- ACM SIGARCH Computer Architecture News, 12 (3): 188--197 (January 1984)
- Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, page 367--384. ACM, (October 2008)
- 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), Boston, MA, USENIX Association, (July 2023)
- Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, page 56--68. IBM Press, (1995)
- 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), page 393--403. IEEE, (May 2017)
- Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, page 433--450. ACM, (October 2015)
- Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, (June 2019)
- SMLI TR-98-70. Sun Microsystems, (December 1998)
- Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, page 187--197. ACM, (June 2010)
- Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, ACM, (October 2004)
- Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, ACM, (August 2014)
- Proceedings of the ACM International Conference on Object-Oriented Programming Systems Languages and Applications, page 774--789. ACM, (October 2010)
- The Art, Science, and Engineering of Programming, (July 2018)
- The Art, Science, and Engineering of Programming, (March 2018)
- ANU Technical Report, TR-CS-08-01. (2008)
