How to assgin a type to the UNIX system call fork?

Post date: Dec 3, 2008 8:50:20 PM

The system call [fork] is *the* mechanism in UNIX to support concurrency. In this talk, I will present some types I assigned to fork (or variants of fork) in the past and explain the rationale behind these types. Also, I will talk about assigning a type to pthread_create. If time permits, we may have a discussion on vfork at the end.

Date: December 3, 2008