sql-v-picov-profiled-install.sh 1.2 KB

12345678910111213141516171819202122232425262728293031
  1. export FFEAD_CPP_PATH=${IROOT}/ffead-cpp-6.0-sql
  2. export LD_LIBRARY_PATH=${IROOT}/:${IROOT}/lib:${FFEAD_CPP_PATH}/lib:/usr/local/lib:$LD_LIBRARY_PATH
  3. sed -i 's|tfb-database|localhost|g' ${FFEAD_CPP_PATH}/web/t3/config/sdorm.xml
  4. sed -i 's|"TeBkUmLpqRouter"|"TeBkUmLpqRouterPicoV"|g' ${FFEAD_CPP_PATH}/web/t3/config/application.xml
  5. cd $IROOT/lang-server-backends/v/pico.v
  6. v -prod -cflags '-std=gnu11 -Wall -O3 -march=native -mtune=native -no-pie -flto -fprofile-dir=/tmp/profile-data -fprofile-generate -lgcov --coverage' main.v
  7. #Start postgresql
  8. service postgresql start
  9. #For profiling/benchmarking
  10. cd $IROOT/
  11. ./install_ffead-cpp-sql-raw-v-picov-profiled.sh
  12. cd $IROOT/lang-server-backends/v/pico.v
  13. v -prod -cflags '-std=gnu11 -Wall -O3 -march=native -mtune=native -no-pie -flto -fprofile-dir=/tmp/profile-data -fprofile-use=/tmp/profile-data -fprofile-correction -lgcov --coverage' main.v
  14. cd $IROOT/
  15. ./install_ffead-cpp-sql-raw-v-picov-profiled.sh
  16. mv $IROOT/lang-server-backends/v/pico.v/main $IROOT/
  17. sed -i 's|localhost|tfb-database|g' $IROOT/ffead-cpp-6.0-sql/web/t3/config/sdorm.xml
  18. apt remove -yqq postgresql-13 postgresql-contrib-13 gnupg lsb-release
  19. apt autoremove -yqq
  20. rm -rf /ssd/postgresql
  21. rm -rf /tmp/postgresql
  22. rm -rf /tmp/wrk /usr/local/bin/wrk