Semaphore.dcl 272 Bytes
Newer Older
Rinus Plasmeijer's avatar
Rinus Plasmeijer committed
1 2 3 4 5 6
definition module Semaphore

CreateSemaphore 	:: !Int !Int !Int !{#Char} !*World -> (!Int,!*World);
WaitForSingleObject :: !Int !Int !*World -> (!Int,!*World);
ReleaseSemaphore 	:: !Int !Int !Int !*World -> (!Int,!*World);
CloseHandle 		:: !Int !*World -> (!Int,!*World);