一、事務 事務是指用戶在客戶端做一種或多種業務所需要的操作集，通過事務函數可以標記完成該業務所需要的操作內容；另一方面可以用來統計用戶操作的相應時間。事務響應時間是指通過記錄用戶請求的開始時間和服務器返回內容到客戶時間的差值來計算用戶操作響應時間的。 　　事務 ...

為什么學習高並發？ 作為一名非CS科班出生的同學，在經過多年IT從業之后，明顯能感受到職業生涯發展的后繼無力，由於從事的是傳統金融行業，對應的公司其實內心深處是不重視IT部門的，而我這種IT從業人員 ...

概念引入： 前束范式的概念： 一個公式，如果 量詞均在全式的開頭，它們的作用域延伸到整個公式的末端，則該公式叫做前束范式(Prenex Normal Form)。 前束范式可記為下Q述形式 其中Qi為任意或者存在，xi為個體變元 ...

接口的概念從IT的角度出發，主要是子模塊或者子系統間交互並相互作用的部分。從形式上來看各種應用程序的API（最著名的Windows 系統的API），硬件的驅動程序,數據庫系統的訪問接口，再到后來的Webservice接口，http rest接口。雖然接口的形式各有不同，但是從測試角度 ...

）。 （2）創建特定的日期和時間 如果要創建特定的日期對象，必須傳入表示該日期的毫秒數（ ...

前言 相信很多人(包括我自己)，在很長一段時間內雖然使用了 JDK 1.8 ，卻從來沒有使用過自1.8開始增加的 Stream 這一強大使用的新特性，本文則將先從如何創建 Stream 開始，逐步去學會 Stream 的使用。本文不會涉及對流中數據的操作，而只討論創建流的幾種方法，以及一些基礎 ...

形式參數(formal argument)和實際參數(actual argument)是什么？ 　在聲明一個參數時就創建了一個叫形式參數的變量，在上面的例子中形式參數是叫做n的變量。 　函數調用function(times)把times的值5賦給了n，times被稱為實際參數 ...

　　斷言函數的格式如下所示： 　　void assert (int expression);如果參數expression等於零，一個錯誤消息將會寫入到設備的標准錯誤集並且會調用abort函數，就會結束程序的執行。　　斷言的消息會顯示庫依賴，但是它也包含一下信息，源文件的名字，處於哪一行，在哪兒 ...