add interval tree

[dwuggh]

This is an interval tree implementation based on red-black tree. Merging intervals still need work, as well as updating plists.

My goal is to validate ideas in #61 , an elisp-managed concurrent (re)display models for emacs.

Emacs' implementation

emacs store every buffer or strings text property in an interval tree, defined in intervals.h:

struct interval
{
  /* The first group of entries deal with the tree structure.  */
  ptrdiff_t total_length;       /* Length of myself and both children.  */
  ptrdiff_t position;	        /* Cache of interval's character position.  */
                                /* This field is valid in the final
                                   target interval returned by
                                   find_interval, next_interval,
                                   previous_interval and
                                   update_interval.  It cannot be
                                   depended upon in any intermediate
                                   intervals traversed by these
                                   functions, or any other
                                   interval. */
  struct interval *left;	/* Intervals which precede me.  */
  struct interval *right;	/* Intervals which succeed me.  */

  /* Parent in the tree, or the Lisp_Object containing this interval tree.  */
  union
  {
    struct interval *interval;
    Lisp_Object obj;
  } up;
  bool_bf up_obj : 1;

  bool_bf gcmarkbit : 1;

  /* The remaining components are `properties' of the interval.
     The first four are duplicates for things which can be on the list,
     for purposes of speed.  */

  bool_bf write_protect : 1;	    /* True means can't modify.  */
  bool_bf visible : 1;		    /* False means don't display.  */
  bool_bf front_sticky : 1;	    /* True means text inserted just
				       before this interval goes into it.  */
  bool_bf rear_sticky : 1;	    /* Likewise for just after it.  */
  Lisp_Object plist;		    /* Other properties.  */
};

• text properties are defined as plists, as in the plist field. Relevant functions are in textprop.c and intervals.h
• when redisplay, the iterator for constructing glyph matrix it finds next interval of text props for redisplay in compute_stop_pos, in xdisp.c.
• These intervals never intersect; they are splitted and merged during insertion, i.e. set-text-properties.
• the position field, is updated during redisplay, to optimize for performance.

This implementation

The interval tree is based on a red-black tree, algorithms adapted from the famous book Dr. Sergewick's /Algorithms/, 4th ed.

I've looked at rust-bio's implementation as you mentioned in design.org, the arraybacked one seems not so efficient on deletion, and the AVL tree impl is similar to this one.

[CeleritasCelery]

Thanks for this! Is this code based on another crate or an existing implementation? Do you see these intervals being used for text properties or overlays? I am not sure what the association is with plists, because I believe that plists are just regular lists are the hood.

[dwuggh]

just updated add_properties in textprops.rs, in accrodance to textprop.c, and some contents in the first post.

This is based on an textbook's rbtree implementation(/Algorithms/, 4th ed). I'm not familiar with overlays, but text properties are stored as plists, like (:face some-face :display some-display-prop). They indeed are normal list with keywords; I wrote the add_properties API to deal with them, but got stuck at creating new lists.

[CeleritasCelery]

I added a arch doc that will hopefully help make it clearer how the types interact and how to do basic things. If you feel something is missing, please let me know.

[dwuggh]

got another question about Env and rooting: I'm adding the interval tree to Env:

#[derive(Debug, Default, Trace)]
pub struct Env<'a> {
    //...
    pub buffer_textprops: ObjectMap<String, Slot<IntervalTree<'a>>>,
}

but trace cannot be derived for IntervalTree.

The IntervalTree has following structure:

struct IntervalTree<'ob> {
    root: Node<'ob>,
}

struct Node<'ob> {
    //...
    val: Object<'ob>, // text property plist
}

This object should be rooted; but how should I supposed to do so?

[CeleritasCelery]

got another question about Env and rooting:

@dwuggh Sorry I somehow missed this comment.

Slot is only for types that will be moved by the GC (i.e. Objects), so we don't need it here.

What we need is to put Slot in Node.

struct Node<'ob> {
    //...
    val: Slot<Object<'ob>>, // text property plist
}

Then we should be able to derive Trace for Node and IntervalTree.