search

cs136 / seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.
GNU General Public License v3.0
38 stars 19 forks source link

Potential deadlocks in locking code #624

Closed e45lee closed 7 years ago

e45lee commented 7 years ago

As killing a Racket thread does not clean up any semaphores its holding onto there is a possible deadlock situation when the syncing code is interrupted (via a refresh, which kills the thread).