Recent site activity

Meetings‎ > ‎

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

posted Dec 3, 2008, 12:50 PM by Likai Liu
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
Speaker: Hongwei Xi
Slides: TBA
Comments