Naming of Mutex

[ShaleXIONG]

Is there a particular reason the mutex is named SgxMutex rather than the standard name Mutex from the std? The name difference is particularly annoying when we want to use the same code compile to a standard Linux process and sgx application.

[dingelish]

Mutex roots at os kernel provided primitives (like futex). But SgxMutex does not root at it. It's completely two different implementation with different assumptions (but with similar APIs)