From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 12 Feb 2011 18:03:53 +0000 (-0800)
Subject: thread: Properly protect 'all_list' around insertion.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=09fa5c11aff62bd728d4fe8de28a7abaf252fed3;hp=09fa5c11aff62bd728d4fe8de28a7abaf252fed3

thread: Properly protect 'all_list' around insertion.

Reported by Francis Russell <fpr02@doc.ic.ac.uk>.
---