home
about
services
contact

Where am I?

XQuery Code Review

December 05, 2010 at 01:57 PM | categories: XQuery, MarkLogic | View Comments

Code review is a crucial part of good development methodology. It can be a pre-checkin activity, or an ongoing background task in a pair-programming environment. What should you look for when reviewing XQuery code?

I'm sure I've forgotten a few things, but hopefully this will get you started.

Use strong typing

You can catch many potential bugs this way. If a function's parameters and return value aren't strongly typed, there should be a comment explaining why that isn't practical. Try to narrow down the types, too: be as specific as possible. If a parameter or return type is node(), ask why it can't be element()? If it's element(), why can't it be element(foo) or element(*, typename) instead? Don't forget about quantifiers and schema-element().

Besides function variables and return types, this also applies to module variables, FLWOR variable bindings, and typeswitch variable bindings.

Look for injection paths

The xdmp:eval and xdmp:value functions are especially vulnerable, and should be avoided as much as possible in favor of xdmp:invoke and xdmp:unpath, respectively. But it's important to check any user input. For example, is the user entitled to see the contents of the document requested via xdmp:get-request-field? It's best if the document is protected by a good security configuration with read permissions, but if security checks are being done in application code, be especially careful to guard against injection attacks.

Are there order-by clauses or expressions with gt or lt operators?

If so, could they be accelerated using range indexes? If range indexes do exist, are they working? Sometimes the FLWOR syntax will be subtly outside the boundaries of what MarkLogic Server can optimize, and sometimes the query collation won't match a string range index collation.

You can check using xdmp:query-trace or xdmp:plan. Often this makes a good unit test, especially for performance-critical functionality.

Does the code rely on effective boolean values?

If you see 'if ($foo)then...', ask what the type of $foo is. If it isn't already a boolean, then the effective boolean value rules come into play. That could cause mysterious bugs or errors. Would it be better to write 'if(exists($foo))...' or perhaps 'if ($foo ne 0)...' instead? The core idea here is to write what you mean, and mean what you write.

This idea also applies to XPath predicates, where-clauses, and any other boolean context.

Review any XPath with '/text()' or '//text()' steps

When I see a query is full of text() steps, my first thought is that the developer may not really understand atomization. Believe it or not, there's often some performance to be gained by eliminating these extra steps in favor of atomization. But more importantly, text() can be dangerous. It doesn't mean "give me the lexical string value of the context nodes". It does mean "give me the text children, if any, of each of the context nodes". So it can return nothing, or one text node, or one million text nodes. These two code examples look similar, but behave in very different ways. As a result, I try to avoid text() as much as possible. When it is needed, I leave comments describing why string() won't work, and what will happen in cases such as empty sequence or multiple nodes.

let $n := <p>nodes <i>can</i> have multiple text children</p>
return concat('testing... ', $n)
=> testing... nodes can have multiple text children
let $n := <p>nodes <i>can</i> have multiple text children</p>
return concat('testing... ', $n/text())
=> XDMP-ARGTYPE: (err:XPTY0004) concat("testing... ", (text{"nodes "},
text{" have multiple text children"})) -- arg2 is not of type xs:anyAtomicType?

Review any XPath with '//' steps

Sometimes these are necessary, and sometimes they even benefit performance. But more often they are a sign of short-sighted laziness, or outright ignorance of the content. Rewriting these expressions as fully-qualified paths can improve code resiliency and also performance.

If the business logic really calls for descendant-or-self::node(), comment the code to explain why.

Review any function calls within XPath predicates

Function calls inside an XPath predicate can be horrible for performance, since the function must be called for every item in the predicate's input sequence. If the result of the function call is static, simply bind the result to a variable. This is also true of operators: even simple math operations like:

$list[$start to $start +$size]
should be rewritten as
$list[$start to $stop]

If you have trouble seeing why this might be a problem, consider a list with 100 items. Now consider this expression:

$list[ xdmp:sleep(100) ]

Evaluation will cost 100-ms per item, or 10 seconds total. Every expression takes a finite amount of time to evaluate, and performance optimization is sometimes a matter of reducing the expression count. Also, most function calls will defeat any index lookups that might otherwise take place.

