文档首页 > > 移植指南> 移植Buddy

移植Buddy

分享
更新时间:2020/08/31 GMT+08:00

介绍

简要介绍

Buddy是一个二元决策图开发库。它包括许多功能,比如许多高效的矢量化BDD操作,动态变量重新排序,自动垃圾收集,具有自动引用计数的C++接口等。

语言:C++

一句话描述:二元决策图开发库

开源协议:Public Domain

建议的版本

建议使用版本为“buddy-2.4”

环境要求

云服务器要求

本文以云服务器KC1实例测试,云服务器配置如表1所示。

表1 云服务器配置

项目

说明

规格

kc1.large.2 | 2vCPUs | 4GB

磁盘

系统盘:高IO(40GB)

操作系统要求

操作系统要求如表2所示。

表2 操作系统要求

项目

说明

下载地址

CentOS

7.6

在公共镜像中已提供。

Kernel

4.14.0-115

在公共镜像中已提供。

配置编译环境

安装wget工具。

yum install wget -y

获取源码

获取“buddy-2.4”源码包。

cd /usr/local/src

wget https://downloads.sourceforge.net/project/buddy/buddy/BuDDy%202.4/buddy-2.4.tar.gz

编译和安装

  1. 解压软件包。

    tar -zxvf buddy-2.4.tar.gz

  2. 进入Buddy的安装目录。

    cd buddy-2.4/

  3. 修改配置文件。

    vi tools/config.sub

    查找“x86”内容的位置,在其位置后面增加“aarch64”类型。

    “case $basic_machine in”区域的两个位置修改。

    1. 修改下述内容。
      | x86 | xscale | xstormy16 | xtensa \
      修改后为:
      | x86| aarch64 |xscale | xstormy16 | xtensa \
    2. 修改下述内容。
      | x86-* | x86_64-* | xps100-* | xscale-* | xstormy16-* \
      修改后为:
      | x86-* | aarch64-* |x86_64-* | xps100-* | xscale-* | xstormy16-* \

  4. 配置生成Makefile文件。

    ./configure --host=aarch64 --build=aarch64

  5. 编译和安装Buddy。

    make && make install

运行和验证

  1. 编译安装tcsh。

    yum install tcsh -y

  2. 进入测试目录。

    这里选择进入money的测试目录。

    cd /usr/local/src/buddy-2.4/examples/money

  3. 生成测试程序。

    g++ money.cxx -o money -lbdd

  4. 运行测试程序。

    ./money

    系统回显如下,表示运行正常。
    Garbage collection #1: 10007 nodes / 5417 free / 0.0s / 0.0s total
    Garbage collection #2: 10007 nodes / 823 free / 0.0s / 0.0s total
    <0:9, 1:5, 2:6, 3:7, 4:1, 5:0, 6:8, 7:2, 8:1, 9:1, 10:0>

分享:

    相关文档

    相关产品

文档是否有解决您的问题?

提交成功!非常感谢您的反馈,我们会继续努力做到更好!
反馈提交失败,请稍后再试!

*必选

请至少选择或填写一项反馈信息

字符长度不能超过200

提交反馈 取消

如您有其它疑问,您也可以通过华为云社区问答频道来与我们联系探讨

智能客服提问云社区提问