2 * Copyright (C) 2007 Andre Noll <maan@tuebingen.mpg.de>
4 * Licensed under the GPL v2. For licencing details see COPYING.
7 /** \file mood.c Paraslash's mood handling functions. */
26 * Contains statistical data of the currently admissible audio files.
28 * It is used to assign normalized score values to each admissible audio file.
30 struct afs_statistics {
31 /** Sum of num played over all admissible files. */
32 int64_t num_played_sum;
33 /** Sum of last played times over all admissible files. */
34 int64_t last_played_sum;
35 /** Quadratic deviation of num played count. */
36 int64_t num_played_qd;
37 /** Quadratic deviation of last played time. */
38 int64_t last_played_qd;
39 /** Number of admissible files */
42 static struct afs_statistics statistics;
45 * Each line of the current mood corresponds to a mood_item.
48 /** The method this line is referring to. */
49 const struct mood_method *method;
50 /** The data structure computed by the mood parser. */
52 /** The given score value, or zero if none was given. */
54 /** Non-zero if random scoring was requested. */
56 /** Whether the "not" keyword was given in the mood line. */
58 /** The position in the list of items. */
59 struct list_head mood_item_node;
63 * Created from the mood definition by \ref change_current_mood().
65 * When a mood is opened, each line of its definition is investigated, and a
66 * corresponding mood item is produced. Each mood line starts with accept,
67 * deny, or score which determines the type of the mood line. For each such
68 * type a linked list is maintained whose entries are the mood items.
71 /** The name of this mood. */
73 /** The list of mood items of type \p accept. */
74 struct list_head accept_list;
75 /** The list of mood items of type \p deny. */
76 struct list_head deny_list;
77 /** The list of mood items of type \p score. */
78 struct list_head score_list;
82 * If current_mood is NULL then no mood is currently open. If
83 * current_mood->name is NULL, the dummy mood is currently open.
85 static struct mood *current_mood;
88 * Find the position of the most-significant set bit.
90 * Copied and slightly adapted from the linux source tree, version 4.9.39
93 __a_const static uint32_t fls64(uint64_t v)
96 const uint64_t ones = ~(uint64_t)0U;
98 if ((v & (ones << 32)) == 0) {
102 if ((v & (ones << (64 - 16))) == 0) {
106 if ((v & (ones << (64 - 8))) == 0) {
110 if ((v & (ones << (64 - 4))) == 0) {
114 if ((v & (ones << (64 - 2))) == 0) {
118 if ((v & (ones << (64 - 1))) == 0)
124 * Compute the integer square root floor(sqrt(x)).
126 * Taken 2007 from the linux source tree.
128 __a_const static uint64_t int_sqrt(uint64_t x)
130 uint64_t op = x, res = 0, one = 1;
132 one = one << (fls64(x) & ~one);
134 if (op >= res + one) {
135 op = op - (res + one);
145 * Returns true if row matches, false if it does not match. In any case score
146 * and score_arg_sum are set/increased accordingly.
148 static bool get_item_score(struct mood_item *item, const struct afs_info *afsi,
149 const struct afh_info *afhi, const char *path, long *score,
155 *score_arg_sum += item->random_score? 100 : PARA_ABS(item->score_arg);
158 ret = item->method->score_function(path, afsi, afhi,
160 if ((ret < 0 && !item->logical_not) || (ret >= 0 && item->logical_not))
163 if (item->random_score)
164 *score = PARA_ABS(ret) * para_random(100);
166 *score = PARA_ABS(ret) * item->score_arg;
170 /* returns 1 if row admissible, 0 if not, negative on errors */
171 static int row_is_admissible(const struct osl_row *aft_row, struct mood *m,
174 struct mood_item *item;
177 long score_arg_sum = 0, score = 0, item_score;
178 struct afs_info afsi;
179 struct afh_info afhi;
184 ret = get_afsi_of_row(aft_row, &afsi);
187 ret = get_afhi_of_row(aft_row, &afhi);
190 ret = get_audio_file_path_of_row(aft_row, &path);
193 /* reject audio file if it matches any entry in the deny list */
194 list_for_each_entry(item, &m->deny_list, mood_item_node) {
195 match = get_item_score(item, &afsi, &afhi, path, &item_score,
197 if (match) /* not admissible */
202 list_for_each_entry(item, &m->accept_list, mood_item_node) {
203 ret = get_item_score(item, &afsi, &afhi, path, &item_score,
210 /* reject if there is no matching entry in the accept list */
211 if (!match && !list_empty(&m->accept_list))
213 list_for_each_entry(item, &m->score_list, mood_item_node) {
214 match = get_item_score(item, &afsi, &afhi, path, &item_score,
220 score /= score_arg_sum;
225 static void cleanup_list_entry(struct mood_item *item)
227 if (item->method && item->method->cleanup)
228 item->method->cleanup(item->parser_data);
230 free(item->parser_data);
231 list_del(&item->mood_item_node);
235 static void destroy_mood(struct mood *m)
237 struct mood_item *tmp, *item;
241 list_for_each_entry_safe(item, tmp, &m->accept_list, mood_item_node)
242 cleanup_list_entry(item);
243 list_for_each_entry_safe(item, tmp, &m->deny_list, mood_item_node)
244 cleanup_list_entry(item);
245 list_for_each_entry_safe(item, tmp, &m->score_list, mood_item_node)
246 cleanup_list_entry(item);
251 static struct mood *alloc_new_mood(const char *name)
253 struct mood *m = para_calloc(sizeof(struct mood));
255 m->name = para_strdup(name);
256 INIT_LIST_HEAD(&m->accept_list);
257 INIT_LIST_HEAD(&m->deny_list);
258 INIT_LIST_HEAD(&m->score_list);
262 /** The different types of a mood line. */
263 enum mood_line_type {
274 /** Data passed to the parser of a mood line. */
275 struct mood_line_parser_data {
276 /** The mood this mood line belongs to. */
278 /** The line number in the mood definition. */
283 * <accept [with score <score>] | deny [with score <score>] | score <score>>
284 * [if] [not] <mood_method> [options]
285 * <score> is either an integer or "random" which assigns a random score to
288 static int parse_mood_line(char *mood_line, void *data)
290 struct mood_line_parser_data *mlpd = data;
295 enum mood_line_type mlt = ML_INVALID;
296 struct mood_item *mi = NULL;
299 ret = create_argv(mood_line, " \t", &argv);
303 if (!num_words) /* empty line */
306 if (**w == '#') /* comment */
308 if (!strcmp(*w, "accept"))
310 else if (!strcmp(*w, "deny"))
312 else if (!strcmp(*w, "score"))
314 ret = -E_MOOD_SYNTAX;
315 if (mlt == ML_INVALID)
317 mi = para_calloc(sizeof(struct mood_item));
318 if (mlt != ML_SCORE) {
319 ret = -E_MOOD_SYNTAX;
323 if (strcmp(*w, "with"))
328 if (strcmp(*w, "score"))
331 if (mlt == ML_SCORE || !strcmp(*w, "score")) {
332 ret = -E_MOOD_SYNTAX;
336 if (strcmp(*w, "random")) {
337 mi->random_score = 0;
338 ret = para_atoi32(*w, &mi->score_arg);
342 mi->random_score = 1;
344 goto success; /* the line "score random" is valid */
348 ret = -E_MOOD_SYNTAX;
353 if (!strcmp(*w, "if")) {
354 ret = -E_MOOD_SYNTAX;
359 if (!strcmp(*w, "not")) {
360 ret = -E_MOOD_SYNTAX;
367 for (i = 0; mood_methods[i].parser; i++) {
368 if (strcmp(*w, mood_methods[i].name))
372 ret = -E_MOOD_SYNTAX;
373 if (!mood_methods[i].parser)
375 ret = mood_methods[i].parser(num_words - 1 - (w - argv), w,
379 mi->method = &mood_methods[i];
382 if (mlt == ML_ACCEPT)
383 para_list_add(&mi->mood_item_node, &mlpd->m->accept_list);
384 else if (mlt == ML_DENY)
385 para_list_add(&mi->mood_item_node, &mlpd->m->deny_list);
387 para_list_add(&mi->mood_item_node, &mlpd->m->score_list);
389 PARA_DEBUG_LOG("%s entry added, method: %p\n", mlt == ML_ACCEPT? "accept" :
390 (mlt == ML_DENY? "deny" : "score"), mi->method);
397 free(mi->parser_data);
403 static int load_mood(const struct osl_row *mood_row, struct mood **m)
406 struct osl_object mood_def;
407 struct mood_line_parser_data mlpd = {.line_num = 0};
411 ret = mood_get_name_and_def_by_row(mood_row, &mood_name, &mood_def);
416 mlpd.m = alloc_new_mood(mood_name);
417 ret = for_each_line(FELF_READ_ONLY, mood_def.data, mood_def.size,
418 parse_mood_line, &mlpd);
419 osl_close_disk_object(&mood_def);
421 PARA_ERROR_LOG("unable to load mood %s: %s\n", mlpd.m->name,
422 para_strerror(-ret));
423 destroy_mood(mlpd.m);
430 static int check_mood(struct osl_row *mood_row, void *data)
432 struct para_buffer *pb = data;
434 struct osl_object mood_def;
435 struct mood_line_parser_data mlpd = {.line_num = 0};
437 int ret = mood_get_name_and_def_by_row(mood_row, &mood_name, &mood_def);
440 para_printf(pb, "cannot read mood\n");
443 if (!*mood_name) /* ignore dummy row */
445 para_printf(pb, "checking mood %s...\n", mood_name);
446 ret = for_each_line(FELF_READ_ONLY, mood_def.data, mood_def.size,
447 parse_mood_line, &mlpd);
449 para_printf(pb, "mood %s: error in line %u: %s\n", mood_name,
450 mlpd.line_num, para_strerror(-ret));
451 ret = 1; /* don't fail the loop on invalid mood definitions */
453 osl_close_disk_object(&mood_def);
458 * Check all moods for syntax errors.
460 * \param aca Only ->pbout is used for diagnostics.
462 * \return Negative on fatal errors. Inconsistent mood definitions are not
463 * considered an error.
465 int mood_check_callback(struct afs_callback_arg *aca)
467 para_printf(&aca->pbout, "checking moods...\n");
468 return osl(osl_rbtree_loop(moods_table, BLOBCOL_ID, &aca->pbout,
472 static int64_t normalized_value(int64_t x, int64_t n, int64_t sum, int64_t qd)
476 return 100 * (n * x - sum) / (int64_t)int_sqrt(n) / (int64_t)int_sqrt(qd);
479 static long compute_score(struct afs_info *afsi, long mood_score)
481 mood_score -= normalized_value(afsi->num_played, statistics.num,
482 statistics.num_played_sum, statistics.num_played_qd);
483 mood_score -= normalized_value(afsi->last_played, statistics.num,
484 statistics.last_played_sum, statistics.last_played_qd);
485 return mood_score / 3;
488 static int add_afs_statistics(const struct osl_row *row)
491 struct afs_info afsi;
494 ret = get_afsi_of_row(row, &afsi);
498 x = afsi.last_played;
499 s = statistics.last_played_sum;
501 q = (x > s / n)? x - s / n : s / n - x;
502 statistics.last_played_qd += q * q * n / (n + 1);
504 statistics.last_played_sum += x;
507 s = statistics.num_played_sum;
509 q = (x > s / n)? x - s / n : s / n - x;
510 statistics.num_played_qd += q * q * n / (n + 1);
512 statistics.num_played_sum += x;
517 static int del_afs_statistics(const struct osl_row *row)
519 uint64_t n, s, q, a, new_s;
520 struct afs_info afsi;
522 ret = get_afsi_of_row(row, &afsi);
528 memset(&statistics, 0, sizeof(statistics));
532 s = statistics.last_played_sum;
533 q = statistics.last_played_qd;
534 a = afsi.last_played;
536 statistics.last_played_sum = new_s;
537 statistics.last_played_qd = q + s * s / n - a * a
538 - new_s * new_s / (n - 1);
540 s = statistics.num_played_sum;
541 q = statistics.num_played_qd;
544 statistics.num_played_sum = new_s;
545 statistics.num_played_qd = q + s * s / n - a * a
546 - new_s * new_s / (n - 1);
553 * At mood open time we determine the set of admissible files for the given
554 * mood. The mood score of each admissible file is computed by adding up all
555 * mood item scores. Next, we update the afs statistics and append a struct
556 * admissible_file_info to a temporary array.
558 * When all files have been processed in this way, the final score of each
559 * admissible file is computed by adding the dynamic score (which depends on
560 * the afs_statistics and the current time) to the mood score. Finally, all
561 * audio files in the temporary array are added to the score table and the
564 struct admissible_file_info
566 /** The admissible audio file. */
567 struct osl_row *aft_row;
572 /** The temporary array of admissible files. */
573 struct admissible_array {
574 /** Files are admissible wrt. this mood. */
576 /** The size of the array */
578 /** Pointer to the array of admissible files. */
579 struct admissible_file_info *array;
583 * Add an entry to the array of admissible files.
585 * \param aft_row The audio file to be added.
586 * \param private_data Pointer to a struct admissible_file_info.
588 * \return 1 if row admissible, 0 if not, negative on errors.
590 static int add_if_admissible(struct osl_row *aft_row, void *data)
592 struct admissible_array *aa = data;
596 ret = row_is_admissible(aft_row, aa->m, &score);
599 if (statistics.num >= aa->size) {
602 aa->array = para_realloc(aa->array,
603 aa->size * sizeof(struct admissible_file_info));
605 aa->array[statistics.num].aft_row = aft_row;
606 aa->array[statistics.num].score = score;
607 ret = add_afs_statistics(aft_row);
614 * Compute the new quadratic deviation in case one element changes.
616 * \param n Number of elements.
617 * \param old_qd The quadratic deviation before the change.
618 * \param old_val The value that was replaced.
619 * \param new_val The replacement value.
620 * \param old_sum The sum of all elements before the update.
622 * \return The new quadratic deviation resulting from replacing old_val
625 * Given n real numbers a_1, ..., a_n, their sum S = a_1 + ... + a_n,
626 * their quadratic deviation
628 * q = (a_1 - S/n)^2 + ... + (a_n - S/n)^2,
630 * and a real number b, the quadratic deviation q' of a_1,...a_{n-1}, b (ie.
631 * the last number a_n was replaced by b) may be computed in O(1) time in terms
632 * of n, q, a_n, b, and S as
634 * q' = q + d * s - (2 * S + d) * d / n
635 * = q + d * (s - 2 * S / n - d /n),
637 * where d = b - a_n, and s = b + a_n.
639 * Example: n = 3, a_1 = 3, a_2 = 5, a_3 = 7, b = 10. Then S = 15, q = 8, d = 3,
642 * q + d * s - (2 * S + d) * d / n = 8 + 51 - 33 = 26,
644 * which equals q' = (3 - 6)^2 + (5 - 6)^2 + (10 - 6)^2.
647 _static_inline_ int64_t update_quadratic_deviation(int64_t n, int64_t old_qd,
648 int64_t old_val, int64_t new_val, int64_t old_sum)
650 int64_t delta = new_val - old_val;
651 int64_t sigma = new_val + old_val;
652 return old_qd + delta * (sigma - 2 * old_sum / n - delta / n);
655 static int update_afs_statistics(struct afs_info *old_afsi,
656 struct afs_info *new_afsi)
659 int ret = get_num_admissible_files(&n);
665 statistics.last_played_qd = update_quadratic_deviation(n,
666 statistics.last_played_qd, old_afsi->last_played,
667 new_afsi->last_played, statistics.last_played_sum);
668 statistics.last_played_sum += new_afsi->last_played - old_afsi->last_played;
670 statistics.num_played_qd = update_quadratic_deviation(n,
671 statistics.num_played_qd, old_afsi->num_played,
672 new_afsi->num_played, statistics.num_played_sum);
673 statistics.num_played_sum += new_afsi->num_played - old_afsi->num_played;
677 static int add_to_score_table(const struct osl_row *aft_row, long mood_score)
680 struct afs_info afsi;
681 int ret = get_afsi_of_row(aft_row, &afsi);
685 score = compute_score(&afsi, mood_score);
686 return score_add(aft_row, score);
689 static int delete_from_statistics_and_score_table(const struct osl_row *aft_row)
691 int ret = del_afs_statistics(aft_row);
694 return score_delete(aft_row);
698 * Delete one entry from the statistics and from the score table.
700 * \param aft_row The audio file which is no longer admissible.
702 * \return Positive on success, negative on errors.
704 * \sa \ref score_delete().
706 static int mood_delete_audio_file(const struct osl_row *aft_row)
710 ret = row_belongs_to_score_table(aft_row, NULL);
713 if (!ret) /* not admissible, nothing to do */
715 return delete_from_statistics_and_score_table(aft_row);
719 * Compute the new score of an audio file wrt. the current mood.
721 * \param aft_row Determines the audio file.
722 * \param old_afsi The audio file selector info before updating.
724 * The \a old_afsi argument may be \p NULL which indicates that no changes to
725 * the audio file info were made.
727 * \return Positive on success, negative on errors.
729 static int mood_update_audio_file(const struct osl_row *aft_row,
730 struct afs_info *old_afsi)
733 int ret, is_admissible, was_admissible = 0;
734 struct afs_info afsi;
738 return 1; /* nothing to do */
739 ret = row_belongs_to_score_table(aft_row, &rank);
742 was_admissible = ret;
743 ret = row_is_admissible(aft_row, current_mood, &score);
746 is_admissible = (ret > 0);
747 if (!was_admissible && !is_admissible)
749 if (was_admissible && !is_admissible)
750 return delete_from_statistics_and_score_table(aft_row);
751 if (!was_admissible && is_admissible) {
752 ret = add_afs_statistics(aft_row);
755 return add_to_score_table(aft_row, score);
758 ret = get_afsi_of_row(aft_row, &afsi);
762 ret = update_afs_statistics(old_afsi, &afsi);
766 score = compute_score(&afsi, score);
767 PARA_DEBUG_LOG("score: %li\n", score);
768 percent = (score + 100) / 3;
771 else if (percent < 0)
773 PARA_DEBUG_LOG("moving from rank %u to %li%%\n", rank, percent);
774 return score_update(aft_row, percent);
777 static void log_statistics(void)
779 unsigned n = statistics.num;
780 int mean_days, sigma_days;
782 * We can not use the "now" pointer from sched.c here because we are
783 * called before schedule(), which initializes "now".
787 assert(current_mood);
788 PARA_NOTICE_LOG("loaded mood %s\n", current_mood->name?
789 current_mood->name : "(dummy)");
791 PARA_WARNING_LOG("no admissible files\n");
794 PARA_NOTICE_LOG("%u admissible files\n", statistics.num);
795 clock_get_realtime(&rnow);
796 mean_days = (rnow.tv_sec - statistics.last_played_sum / n) / 3600 / 24;
797 sigma_days = int_sqrt(statistics.last_played_qd / n) / 3600 / 24;
798 PARA_NOTICE_LOG("last_played mean/sigma: %d/%d days\n", mean_days, sigma_days);
799 PARA_NOTICE_LOG("num_played mean/sigma: %llu/%llu\n",
800 (long long unsigned)statistics.num_played_sum / n,
801 (long long unsigned)int_sqrt(statistics.num_played_qd / n));
805 * Close the current mood.
807 * Frees all resources of the current mood.
809 void close_current_mood(void)
811 destroy_mood(current_mood);
813 memset(&statistics, 0, sizeof(statistics));
817 * Change the current mood.
819 * \param mood_name The name of the mood to open.
821 * If \a mood_name is \a NULL, load the dummy mood that accepts every audio file
822 * and uses a scoring method based only on the \a last_played information.
824 * If there is already an open mood, it will be closed first.
826 * \return Positive on success, negative on errors. Loading the dummy mood
829 * \sa struct \ref afs_info::last_played.
831 int change_current_mood(const char *mood_name)
834 struct admissible_array aa = {
842 struct osl_object obj = {
843 .data = (char *)mood_name,
844 .size = strlen(mood_name) + 1
846 ret = osl(osl_get_row(moods_table, BLOBCOL_NAME, &obj, &row));
848 PARA_NOTICE_LOG("no such mood: %s\n", mood_name);
851 ret = load_mood(row, &m);
854 close_current_mood();
856 } else { /* load dummy mood */
857 close_current_mood();
858 current_mood = alloc_new_mood(NULL);
861 PARA_NOTICE_LOG("computing statistics of admissible files\n");
862 ret = audio_file_loop(&aa, add_if_admissible);
865 for (i = 0; i < statistics.num; i++) {
866 struct admissible_file_info *a = aa.array + i;
867 ret = add_to_score_table(a->aft_row, a->score);
872 ret = statistics.num;
879 * Close and re-open the current mood.
881 * This function is called on events which render the current list of
882 * admissible files useless, for example if an attribute is removed from the
885 * If no mood is currently open, the function returns success.
887 static int reload_current_mood(void)
890 char *mood_name = NULL;
892 ret = clear_score_table();
897 PARA_NOTICE_LOG("reloading %s\n", current_mood->name?
898 current_mood->name : "(dummy)");
899 if (current_mood->name)
900 mood_name = para_strdup(current_mood->name);
901 close_current_mood();
902 ret = change_current_mood(mood_name);
908 * Notification callback for the moods table.
910 * \param event Type of the event just occurred.
912 * \param data Its type depends on the event.
914 * This function performs actions required due to the occurrence of the given
915 * event. Possible actions include reload of the current mood and update of the
916 * score of an audio file.
920 int moods_event_handler(enum afs_events event, __a_unused struct para_buffer *pb,
927 * The three blob events might change the set of admissible files,
928 * so we must reload the score list.
933 if (data == moods_table || data == playlists_table)
934 return 1; /* no reload necessary for these */
935 return reload_current_mood();
936 /* these also require reload of the score table */
938 case ATTRIBUTE_REMOVE:
939 case ATTRIBUTE_RENAME:
940 return reload_current_mood();
941 /* changes to the aft only require to re-examine the audio file */
943 struct afsi_change_event_data *aced = data;
944 return mood_update_audio_file(aced->aft_row, aced->old_afsi);
947 case AUDIO_FILE_RENAME:
949 return mood_update_audio_file(data, NULL);
950 case AUDIO_FILE_REMOVE:
951 return mood_delete_audio_file(data);