Review any XPath sub-expressions within XPath predicates

Here I don't mean [ foo ] but rather [ foo/bar ] or [ foo[bar] ]. These sub-expressions can be bad for performance. If the result of the sub-expression is static, bind it to a variable.

Watch for nested if-then-else-if-then-else... sub-expressions

Can it be rewritten as a typeswitch? If so, this is often easier to read, and faster.

Look for opportunities to eliminated unnecessary expressions

For example, I frequently see code resembling this:

...
return if ($flag) then $result else ()

It would be clearer and more XQuery-like to write this as:

...
where $flag
return $result

Another common pattern is:

if ($foo/bar) then $foo/bar else ()

This can be re-written without changing the results, as:

$foo/bar

The trick is to understand that if there are no results for an XPath expression, then the result is (). A similar pattern is:

if ($foo eq $bar) then true() else false()

This can be written as:

($foo eq $bar)

The parenthesis aren't strictly necessary, but make it easier to read expressions like this:

let $baz := ($foo eq $bar)
...

Watch out for function mapping

Function mapping is a powerful friend and a terrible enemy. If the code is a 0.9-to-1.0 port, I recommend disabling function mapping in every module. If it's new 1.0 code, think about how function mapping might help or cause problems in different situations.

Disabling function mapping is easy. In the prologue, simply add:

declare option xdmp:mapping "false";

Your turn

As Mary might ask: comments, questions, or denunciations? Any tips of your own that you would like to share? Let's hear them.

Read and Post Comments
 

Chrome for Linux

May 30, 2010 at 09:22 PM | categories: home, XQuery, MarkLogic | View Comments

I'm giving Chrome 5.0.375.55 a chance to take over from Firefox 3.6. Here are my thoughts so far:

The minimalist windows take some getting used to, but I do enjoy the extra pixels. I turned off the bookmark toolbar, of course. The speed is nice, and I'll be interested to see if battery life is significantly better or worse than with Firefox 3.6.

I was pleasantly surprised to find that my bookmark keywords and bookmarklets imported without a hitch. Most of the keyboard shortcuts seem to match with Firefox. I have already installed a few extensions: here is a list. I'm still using privoxy to handle most web annoyances, so I don't care about AdBlock.
  1. FlashBlock
  2. Type-ahead-find
  3. XML-Tree
  4. ChromeReload
So far my biggest problem is cq. I have a fix for the keyboard shortcuts, but I can't get XML-Tree to pick up the results frame as XML. I can see the Content-Type header is text/xml for the results frame, but I think perhaps XML-Test doesn't handle this situation. I may need to dust off the older idea of having the browser evaluate an XSLT to display the tree - perhaps with Chrome it will be fast enough to be a worthwhile solution.

I would also like to get emacsclient working. I know about Edit with Emacs, but I'm not yet convinced that I want to run a second micro-server inside emacs.

It annoys me that Type-ahead-find doesn't work on chrome:// pages. Of course this is a security precaution, but it also points out why keyboard access should be well thought-out as part of the user experience. Supplementing an incomplete keyboard experience with extensions dooms keyboard users to an incomplete experience.

Read and Post Comments
 

MarkLogic CODiE

May 14, 2010 at 06:46 AM | categories: XQuery, MarkLogic | View Comments

MarkLogic Server 4.1 won a CODiE this week, for "Best Database Management Solution". That goes up next to past awards from 2009, 2006, and 2005.

I wonder what they will think of 4.2?

Read and Post Comments
 

MarkLogic User Conference 2010

May 03, 2010 at 09:07 AM | categories: XQuery, MarkLogic | View Comments

The conference starts tomorrow. I'll be speaking twice: once on high availability, and once on semantic storage and queries. I hope to see you there.

http://www.marklogic.com/UserConference2010/agenda.html

Read and Post Comments
 

MarkLogic Server 4.1-1

June 25, 2009 at 04:49 PM | categories: home, XQuery, MarkLogic | View Comments

Get it here.

Read and Post Comments