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. */
23 * Mood parser API. It's overkill to have an own header file for
24 * these declarations as they are only needed in this .c file.
27 int mp_init(const char *definition, int nbytes, struct mp_context **result,
29 bool mp_eval_row(const struct osl_row *aft_row, struct mp_context *ctx);
30 void mp_shutdown(struct mp_context *ctx);
33 * Contains statistical data of the currently admissible audio files.
35 * It is used to assign normalized score values to each admissible audio file.
37 struct afs_statistics {
38 /** Sum of num played over all admissible files. */
39 int64_t num_played_sum;
40 /** Sum of last played times over all admissible files. */
41 int64_t last_played_sum;
42 /** Quadratic deviation of num played count. */
43 int64_t num_played_qd;
44 /** Quadratic deviation of last played time. */
45 int64_t last_played_qd;
46 /** Number of admissible files */
49 static struct afs_statistics statistics;
52 * Each line of the current mood corresponds to a mood_item.
55 /** The method this line is referring to. */
56 const struct mood_method *method;
57 /** The data structure computed by the mood parser. */
59 /** The given score value, or zero if none was given. */
61 /** Non-zero if random scoring was requested. */
63 /** Whether the "not" keyword was given in the mood line. */
65 /** The position in the list of items. */
66 struct list_head mood_item_node;
70 * Created from the mood definition by \ref change_current_mood().
72 * When a mood is opened, each line of its definition is investigated, and a
73 * corresponding mood item is produced. Each mood line starts with accept,
74 * deny, or score which determines the type of the mood line. For each such
75 * type a linked list is maintained whose entries are the mood items.
78 /** The name of this mood. */
80 /** The list of mood items of type \p accept. */
81 struct list_head accept_list;
82 /** The list of mood items of type \p deny. */
83 struct list_head deny_list;
84 /** The list of mood items of type \p score. */
85 struct list_head score_list;
86 /* Only used for version 2 moods. */
87 struct mp_context *parser_context;
91 * If current_mood is NULL then no mood is currently open. If
92 * current_mood->name is NULL, the dummy mood is currently open.
94 static struct mood *current_mood;
97 * Find the position of the most-significant set bit.
99 * Copied and slightly adapted from the linux source tree, version 4.9.39
102 __a_const static uint32_t fls64(uint64_t v)
105 const uint64_t ones = ~(uint64_t)0U;
107 if ((v & (ones << 32)) == 0) {
111 if ((v & (ones << (64 - 16))) == 0) {
115 if ((v & (ones << (64 - 8))) == 0) {
119 if ((v & (ones << (64 - 4))) == 0) {
123 if ((v & (ones << (64 - 2))) == 0) {
127 if ((v & (ones << (64 - 1))) == 0)
133 * Compute the integer square root floor(sqrt(x)).
135 * Taken 2007 from the linux source tree.
137 __a_const static uint64_t int_sqrt(uint64_t x)
139 uint64_t op = x, res = 0, one = 1;
141 one = one << (fls64(x) & ~one);
143 if (op >= res + one) {
144 op = op - (res + one);
154 * Returns true if row matches, false if it does not match. In any case score
155 * and score_arg_sum are set/increased accordingly.
157 static bool get_item_score(struct mood_item *item, const struct afs_info *afsi,
158 const struct afh_info *afhi, const char *path, long *score,
164 *score_arg_sum += item->random_score? 100 : PARA_ABS(item->score_arg);
167 ret = item->method->score_function(path, afsi, afhi,
169 if ((ret < 0 && !item->logical_not) || (ret >= 0 && item->logical_not))
172 if (item->random_score)
173 *score = PARA_ABS(ret) * para_random(100);
175 *score = PARA_ABS(ret) * item->score_arg;
179 /* returns 1 if row admissible, 0 if not, negative on errors */
180 static int row_is_admissible(const struct osl_row *aft_row, struct mood *m,
183 struct mood_item *item;
186 long score_arg_sum = 0, score = 0, item_score;
187 struct afs_info afsi;
188 struct afh_info afhi;
193 if (m->parser_context) {
195 return mp_eval_row(aft_row, m->parser_context);
197 ret = get_afsi_of_row(aft_row, &afsi);
200 ret = get_afhi_of_row(aft_row, &afhi);
203 ret = get_audio_file_path_of_row(aft_row, &path);
206 /* reject audio file if it matches any entry in the deny list */
207 list_for_each_entry(item, &m->deny_list, mood_item_node) {
208 match = get_item_score(item, &afsi, &afhi, path, &item_score,
210 if (match) /* not admissible */
215 list_for_each_entry(item, &m->accept_list, mood_item_node) {
216 ret = get_item_score(item, &afsi, &afhi, path, &item_score,
223 /* reject if there is no matching entry in the accept list */
224 if (!match && !list_empty(&m->accept_list))
226 list_for_each_entry(item, &m->score_list, mood_item_node) {
227 match = get_item_score(item, &afsi, &afhi, path, &item_score,
233 score /= score_arg_sum;
238 static void cleanup_list_entry(struct mood_item *item)
240 if (item->method && item->method->cleanup)
241 item->method->cleanup(item->parser_data);
243 free(item->parser_data);
244 list_del(&item->mood_item_node);
248 static void destroy_mood(struct mood *m)
250 struct mood_item *tmp, *item;
254 list_for_each_entry_safe(item, tmp, &m->accept_list, mood_item_node)
255 cleanup_list_entry(item);
256 list_for_each_entry_safe(item, tmp, &m->deny_list, mood_item_node)
257 cleanup_list_entry(item);
258 list_for_each_entry_safe(item, tmp, &m->score_list, mood_item_node)
259 cleanup_list_entry(item);
261 mp_shutdown(m->parser_context);
265 static struct mood *alloc_new_mood(const char *name)
267 struct mood *m = para_calloc(sizeof(struct mood));
269 m->name = para_strdup(name);
270 INIT_LIST_HEAD(&m->accept_list);
271 INIT_LIST_HEAD(&m->deny_list);
272 INIT_LIST_HEAD(&m->score_list);
276 /** The different types of a mood line. */
277 enum mood_line_type {
288 /** Data passed to the parser of a mood line. */
289 struct mood_line_parser_data {
290 /** The mood this mood line belongs to. */
292 /** The line number in the mood definition. */
297 * <accept [with score <score>] | deny [with score <score>] | score <score>>
298 * [if] [not] <mood_method> [options]
299 * <score> is either an integer or "random" which assigns a random score to
302 static int parse_mood_line(char *mood_line, void *data)
304 struct mood_line_parser_data *mlpd = data;
309 enum mood_line_type mlt = ML_INVALID;
310 struct mood_item *mi = NULL;
313 ret = create_argv(mood_line, " \t", &argv);
317 if (!num_words) /* empty line */
320 if (**w == '#') /* comment */
322 if (!strcmp(*w, "accept"))
324 else if (!strcmp(*w, "deny"))
326 else if (!strcmp(*w, "score"))
328 ret = -E_MOOD_SYNTAX;
329 if (mlt == ML_INVALID)
331 mi = para_calloc(sizeof(struct mood_item));
332 if (mlt != ML_SCORE) {
333 ret = -E_MOOD_SYNTAX;
337 if (strcmp(*w, "with"))
342 if (strcmp(*w, "score"))
345 if (mlt == ML_SCORE || !strcmp(*w, "score")) {
346 ret = -E_MOOD_SYNTAX;
350 if (strcmp(*w, "random")) {
351 mi->random_score = 0;
352 ret = para_atoi32(*w, &mi->score_arg);
356 mi->random_score = 1;
358 goto success; /* the line "score random" is valid */
362 ret = -E_MOOD_SYNTAX;
367 if (!strcmp(*w, "if")) {
368 ret = -E_MOOD_SYNTAX;
373 if (!strcmp(*w, "not")) {
374 ret = -E_MOOD_SYNTAX;
381 for (i = 0; mood_methods[i].parser; i++) {
382 if (strcmp(*w, mood_methods[i].name))
386 ret = -E_MOOD_SYNTAX;
387 if (!mood_methods[i].parser)
389 ret = mood_methods[i].parser(num_words - 1 - (w - argv), w,
393 mi->method = &mood_methods[i];
396 if (mlt == ML_ACCEPT)
397 para_list_add(&mi->mood_item_node, &mlpd->m->accept_list);
398 else if (mlt == ML_DENY)
399 para_list_add(&mi->mood_item_node, &mlpd->m->deny_list);
401 para_list_add(&mi->mood_item_node, &mlpd->m->score_list);
403 PARA_DEBUG_LOG("%s entry added, method: %p\n", mlt == ML_ACCEPT? "accept" :
404 (mlt == ML_DENY? "deny" : "score"), mi->method);
408 if (mi && (ret < 0 || !mlpd->m)) { /* mi was not added to any list */
409 free(mi->parser_data);
415 static int load_mood(const struct osl_row *mood_row, struct mood **m,
419 struct osl_object mood_def;
420 struct mood_line_parser_data mlpd = {.line_num = 0};
424 ret = mood_get_name_and_def_by_row(mood_row, &mood_name, &mood_def);
429 mlpd.m = alloc_new_mood(mood_name);
430 ret = for_each_line(FELF_READ_ONLY, mood_def.data, mood_def.size,
431 parse_mood_line, &mlpd);
433 PARA_INFO_LOG("opening version 2 mood %s\n", mlpd.m->name);
434 ret = mp_init(mood_def.data, mood_def.size, &mlpd.m->parser_context,
437 destroy_mood(mlpd.m);
439 PARA_WARNING_LOG("loaded version 1 mood %s\n", mlpd.m->name);
440 PARA_WARNING_LOG("please convert to version 2\n");
443 osl_close_disk_object(&mood_def);
449 static int check_mood(struct osl_row *mood_row, void *data)
451 struct para_buffer *pb = data;
453 struct osl_object mood_def;
454 struct mood_line_parser_data mlpd = {.line_num = 0};
456 int ret = mood_get_name_and_def_by_row(mood_row, &mood_name, &mood_def);
459 para_printf(pb, "cannot read mood\n");
462 if (!*mood_name) /* ignore dummy row */
464 ret = for_each_line(FELF_READ_ONLY, mood_def.data, mood_def.size,
465 parse_mood_line, &mlpd);
468 struct mood *m = alloc_new_mood("check");
469 ret = mp_init(mood_def.data, mood_def.size, &m->parser_context,
472 para_printf(pb, "%s: %s\n", mood_name, errmsg);
474 para_printf(pb, "%s\n", para_strerror(-ret));
478 para_printf(pb, "%s: v1 mood, please convert to v2\n",
482 ret = 1; /* don't fail the loop on invalid mood definitions */
484 osl_close_disk_object(&mood_def);
489 * Check all moods for syntax errors.
491 * \param aca Only ->pbout is used for diagnostics.
493 * \return Negative on fatal errors. Inconsistent mood definitions are not
494 * considered an error.
496 int mood_check_callback(struct afs_callback_arg *aca)
498 para_printf(&aca->pbout, "checking moods...\n");
499 return osl(osl_rbtree_loop(moods_table, BLOBCOL_ID, &aca->pbout,
503 static int64_t normalized_value(int64_t x, int64_t n, int64_t sum, int64_t qd)
507 return 100 * (n * x - sum) / (int64_t)int_sqrt(n) / (int64_t)int_sqrt(qd);
510 static long compute_score(struct afs_info *afsi, long mood_score)
512 mood_score -= normalized_value(afsi->num_played, statistics.num,
513 statistics.num_played_sum, statistics.num_played_qd);
514 mood_score -= normalized_value(afsi->last_played, statistics.num,
515 statistics.last_played_sum, statistics.last_played_qd);
516 return mood_score / 3;
519 static int add_afs_statistics(const struct osl_row *row)
522 struct afs_info afsi;
525 ret = get_afsi_of_row(row, &afsi);
529 x = afsi.last_played;
530 s = statistics.last_played_sum;
532 q = (x > s / n)? x - s / n : s / n - x;
533 statistics.last_played_qd += q * q * n / (n + 1);
535 statistics.last_played_sum += x;
538 s = statistics.num_played_sum;
540 q = (x > s / n)? x - s / n : s / n - x;
541 statistics.num_played_qd += q * q * n / (n + 1);
543 statistics.num_played_sum += x;
548 static int del_afs_statistics(const struct osl_row *row)
550 uint64_t n, s, q, a, new_s;
551 struct afs_info afsi;
553 ret = get_afsi_of_row(row, &afsi);
559 memset(&statistics, 0, sizeof(statistics));
563 s = statistics.last_played_sum;
564 q = statistics.last_played_qd;
565 a = afsi.last_played;
567 statistics.last_played_sum = new_s;
568 statistics.last_played_qd = q + s * s / n - a * a
569 - new_s * new_s / (n - 1);
571 s = statistics.num_played_sum;
572 q = statistics.num_played_qd;
575 statistics.num_played_sum = new_s;
576 statistics.num_played_qd = q + s * s / n - a * a
577 - new_s * new_s / (n - 1);
584 * At mood open time we determine the set of admissible files for the given
585 * mood. The mood score of each admissible file is computed by adding up all
586 * mood item scores. Next, we update the afs statistics and append a struct
587 * admissible_file_info to a temporary array.
589 * When all files have been processed in this way, the final score of each
590 * admissible file is computed by adding the dynamic score (which depends on
591 * the afs_statistics and the current time) to the mood score. Finally, all
592 * audio files in the temporary array are added to the score table and the
595 struct admissible_file_info
597 /** The admissible audio file. */
598 struct osl_row *aft_row;
603 /** The temporary array of admissible files. */
604 struct admissible_array {
605 /** Files are admissible wrt. this mood. */
607 /** The size of the array */
609 /** Pointer to the array of admissible files. */
610 struct admissible_file_info *array;
614 * Add an entry to the array of admissible files.
616 * \param aft_row The audio file to be added.
617 * \param private_data Pointer to a struct admissible_file_info.
619 * \return 1 if row admissible, 0 if not, negative on errors.
621 static int add_if_admissible(struct osl_row *aft_row, void *data)
623 struct admissible_array *aa = data;
627 ret = row_is_admissible(aft_row, aa->m, &score);
630 if (statistics.num >= aa->size) {
633 aa->array = para_realloc(aa->array,
634 aa->size * sizeof(struct admissible_file_info));
636 aa->array[statistics.num].aft_row = aft_row;
637 aa->array[statistics.num].score = score;
638 ret = add_afs_statistics(aft_row);
645 * Compute the new quadratic deviation in case one element changes.
647 * \param n Number of elements.
648 * \param old_qd The quadratic deviation before the change.
649 * \param old_val The value that was replaced.
650 * \param new_val The replacement value.
651 * \param old_sum The sum of all elements before the update.
653 * \return The new quadratic deviation resulting from replacing old_val
656 * Given n real numbers a_1, ..., a_n, their sum S = a_1 + ... + a_n,
657 * their quadratic deviation
659 * q = (a_1 - S/n)^2 + ... + (a_n - S/n)^2,
661 * and a real number b, the quadratic deviation q' of a_1,...a_{n-1}, b (ie.
662 * the last number a_n was replaced by b) may be computed in O(1) time in terms
663 * of n, q, a_n, b, and S as
665 * q' = q + d * s - (2 * S + d) * d / n
666 * = q + d * (s - 2 * S / n - d /n),
668 * where d = b - a_n, and s = b + a_n.
670 * Example: n = 3, a_1 = 3, a_2 = 5, a_3 = 7, b = 10. Then S = 15, q = 8, d = 3,
673 * q + d * s - (2 * S + d) * d / n = 8 + 51 - 33 = 26,
675 * which equals q' = (3 - 6)^2 + (5 - 6)^2 + (10 - 6)^2.
678 _static_inline_ int64_t update_quadratic_deviation(int64_t n, int64_t old_qd,
679 int64_t old_val, int64_t new_val, int64_t old_sum)
681 int64_t delta = new_val - old_val;
682 int64_t sigma = new_val + old_val;
683 return old_qd + delta * (sigma - 2 * old_sum / n - delta / n);
686 static int update_afs_statistics(struct afs_info *old_afsi,
687 struct afs_info *new_afsi)
690 int ret = get_num_admissible_files(&n);
696 statistics.last_played_qd = update_quadratic_deviation(n,
697 statistics.last_played_qd, old_afsi->last_played,
698 new_afsi->last_played, statistics.last_played_sum);
699 statistics.last_played_sum += new_afsi->last_played - old_afsi->last_played;
701 statistics.num_played_qd = update_quadratic_deviation(n,
702 statistics.num_played_qd, old_afsi->num_played,
703 new_afsi->num_played, statistics.num_played_sum);
704 statistics.num_played_sum += new_afsi->num_played - old_afsi->num_played;
708 static int add_to_score_table(const struct osl_row *aft_row, long mood_score)
711 struct afs_info afsi;
712 int ret = get_afsi_of_row(aft_row, &afsi);
716 score = compute_score(&afsi, mood_score);
717 return score_add(aft_row, score);
720 static int delete_from_statistics_and_score_table(const struct osl_row *aft_row)
722 int ret = del_afs_statistics(aft_row);
725 return score_delete(aft_row);
729 * Delete one entry from the statistics and from the score table.
731 * \param aft_row The audio file which is no longer admissible.
733 * \return Positive on success, negative on errors.
735 * \sa \ref score_delete().
737 static int mood_delete_audio_file(const struct osl_row *aft_row)
741 ret = row_belongs_to_score_table(aft_row, NULL);
744 if (!ret) /* not admissible, nothing to do */
746 return delete_from_statistics_and_score_table(aft_row);
750 * Compute the new score of an audio file wrt. the current mood.
752 * \param aft_row Determines the audio file.
753 * \param old_afsi The audio file selector info before updating.
755 * The \a old_afsi argument may be \p NULL which indicates that no changes to
756 * the audio file info were made.
758 * \return Positive on success, negative on errors.
760 static int mood_update_audio_file(const struct osl_row *aft_row,
761 struct afs_info *old_afsi)
764 int ret, is_admissible, was_admissible = 0;
765 struct afs_info afsi;
769 return 1; /* nothing to do */
770 ret = row_belongs_to_score_table(aft_row, &rank);
773 was_admissible = ret;
774 ret = row_is_admissible(aft_row, current_mood, &score);
777 is_admissible = (ret > 0);
778 if (!was_admissible && !is_admissible)
780 if (was_admissible && !is_admissible)
781 return delete_from_statistics_and_score_table(aft_row);
782 if (!was_admissible && is_admissible) {
783 ret = add_afs_statistics(aft_row);
786 return add_to_score_table(aft_row, score);
789 ret = get_afsi_of_row(aft_row, &afsi);
793 ret = update_afs_statistics(old_afsi, &afsi);
797 score = compute_score(&afsi, score);
798 PARA_DEBUG_LOG("score: %li\n", score);
799 percent = (score + 100) / 3;
802 else if (percent < 0)
804 PARA_DEBUG_LOG("moving from rank %u to %li%%\n", rank, percent);
805 return score_update(aft_row, percent);
808 static void log_statistics(void)
810 unsigned n = statistics.num;
811 int mean_days, sigma_days;
813 * We can not use the "now" pointer from sched.c here because we are
814 * called before schedule(), which initializes "now".
818 assert(current_mood);
819 PARA_NOTICE_LOG("loaded mood %s\n", current_mood->name?
820 current_mood->name : "(dummy)");
822 PARA_WARNING_LOG("no admissible files\n");
825 PARA_NOTICE_LOG("%u admissible files\n", statistics.num);
826 clock_get_realtime(&rnow);
827 mean_days = (rnow.tv_sec - statistics.last_played_sum / n) / 3600 / 24;
828 sigma_days = int_sqrt(statistics.last_played_qd / n) / 3600 / 24;
829 PARA_NOTICE_LOG("last_played mean/sigma: %d/%d days\n", mean_days, sigma_days);
830 PARA_NOTICE_LOG("num_played mean/sigma: %llu/%llu\n",
831 (long long unsigned)statistics.num_played_sum / n,
832 (long long unsigned)int_sqrt(statistics.num_played_qd / n));
836 * Close the current mood.
838 * Frees all resources of the current mood.
840 void close_current_mood(void)
842 destroy_mood(current_mood);
844 memset(&statistics, 0, sizeof(statistics));
848 * Change the current mood.
850 * \param mood_name The name of the mood to open.
851 * \param errmsg Error description is returned here.
853 * If \a mood_name is \a NULL, load the dummy mood that accepts every audio file
854 * and uses a scoring method based only on the \a last_played information.
856 * The errmsg pointer may be NULL, in which case no error message will be
857 * returned. If a non-NULL pointer is given, the caller must free *errmsg.
859 * If there is already an open mood, it will be closed first.
861 * \return Positive on success, negative on errors. Loading the dummy mood
864 * \sa struct \ref afs_info::last_played, \ref mp_eval_row().
866 int change_current_mood(const char *mood_name, char **errmsg)
869 struct admissible_array aa = {
877 struct osl_object obj = {
878 .data = (char *)mood_name,
879 .size = strlen(mood_name) + 1
881 ret = osl(osl_get_row(moods_table, BLOBCOL_NAME, &obj, &row));
883 PARA_NOTICE_LOG("no such mood: %s\n", mood_name);
886 ret = load_mood(row, &m, errmsg);
889 close_current_mood();
891 } else { /* load dummy mood */
892 close_current_mood();
893 current_mood = alloc_new_mood(NULL);
896 PARA_NOTICE_LOG("computing statistics of admissible files\n");
897 ret = audio_file_loop(&aa, add_if_admissible);
900 for (i = 0; i < statistics.num; i++) {
901 struct admissible_file_info *a = aa.array + i;
902 ret = add_to_score_table(a->aft_row, a->score);
907 ret = statistics.num;
914 * Close and re-open the current mood.
916 * This function is called on events which render the current list of
917 * admissible files useless, for example if an attribute is removed from the
920 * If no mood is currently open, the function returns success.
922 static int reload_current_mood(void)
925 char *mood_name = NULL;
927 ret = clear_score_table();
932 PARA_NOTICE_LOG("reloading %s\n", current_mood->name?
933 current_mood->name : "(dummy)");
934 if (current_mood->name)
935 mood_name = para_strdup(current_mood->name);
936 close_current_mood();
937 ret = change_current_mood(mood_name, NULL);
943 * Notification callback for the moods table.
945 * \param event Type of the event just occurred.
947 * \param data Its type depends on the event.
949 * This function performs actions required due to the occurrence of the given
950 * event. Possible actions include reload of the current mood and update of the
951 * score of an audio file.
955 int moods_event_handler(enum afs_events event, __a_unused struct para_buffer *pb,
962 * The three blob events might change the set of admissible files,
963 * so we must reload the score list.
968 if (data == moods_table || data == playlists_table)
969 return 1; /* no reload necessary for these */
970 return reload_current_mood();
971 /* these also require reload of the score table */
973 case ATTRIBUTE_REMOVE:
974 case ATTRIBUTE_RENAME:
975 return reload_current_mood();
976 /* changes to the aft only require to re-examine the audio file */
978 struct afsi_change_event_data *aced = data;
979 return mood_update_audio_file(aced->aft_row, aced->old_afsi);
982 case AUDIO_FILE_RENAME:
984 return mood_update_audio_file(data, NULL);
985 case AUDIO_FILE_REMOVE:
986 return mood_delete_audio_file(data);