[Barrelfish-users] How to terminate a spanned domain

[Georgios Varisteas]

Hi,

Assume a shared-memory application. Its domain is spanned over multiple kernels. The application terminates and it seems all run smoothly. Trying to re-execute the same app, spanning its domain again over the same kernels, will result in errors similar to the following. The app re-executes normally so I presume the errors are due to the first execution of the same app.

kernel 3: user page fault WHILE DISABLED in 'yspan3': addr 0 IP 46cfc8, error 0x4
kernel 3: user page fault WHILE DISABLED in 'yspan3': addr 46cfe6 IP 46cfe6, error 0x7
kernel 3: user page fault WHILE DISABLED in 'yspan3': addr 46cfe6 IP 46cfe6, error 0x7
kernel 3: generic_handle_user_exception: too many faults, making domain unrunnable
kernel 1: user page fault WHILE DISABLED in 'yspan1': addr 0 IP 46cfc8, error 0x4
kernel 1: user page fault WHILE DISABLED in 'yspan1': addr 46cfe6 IP 46cfe6, error 0x7
kernel 1: user page fault WHILE DISABLED in 'yspan1': addr 46cfe6 IP 46cfe6, error 0x7
kernel 1: generic_handle_user_exception: too many faults, making domain unrunnable
kernel 2: user page fault WHILE DISABLED in 'yspan2': addr 0 IP 46cfc8, error 0x4
kernel 2: user page fault WHILE DISABLED in 'yspan2': addr 46cfe6 IP 46cfe6, error 0x7
kernel 2: user page fault WHILE DISABLED in 'yspan2': addr 46cfe6 IP 46cfe6, error 0x7
kernel 2: generic_handle_user_exception: too many faults, making domain unrunnable

My assumption is that the domain of the app's first execution is not automatically terminated on exit. All threads do exit explicitly (thread_exit()). If I'm correct, is there a way to kill a domain on app exit from userspace (or just make it unrunnable)? If not could any one provide an explanation to this behavior?

cheers,
Georgios Varisteas