1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
=pod
=encoding utf-8
=head1 DESCRIPTION
Let's use L<Benchmark::Featureset::ParamCheck> to see how fast
L<Type::Params> is compared with other modules for validating
positional parameters. (Hint: very fast.)
=head1 RESULTS
The results of running the script on a fairly low-powered laptop.
Each parameter checking implementation is called 250,000 times.
The table below displays the average time taken for each call in
nanoseconds.
=head2 With Type::Tiny::XS
Pure Perl Implementation with Ref::Util::XS ..... 479 ns (2083333/s)
Type::Params with Type::Tiny .................... 519 ns (1923076/s)
Params::ValidationCompiler with Type::Tiny ...... 560 ns (1785714/s)
Naive Pure Perl Implementation .................. 640 ns (1562499/s)
Type::Params with Moose ......................... 799 ns (1250000/s)
Params::ValidationCompiler with Specio .......... 1399 ns (714285/s)
Params::ValidationCompiler with Moose ........... 1479 ns (675675/s)
Type::Params with Mouse ......................... 1520 ns (657894/s)
Type::Params with Specio ........................ 1560 ns (641025/s)
Params::Validate with Type::Tiny ................ 2199 ns (454545/s)
Params::Validate ................................ 2760 ns (362318/s)
Data::Validator with Mouse ...................... 5560 ns (179856/s)
Data::Validator with Type::Tiny ................. 5600 ns (178571/s)
Data::Validator with Moose ...................... 5680 ns (176056/s)
MooseX::Params::Validate with Moose ............. 8079 ns (123762/s)
MooseX::Params::Validate with Type::Tiny ........ 8120 ns (123152/s)
Type::Params with Type::Nano .................... 9160 ns (109170/s)
=head2 Without Type::Tiny::XS
Pure Perl Implementation with Ref::Util::XS ..... 479 ns (2083333/s)
Naive Pure Perl Implementation .................. 599 ns (1666666/s)
Type::Params with Type::Tiny .................... 1079 ns (925925/s)
Params::ValidationCompiler with Type::Tiny ...... 1120 ns (892857/s)
Type::Params with Moose ......................... 1240 ns (806451/s)
Type::Params with Specio ........................ 1520 ns (657894/s)
Params::ValidationCompiler with Specio .......... 1560 ns (641025/s)
Params::ValidationCompiler with Moose ........... 1599 ns (625000/s)
Params::Validate ................................ 2640 ns (378787/s)
Type::Params with Mouse ......................... 2760 ns (362318/s)
Params::Validate with Type::Tiny ................ 3279 ns (304878/s)
Data::Validator with Moose ...................... 5760 ns (173611/s)
Data::Validator with Type::Tiny ................. 5799 ns (172413/s)
Data::Validator with Mouse ...................... 5800 ns (172413/s)
MooseX::Params::Validate with Type::Tiny ........ 8079 ns (123762/s)
MooseX::Params::Validate with Moose ............. 8120 ns (123152/s)
Type::Params with Type::Nano .................... 9119 ns (109649/s)
=head1 ANALYSIS
Type::Params (using Type::Tiny type constraints) is the fastest framework for
checking positional parameters for a function, whether or not Type::Tiny::XS
is available.
The only way to beat it is to write your own type checking in longhand,
but if Type::Tiny::XS is installed, hand-rolled code might still be slower.
Params::ValidationCompiler (also using Type::Tiny type constraints) is very
nearly as fast.
Params::ValidationCompiler using other type constraints is also quite fast,
and when Type::Tiny::XS is not available, Moose and Specio constraints run
almost as fast as Type::Tiny constraints.
Data::Validator and MooseX::Params::Validate are far slower.
Type::Nano is slow. (But it's not written for speed!)
=head1 DEPENDENCIES
To run this script, you will need:
L<Module::Runtime>,
L<Benchmark::Featureset::ParamCheck>.
=head1 AUTHOR
Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
=head1 COPYRIGHT AND LICENCE
This software is copyright (c) 2013-2014, 2017-2022 by Toby Inkster.
This is free software; you can redistribute it and/or modify it under
the same terms as the Perl 5 programming language system itself.
=cut
use v5.12;
use strict;
use warnings;
use Benchmark qw(:hireswallclock timeit);
use Benchmark::Featureset::ParamCheck 0.006;
use Module::Runtime qw(use_module);
my $data = 'Benchmark::Featureset::ParamCheck'->trivial_positional_data;
my @impl = 'Benchmark::Featureset::ParamCheck'->implementations;
my $iter = 250_000;
say for
map {
sprintf(
'%s %s %6d ns (%d/s)',
$_->[0]->long_name,
'.' x (48 - length($_->[0]->long_name)),
1_000_000_000 * $_->[1]->cpu_a / $iter,
$iter / $_->[1]->cpu_a,
);
}
sort {
$a->[1]->cpu_a <=> $b->[1]->cpu_a;
}
map {
my $pkg = use_module($_);
$pkg->accept_array
? [ $pkg, timeit 1, sub { $pkg->run_positional_check($iter, @$data) } ]
: ()
}
@impl;
|
