solaris 2 is an example of dash multithreading model