| 223 | }; |
| 224 | |
| 225 | void ordering_first(void* arg) { |
| 226 | auto* ctx = reinterpret_cast<OrderingArgs*>(arg); |
| 227 | (void)ctx->mtx->Lock(); |
| 228 | (void)sys_sleep(100); |
| 229 | ctx->sequence->store(ctx->task_id); |
| 230 | (void)ctx->mtx->UnLock(); |
| 231 | sys_exit(0); |
| 232 | } |
| 233 | |
| 234 | void ordering_second(void* arg) { |
| 235 | auto* ctx = reinterpret_cast<OrderingArgs*>(arg); |