[klee-dev] Dummy pthread library?

[Alastair Reid]

Is there a dummy pthread library that I can use with single-threaded
programs that only use a single thread but are linked against thread-safe
libraries (i.e., threads that call pthread_* functions).

I am 99.9% sure that I don't need any actual thread support - just an
implementation that pretends to support a single thread.
I'm guessing that a dummy library would mostly consist of a bunch of
functions that return constant values because there is only one thread, no
lock contention, etc.
And I'm also guessing that somebody has already implemented such a library.

--
Alastair Reid

ps The functions that I need (as reported when I run KLEE) are:

  pthread_attr_destroy
  pthread_attr_getstack
  pthread_attr_init
  pthread_cond_destroy
  pthread_cond_init
  pthread_cond_signal
  pthread_cond_wait
  pthread_condattr_destroy
  pthread_condattr_init
  pthread_condattr_setclock
  pthread_getattr_np
  pthread_getspecific
  pthread_key_create
  pthread_key_delete
  pthread_mutex_destroy
  pthread_mutex_init
  pthread_mutex_lock
  pthread_mutex_unlock
  pthread_mutexattr_destroy
  pthread_mutexattr_init
  pthread_mutexattr_settype
  pthread_rwlock_rdlock
  pthread_rwlock_unlock
  pthread_rwlock_wrlock
  pthread_self
  pthread_setspecific
-------------- next part --------------
HTML attachment scrubbed and removed