The implicit-signal monitor is often easier to use and prove correct, but has inherently high execution cost [1]. On the other hand, concurrent languages (like Java) have too low-level synchronization facilities. In the paper we suggest suspending tasks inside a monitor until a composite event expression is fulfilled, but we assume that the notification of an event fulfillment is made explicitly. The linear complexity of the notification algorithm for this solution is proved, and a way to introduce this solution to the Java language (as a synchronization library) is presented.
展开▼
