Lines Matching refs:should

288 			"Context should match unslid location of mutex in kernel memory");
400 …T_EXPECT_EQ(context, unslid_krwlck_address, "Context should match unslid location of rwlock in ker…
528 …ret = pthread_create(&grabbing, NULL, kmutex_grabbing_thread, NULL); // thread should immediately …
541 	T_EXPECT_EQ(len, 2, "There should only be two blocking threads");
546 …T_EXPECT_EQ(curr->wait_type, kThreadWaitKernelMutex, "Wait type should match expected KernelMutex …
547 …T_EXPECT_EQ(curr->owner, thread_id, "Thread ID of blocking thread should match 'owner' field in st…
553 	kmutex_action(KMUTEX_SYSCTL_SIGNAL); // waiting thread should now unblock.
576 …ret = pthread_create(&tid, NULL, sem_grabbing_thread, (void*)&sem); // thread should immediately b…
583 	T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
584 …T_EXPECT_EQ(waitinfo.wait_type, kThreadWaitSemaphore, "Wait type should match expected Semaphore v…
587 	T_EXPECT_EQ(waitinfo.owner, pid, "Owner value should match process ID");
620 …ret = pthread_create(&tid, NULL, msg_blocking_thread, (void*)&test_send_port); // thread should bl…
627 	T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
628 …T_EXPECT_EQ(waitinfo.wait_type, kThreadWaitPortReceive, "Wait type should match expected PortRecei…
639 	T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
640 …T_EXPECT_EQ(waitinfo.wait_type, kThreadWaitPortSend, "Wait type should match expected PortSend val…
646 	msg_recv_helper(test_recv_port); // thread should block until we receive one of its messages
672 	T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
673 …T_EXPECT_EQ(waitinfo.wait_type, kThreadWaitUserLock, "Wait type should match expected UserLock val…
681 …T_EXPECT_EQ(waitinfo.owner, thread_id, "Thread ID of blocking thread should match 'owner' field in…
699 	// this thread should spawn, acquire a kernel rwlock for write, and then wait on a semaphore
703 	// this thread should spawn and try to acquire the same kernel rwlock for read, but block
714 	T_EXPECT_EQ(len, 2, "There should only be two blocking threads");
719 …T_EXPECT_EQ(curr->wait_type, kThreadWaitKernelRWLockRead, "Wait type should match expected KRWLock…
727 …T_EXPECT_EQ(curr->owner, thread_id, "Thread ID of blocking thread should match 'owner' field in st…
733 	krwlck_action(KRWLCK_SYSCTL_SIGNAL); // pthread should now unblock & finish
769 	T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
771 			"Wait type should match expected PThreadMutex value");
779 			"Thread ID of blocking thread should match 'owner' field in stackshot");
781 			"Userspace address of mutex should match 'context' field in stackshot");
805 	T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
807 			"Wait type should match expected PThreadRWLockRead value");
813 			"Userspace address of rwlck should match 'context' field in stackshot");
838 	T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
840 			"Wait type should match expected PThreadCondVar value");
846 			"Userspace address of condvar should match 'context' field in stackshot");
873 		T_EXPECT_EQ(len, 1, "Only one blocking thread should exist");
875 				"Wait type should match expected WaitOnProcess value");
881 			"Process ID of blocking process should match 'owner' field in stackshot");