Todo List

File buffer.c

Move circular buffer management code from src/xcalls/x_read_pipe.c and src/xcalls/x_sendmsg.c into this file.

Member _TXC_global_shutdown

Destroy all library objects.

File koa.c

This lock might be unnecessary.

File koa.c

Relax aliasing in favor of concurrency.

Member x_recvmsg

Find which flags of recvmsg can be used with x_recvmsg?

Member x_sendmsg

Find which flags of sendmsg can be used with x_sendmsg?

Member x_socket

Implement SOCK_STREAM.

File syscalls.h

Use lazy symbol evaluation for system call names: handle = dlopen("/lib/libc.so.6", RTLD_LAZY); dlsym(handle, name);

File errno.h

Modify the public API implementation to map internal error return codes to the error codes defined here.

File pool.h

Consider a scalable multithreaded generic allocator such as Hoard.

File logtm.h

Implement LogTM wrapper functions.

File tls-simple.h

Integrate it into the xCalls' library generic thread descriptor.

File xcalls.h

Implement x_send by reusing code of x_sendmsg.

Implement x_recv by reusing code of x_recvmsg.

---