Skip to content

Latest commit

 

History

History
138 lines (115 loc) · 6.46 KB

README.md

File metadata and controls

138 lines (115 loc) · 6.46 KB
Raw

Checked

概要

Checked型同士もしくはChecked型を含む演算(+, -, \times, \div, \mod )においてオーバーフローが発生しているかを検知し、している場合は「過去にオーバーフローを起こした」という情報を保持したうえでラップアラウンドを行うクラスです。コンパイラオプションは-Wall -Wextra -std=c++20 -O3 -mtune=native -march=nativeです。

使用法

宣言

初期化子がない場合は0で初期化されます。数値及びCheckedはコンストラクタ、代入のどちらかで初期化することができます。Checkedを使った初期化ではステータスが受け継がれます(c, d, eのステータスはHadOverflowed::Yesとなります)。

Checked zero;
Checked a(10), b = 10;
Checked c(20, HadOverflowed::Yes);
Checked d(c), e = c;

関数

get_flagged()ではFlagged構造体を返します。従って、以下のように構造化束縛で値を受け取ることが可能です。get_value()は数値、get_status()はHadOverflowed型のステータスを返します。

auto [value_a, status_a] = a.get_flagged();
auto value_b = b.get_value();
auto value_c = c.get_status();

オーバーロードされた演算子

種類 対応する演算子
単項演算子 +, -, 前置++, 後置++, 前置--, 後置--
代入演算子 =, +=, -=, *=, /=, %=
二項演算子 +, -, *, /, %
比較演算子 ==, !=, <, <=, >, >=
出入力 <<, >>

単項演算子、代入演算子、二項演算子は使用する際にオーバーフローのチェックが行われます。比較演算子、出入力はオーバーフラグに依らず純粋な値比較が行われます。

テスト

以下の五つのテストが用意されています。

  • normal calculation (オーバーフローが起こらない演算)
  • assignment calculation (代入演算)
  • logical operation (論理演算)
  • overflow (オーバーフロー可能性のある演算)
  • speed (速度比較)

test.cppの各名前空間先頭のcasesがテストケースの数を表しています。テストケースの数が少ない場合はtest.cpp: 15のlarge_testをfalseに設定することで、演算内容を出力します。

Checked型の演算速度について

結論としてはChecked型は通常のstd::int64_tと比べて1.25～1.3倍程度遅くなります。 test.cpp : speedでは

  • 乱数生成機のシードを決定
  • 乱数によるlhs, rhs, operatorの生成
  • 演算
  • std::vectorにプッシュ

をoperation回行った時間を測定し、更にこれをcases回繰り返してint及びCheckedの演算時間の平均及びその時間比を出します。更にこれをratio_cases回繰り返して時間比の平均を取っています。また、乱数生成機はint, Checkedの前で同じシードで新しく生成し、全く同じ演算が行われるようにしています。 cases = 100, operation = 100000, ratio_cases = 100でテストを行った結果を三回並べると

Speed Test ( Cases: 100, Operation: 100000, Ratio cases: 100 )
Average calculation time (int):     15.6368 (ms)
Average calculation time (Checked): 19.836 (ms)
Average Checked : int ratio: 1.26745

Speed Test ( Cases: 100, Operation: 100000, Ratio cases: 100 )
Average calculation time (int):     15.4996 (ms)
Average calculation time (Checked): 19.5563 (ms)
Average Checked : int ratio: 1.26144

Speed Test ( Cases: 100, Operation: 100000, Ratio cases: 100 )
Average calculation time (int):     16.0967 (ms)
Average calculation time (Checked): 20.7013 (ms)
Average Checked : int ratio: 1.28474

となり、1.25～1.3倍程度の遅延があることが分かります。

テスト結果例

Normal Calculation Test
 ( Cases: 10000 ) => All results are correct: Yes

Assignment Calculation Test
 ( Cases: 10000 ) => All results are correct: Yes

Logical Operation Test
 ( Cases: 10000 ) => All results are correct: Yes

Overflow Test
 ( Cases: 10000 ) => All results are correct: Yes

Speed Test ( Cases: 100, Operation: 100000, Ratio cases: 100 )
Average calculation time (int):     16.6609 (ms)
Average calculation time (Checked): 21.0272 (ms)
Average Checked : int ratio: 1.26323
Speed test time: 388 (s)

Normal Calculation Test
          2063853213 /          -1047862361 =                   -1 : o
          2034056425 %            -59655603 =              5765923 : o
           424213620 -            576717490 =           -152503870 : o
         -1962032855 +          -2147264039 =          -4109296894 : o
          1624898541 /           -852655701 =                   -1 : o
All results are correct: Yes

Assignment Calculation Test
Assign  /          -1970652888 to            570334671 Assigned =                    0 : o
Assign  -          -1616106452 to                    0 Assigned =           1616106452 : o
Assign  /            921901909 to           1616106452 Assigned =                    1 : o
Assign  -            639173239 to                    1 Assigned =           -639173238 : o
Assign  +          -1378317054 to           -639173238 Assigned =          -2017490292 : o
All results are correct: Yes

Logical Operation Test
l:             -3151081 r:            758661305 result: true : o
l:            410000884 r:            410000884 result: true : o equivalent
l:            931826169 r:           -665156494 result: true : o
l:           1281486447 r:           1593080811 result: true : o
l:          -1109034373 r:           -817304176 result: true : o
All results are correct: Yes

Overflow Test
test #0
     -54128758059530 /     -342593387626893 =                    0 status: HadOverflowed::No  : o
     527985803627453 *        -386459377818 = -2710358382006218674 status: HadOverflowed::Yes : o
     -83362809305034 *   725984603119004007 = -8843218936705002566 status: HadOverflowed::Yes : o
      -6366445202799 *       70982650641295 =    68885964398479871 status: HadOverflowed::Yes : o
         76860556133 *       -4952677844857 =  1437201773393289795 status: HadOverflowed::Yes : o
All results are correct: Yes

Speed Test ( Cases: 1, Operation: 100000, Ratio cases: 1 )
Average calculation time (int):     17 (ms)
Average calculation time (Checked): 20 (ms)
Average Checked : int ratio: 1.17647
Speed test time: 0 (s)