Add a parlib debug_print helper
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 26 Apr 2016 20:28:31 +0000 (16:28 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 May 2016 21:11:15 +0000 (17:11 -0400)
commit7e3cbe3c3afca6e102d6817c36b0bacdb35b4cb9
tree195e5742740387922f32ad5ab4d6d5c00867bdd6
parentbda56f497d0c2bd3ea6a269097afea03e1616274
Add a parlib debug_print helper

Calling printf from vcore context is currently dangerous.  Both call into
glibc, which is what we want, but glibc's locking isn't PDR.  If a uthread
is doing a lot of printing, then we try to print from that vcore in a
handler, then we'll deadlock.  That needs to get fixed.  Until then, we
have this helper.  It also might be useful for other debugging.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/include/parlib/ros_debug.h