Title :
LibGALS: A library for GALS systems design and modeling
Author :
Sun, Wei-Tsun ; Salcic, Zoran ; Malik, Avinash
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand
Abstract :
LibGALS is a library and run-time environment that extends a multi-process host operating system (OS) to support the design of Globally Asynchronous Locally Synchronous (GALS) software systems and models. LibGALS provides an application programming interface (API) that enables the designer to describe GALS concurrent programs and reactivity in sequential programming languages. Moreover, it facilitates the interface between the GALS concurrent program and other processes through the services provided by the host OS. LibGALS is also suitable as a target for code generation from GALS and synchronous concurrent languages. The experiments demonstrate code size and run-time gains when compared with other approaches to GALS system implementation.
Keywords :
application program interfaces; concurrency control; operating systems (computers); software libraries; GALS concurrent programs; GALS systems design; LibGALS; application programming interface; code generation; globally asynchronous locally synchronous software systems; library; multiprocess host operating system; run-time environment; sequential programming languages; Computational modeling; Computer languages; Concurrent computing; Delay; Libraries; Operating systems; Runtime environment; Signal processing; Software systems; Sun;
Conference_Titel :
Design Automation Conference (ASP-DAC), 2010 15th Asia and South Pacific
Conference_Location :
Taipei
Print_ISBN :
978-1-4244-5765-6
Electronic_ISBN :
978-1-4244-5767-0
DOI :
10.1109/ASPDAC.2010.5419912
