Setenv is not Thread Safe and C Doesn't Want to Fix It (evanjones.ca)
You can't safely use the C setenv() or unsetenv() functions in a program that uses threads. Those functions modify global state, and can cause other threads calling getenv() to crash. This also causes crashes in other languages that use those C standard library functions, such as Go's os.Setenv (Go issue) and Rust's std::env::set_var() (Rust issue). I ran into this in a Go program, because Go's bu
How To Corrupt An SQLite Database File
Overview An SQLite database is highly resistant to corruption. If an application crash, or an operating-system crash, or even a power failure occurs in the middle of a transaction, the partially written transaction should be automatically rolled back the next time the database file is accessed. The recovery process is fully automatic and does not require any action on the part of the user or the a
Understanding the C/C++ memory model
Software is Crap Bugs, design failures, and neglected documentation. Let's do better. I know that a lot of people struggle with understanding the memory model introduced in C11/C++11. In a recent conversation I was alerted to the existence of this blog post, which while correct (by my understanding) is in my opinion aimed at those who already have a good understanding of some of the underlying con
libdill
libdill: Structured Concurrency for C Home Download Documentation Tutorials FAQ Tutorial: Using libdill sockets This tutorial is meant as an introduction to libdill socket library. We are going to develop a simple version of wget utility, that can be used to download webpages from the net. To avoid parsing the URLs our program will accept 3 parameters: A protocol (either http or https), the server
GitHub - aguinet/dragonffi: C Foreign Function Interface and JIT using Clang/LLVM
DragonFFI is a C Foreign Function Interface (FFI) library written in C++ and based on Clang/LLVM. It allows any language to call C functions throught the provided APIs and bindings. Feel free to join the Gitter chat for any questions/remarks! For now, only python bindings and a C++ API are provided. Please note that this project is still in alpha stage. Documentation is far from complete and, alth
Writing a C Compiler, Part 1
This is the first post in a series on writing your own C compiler. Here are some reasons to write a compiler: You’ll learn about abstract syntax trees (ASTs) and how programs can represent and manipulate other programs. Handy for working with linters, static analyzers, and metaprogramming of all sorts. You’ll learn about assembly, calling conventions, and all the gritty, low-level details of how c
The Strict Aliasing Situation is Pretty Bad – Embedded in Academia
I’ll start with a quick review of the strict aliasing rules in C and C++ and then present some less well-known material. Compiler optimizations are often shot down by the potential for pointers to be aliases. For example, although we might naively expect a compiler to optimize this function to return zero, that cannot happen because x and y might refer to the same location: int foo(int *x, int *y)
Coqã‹ã‚‰ã®Cプãƒã‚°ãƒ©ãƒ ç”Ÿæˆ ç”°ä¸ å“² 産æ¥æŠ€è¡“ç·åˆç ”究所 æƒ…å ±æŠ€è¡“ç ”ç©¶éƒ¨é–€ 2017-07-23 Proof Summit 2017
Coqã‹ã‚‰ã®Cプãƒã‚°ãƒ©ãƒ ç”Ÿæˆ ç”°ä¸ å“² 産æ¥æŠ€è¡“ç·åˆç ”究所 æƒ…å ±æŠ€è¡“ç ”ç©¶éƒ¨é–€ 2017-07-23 Proof Summit 2017 2/48 å…ƒãƒã‚¿ ◠既発表ã®è©±ã§ã™ â— ãã®ã†ã¡è«–æ–‡ãŒå‡ºã¾ã™ â— Safe Low-level Code Generation in Coq using Monomorphization and Monadification Akira Tanaka, Reynald Affeldt, Jacques Garrigue IPSJ SIGPRO 114, 2017-06-09, will be appear at IPSJ JIP. â— ã“ã“ã§å‡ºã¦ãã‚‹ plugin 㯠github ã«ã‚ã‚Šã¾ã™ – https://github.com/akr/monomorphization – https://github.com/akr/monadification
When competing with C, fudge the benchmark
Mark Karpov wrote in his article on Migrating text metrics to pure Haskell how he originally did foreign calls out to C… The blog post also links to another article where the author rewrote his Haskell library with pure Haskell, along with some microbenchmarks. They are very interesting and I definitely learnt a few things, but they fall short on their benchmark methodologies. Cross-language bench
Let’s write Pong in WebAssembly
WebAssembly PongDemo Fiddle I’ll be writing the game mostly in C and with a little help from JavaScript for rendering and event handling. Since I’ve got two languages to work with, I could slice the application in several ways but I want to write as much of the game in C as I can, and only use JavaScript for library support. I will not include any .h files thus no external libraries will be availa
Fewer mallocs in curl
Today I landed yet another small change to libcurl internals that further reduces the number of small mallocs we do. This time the generic linked list functions got converted to become malloc-less (the way linked list functions should behave, really). Instrument mallocs I started out my quest a few weeks ago by instrumenting our memory allocations. This is easy since we have our own memory debug a
GitHub - Andersbakken/rtags: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
RTags is a client/server application that indexes C/C++ code and keeps a persistent file-based database of references, declarations, definitions, symbolnames etc. There’s also limited support for ObjC/ObjC++. It allows you to find symbols by name (including nested class and namespace scope). Most importantly we give you proper follow-symbol and find-references support. We also have neat little thi
![GitHub - Andersbakken/rtags: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.](https://cdn-ak-scissors.b.st-hatena.com/image/square/afb3112237055a37b47b1ec0888127ecc36d878d/height=288;version=1;width=512/https%3A%2F%2Fopengraph.githubassets.com%2F743e99a0b920f36331ad19140046c5ea1ccb984efcd1859c11d109204193f81e%2FAndersbakken%2Frtags)
Emacs as C IDE and JHBuild by Christian Kellner
Although Builder clearly is The Future as GNOME IDE, I still all my coding in Emacs, mostly because I have been using it for such a long time that my brain is to all the shortcuts and workflows. But Emacs can be a good IDE too. The most obvious everyday features that I want from an IDE are good source code navigation and active assistance while editing. In the first category are tasks like jumping
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - google/oss-fuzz: OSS-Fuzz - continuous fuzzing for open source software.
GitHub - cznic/ccgo: github.com/cznic/ccgo has moved to modernc.org/ccgo
Memory Tagging and how it improves C/C++ memory safety
Implementing Algebraic Effects in C - Microsoft Research
https://jp.techcrunch.com/2017/07/17/20170716death-to-c/
The C standard committee effort to kill C continues – keeping simple
GitHub - Sarcasm/irony-mode: A C/C++ minor mode for Emacs powered by libclang
{{#tags}}- {{label}}
{{/tags}}