/** * @brief Resets a @p mailbox_t object. * @details All the waiting threads are resumed with status @p MSG_RESET and * the queued messages are lost. * @post The mailbox is in reset state, all operations will fail and * return @p MSG_RESET until the mailbox is enabled again using * @p chMBResumeX(). * * @param[in] mbp the pointer to an initialized @p mailbox_t object * * @api */ void chMBReset(mailbox_t *mbp) { chSysLock(); chMBResetI(mbp); chSchRescheduleS(); chSysUnlock(); }
static void test_008_002_execute(void) { msg_t msg1, msg2; unsigned i; /* [8.2.1] Testing the mailbox size.*/ test_set_step(1); { test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "wrong size"); } /* [8.2.2] Resetting the mailbox, conditions are checked, no errors expected.*/ test_set_step(2); { chSysLock(); chMBResetI(&mb1); chSysUnlock(); test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "not empty"); test_assert_lock(chMBGetUsedCountI(&mb1) == 0, "still full"); test_assert_lock(mb1.buffer == mb1.wrptr, "write pointer not aligned to base"); test_assert_lock(mb1.buffer == mb1.rdptr, "read pointer not aligned to base"); } /* [8.2.3] Filling the mailbox using chMBPostI() and chMBPostAheadI() once, no errors expected.*/ test_set_step(3); { for (i = 0; i < MB_SIZE - 1; i++) { chSysLock(); msg1 = chMBPostI(&mb1, 'B' + i); chSysUnlock(); test_assert(msg1 == MSG_OK, "wrong wake-up message"); } chSysLock(); msg1 = chMBPostAheadI(&mb1, 'A'); chSysUnlock(); test_assert(msg1 == MSG_OK, "wrong wake-up message"); } /* [8.2.4] Testing intermediate conditions. Data pointers must be aligned, semaphore counters are checked.*/ test_set_step(4); { test_assert_lock(chMBGetFreeCountI(&mb1) == 0, "still empty"); test_assert_lock(chMBGetUsedCountI(&mb1) == MB_SIZE, "not full"); test_assert_lock(mb1.rdptr == mb1.wrptr, "pointers not aligned"); } /* [8.2.5] Emptying the mailbox using chMBFetchI(), no errors expected.*/ test_set_step(5); { for (i = 0; i < MB_SIZE; i++) { chSysLock(); msg1 = chMBFetchI(&mb1, &msg2); chSysUnlock(); test_assert(msg1 == MSG_OK, "wrong wake-up message"); test_emit_token(msg2); } test_assert_sequence("ABCD", "wrong get sequence"); } /* [8.2.6] Posting and then fetching one more message, no errors expected.*/ test_set_step(6); { msg1 = chMBPost(&mb1, 'B' + i, TIME_INFINITE); test_assert(msg1 == MSG_OK, "wrong wake-up message"); msg1 = chMBFetch(&mb1, &msg2, TIME_INFINITE); test_assert(msg1 == MSG_OK, "wrong wake-up message"); } /* [8.2.7] Testing final conditions. Data pointers must be aligned to buffer start, semaphore counters are checked.*/ test_set_step(7); { test_assert_lock(chMBGetFreeCountI(&mb1) == MB_SIZE, "not empty"); test_assert_lock(chMBGetUsedCountI(&mb1) == 0, "still full"); test_assert(mb1.buffer == mb1.wrptr, "write pointer not aligned to base"); test_assert(mb1.buffer == mb1.rdptr, "read pointer not aligned to base"); } }