原创 基於KLEE的路徑選擇算法

一.KLEE安裝 最後編輯時間2019年5月 參考網址http://klee.github.io/build-llvm60/ 1.安裝相關依賴 $ sudo apt-get install build-essential curl

原创 Mac 下Clion連接數據庫及其CURD操作

1.連接數據庫 連接數據庫需要 #include <mysql.h> 這個頭文件的位置需要添加到cmakelists.txt中 include_directories("/usr/local/mysql-8.0.17-macos10.

原创 3道題徹底搞定:套路解決遞歸問題

前言 相信不少同學和我一樣,在剛學完數據結構後開始刷算法題時,遇到遞歸的問題總是很頭疼,而一看解答,卻發現大佬們幾行遞歸代碼就優雅的解決了問題。從我自己的學習經歷來看,剛開始理解遞歸思路都很困難,更別說自己寫了。 我一直覺得刷算法

原创 利用python實現SNM模型

SNM(SHOT NOISE TRAFFIC MODEL)簡介 SNM是在文章“Temporal Locality in Today’s Content Caching: Why it Matters and How to Mo

原创 在線算法的競爭比

在線算法競爭比競爭比的定義競爭比的一些性質舉一個栗子 競爭比的定義 考慮一個常見的頁面管理問題,計算機中有兩層存儲,一層是高速cache,它能夠緩存k個項目,一層是主存儲器,它較爲緩慢,但是可存儲比cache多得多的項目。學過操作

原创 Linux 下Apache storm 環境搭建

Linux 下Apache storm 環境搭建寫在前面Storm的搭建zookeeper集羣的安裝Storm的下載和安裝 寫在前面 網上有不少搭建storm環境的方法,我也是從這些方法開始學習storm,但是因爲許多博客的時間都比較

原创 LINUX 下自動備份mysql數據庫

mysql自動備份分爲兩個部分,一個部分是shell腳本的編寫,另外一個部分是添加自動執行命令到crontab。 1.首先是shell腳本的編寫,每天自動備份的的做法如下所示,shell腳本首先用#!/bin/bash指定解釋器的路徑,接

原创 visual gdb 與visual studio調試

今天碰到了一個問題,我使用visual gdb在VS2015中遠程連接虛擬機調試代碼的,今天在調試的時候發現pthread_setspecific()函數顯示未定義,經過上網查詢,我發現了兩個問題,第一個是

原创 線程私有數據

    在參考ptmalloc實現的時候,碰到了一個新東西——線程私有數據,其數據是這樣聲明的 static tsd_key_t arena_key;。由於ptmalloc中的許多數據結構都是在內部重新定義的,而我手中的這部分源代碼並不是