Mots clés
2011 |
Jouvelot, Pierre; Orlarey, Yann Dependent vector types for data structuring in multirate Faust (Journal Article) 2011. (Abstract | Links | BibTeX | Étiquettes: computing, Denotational, Dependent, Domainspecificlanguages, multirate, semantics, Static, Synchronoussignalprocessing, systems, type) @article{ Jouv11 ,
title = {Dependent vector types for data structuring in multirate Faust}, author = {Pierre Jouvelot and Yann Orlarey}, editor = {Elsevier}, url = {faust-elsevier2011.pdf}, year = {2011}, date = {2011-01-01}, booktitle = {Computer Languages, Systems & Structures}, abstract = {Faust is a functional programming language dedicated to the specification of ex- ecutable monorate synchronous musical applications. To extend Faust capabil- ities to important domains such as FFT-based spectral processing, we introduce here a multirate extension of the core Faust language. The novel idea is to link rate changes to data structure manipulation operations. Creating a vector-valued output signal divides the rate of input signals by the vector size, while serializ- ing vectors multiplies rates accordingly. As duals to vectors, we also introduce record-like data structures, which are used to gather data but do not change sig- nal rates. This interplay between data structures and rates is made possible in the language static semantics by the introduction of dependent types. We present a typing semantics, a denotational semantics and correctness theorems that show that this data structuring/multirate extension preserves the language synchronous characteristics. This new design is under implementation in the Faust compiler.}, keywords = {computing, Denotational, Dependent, Domainspecificlanguages, multirate, semantics, Static, Synchronoussignalprocessing, systems, type}, pubstate = {published}, tppubtype = {article} } Faust is a functional programming language dedicated to the specification of ex- ecutable monorate synchronous musical applications. To extend Faust capabil- ities to important domains such as FFT-based spectral processing, we introduce here a multirate extension of the core Faust language. The novel idea is to link rate changes to data structure manipulation operations. Creating a vector-valued output signal divides the rate of input signals by the vector size, while serializ- ing vectors multiplies rates accordingly. As duals to vectors, we also introduce record-like data structures, which are used to gather data but do not change sig- nal rates. This interplay between data structures and rates is made possible in the language static semantics by the introduction of dependent types. We present a typing semantics, a denotational semantics and correctness theorems that show that this data structuring/multirate extension preserves the language synchronous characteristics. This new design is under implementation in the Faust compiler.
|
2001 |
Fober, Dominique; Orlarey, Yann; Letz, Stephane Real-Time IPC on a client / server model: Multiple OS performances benchmark (Technical Report) 2001. (Abstract | Links | BibTeX | Étiquettes: IPC, operating, real-time, systems) @techreport{ Fober:01c ,
title = {Real-Time IPC on a client / server model: Multiple OS performances benchmark}, author = {Dominique Fober and Yann Orlarey and Stephane Letz}, editor = {Grame}, url = {IPCBenchs.pdf}, year = {2001}, date = {2001-01-01}, booktitle = {Technical Report – 01-08-03}, abstract = {This paper presents inter processus communication (IPC) real-time performances measured on different operating systems, including GNU/Linux, Windows 98, 2000, NT 4.0 and MacOS X. The adopted point of view is based on a client / server model. The operating systems behavior and message transmission latency times are evaluated in different contexts: with one to ten clients for the server, with systems more or less busy with alternate tasks. As we wanted to measure real world performances, the benchmarks have been applied to operating systems running standard default configurations. Each time it was possible, we compared the different systems on the base of local Unix sockets communication way. But above all, we choose the most efficient communication way per system to evaluate the overall best performances that one can expect in a client / server model.}, keywords = {IPC, operating, real-time, systems}, pubstate = {published}, tppubtype = {techreport} } This paper presents inter processus communication (IPC) real-time performances measured on different operating systems, including GNU/Linux, Windows 98, 2000, NT 4.0 and MacOS X. The adopted point of view is based on a client / server model. The operating systems behavior and message transmission latency times are evaluated in different contexts: with one to ten clients for the server, with systems more or less busy with alternate tasks. As we wanted to measure real world performances, the benchmarks have been applied to operating systems running standard default configurations. Each time it was possible, we compared the different systems on the base of local Unix sockets communication way. But above all, we choose the most efficient communication way per system to evaluate the overall best performances that one can expect in a client / server model.
|
Fober, Dominique; Orlarey, Yann; Letz, Stephane MidiShare Server: a proposed new architecture for the MidiShare Kernel (Technical Report) 2001. (Abstract | Links | BibTeX | Étiquettes: music, operating, real-time, systems) @techreport{ Fober:01e ,
title = {MidiShare Server: a proposed new architecture for the MidiShare Kernel}, author = {Dominique Fober and Yann Orlarey and Stephane Letz}, editor = {Grame}, url = {msNewArch.pdf}, year = {2001}, date = {2001-01-01}, booktitle = {Technical Note – 01-12-06}, abstract = {MidiShare is a portable software architecture for musical applications, based on a client/server model. Up to now and along all the supported operating systems (GNU/Linux, MacOS, Windows), it has always been implemented at low level operating system layer. This choice was dictated by efficiency and time constraints. The main drawback of using low level layers is the lack of portability and the complexity of the kernel extensions design. Recent evolutions of operating systems, combined with important technology improvements, have made possible to consider a more portable architecture for MidiShare. This document presents a proposed new architecture, based on a user level design.}, keywords = {music, operating, real-time, systems}, pubstate = {published}, tppubtype = {techreport} } MidiShare is a portable software architecture for musical applications, based on a client/server model. Up to now and along all the supported operating systems (GNU/Linux, MacOS, Windows), it has always been implemented at low level operating system layer. This choice was dictated by efficiency and time constraints. The main drawback of using low level layers is the lack of portability and the complexity of the kernel extensions design. Recent evolutions of operating systems, combined with important technology improvements, have made possible to consider a more portable architecture for MidiShare. This document presents a proposed new architecture, based on a user level design.
|
1991 |
Orlarey, Yann Hierarchical Real Time Interapplication Communications (Inproceeding) ICMA, (Ed.): Proceedings of the International Computer Music Conference, pp. 408–415, 1991. (Abstract | Links | BibTeX | Étiquettes: communications, interapplication, operating, real, systems, time) @inproceedings{ Orlarey:91 ,
title = {Hierarchical Real Time Interapplication Communications}, author = {Yann Orlarey}, editor = {ICMA}, url = {ICMC91hier.pdf}, year = {1991}, date = {1991-01-01}, booktitle = {Proceedings of the International Computer Music Conference}, pages = {408–415}, abstract = {Real time interapplication communications are a key feature in musical multi-task operating systems. Independent applications can therefore be connected and collaborate by exchanging messages and data through communication channels. All these collaborating applications define a virtual network the user can dynamically configurate. The topology of such virtual network specifies the way applications can be connected together. This paper introduces a new hierarchical topology we recently implemented in our MidiShare multi-task operating system. This approach offers several advantages and particularly when a large number of applications are involved or in a multi-user context.}, keywords = {communications, interapplication, operating, real, systems, time}, pubstate = {published}, tppubtype = {inproceedings} } Real time interapplication communications are a key feature in musical multi-task operating systems. Independent applications can therefore be connected and collaborate by exchanging messages and data through communication channels. All these collaborating applications define a virtual network the user can dynamically configurate. The topology of such virtual network specifies the way applications can be connected together. This paper introduces a new hierarchical topology we recently implemented in our MidiShare multi-task operating system. This approach offers several advantages and particularly when a large number of applications are involved or in a multi-user context.
|