docker + 毕设实验

目录

• 学校的服务器更换了动态ip
• docker 挂载服务器内存
• 遇到的亿个问题
• 安装java jdk
• docker内不能apt-get
• 安装docker
• 毕设实验

学校的服务器更换了动态ip

sudo docker -H=10.170.34.169:2376 ps

docker 挂载服务器内存

docker -H=10.170.34.169:2376 run -v /mnt/Data2/mzb:/home/sujie/Exp -v /sys/fs/cgroup:/sys/fs/cgroup:rw -v /home/server/.ivy2:/home/sujie/.ivy2 -it -d ubuntu20.04-sujie:base zsh

docker exec -it  [id]  zsh

cd home/sujie/Exp/_cpachecker

sudo benchexec --no-container --tool-directory . cpachecker.xml
注意config中的配置中的注释#之后必须打一个空格，否则失败，显示ERROR(2)

跑完实验之后，在result下有zip，存放单个实验的log，和bz2存放实验的结果（文本形式）

没必要生成html图，直接统计文本数据

sudo docker cp id:/file ./file

/home/sujie/Exp/_cpachecker/results/cpachecker.2022-05-16_18-28-14.results.myAnalysis-concurrency-cegar-cintp.ConcurrencySafety.xml.bz2

遇到的亿个问题

执行cpa.sh .py文件报权限不足
chmod 777 -r ./

无法执行cpa.sh .py windows下拷贝过去会有格式问题
vim刷新：

:set ff
:set ff=unix
:wq

benchexec的
sudo benchexec --no-container --tool-directory . ./cpachecker.xml

找不到无法打开cgroup
sudo docker run -v /sys/fs/cgroup:/sys/fs/cgroup:rw --rm -it -d --privileged 6248944eabe6 bash

没有创建namespace的权限
--privileged

需要在普通用户下执行命令，需要进入容器创建用户
--user=mzb --user=root

安装java jdk

把jdk-11.0.8_linux-x64_bin.tar.gz拷贝到 ~/
tar -zxvf jdk-11.0.8_linux-x64_bin.tar.gz
rm jdk-11.0.8_linux-x64_bin.tar.gz
vim .bashrc

.bashrc中添加

export PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin
export LD_LIBRARY_PATH=/usr/lib:/usr/local/lib:/usr/lib/x86_64-linux-gun
export JAVA_HOME=/root/jdk-11.0.8
export PATH=$JAVA_HOME/bin:$PATH
export CLASSPATH=.:$JAVA_HOME/lib:$JAVA_HOME/lib/dt.jar:$JAVA_HOME/lib/tools.tar

source ~/.bashrc

如果输入错误，source会失败，此时 /usr/bin/vim .bashrc

docker内不能apt-get

mv /etc/apt/sources.list /etc/apt/sources.list.bak

echo "deb http://mirrors.aliyun.com/ubuntu/ bionic main restricted universe multiverse">/etc/apt/sources.list
echo "deb http://mirrors.aliyun.com/ubuntu/ bionic-security main restricted universe multiverse">>/etc/apt/sources.list
echo "deb http://mirrors.aliyun.com/ubuntu/ bionic-updates main restricted universe multiverse">>/etc/apt/sources.list
echo "deb http://mirrors.aliyun.com/ubuntu/ bionic-proposed main restricted universe multiverse">>/etc/apt/sources.list
echo "deb http://mirrors.aliyun.com/ubuntu/ bionic-backports main restricted universe multiverse">>/etc/apt/sources.list
echo "deb-src http://mirrors.aliyun.com/ubuntu/ bionic main restricted universe multiverse">>/etc/apt/sources.list
echo "deb-src http://mirrors.aliyun.com/ubuntu/ bionic-security main restricted universe multiverse">>/etc/apt/sources.list
echo "deb-src http://mirrors.aliyun.com/ubuntu/ bionic-updates main restricted universe multiverse">>/etc/apt/sources.list
echo "deb-src http://mirrors.aliyun.com/ubuntu/ bionic-proposed main restricted universe multiverse">>/etc/apt/sources.list
echo "deb-src http://mirrors.aliyun.com/ubuntu/ bionic-backports main restricted universe multiverse">>/etc/apt/sources.list
apt-get update

安装docker

安装

sudo apt-get update
sudo apt-get install \
   apt-transport-https \
   ca-certificates \
   curl \
   gnupg-agent \
   software-properties-common

curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -
sudo add-apt-repository \
   "deb [arch=amd64] https://download.docker.com/linux/ubuntu \
  $(lsb_release -cs) \
  stable"

sudo apt-get update

sudo apt-get install docker-ce docker-ce-cli containerd.io

sudo docker

毕设实验

benchexec遇到Cgroup问题
sudo docker run -v /sys/fs/cgroup:/sys/fs/cgroup:rw --rm -it -d fdf0753c97a9 bash