programming language design

problem with wake-one semantics and asynchronous exceptions

Author: Andrew Main (Zefram) <zefram@fysh.org>. Date: 2005-09-14. Abstract:

A large class of popular synchronisation algorithms is unsafe in the presence of asynchronous exceptions. This is attributable to the semantics of condition variables of the type described by Hoare and now very widely implemented. It is difficult to write async-safe code using these condition variables. A modification of monitor semantics is presented which yields a class of synchronisation primitives that makes it much easier to write correct async-safe code.

Available as plain text.

Lisp on Parrot

Presentation by Zefram at the London Perl Workshop. Date: 2013-11-30.

Video at YouTube. Transcript of the live demo.

the emperor's new programming language

A discussion of design problems in the Perl 6 programming language, shortly before its Christmas release. Presentation by Zefram at the London Perl Workshop. Date: 2015-12-12.

Video at YouTube. Transcript of the live demo.