58
orderingwillnotnecessarilybebasedonatotaltemporalorderingasavailabletosys-
temsthatarenotchange-complete.
Thisstructuraltaxonomyofpotentialzonesofconflictwillallowfocusedconsiderationof
interactingoperationswithouthavingtoexamineeachpossiblestructuralcombinationindi-
vidually,foreachpossiblepairofoperations.Thisisimportantbecausetherearealarge
numberofpossiblepairwiseinteractionsamongevenasmallsetofoperations.Fortunately,
weneednotexhaustivelyexamineallpossiblecases.
3.2 ThePalimpsestsetofbasicsequenceoperations
ThissectiondescribesthebasicoperationschosenforPalimpsest.Iwilldescribethemand
brieflyreviewsomeoftheimplicationsoftheirdefinitionasdynamicoperations.InSection
3.3Iwillexaminetheconflictsthatcanoccurwiththisoperationset,anddevelopsomein-
tuitionastowhatkindsofsolutionsaremostdesirable.InSection3.4,Iconsidertheques-
tionofhowapersistentaddressingmechanismcansimplifytherepresentationandresolu-
tionofconflictsbetweendynamicoperations.WhendescribingPalimpsestoperationsIwill
dependontheabilitytodesignaterangeswithinasequencebymeansofstartandend
points,andtodeterminewhetherapointisinsideoroutsideofsucharange.Sincetheop-
erationsinquestioninfactpermutesequenceelements,andchangetheorderofitems,the
assumptionthatthisispossibleis,strictlyspeaking,unwarranted.Section3.4willredeem
thisassumptionbyshowinghowtousetheinsightsdevelopedinconsideringoperational
conflictresolutiontodefineanappropriatemeaningforsuchanordering.
Palimpsestsequencessupport4primitiveoperations:
• Insert.Thistakesapositioninasequenceandaddsitemstothatsequenceatthatloca-
tion.Apositionisagapbetweentwoitemsofasequence.
orderingwillnotnecessarilybebasedonatotaltemporalorderingasavailabletosys-
temsthatarenotchange-complete.
Thisstructuraltaxonomyofpotentialzonesofconflictwillallowfocusedconsiderationof
interactingoperationswithouthavingtoexamineeachpossiblestructuralcombinationindi-
vidually,foreachpossiblepairofoperations.Thisisimportantbecausetherearealarge
numberofpossiblepairwiseinteractionsamongevenasmallsetofoperations.Fortunately,
weneednotexhaustivelyexamineallpossiblecases.
3.2 ThePalimpsestsetofbasicsequenceoperations
ThissectiondescribesthebasicoperationschosenforPalimpsest.Iwilldescribethemand
brieflyreviewsomeoftheimplicationsoftheirdefinitionasdynamicoperations.InSection
3.3Iwillexaminetheconflictsthatcanoccurwiththisoperationset,anddevelopsomein-
tuitionastowhatkindsofsolutionsaremostdesirable.InSection3.4,Iconsidertheques-
tionofhowapersistentaddressingmechanismcansimplifytherepresentationandresolu-
tionofconflictsbetweendynamicoperations.WhendescribingPalimpsestoperationsIwill
dependontheabilitytodesignaterangeswithinasequencebymeansofstartandend
points,andtodeterminewhetherapointisinsideoroutsideofsucharange.Sincetheop-
erationsinquestioninfactpermutesequenceelements,andchangetheorderofitems,the
assumptionthatthisispossibleis,strictlyspeaking,unwarranted.Section3.4willredeem
thisassumptionbyshowinghowtousetheinsightsdevelopedinconsideringoperational
conflictresolutiontodefineanappropriatemeaningforsuchanordering.
Palimpsestsequencessupport4primitiveoperations:
• Insert.Thistakesapositioninasequenceandaddsitemstothatsequenceatthatloca-
tion.Apositionisagapbetweentwoitemsofasequence.