My goal in working on the new GHC I/O manager has been to get the Haskell network stack into a state where it could be used to attack high-performance and scalable networking problems, domains in which it has historically been weak.
While it's encouraging to have an excellent networking stack (Johan and I now have this thoroughly in hand), the next thing I'd look for is libraries to help build networked applications. One of the fundamental things that such apps need to do well is parse data, be it received from the network or read from files.
The Haskell parsing library of first resort has for years been Parsec. While other capable libraries exist (e.g. polyparse and uu-parsinglib), they don't appear to see much use.
As appealing as Parsec's API is, it has a few problems:
Parsec 2 is slow, and it has high memory overhead, due to its use of Haskell's
Stringtype for tokens. Parsec 3 can use the more efficient
ByteStringtype (which is in any case much more appropriate for networked applications that deal in octets), but it achieves this flexibility at the cost of being even slower than Parsec 2.
Parsec's API demands that all of a parser's input be available at once. People usually work around this by feeding a Parsec parser with lazily read data, but lazy I/O is at odds with my goal of writing solid networked code.
What properties should a parsing library for networked applications ideally possess? There are a few obvious desiderata that have been well known for years. For example, it's important to have an appealing API and programming model. Parsec squarely fits this desire.
Performance is also a big consideration. Ideally, a parsing library would be fast enough that you wouldn't feel any real need for either of the following:
A few weeks to write an insane hand-bummed parser.
Mechanical parser generators or lexers (e.g. happy or alex).
There are some additional important constraints on a realistic library: it must fit well into a highly concurrent networked world full of unreliable, hostile and incompetent clients.
High concurrency levels demand a low per-connection memory footprint.
The need to cope with poorly behaved clients requires that applications must be able to throttle connections that are too busy, or kill connections that are too slow or attempting to consume too many server resources. A good parsing library will not get in the way of these needs.
A few years ago, I made a few half-hearted attempts to write a specialised version of Parsec, which I eventually named Attoparsec.
I began with a stripped-down Parsec that was specialised to accept
ByteString input. I then extended the API to allow a parser to consume small chunks of input at a time.
Because I wasn't using Attoparsec "in anger" at the time, I made sure that my library worked (more or less), but I was not measuring its performance.
In late January of this year, I began to think about using Attoparsec as the parser for a simple HTTP server that I could use to benchmark our new GHC I/O manager code. Clearly, I'd want the parser to perform well, or it would distort my numbers rather badly.
By coincidence, John MacFarlane emailed me around the same time, with disturbing findings: he'd tried Attoparsec, and found its performance to be terrible! In fact, it was 4 to 20 times slower than plain Parsec with his experimental parser and test data. Clearly, I had some hard work to look forward to.
Happily, that work is now almost complete, and I am pleased with the results. In the next post, I'll have some details of what this all entails.
Sounds great! Can’t wait for the next post. 🙂
Oh, man — that’s surprising news about Attoparsec. I guess it still saves memory.
I appreciated that Attoparsec had straightforward Applicative and Alternative instances; many parsers have ended up with specialized versions of the operators or whole new shadow classes (I believe the Utrecht parser combinators have their own Applicative class).
Just thinking about the speed vs error handling issue.
Most of the Haskell parsing libraries return the failing string if an error occurs. So you could pass this to the slower but more friendly parser to give you more information.
Obviously, this bloats the code hugely, but that may be acceptable in some circumstances.
You might even extend the technique so that you have a very fast parser that works for 95% of the code, and hand over to a slower parser for other cases.
RIMOWA リモワ サルサデラックス スーツケース SALSA DELUXE 中サイズ63L 4輪マルチホイール ブラウン 872.63 Multiwheel BROWN 高品質
上質 キングサイズ タオル地ボックスシーツ季節を問わず使えるタオル布団カバー。気持ちの良い肌触りはずっと感じていたいタオルカバーは夏は余計な汗を吸い取り、冬は布団に入った時のひんやり感がありません 低価格
限定品 inax 水 栓 ★キッチン用水栓金具 壁付タイプ 一般水栓 ツーハンドル混合水栓 一般地 SF-212-13-RU 豊富な,人気