Namespace Lucene.Net.Codecs.Lucene42
Lucene 4.2 file format.
Apache Lucene - Index File Formats
Introduction
This document defines the index file formats used in this version of Lucene. If you are using a different version of Lucene, please consult the copy of docs/
that was distributed with the version you are using.
Apache Lucene is written in Java, but several efforts are underway to write versions of Lucene in other programming languages including this implementation in .NET. If these versions are to remain compatible with Apache Lucene, then a language-independent definition of the Lucene index format is required. This document thus attempts to provide a complete and independent definition of the Apache Lucene file formats.
As Lucene evolves, this document should evolve. Versions of Lucene in different programming languages should endeavor to agree on file formats, and generate new versions of this document.
Definitions
The fundamental concepts in Lucene are index, document, field and term.
An index contains a sequence of documents.
A document is a sequence of fields.
A field is a named sequence of terms.
A term is a sequence of bytes.
The same sequence of bytes in two different fields is considered a different term. Thus terms are represented as a pair: the string naming the field, and the bytes within the field.
Inverted Indexing
The index stores statistics about terms in order to make term-based search more efficient. Lucene's index falls into the family of indexes known as an inverted index. This is because it can list, for a term, the documents that contain it. This is the inverse of the natural relationship, in which documents list terms.
Types of Fields
In Lucene, fields may be stored, in which case their text is stored in the index literally, in a non-inverted manner. Fields that are inverted are called indexed. A field may be both stored and indexed.
The text of a field may be tokenized into terms to be indexed, or the text of a field may be used literally as a term to be indexed. Most fields are tokenized, but sometimes it is useful for certain identifier fields to be indexed literally.
See the Field docs for more information on Fields.
Segments
Lucene indexes may be composed of multiple sub-indexes, or segments. Each segment is a fully independent index, which could be searched separately. Indexes evolve by:
Creating new segments for newly added documents.
Merging existing segments.
Searches may involve multiple segments and/or multiple indexes, each index potentially composed of a set of segments.
Document Numbers
Internally, Lucene refers to documents by an integer document number. The first document added to an index is numbered zero, and each subsequent document added gets a number one greater than the previous.
Note that a document's number may change, so caution should be taken when storing these numbers outside of Lucene. In particular, numbers may change in the following situations:
The numbers stored in each segment are unique only within the segment, and must be converted before they can be used in a larger context. The standard technique is to allocate each segment a range of values, based on the range of numbers used in that segment. To convert a document number from a segment to an external value, the segment's base document number is added. To convert an external value back to a segment-specific value, the segment is identified by the range that the external value is in, and the segment's base value is subtracted. For example two five document segments might be combined, so that the first segment has a base value of zero, and the second of five. Document three from the second segment would have an external value of eight.
When documents are deleted, gaps are created in the numbering. These are eventually removed as the index evolves through merging. Deleted documents are dropped when segments are merged. A freshly-merged segment thus has no gaps in its numbering.
Index Structure Overview
Each segment index maintains the following:
Segment info. This contains metadata about a segment, such as the number of documents, what files it uses,
Field names. This contains the set of field names used in the index.
Stored Field values. This contains, for each document, a list of attribute-value pairs, where the attributes are field names. These are used to store auxiliary information about the document, such as its title, url, or an identifier to access a database. The set of stored fields are what is returned for each hit when searching. This is keyed by document number.
Term dictionary. A dictionary containing all of the terms used in all of the indexed fields of all of the documents. The dictionary also contains the number of documents which contain the term, and pointers to the term's frequency and proximity data.
Term Frequency data. For each term in the dictionary, the numbers of all the documents that contain that term, and the frequency of the term in that document, unless frequencies are omitted (IndexOptions.DOCS_ONLY)
Term Proximity data. For each term in the dictionary, the positions that the term occurs in each document. Note that this will not exist if all fields in all documents omit position data.
Normalization factors. For each field in each document, a value is stored that is multiplied into the score for hits on that field.
Term Vectors. For each field in each document, the term vector (sometimes called document vector) may be stored. A term vector consists of term text and term frequency. To add Term Vectors to your index see the Field constructors
Per-document values. Like stored values, these are also keyed by document number, but are generally intended to be loaded into main memory for fast access. Whereas stored values are generally intended for summary results from searches, per-document values are useful for things like scoring factors.
Deleted documents. An optional file indicating which documents are deleted.
Details on each of these are provided in their linked pages.
File Naming
All files belonging to a segment have the same name with varying extensions. The extensions correspond to the different file formats described below. When using the Compound File format (default in 1.4 and greater) these files (except for the Segment info file, the Lock file, and Deleted documents file) are collapsed into a single .cfs file (see below for details)
Typically, all segments in an index are stored in a single directory, although this is not required.
As of version 2.1 (lock-less commits), file names are never re-used (there is one exception, "segments.gen", see below). That is, when any file is saved to the Directory it is given a never before used filename. This is achieved using a simple generations approach. For example, the first segments file is segments_1
, then segments_2
, etc. The generation is a sequential long integer represented in alpha-numeric (base 36) form.
Summary of File Extensions
The following table summarizes the names and extensions of the files in Lucene:
Name | Extension | Brief Description |
---|---|---|
[Segments File](xref:Lucene.Net.Index.SegmentInfos) | segments.gen, segments_N | Stores information about a commit point |
[Lock File](#lock-file) | write.lock | The Write lock prevents multiple IndexWriters from writing to the same file. |
[Segment Info](xref:Lucene.Net.Codecs.Lucene40.Lucene40SegmentInfoFormat) | .si | Stores metadata about a segment |
[Compound File](xref:Lucene.Net.Store.CompoundFileDirectory) | .cfs, .cfe | An optional "virtual" file consisting of all the other index files for systems that frequently run out of file handles. |
[Fields](xref:Lucene.Net.Codecs.Lucene42.Lucene42FieldInfosFormat) | .fnm | Stores information about the fields |
[Field Index](xref:Lucene.Net.Codecs.Lucene41.Lucene41StoredFieldsFormat) | .fdx | Contains pointers to field data |
[Field Data](xref:Lucene.Net.Codecs.Lucene41.Lucene41StoredFieldsFormat) | .fdt | The stored fields for documents |
[Term Dictionary](xref:Lucene.Net.Codecs.Lucene41.Lucene41PostingsFormat) | .tim | The term dictionary, stores term info |
[Term Index](xref:Lucene.Net.Codecs.Lucene41.Lucene41PostingsFormat) | .tip | The index into the Term Dictionary |
[Frequencies](xref:Lucene.Net.Codecs.Lucene41.Lucene41PostingsFormat) | .doc | Contains the list of docs which contain each term along with frequency |
[Positions](xref:Lucene.Net.Codecs.Lucene41.Lucene41PostingsFormat) | .pos | Stores position information about where a term occurs in the index |
[Payloads](xref:Lucene.Net.Codecs.Lucene41.Lucene41PostingsFormat) | .pay | Stores additional per-position metadata information such as character offsets and user payloads |
[Norms](xref:Lucene.Net.Codecs.Lucene42.Lucene42NormsFormat) | .nvd, .nvm | Encodes length and boost factors for docs and fields |
[Per-Document Values](xref:Lucene.Net.Codecs.Lucene42.Lucene42DocValuesFormat) | .dvd, .dvm | Encodes additional scoring factors or other per-document information. |
[Term Vector Index](xref:Lucene.Net.Codecs.Lucene42.Lucene42TermVectorsFormat) | .tvx | Stores offset into the document data file |
[Term Vector Documents](xref:Lucene.Net.Codecs.Lucene42.Lucene42TermVectorsFormat) | .tvd | Contains information about each document that has term vectors |
[Term Vector Fields](xref:Lucene.Net.Codecs.Lucene42.Lucene42TermVectorsFormat) | .tvf | The field level info about term vectors |
[Deleted Documents](xref:Lucene.Net.Codecs.Lucene40.Lucene40LiveDocsFormat) | .del | Info about what files are deleted |
Lock File
The write lock, which is stored in the index directory by default, is named
write.lock
. If the lock directory is different from the index directory then
the write lock will be named XXXX-write.lock
where XXXX is a unique prefix
derived from the full path to the index directory. When this file is present, a
writer is currently modifying the index (adding or removing documents). This
lock file ensures that only one writer is modifying the index at a time.
History
Compatibility notes are provided in this document, describing how file formats have changed from prior versions:
In version 2.1, the file format was changed to allow lock-less commits (ie, no more commit lock). The change is fully backwards compatible: you can open a pre-2.1 index for searching or adding/deleting of docs. When the new segments file is saved (committed), it will be written in the new file format (meaning no specific "upgrade" process is needed). But note that once a commit has occurred, pre-2.1 Lucene will not be able to read the index.
In version 2.3, the file format was changed to allow segments to share a single set of doc store (vectors & stored fields) files. This allows for faster indexing in certain cases. The change is fully backwards compatible (in the same way as the lock-less commits change in 2.1).
In version 2.4, Strings are now written as true UTF-8 byte sequence, not Java's modified UTF-8. See LUCENE-510 for details.
In version 2.9, an optional opaque
IDictionary<string, string>
CommitUserData may be passed to IndexWriter's commit methods (and later retrieved), which is recorded in thesegments_N
file. See LUCENE-1382 for details. Also, diagnostics were added to each segment written recording details about why it was written (due to flush, merge; which OS/JRE was used; etc.). See issue LUCENE-1654 for details.In version 3.0, compressed fields are no longer written to the index (they can still be read, but on merge the new segment will write them, uncompressed). See issue LUCENE-1960 for details.
In version 3.1, segments records the code version that created them. See LUCENE-2720 for details. Additionally segments track explicitly whether or not they have term vectors. See LUCENE-2811 for details.
In version 3.2, numeric fields are written as natively to stored fields file, previously they were stored in text format only.
In version 3.4, fields can omit position data while still indexing term frequencies.
In version 4.0, the format of the inverted index became extensible via the Codec api. Fast per-document storage (
DocValues
) was introduced. Normalization factors need no longer be a single byte, they can be any NumericDocValues. Terms need not be unicode strings, they can be any byte sequence. Term offsets can optionally be indexed into the postings lists. Payloads can be stored in the term vectors.In version 4.1, the format of the postings list changed to use either of FOR compression or variable-byte encoding, depending upon the frequency of the term. Terms appearing only once were changed to inline directly into the term dictionary. Stored fields are compressed by default.
In version 4.2, term vectors are compressed by default. DocValues has a new multi-valued type (SortedSet), that can be used for faceting/grouping/joining on multi-valued fields.
Limitations
Lucene uses a .NET int
to refer to document numbers, and the index file format uses an Int32
on-disk to store document numbers. This is a limitation of both the index file format and the current implementation. Eventually these should be replaced with either UInt64
values, or better yet, VInt values which have no limit.
Classes
Lucene42Codec
Implements the Lucene 4.2 index format, with configurable per-field postings and docvalues formats.
If you want to reuse functionality of this codec in another codec, extend FilterCodec. See Lucene.Net.Codecs.Lucene42 package documentation for file format details.Note
This API is experimental and might change in incompatible ways in the next release.
Lucene42DocValuesFormat
Lucene 4.2 DocValues format.
Encodes the four per-document value types (Numeric,Binary,Sorted,SortedSet) with seven basic strategies.- Delta-compressed Numerics: per-document integers written in blocks of 4096. For each block the minimum value is encoded, and each entry is a delta from that minimum value.
- Table-compressed Numerics: when the number of unique values is very small, a lookup table is written instead. Each per-document entry is instead the ordinal to this table.
- Uncompressed Numerics: when all values would fit into a single byte, and the
acceptableOverheadRatio
would pack values into 8 bits per value anyway, they are written as absolute values (with no indirection or packing) for performance. - GCD-compressed Numerics: when all numbers share a common divisor, such as dates, the greatest common denominator (GCD) is computed, and quotients are stored using Delta-compressed Numerics.
- Fixed-width Binary: one large concatenated byte[] is written, along with the fixed length.
Each document's value can be addressed by
maxDoc*length
. - Variable-width Binary: one large concatenated byte[] is written, along with end addresses for each document. The addresses are written in blocks of 4096, with the current absolute start for the block, and the average (expected) delta per entry. For each document the deviation from the delta (actual - expected) is written.
- Sorted: an FST mapping deduplicated terms to ordinals is written, along with the per-document ordinals written using one of the numeric strategies above.
- SortedSet: an FST mapping deduplicated terms to ordinals is written, along with the per-document ordinal list written using one of the binary strategies above.
.dvd
: DocValues data.dvm
: DocValues metadata
The DocValues metadata or .dvm file.
For DocValues field, this stores metadata, such as the offset into the DocValues data (.dvd)
DocValues metadata (.dvm) --> Header,<FieldNumber,EntryType,Entry>NumFields,Footer
- Entry --> NumericEntry | BinaryEntry | SortedEntry
- NumericEntry --> DataOffset,CompressionType,PackedVersion
- BinaryEntry --> DataOffset,DataLength,MinLength,MaxLength,PackedVersion?,BlockSize?
- SortedEntry --> DataOffset,ValueCount
- FieldNumber,PackedVersion,MinLength,MaxLength,BlockSize,ValueCount --> VInt (WriteVInt32(int))
- DataOffset,DataLength --> Int64 (WriteInt64(long))
- EntryType,CompressionType --> Byte (WriteByte(byte))
- Header --> CodecHeader (WriteHeader(DataOutput, string, int))
- Footer --> CodecFooter (WriteFooter(IndexOutput))
Sorted fields have two entries: a SortedEntry with the FST metadata, and an ordinary NumericEntry for the document-to-ord metadata.
SortedSet fields have two entries: a SortedEntry with the FST metadata, and an ordinary BinaryEntry for the document-to-ord-list metadata.
FieldNumber of -1 indicates the end of metadata.
EntryType is a 0 (NumericEntry), 1 (BinaryEntry, or 2 (SortedEntry)
DataOffset is the pointer to the start of the data in the DocValues data (.dvd)
CompressionType indicates how Numeric values will be compressed:- 0 --> delta-compressed. For each block of 4096 integers, every integer is delta-encoded from the minimum value within the block.
- 1 --> table-compressed. When the number of unique numeric values is small and it would save space, a lookup table of unique values is written, followed by the ordinal for each document.
- 2 --> uncompressed. When the
acceptableOverheadRatio
parameter would upgrade the number of bits required to 8, and all values fit in a byte, these are written as absolute binary values for performance. - 3 --> gcd-compressed. When all integers share a common divisor, only quotients are stored using blocks of delta-encoded ints.
DataOffset + (docID * length)
. Otherwise, the binary values are of variable size, and packed integer metadata (PackedVersion,BlockSize) is written for the addresses.The DocValues data or .dvd file.
For DocValues field, this stores the actual per-document data (the heavy-lifting)
DocValues data (.dvd) --> Header,<NumericData | BinaryData | SortedData>NumFields,Footer
- NumericData --> DeltaCompressedNumerics | TableCompressedNumerics | UncompressedNumerics | GCDCompressedNumerics
- BinaryData --> Byte (WriteByte(byte)) DataLength,Addresses
- SortedData --> FST<Int64> (FST<T>)
- DeltaCompressedNumerics --> BlockPackedInts(blockSize=4096) (BlockPackedWriter)
- TableCompressedNumerics --> TableSize, Int64 (WriteInt64(long)) TableSize, PackedInts (PackedInt32s)
- UncompressedNumerics --> Byte (WriteByte(byte)) maxdoc
- Addresses --> MonotonicBlockPackedInts(blockSize=4096) (MonotonicBlockPackedWriter)
- Footer --> CodecFooter (WriteFooter(IndexOutput)
SortedSet entries store the list of ordinals in their BinaryData as a sequences of increasing vLongs (WriteVInt64(long)), delta-encoded.
- Binary doc values can be at most MAX_BINARY_FIELD_LENGTH in length.
Lucene42FieldInfosFormat
Lucene 4.2 Field Infos format.
Field names are stored in the field info file, with suffix .fnm
.
FieldInfos (.fnm) --> Header,FieldsCount, <FieldName,FieldNumber, FieldBits,DocValuesBits,Attributes> FieldsCount
Data types:
- Header --> CodecHeader WriteHeader(DataOutput, string, int)
- FieldsCount --> VInt WriteVInt32(int)
- FieldName --> String WriteString(string)
- FieldBits, DocValuesBits --> Byte WriteByte(byte)
- FieldNumber --> VInt WriteInt32(int)
- Attributes --> IDictionary<String,String> WriteStringStringMap(IDictionary<string, string>)
- FieldsCount: the number of fields in this file.
- FieldName: name of the field as a UTF-8 String.
- FieldNumber: the field's number. Note that unlike previous versions of Lucene, the fields are not numbered implicitly by their order in the file, instead explicitly.
- FieldBits: a byte containing field options.
- The low-order bit is one for indexed fields, and zero for non-indexed fields.
- The second lowest-order bit is one for fields that have term vectors stored, and zero for fields without term vectors.
- If the third lowest order-bit is set (0x4), offsets are stored into the postings list in addition to positions.
- Fourth bit is unused.
- If the fifth lowest-order bit is set (0x10), norms are omitted for the indexed field.
- If the sixth lowest-order bit is set (0x20), payloads are stored for the indexed field.
- If the seventh lowest-order bit is set (0x40), term frequencies and positions omitted for the indexed field.
- If the eighth lowest-order bit is set (0x80), positions are omitted for the indexed field.
- DocValuesBits: a byte containing per-document value types. The type
recorded as two four-bit integers, with the high-order bits representing
norms
options, and the low-order bits representing DocValues options. Each four-bit integer can be decoded as such: - Attributes: a key-value map of codec-private attributes.
Note
This API is experimental and might change in incompatible ways in the next release.
Lucene42NormsFormat
Lucene 4.2 score normalization format.
NOTE: this uses the same format as Lucene42DocValuesFormat Numeric DocValues, but with different file extensions, and passing FASTEST for uncompressed encoding: trading off space for performance. Files:.nvd
: DocValues data.nvm
: DocValues metadata
Lucene42TermVectorsFormat
Lucene 4.2 term vectors format (TermVectorsFormat).
Very similarly to Lucene41StoredFieldsFormat, this format is based on compressed chunks of data, with document-level granularity so that a document can never span across distinct chunks. Moreover, data is made as compact as possible:- textual data is compressed using the very light, LZ4 compression algorithm,
- binary data is written using fixed-size blocks of packed ints (PackedInt32s).
- a data file where terms, frequencies, positions, offsets and payloads are stored,
- an index file, loaded into memory, used to locate specific documents in the data file.
A vector data file (extension
.tvd
). this file stores terms, frequencies, positions, offsets and payloads for every document. Upon writing a new segment, it accumulates data into memory until the buffer used to store terms and payloads grows beyond 4KB. Then it flushes all metadata, terms and positions to disk using LZ4 compression for terms and payloads and blocks of packed ints (BlockPackedWriter) for positions.Here is a more detailed description of the field data file format:
- VectorData (.tvd) --> <Header>, PackedIntsVersion, ChunkSize, <Chunk>ChunkCount, Footer
- Header --> CodecHeader (WriteHeader(DataOutput, string, int))
- PackedIntsVersion --> VERSION_CURRENT as a VInt (WriteVInt32(int))
- ChunkSize is the number of bytes of terms to accumulate before flushing, as a VInt (WriteVInt32(int))
- ChunkCount is not known in advance and is the number of chunks necessary to store all document of the segment
- Chunk --> DocBase, ChunkDocs, < NumFields >, < FieldNums >, < FieldNumOffs >, < Flags >, < NumTerms >, < TermLengths >, < TermFreqs >, < Positions >, < StartOffsets >, < Lengths >, < PayloadLengths >, < TermAndPayloads >
- DocBase is the ID of the first doc of the chunk as a VInt (WriteVInt32(int))
- ChunkDocs is the number of documents in the chunk
- NumFields --> DocNumFieldsChunkDocs
- DocNumFields is the number of fields for each doc, written as a VInt (WriteVInt32(int)) if ChunkDocs==1 and as a PackedInt32s array otherwise
- FieldNums --> FieldNumDeltaTotalDistincFields, a delta-encoded list of the sorted unique field numbers present in the chunk
- FieldNumOffs --> FieldNumOffTotalFields, as a PackedInt32s array
- FieldNumOff is the offset of the field number in FieldNums
- TotalFields is the total number of fields (sum of the values of NumFields)
- Flags --> Bit < FieldFlags >
- Bit is a single bit which when true means that fields have the same options for every document in the chunk
- FieldFlags --> if Bit==1: FlagTotalDistinctFields else FlagTotalFields
- Flag: a 3-bits int where:
- the first bit means that the field has positions
- the second bit means that the field has offsets
- the third bit means that the field has payloads
- NumTerms --> FieldNumTermsTotalFields
- FieldNumTerms: the number of terms for each field, using blocks of 64 packed ints (BlockPackedWriter)
- TermLengths --> PrefixLengthTotalTerms SuffixLengthTotalTerms
- TotalTerms: total number of terms (sum of NumTerms)
- PrefixLength: 0 for the first term of a field, the common prefix with the previous term otherwise using blocks of 64 packed ints (BlockPackedWriter)
- SuffixLength: length of the term minus PrefixLength for every term using blocks of 64 packed ints (BlockPackedWriter)
- TermFreqs --> TermFreqMinus1TotalTerms
- TermFreqMinus1: (frequency - 1) for each term using blocks of 64 packed ints (BlockPackedWriter)
- Positions --> PositionDeltaTotalPositions
- TotalPositions is the sum of frequencies of terms of all fields that have positions
- PositionDelta: the absolute position for the first position of a term, and the difference with the previous positions for following positions using blocks of 64 packed ints (BlockPackedWriter)
- StartOffsets --> (AvgCharsPerTermTotalDistinctFields) StartOffsetDeltaTotalOffsets
- TotalOffsets is the sum of frequencies of terms of all fields that have offsets
- AvgCharsPerTerm: average number of chars per term, encoded as a float on 4 bytes. They are not present if no field has both positions and offsets enabled.
- StartOffsetDelta: (startOffset - previousStartOffset - AvgCharsPerTerm * PositionDelta). previousStartOffset is 0 for the first offset and AvgCharsPerTerm is 0 if the field has no positions using blocks of 64 packed ints (BlockPackedWriter)
- Lengths --> LengthMinusTermLengthTotalOffsets
- LengthMinusTermLength: (endOffset - startOffset - termLength) using blocks of 64 packed ints (BlockPackedWriter)
- PayloadLengths --> PayloadLengthTotalPayloads
- TotalPayloads is the sum of frequencies of terms of all fields that have payloads
- PayloadLength is the payload length encoded using blocks of 64 packed ints (BlockPackedWriter)
- TermAndPayloads --> LZ4-compressed representation of < FieldTermsAndPayLoads >TotalFields
- FieldTermsAndPayLoads --> Terms (Payloads)
- Terms: term bytes
- Payloads: payload bytes (if the field has payloads)
- Footer --> CodecFooter (WriteFooter(IndexOutput))
An index file (extension
.tvx
).- VectorIndex (.tvx) --> <Header>, <ChunkIndex>, Footer
- Header --> CodecHeader (WriteHeader(DataOutput, string, int))
- ChunkIndex: See CompressingStoredFieldsIndexWriter
- Footer --> CodecFooter (WriteFooter(IndexOutput))
Note
This API is experimental and might change in incompatible ways in the next release.