+static void write_to_locked_log(char *lock_types[]) {
+ remove_logfile();
+ ex_t e1 = write_to_tl_append("begin\n");
+ FILE *f = fopen(FILENAME, "ae");
+ if (f == NULL)
+ die_err("Couldn't open file for locking");
+ for (int i = 0; lock_types[i]; i++)
+ take_lock(f, lock_types[0]);
+ pthread_t unlock_thread;
+ int create_ret =
+ pthread_create(&unlock_thread, NULL, &release_lock_after_delay, f);
+ if (create_ret != 0) {
+ errno = create_ret;
+ die_err("Couldn't start thread");
+ }
+ ex_t e2 = write_to_tl_append("delayed\n");
+ int join_ret = pthread_join(unlock_thread, NULL);
+ if (join_ret != 0) {
+ errno = join_ret;
+ die_err("Couldn't join thread");
+ }
+ verify_log_contents((ex_t[]){e1, e2, END});
+}
+
+static void write_concurrently() {
+ remove_logfile();
+ const int PARALLELISM = 250;
+ pthread_t threads[PARALLELISM];
+ pthread_rwlock_t start_signal;
+ pthread_rwlock_init(&start_signal, NULL);
+ for (int i = 0; i < PARALLELISM; i++) {
+ int create_ret =
+ pthread_create(&threads[i], NULL, &writer_thread, &start_signal);
+ if (create_ret != 0) {
+ errno = create_ret;
+ die_err("Couldn't start thread");
+ }
+ }
+ pthread_rwlock_unlock(&start_signal);
+ ex_t results[PARALLELISM + 1];
+ for (int i = 0; i < PARALLELISM; i++) {
+ ex_t *ex;
+ int join_ret = pthread_join(threads[i], (void **)&ex);
+ if (join_ret != 0) {
+ errno = join_ret;
+ die_err("Couldn't join thread");
+ }
+ results[i] = *ex;
+ free(ex);
+ }
+ results[PARALLELISM] = END;
+ verify_log_contents_unordered(results);
+}
+