Sqlite源码阅读。像F17025、U17032这样的ids是用来做什么的？

Question

在SQLite源代码注释中，我看到了F17025、U17032等标识符。

sqlite3.c：

** The sqlite3_mutex_enter() and sqlite3_mutex_try() routines attempt
** to enter a mutex. {F17024} If another thread is already within the mutex,
** sqlite3_mutex_enter() will block and sqlite3_mutex_try() will return
** SQLITE_BUSY. {F17025}  The sqlite3_mutex_try() interface returns SQLITE_OK
** upon successful entry.  {F17026} Mutexes created using
** SQLITE_MUTEX_RECURSIVE can be entered multiple times by the same thread.
** {F17027} In such cases the,

它们是用来做什么的？可能有相关的文档吧？

Answer 1

我认为这些是对一些内部文档(比如Functional Requirements)的引用。