Code

Read-Write Locks#735

Code

Merged

vyzo merged 10 commits intomastermighty-gerbils/gerbil:masterfrom rwlockmighty-gerbils/gerbil:rwlockCopy head branch name to clipboardJul 22, 2023

+286

Commits

Commits on Jul 21, 2023

• read-write locks

  vyzo

  committed
  1658d2d

  Copy full SHA for 1658d2d

• add to build-spec

  vyzo

  committed
  a82e41b

  Copy full SHA for a82e41b

• build-deps

  vyzo

  committed
  782eea8

  Copy full SHA for 782eea8

Commits on Jul 22, 2023

• make with-rwlock tolerant of handler exceptions.

  vyzo

  committed
  03e0c7f

  Copy full SHA for 03e0c7f

• document rwlocks

  vyzo

  committed
  0adf7d3

  Copy full SHA for 0adf7d3

• fix rwlock documentation

  Show description for 0ac33a9
  vyzo

  committed
  0ac33a9

  Copy full SHA for 0ac33a9

• fix locking

  Show description for 6305173
  vyzo

  committed
  6305173

  Copy full SHA for 6305173

• avoid lock contention when there are many readers

  Show description for 3b3df5d
  vyzo

  committed
  3b3df5d

  Copy full SHA for 3b3df5d

• add read/write lock test

  Show description for af21da8
  vyzo

  committed
  af21da8

  Copy full SHA for af21da8

• name the synchonization objects nicely

  Show description for 76a2aec
  vyzo

  committed
  76a2aec

  Copy full SHA for 76a2aec