107
base,sothatlinkscanbeupdatedastheirdestinationsthemselvesareupdated.TheWWW
simplyallowslinkstogobad,anddoesnotprovidefine-grainedlinkanchorsandanchor
trackingatanylevel.
Versionmanagementhasbeenonetraditionalapproachtothisproblem,asdiscussed,e.g.
byHicksandCampbell.However,version-completesystemsonlyallowretrievalofthepar-
ticularpaststatewhenalinkwasmade.Withoutfine-grainedtrackingoftheregionsand
thechangesthataffectthem,thecurrentstateoflinkanchorsisunavailable,asisitsstatus
inothersignificantversions.TheRHYTHMsystem(Maioli,Solaetal.1994),andNelson’s
proposalforXanadu(Nelson1987)bothsupplementversionmanagementsystemswithfine-
grainedtrackingoperationstoallowupdatedviewsoflinkanchors.Palimpsestfollowsthis
generalapproach,bykeepingeditinghistoriesandprovidingpersistentpointersintoevolv-
ingobjects.
Theideaofaglobalchangesetisrelevantinadistributedsystemaswell.Itcanbeuseful
tothinkoftheunionofthechangesetsatallcollaboratingsitesasrepresentingtheglobal
historyofanentiredatastructure.Thisglobalchangesetmaywellneverbepresentonany
singlesystem.Manycollaboratorswillhavechangesintheirlocalhistoriesthatwereimme-
diatelyundone,andthatmayneverbetransmittedaspartofanyversionoftheshareddata.
Inanonlineeditingsystem,anycommunicationstrategythatensurestheeventualconver-
genceofallcollaboratorstothatglobalchangesetwillalsoensurethattheyallhaveidenti-
calviewsofthedata.
5.3 UndoinginPalimpsest
Theproblemof(collaborative)undoisdiscussedinSection1.6.Changeorientationmakes
itpossibletomanipulatechangesindividually,andPalimpsestspecifiestheeffectthatre-
movingaparticularchangefromaP-sequencewillhaveonitsstate,regardlessofitshistory.
Changescanberemovedfromchangesetsaswellasadded,andtheabilitytodothiswith-
108
outdisruptionisdeterminedbythedatadependenciesreflectedinthecausalorderingof
changes,notbytheirtemporalorderofcreation.
Itis,ofcourse,possibletoremoveanychangefromachangeset,butiftheresultisto
beminimallyconsistent,otherchangesmayalsoneedtoberemoved.Ingeneral,undoinga
changealsorequiresundoingallcausallygreaterchanges,sothattheresultwillalsobe
minimallyconsistent.Justasmaintainingminimalconsistencyimposessomelimitationson
merge,thisimposessomelimitationsonundo.Theremovalofchangesalsoremovesad-
dressesfromtheaddressspaceofaP-sequence,andthisisaratherworseproblem,because
itaffectsPalimpsest’sabilitytohandlehypertextlinksandotherpersistentselections.Per-
sistentselectionsshouldnotbeinvalidatedbytheremoveofachange(evenonethatitis
casuallydependenton).
Thisisonecasewherethenotionofatotalchangesetcomesinhandy,asdiscussedat
thebeginningofthischapter.Inessence,persistentselections,suchashypertextanchors,
shouldbemodeledasrangesintheP-sequencecorrespondingtoallknownchanges.Itis
thenpossibletotracethepositionsandsourcesofrangesintheglobaladdressspaceinany
versionsofinterest,simplybyfindingthepositionsoftheendpointsoftheselectionineach
oftherelevantversions.ThestabilityofthePalimpsestaddressorderingallowsacorre-
spondingpositiontobefound,bycomparing(intheglobalchangeset)thepersistentad-
dressesoftheselection,withtheaddressesintheP-sequencesofinterest.
Mosttheoreticalworkonundohasconsideredthemeaningoftheuserinterfaceaction
“undo.”Thishastendedtokeepthefocusdirectlyonwhathappensinalinearsequenceof
actionsthatincludesoperationslikeundoandredo.In(Dix,Mancinietal.1997)the
authorsobservethatmuchoftheconfusionthatsurroundsundoisaconsequenceofthe
factthatitisameta-command.Itdoesnothaveasingledirecteffectwithinanapplication,
butonlyindirectonethatchangesthecommandhistoryinaparticularway.Inthisuser-
interfacesense,Palimpsestdoesnotactuallyprovideormodelanundofacility,sincethe
Previous Page Next Page