Apertium scalable service
Introduction
Project Information
This is one of the 9 Google Summer of Code projects accepted for Apertium (see http://socghop.appspot.com/org/home/google/gsoc2009/apertium).
Student: Víctor Manuel Sánchez Cartagena, University of Alicante, Spain
Mentor: Juan Antonio Pérez-Ortiz, from Transducens Group, University of Alicante, Spain.
Introduction
Currently Apertium is a very useful translation platform, and hopefully it will be even more useful in the future, when new language pairs will be added.
But, if another application wants to profit from Apertium power, Apertium needs to be installed on the same machine. Although installing Apertium is not a very difficult task, as linguistic data are frequently updated, the installation should be updated often too. Moreover, communication between an external application and Apertium is not easy to code, because Apertium only reads input text from standard input.
There is another option: to use the simple web service currently located at http://www.apertium.org/, but it has two major problems:
- Its features are quite limited, since it cannot list available language pairs, and only accepts http GET and POST parameters.
- As it starts a new Apertium instance for each request, it consumes a lot of computer resources, making scalability difficult, especially when there is only a single server.
So, the aim of this project is to build an application wrapper for Apertium with a public web service API (both REST and SOAP) that allows third-party programmers to access it from their desktop or web applications, and request the same operations that can be done with a local installation. The key feature of this application is scalability. It is intended to balance high loads by scheduling and prioritizing pending translations according to the server-side resources available. Environments which will be considered can be static, where there is a fixed amount of servers available, or dynamic, as in elastic cloud computing services. When working in dynamic mode, new servers will be automatically added when load rises. The availability of highly scalable web services for Apertium will catalyze the worldwide use and adoption of the platform in lots of translation contexts.
Technical challenges and application features
One of the first challenges to overcome is the design of a easy-to-use API. A difficult API would stop many developers from integrating Apertium into their applications. Therefore, it would be a great idea to study other popular translation APIs. We plan to use both REST and SOAP technologies to give developers as many options as possible. However, the REST web service will not be be totally RESTful, since it will accept translation requests over HTTP POST in order to overcome HTTP GET length limits.
Currently Apertium's scalability is strongly limited by the fact that it cannot run as a daemon, and has to be launched from scratch every time a translation is required. In a web service environment, continuously launching and terminating Apertium processes by the operative system would cause a very strong overhead. In fact, in preliminary experiments I found that, in a common desktop system, processing more than 10 simultaneous translation requests of around 10000 words each makes the system get out of resources when launching an Apertium instance for each request. However, if we spread the requests between a pair of daemons using a queue, the system keeps responding and it takes less time to perform all the translations.
I have made a very simple implementation of an Apertium daemon for testing purposes. It's a quite simple program that launches Apertium and opens a pipe attached to its standard input. Since the pipe is never closed, the Apertium process never dies. Different translation requests are surrounded in the input stream by special XML tags. However, this is not very useful because, sometimes, Apertium does not output short translations until it receives a new request. This happens because information is stored in buffers, and they are only flushed when they are full or the pipeline processes finish (this never happens in daemon mode). Overcoming this problem probably involves changing Apertium core.
But the most difficult challenge is designing a highly scalable and reliable system that distributes the translation requests between Apertium daemons hosted in different servers (probably there will be more than one daemon per server), and starts or shutdowns daemons on demand. A daemon works only with a pair of languages, because changing the languages would imply instantiating pipeline processes with different dictionaries. In addition, in elastic cloud computing environments (where servers are requested and released on demand) we also need to know when to stop using a server or allocating a new one. So, it is necessary to use load balancing features like priority activation, priority queuing, etc.
There are a lot of fast open source load balancing systems, but most of them are highly web application oriented. So, they only implement simple load balancing algorithms, based on the amount of traffic already assigned to each server, server response time, etc. However, we need to take into account a different source of information in order to forward the request to the right server, as the language pairs of the daemons available in each one. And, since most of the time of a request is spent in the Apertium daemon, it will be better to implement a new load balancing system able to deal with our specific requirements.
The Java platform has a good built-in support for priority queues (see http://java.sun.com/javase/6/docs/api/java/util/AbstractQueue.html and its subclasses) and communication between servers (with the RMI protocol), so using it would be a good option. Additionally, there are completely open source Java implementations and the Apache Axis2 web services engine supports both SOAP and REST web services.
Security must be a very important feature of the system. Applications should register to grant reliable access to the API, and connections from unregistered clients will be limited to a fixed amount per IP.
Working plan
Community bonding period: Study queue and load balancing algorithms, and their possible implementations on Java platform. Study RMI, different ways of daemonizing Apertium and Axis2 web services engine.
- Week 1: Implement daemon mode
- Week 2: "
- Week 3: Test Apertium daemon. Check if it is fault-tolerant and as fast as expected.
- Week 4: Define API and implement some methods without load balancing nor on-demand daemon management.
Deliverable #1: Some of the API methods allow to translate with Apertium using a fixed number of daemons and a single computer.
- Week 5: Implement a protocol for communication between servers
- Week 6: Design and implement load balancing and daemon management algorithm.
- Week 7: "
- Week 8: Implement all API methods
Deliverable #2: API fully implemented, dynamic daemon management with fixed number of servers.
- Week 9: Implement dynamic server management for an elastic cloud hosting environment. Amazon EC2 is probably the best option, but Eucalyptus could also be an alternative, as it is open source and its interface is compatible with Amazon EC2.
- Week 10: "
- Week 11: Testing, evaluation and full documentation. Ensure that the API is well-documented and any external developer can easily integrate Apertium into his/her application.
- Week 12: "
- Week 13: Extra time for schedule slips.
Project completed. Final deliverable: Highly scalable web service application working in both dynamic and static environments, with customizable load balancing.
Student skills and experience
Last September, I finished my degree in Computer Engineering at University of Alicante, and now I am studying a postgraduate diploma in Application Development with Java Enterprise Technology. Next November I will start a Doctorate Programme in Computing Applications.
I have some experience in open source projects:
- ANTLArbol is a tool that builds parse trees from an execution of a parser/translator written in Java with the ANTLR tool. It was my degree dissertation and now is used by Compiler Design students in University of Alicante to debug their compilers and translators. More information: http://code.google.com/p/antlrarbol/
- Currently I am working for the Transducens group in University of Alicante, Spain. I am developing an open-source web project related to social translation around Apertium. We plan to release an early prototype in the next weeks. As a result of this work, I have learnt a lot about Apertium design and its limitations, and I have detected the need for having a highly scalable web service around Apertium.
See also
Development status
1st week
Apertium now works as a daemon. The same instance can process many translation requests, as they are separated by a superblank with a special comment. Null flush option (-z) is implemented in all modules except deformatters and reformatters. So, the daemon outputs the translation as soon as it is available, but deformatter and reformatter are invoked one time each per translation. The overhead of invoking them is quite small and this way we can use the same daemon to translate different format inputs.
Project is split into 2 subprojects:
- ApertiumServerWS is the request router. It processes Web Service requests and sends them via RMI to the right ApertiumServerGSOC instance. It is also the placement controller, telling each ApertiumServerGSOC the language pairs it should work with. If we detect that this module acts as a bottleneck, we can run more than one instance and share the placement algorithm object via Terracotta (http://www.terracotta.org/).
- ApertiumServerGSOC is a set of Apertium daemons running in the same machine. It processes translation requests sent via RMI. The request router also asks each ApertiumServerGSOC for a list of running daemons, and tells them to start or stop some daemons.
At the time of writing ApertiumServerWS can only work with one ApertiumServerGSOC instance, and only allocates one daemon, for the pair es-ca.
2nd week
- Updated API to match Google AJAX Language API (only translation API, not language detection). Implemented batch processing interface too. More information: http://code.google.com/intl/es/apis/ajaxlanguage/documentation/reference.html#_intro_fonje . Added an API method to list language pairs.
- Simple web interface to test JSON parsing.
- Updated communication protocol. Now when an instance of ApertiumServerGSOC starts, it registers with the request router. The request router asks it for supported pairs and updates its list of servers. When the router receives a translation request, sends it to a server that has a daemon for the requested language pair (parameters like server load are not taken into account). If there isn't any server with a suitable daemon, the router asks one server to create a daemon. The protocol is not very useful, since it doesn't work well on high load situations (it is necessary to allocate more daemons for the same pair) or when there are requests of many different language pairs.
- Test with JMeter. 500 sequential translation requests, i.e. a request is sent when the response to the previous one is received. Source text in Spanish, 1884 characters. Translate it to Catalan. Test file is available in SVN, inside ApertiumServerWS project.
Processing each request takes an average of 102ms
If we change ApertiumServerGSOC code , to make it invoke the whole Apertium pipeline for each request, the average time is 901 ms
Of course, this is a special case where all requests are directed to the same daemon. If there were more different languages in the requests than the maximum number of running daemons, daemons would be stopped and started many times, so the difference between some approaches wouldn't be so big. However, having more than one daemon for the same language pair could make the first test even faster.
3rd week
- Tested application with long inputs (about 2 MiB of text).
- Now it is possible to know CPU and memory consumption of each daemon.
- Implemented a proof of concept of null flush in deformatters and reformatters, but this feature hasn't been tested enough yet
4rd week
- Tested null flush in deformatters and reformatters. This feature will be disabled. The fact that flex stores input in memory buffers makes having a reliable implementation very difficult. I'll deal with it in the future if I have enough time.
- Implemented null flush in Constraint Grammar. There have been some difficulties because it reads Unicode input with ICU library, and I/O functions from this library always report EOF when they read a '\0'. Patch submitted and accepted by VISLCG3 project.
- Now all the stable pairs can work as a daemon.
1st deliverable
- JSON API allows translating and listing language pairs.
- All stable pairs are available.
- A daemon is created for each pair (this behavior will change in the future).
- You can launch more than a server, but load balancing algorithm will only take into account the first one.
5th week
- Fixed bug in apertium-interchunk related to null flush. Committed patch.
- Done some load tests, found interesting conclusions:
- A single daemon consumes all the CPU capacity of a server, at least in computers with 2 o less CPUs.
- The average translation time of requests processed by the same daemon (if it's the only running daemon in the computer) is smaller than the average time when requests are spread between some daemons in the same computer.
- There's no reason to run more than one daemon for the same language pair in the same machine. Admission control procedures (not implemented yet) will allow changing daemon priorities.
- Studied some papers about application placement:
6th week
- Starting to implement placement system described by A Scalable Application Placement Controller for Enterprise Data Centers.
- Implemented Ford-Fulkerson algorithm to solve max flow problem.
- Implemented Bellman-Ford algorithm. A combination of Ford-Fulkerson and Bellman-Ford algorithms can solve minimum cost maximum flow problem.
7th week
- Implemented core of placement system: Placement Controller. Given a set of machines and applications, and which applications are deployed on which machine, the Placement Controller gives a new placement solution that maximizes the amount of satisfied application demand and minimizes the amount of application starts and stops.
8th week
- Implemented the whole system: placement executor, queue scheduler, admission control, etc.
- Started testing
2nd deliverable
- Dynamic daemon management with a fixed number of servers. It is not tested enough and have some important bugs
- JSON API implemented. SOAP and XML-RPC APIs not implemented yet
9th week
- Debug dynamic daemon management.
10th week
- Debug dynamic daemon management and implement more sophisticated version of queue scheduler.
Steps to test the application
In the machine where the request router will run, checkout ApertiumServerRMIInterfaces and ApertiumServerRouter from my branch:
svn co http://apertium.svn.sourceforge.net/svnroot/apertium/branches/gsoc2009/vitaka/ApertiumServerRMIInterfaces svn co http://apertium.svn.sourceforge.net/svnroot/apertium/branches/gsoc2009/vitaka/ApertiumServerRouter
Then install ApertiumServerRMIInterfaces in the local Maven repository:
cd ApertiumServerRMIInterfaces mvn install
Edit ApertiumServerRouter/src/main/resources/configuration.properties and set the property requestrouter_rmi_host to the name of the host where it will run.Now we are ready to compile ApertiumServerRouter, with:
cd ../ApertiumServerRouter mvn package
Start rmimregistry, use port 1098, with the command:
rmiregistry 1098
Finally the ApertiumServerRouter war file from "target" directory in your favorite web server.
In the machine(s) where the apertium instances will run, checkout ApertiumServerRMIInterfaces and ApertiumServerSlave from my branch:
svn co http://apertium.svn.sourceforge.net/svnroot/apertium/branches/gsoc2009/vitaka/ApertiumServerRMIInterfaces svn co http://apertium.svn.sourceforge.net/svnroot/apertium/branches/gsoc2009/vitaka/ApertiumServerSlave
Then install ApertiumServerRMIInterfaces in the local Maven repository:
cd ApertiumServerRMIInterfaces mvn install
Now we are ready to compile ApertiumServerSlave, with:
cd ../ApertiumServerSlave mvn package
Unzip target/ApertiumServerSlave-1.0-assembled.zip in your preferred installation directory. Install Apertium with the script installApertiumAndPairs.sh Edit conf/configuration.properties and set the property requestrouter_host to the name of the host where ApertiumServerRouter will run. Finally, run the server with the script run-apertium-server.sh. Use as the first parameter the name of the host where ApertiumServerSlave is running.
Now browse index.jsp page of ApertiumServerRouter web application. If something went wrong, you can check the logs at /tmp.
Documentation
API Specification
Introduction
This API is very similar to Google AJAX Language API to make as easy as possible switching to Apertium JSON API. For more information about Google AJAX Language API, see http://code.google.com/intl/en/apis/ajaxlanguage/documentation/reference.html#_intro_fonje .
There are two resources:
http://ApertiumServerInstallationHost/ApertiumServerRouter/resources/translate
and
http://ApertiumServerInstallationHost/ApertiumServerRouter/resources/listPairs
The first one translates pieces of plain text or html code, and the second one lists the available language pairs.
Both resources admit GET and POST http methods. The value of arguments must be properly escaped (e.g., via the functional equivalent of Javascript's encodeURIComponent() method).
Common arguments and response format
These arguments are all optional and common to both resources:
- key : User's personal API key. Requests from registered users have higher priority.
- callback : Alters the response format, adding a call to a Javascript function. See description below.
- context : If callback parameter is supplied too, adds additional arguments to the function call. See description below.
If nor callback neither context arguments are supplied, this is the JSON object returned by both resources:
{ "responseData" : JSON Object with the requested data , "responseStatus" : Response numeric code , "responseDetails" : Error description }
If callback argument is supplied, a call to a function named by the callback value is returned. For instance, if callback argument's value is foo, this is the JavaScript code returned:
foo({ "responseData" : JSON Object with the requested data , "responseStatus" : Response numeric code , "responseDetails" : Error description })
If both callback and context arguments are supplied, the returned function call has more arguments. If callback's value is foo and context's value is 'bar:
foo('bar',JSON Object with the requested data , Response numeric code , Error description )
listPairs resource
This resource only accepts the common arguments.
The response data returned is an array of language pairs, following this format:
[{"sourceLanguage": source language code ,"targetLanguage": target language code }, ... ]
responseStatus is always 200, that means the request was processed OK, and responseDetails has a null value.
So if we call this resource with no arguments:
curl 'http://ApertiumServerInstallationHost/ApertiumServerRouter/resources/listPairs'
we get, for example:
{"responseData":[{"sourceLanguage":"ca","targetLanguage":"oc"},{"sourceLanguage":"en","targetLanguage":"es"}],"responseDetails":null,"responseStatus":200}
translate resource
This resource accepts the common arguments mentioned above, plus the following specific arguments:
- q : Source text or HTML code to be translated. Compulsory argument.
- langpair : Source language code and target language code, separated by '|' character, which is escaped as '%7C'. Compulsory argument.
- format : Source format. text for plain text and html for HTML code. This argument is optional. If this argument is missing it is assumed that source is plain text.
The response data is JSON object following this format:
{ "translatedText" : translated text }
Many different response status codes can be returned. This is the list with all the codes and their meaning:
- 200 : Text has been translated successfully, responseDetails field is null.
- 400 : Bad parameters. A compulsory argument is missing, or there is an argument with wrong format. A more accurate description can be found in responseDetails field.
- 451 : Not supported pair. Apertium can't translate with the requested language pair.
- 452 : Not supported format. The translation engine doesn't recognize the requested format.
- 500 : Unexpected error. An unexpected error happened. Depending on the error, a more accurate description can be found in responseDetails field.
- 552 : Overloaded system. The system is overloaded and can't process the request.
Here is a simple example. Requesting a translation with:
curl 'http://ApertiumServerInstallationHost/ApertiumServerRouter/resources/translate?q=hello%20world&langpair=en%7Ces&callback=foo'
the result is:
foo({"responseData":{"translatedText":"hola Mundo"},"responseDetails":null,"responseStatus":200})
And if we add the context parameter:
curl 'http://ApertiumServerInstallationHost/ApertiumServerRouter/resources/translate?q=hello%20world&langpair=en%7Ces&callback=foo&context=a'
we get
foo('a',{"translatedText":"hola Mundo"},200,null)