Search results

Create the page "Blocking users" on this wiki! See also the search results found.

• Rodin Index Design
  Of course, the database will change when users edit their models. We therefore must define a policy for updating the inde ...e them for later processing by the indexing thread. This is done through a blocking queue.
  14 KB (2,204 words) - 12:58, 12 October 2009
• D32 Code generation
  ** ProcedureDef - Identifies an event that maps to a (potentially blocking) subroutine definition. Event guards are implemented as a conditional wait; == For Users ==
  15 KB (2,298 words) - 15:08, 27 January 2011