Ivy C compiler 1.0 (Default branch)


 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News Ivy C compiler 1.0 (Default branch)
# 1  
Old 10-15-2008
Ivy C compiler 1.0 (Default branch)

Ivy is a compiler and runtime library for anextended dialect of C that checks type, memory,and concurrency safety. Ivy supports the full Clanguage, and relies on a small number oflightweight annotations in the source code to keeptime and space overheads reasonable. Ivy isimplemented as a C-to-C compiler using gcc as itsbackend.License: BSD License (revised)Changes:
This is the first public release of Ivy. Itincorporates the previously available Deputy(type-safety for C) and HeapSafe(memory-management safety for C) projects. It addsa new component, SharC, which allows you to checkthat your threaded C programs share data as youintended. In particular, it prevents and/ordetects all data races. SharC is in a moreexperimental state and may impose significantruntime overheads in some programs.Image

Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question
scdsbuilder(1HA)					       Sun Cluster Commands						  scdsbuilder(1HA)

NAME
scdsbuilder - launch GUI version of Sun Cluster Agent Builder SYNOPSIS
scdsbuilder DESCRIPTION
The scdsbuilder command launches the GUI version of the Sun Cluster Agent Builder. Before you use Agent Builder, verify the following requirements: o The Java runtime environment is included in your $PATH variable. Agent Builder depends on the Java Development Kit, starting with Version 1.3.1. If the Java Development Kit is not included in your $PATH variable, the Agent Builder command (scdsbuilder) returns and displays an error message. o You have installed the Developer System Support software group of the Solaris 9 OS or Solaris 10 OS. o The cc compiler is included in your $PATH variable. Agent Builder uses the first occurrence of cc in your $PATH variable to identify the compiler with which to generate C binary code for the resource type. If cc is not included in $PATH, Agent Builder disables the option to generate C code. Note - You can use a different compiler with Agent Builder than the standard cc compiler. To use a different compiler, create a symbolic link in $PATH from cc to a different compiler, such as gcc. Or, change the compiler specification in the makefile (currently, CC=cc) to the com- plete path for a different compiler. For example, in the makefile that is generated by Agent Builder, change CC=cc to CC=pathname/gcc. In this case, you cannot run Agent Builder directly. Instead, you must use the make and make pkg commands to generate data service code and the package. EXIT STATUS
This command returns the following exit status codes: 0 The command completed succesfully. nonzero An error occurred. FILES
install_directory/rtconfig Contains information from the previous session. This information facilitates the tool's quit and restart feature. ATTRIBUTES
See attributes(5) for descriptions of the following attributes: +-----------------------------+-----------------------------+ | ATTRIBUTE TYPE | ATTRIBUTE VALUE | +-----------------------------+-----------------------------+ |Availability |SUNWscdev | +-----------------------------+-----------------------------+ |Interface Stability |Evolving | +-----------------------------+-----------------------------+ SEE ALSO
cc(1B), scdscreate(1HA), scdsconfig(1HA), attributes(5) Chapter 9, Sun Cluster Agent Builder, in Sun Cluster Data Services Developer's Guide for Solaris OS Sun Cluster 3.2 14 Sep 2007 scdsbuilder(1HA)