User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (Cosy), to enhance the performance of such userlevel applications. Cosy provides a user-friendly mechanism to execute the data-intensive code segment of the application in the kernel. This is achieved by aggregating the data-intensive system calls and the intermediate code into a compound. This compound is executed in the kernel, avoiding redundant data copies. A Cosy version of GCC makes the formation of a Cosy compound simple. Cosy-GCC automatically converts user-defined code segments into compounds. To ensure the security of the kernel, we use a combination of static and dynami...
Introduction COSYMA is a cosynthesis system for small embedded systems [ErHeBe93]. Today, it can ge...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...
This paper focuses on an efficient user-level method for the deployment of application-specific exte...
Long-running server applications can easily execute millions of common data-intensive system calls e...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...
Scalable distributed systems, systems whose processing power remains proportional to the number of c...
In many instances of virtual machine deployments today, virtual machine instances are created to sup...
Virtualization has provided a vehicle for people to gain flexibility and security in utilizing compu...
Modern operating systems run multiple interpreters in the kernel, which enable user-space applicatio...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
International audienceThe Coccinelle C-program matching and transformation tool was first released i...
This paper focuses on an efficient user-level method for the deployment of application-specific exte...
This paper focuses on an efficient user-level method for the deployment of application-specific exte...
We describe a set of efficient cross-domain mechanisms that allow operating systems to be implemente...
We present a new system, KCoFI, that is the first we know of to provide complete Control-Flow Integr...
Introduction COSYMA is a cosynthesis system for small embedded systems [ErHeBe93]. Today, it can ge...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...
This paper focuses on an efficient user-level method for the deployment of application-specific exte...
Long-running server applications can easily execute millions of common data-intensive system calls e...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...
Scalable distributed systems, systems whose processing power remains proportional to the number of c...
In many instances of virtual machine deployments today, virtual machine instances are created to sup...
Virtualization has provided a vehicle for people to gain flexibility and security in utilizing compu...
Modern operating systems run multiple interpreters in the kernel, which enable user-space applicatio...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
International audienceThe Coccinelle C-program matching and transformation tool was first released i...
This paper focuses on an efficient user-level method for the deployment of application-specific exte...
This paper focuses on an efficient user-level method for the deployment of application-specific exte...
We describe a set of efficient cross-domain mechanisms that allow operating systems to be implemente...
We present a new system, KCoFI, that is the first we know of to provide complete Control-Flow Integr...
Introduction COSYMA is a cosynthesis system for small embedded systems [ErHeBe93]. Today, it can ge...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...
This paper focuses on an efficient user-level method for the deployment of application-specific exte...