Dragonfly serves as a seamless substitute for Redis, offering enhanced performance while reducing costs. It is specifically engineered to harness the capabilities of contemporary cloud infrastructure, catering to the data requirements of today’s applications, thereby liberating developers from the constraints posed by conventional in-memory data solutions. Legacy software cannot fully exploit the advantages of modern cloud technology. With its optimization for cloud environments, Dragonfly achieves an impressive 25 times more throughput and reduces snapshotting latency by 12 times compared to older in-memory data solutions like Redis, making it easier to provide the immediate responses that users demand. The traditional single-threaded architecture of Redis leads to high expenses when scaling workloads. In contrast, Dragonfly is significantly more efficient in both computation and memory usage, potentially reducing infrastructure expenses by up to 80%. Initially, Dragonfly scales vertically, only transitioning to clustering when absolutely necessary at a very high scale, which simplifies the operational framework and enhances system reliability. Consequently, developers can focus more on innovation rather than infrastructure management.
Learn more
TrustInSoft commercializes a source code analyzer called TrustInSoft Analyzer, which analyzes C and C++ code and mathematically guarantees the absence of defects, immunity of software components to the most common security flaws, and compliance with a specification. The technology is recognized by U.S. federal agency the National Institute of Standards and Technology (NIST), and was the first in the world to meet NIST’s SATE V Ockham Criteria for high quality software.
The key differentiator for TrustInSoft Analyzer is its use of mathematical approaches called formal methods, which allow for an exhaustive analysis to find all the vulnerabilities or runtime errors and only raises true alarms.
Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure.
The experts at TrustInSoft can also assist clients in training, support and additional services.
Learn more
Arm Forge
Create dependable and optimized code that delivers accurate results across various Server and HPC architectures, utilizing the latest compilers and C++ standards tailored for Intel, 64-bit Arm, AMD, OpenPOWER, and Nvidia GPU platforms. Arm Forge integrates Arm DDT, a premier debugger designed to streamline the debugging process of high-performance applications, with Arm MAP, a respected performance profiler offering essential optimization insights for both native and Python HPC applications, along with Arm Performance Reports that provide sophisticated reporting features. Both Arm DDT and Arm MAP can also be used as independent products, allowing flexibility in application development. This package ensures efficient Linux Server and HPC development while offering comprehensive technical support from Arm specialists. Arm DDT stands out as the preferred debugger for C++, C, or Fortran applications that are parallel or threaded, whether they run on CPUs or GPUs. With its powerful and user-friendly graphical interface, Arm DDT enables users to swiftly identify memory errors and divergent behaviors at any scale, solidifying its reputation as the leading debugger in the realms of research, industry, and academia, making it an invaluable tool for developers. Additionally, its rich feature set fosters an environment conducive to innovation and performance enhancement.
Learn more
Linaro Forge
Linaro Forge is a comprehensive suite designed for high-performance computing (HPC) that integrates debugging and performance analysis tools to assist developers in creating dependable and optimized software for server environments. It consists of three fundamental components: Linaro DDT, a leading debugger for applications written in C, C++, Fortran, and Python; Linaro MAP, a performance profiling tool that identifies bottlenecks and recommends optimization techniques; and Linaro Performance Reports, which provide succinct, one-page overviews of application efficiency. This suite accommodates an extensive array of parallel architectures and programming frameworks, such as MPI, OpenMP, CUDA, and GPU-accelerated systems on platforms including x86-64, 64-bit Arm, as well as various CPUs and GPUs. Additionally, it features a unified user interface that simplifies the transition between debugging and profiling phases during the development process, enhancing productivity and code quality for developers working in complex environments. This streamlined approach not only improves efficiency but also empowers developers to deliver superior performance in their applications.
Learn more
